書誌情報 | ファイル |
表紙・目次 (2011-06) 数理解析研究所講究録, 1744
| |
実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム (計算機科学とアルゴリズムの数理的基礎とその応用) 若月, 光夫; 清野, 和司; 富田, 悦次; 西野, 哲朗 (2011-06) 数理解析研究所講究録, 1744: 1-10
| |
UMLパッケージ図に対するグラフ文法(計算機科学とアルゴリズムの数理的基礎とその応用) 後藤, 隆彰; 西野, 哲朗; 土田, 賢省 (2011-06) 数理解析研究所講究録, 1744: 11-14
| |
動的リアルタイムハイブリッドCEGAR による動的再構成可能組込みシステムの設計検証 (計算機科学とアルゴリズムの数理的基礎とその応用) 酒井, 誠; 山根, 智 (2011-06) 数理解析研究所講究録, 1744: 15-24
| |
確率時間WiGARによるPTCTLサブクラスのモデル検査 (計算機科学とアルゴリズムの数理的基礎とその応用) 高橋, 正樹; 清水, 隆也; 山根, 智 (2011-06) 数理解析研究所講究録, 1744: 25-34
| |
ZDDによるパスの列挙 (計算機科学とアルゴリズムの数理的基礎とその応用) 川原, 純; 斎藤, 寿樹; 鈴木, 拡; 湊, 真一; 吉仲, 亮 (2011-06) 数理解析研究所講究録, 1744: 35-41
| |
Trevisan's extractor in the presence of quantum side information (Mathematical Foundations and Applications of Computer Science and Algorithms) De, Anindya; Portmann, Christopher; Vidick, Thomas; Renner, Renato (2011-06) 数理解析研究所講究録, 1744: 42-47
| |
UNO is hard, even for a single player Demaine, Erik D.; Demaine, Martin L.; Uehara, Ryuhei; Uno, Takeaki; Uno, Yushi (2011-06) 数理解析研究所講究録, 1744: 48-55
| |
確率的評価値をもつゲーム木における最善手探索 (計算機科学とアルゴリズムの数理的基礎とその応用) 奥山, 洋平; 畑埜, 晃平; 瀧本, 英二; 竹田, 正幸 (2011-06) 数理解析研究所講究録, 1744: 56-59
| |
Approximating the path-distance-width for $k$-cocomparability graphs (Mathematical Foundations and Applications of Computer Science and Algorithms) Otachi, Yota; Saitoh, Toshiki; Yamanaka, Katsuhisa; Kijima, Shuji; Okamoto, Yoshio; Ono, Hirotaka; Uno, Yushi; Yamazaki, Koichi (2011-06) 数理解析研究所講究録, 1744: 60-66
| |
Approximating Maximum Edge 2-Coloring in Simple Graphs (Mathematical Foundations and Applications of Computer Science and Algorithms) Chen, Zhi-Zhong; Konno, Sayuri; Matsushita, Yuki (2011-06) 数理解析研究所講究録, 1744: 67-76
| |
Universality of Reversible Logic Elements with 1-Bit Memory : Extended Abstract (Mathematical Foundations and Applications of Computer Science and Algorithms) Morita, Kenichi; Ogiro, Tsuyoshi; Alhazov, Artiom; Tanizawa, Tsuyoshi (2011-06) 数理解析研究所講究録, 1744: 77-84
| |
2次の効用関数を持つ不可分財の最適配分問題に対する近似解法の研究 (計算機科学とアルゴリズムの数理的基礎とその応用) 鈴木, 瞬也; 塩浦, 昭義 (2011-06) 数理解析研究所講究録, 1744: 85-92
| |
タブローの最適配置問題 (計算機科学とアルゴリズムの数理的基礎とその応用) 安齋, 進也; 全, 眞嬉; 葛西, 亮生; コルマン, マティアス; 徳山, 豪 (2011-06) 数理解析研究所講究録, 1744: 93-98
| |
組合せの効率的な生成法 (計算機科学とアルゴリズムの数理的基礎とその応用) Shimizu, Toshihiro; Fukunaga, Takuro; Nagamochi, Hiroshi (2011-06) 数理解析研究所講究録, 1744: 99-106
| |
最長共通部分配列計算におけるrun長の対数時間寄与 (計算機科学とアルゴリズムの数理的基礎とその応用) 酒井, 義文 (2011-06) 数理解析研究所講究録, 1744: 107-114
| |
A Searchable Compressed Edit-Sensitive Parsing (Mathematical Foundations and Applications of Computer Science and Algorithms) Kishiue, Naoya; Nakahara, Masaya; Maruyama, Shirou; Sakamoto, Hiroshi (2011-06) 数理解析研究所講究録, 1744: 115-122
| |
圧縮文字列上での $q$-gram 頻度の高速な計算方法 (計算機科学とアルゴリズムの数理的基礎とその応用) Goto, Keisuke; Bannai, Hideo; Inenaga, Shunsuke; Takeda, Masayuki (2011-06) 数理解析研究所講究録, 1744: 123-128
| |
Dynamic Programming Algorithm for Optimal Double-Base Chains : Extended Abstract (Mathematical Foundations and Applications of Computer Science and Algorithms) Suppakitpaisarn, Vorapong; Edahiro, Masato; Imai, Hiroshi (2011-06) 数理解析研究所講究録, 1744: 129-136
| |
Local Composition of Cellular Automata via Hit-or-Miss Transform (Mathematical Foundations and Applications of Computer Science and Algorithms) Fujio, Mitsuhiko (2011-06) 数理解析研究所講究録, 1744: 137-143
| |