書誌情報	ファイル
3正則グラフの巡回セールスマン問題に対する厳密アルゴリズムの改善(計算機科学の理論とその応用)   岩間, 一雄; 中島, 拓也 (2007-05)   数理解析研究所講究録, 1554: 145-152
A Fast Algorithm for Computing Jones Polynomials of Montesinos Links(Theory of Computer Science and Its Applications)   Murakami, Masahiko; Hara, Masao; Yamamoto, Makoto; Tani, Seiichi (2007-05)   数理解析研究所講究録, 1554: 153-160
Direct Binary Search 法によるマルチトニング(計算機科学の理論とその応用)   平野, 祐樹; 中野, 浩嗣 (2007-05)   数理解析研究所講究録, 1554: 161-165
Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems(Theory of Computer Science and Its Applications)   Uchiyama, Keita; Sakai, Masahiro; Nishida, Naoki; Sakabe, Toshiki; Kusakari, Keiichirou (2007-05)   数理解析研究所講究録, 1554: 166-170
Confluence of Length Preserving String Rewriting Systems is Undecidable(Theory of Computer Science and Its Applications)   Wang, Yi; Sakai, Masahiko; Nishida, Naoki; Sakabe, Toshiki; Kusakari, Keiichirou (2007-05)   数理解析研究所講究録, 1554: 171-177
単純型付き等式系に基づく定理自動証明に関する一考察(計算機科学の理論とその応用)   岡村, 洋; 大山口, 通夫; 山田, 俊行 (2007-05)   数理解析研究所講究録, 1554: 178-185
価値関数によるソフトリアルタイムシステムのスケジューラ自動合成手法(計算機科学の理論とその応用)   加納, 卓; 山根, 智 (2007-05)   数理解析研究所講究録, 1554: 186-193
述語抽象化洗練を用いたリアルタイムプログラムの自動検証手法(計算機科学の理論とその応用)   駒形, 龍太; 山根, 智 (2007-05)   数理解析研究所講究録, 1554: 194-201
確率的枝重みを持つグラフ上での最小全域木コストの近似見積り法に関する考察(計算機科学の理論とその応用)   安藤, 映; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2007-05)   数理解析研究所講究録, 1554: 202-209
DAG の高さを4以下に制限したタスクスケジューリングの近似アルゴリズムについて(計算機科学の理論とその応用)   清水, 豪樹; 大山口, 通夫; 山田, 俊行; 柳本, 貴之; 小松, 健悟 (2007-05)   数理解析研究所講究録, 1554: 210-216
定数項の大きな線形しきい値関数に対する高速なオンライン学習(計算機科学の理論とその応用)   石橋, 浩介; 畑埜, 晃平; 竹田, 正幸 (2007-05)   数理解析研究所講究録, 1554: 217-224
完全2分木に対するPath Distance Width の下界(計算機科学の理論とその応用)   受川, 和幸; 青木, 一正; 大舘, 陽太; 小澤, 恭平; 山崎, 浩一 (2007-05)   数理解析研究所講究録, 1554: 225-229
Branch-length とtree-length(計算機科学の理論とその応用)   梅澤, 香織; 山崎, 浩一 (2007-05)   数理解析研究所講究録, 1554: 230-237
ボトムアップ手法を用いた系統樹構築の近似アルゴリズム(計算機科学の理論とその応用)   前村, 一哉; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2007-05)   数理解析研究所講究録, 1554: 238-242
部分文字列の高速復元に適した圧縮データ構造に関する研究(計算機科学の理論とその応用)   後藤, 隆元; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2007-05)   数理解析研究所講究録, 1554: 243-249
局所探索法に基づくDNA 配列設計手法(計算機科学の理論とその応用)   川下, 優; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2007-05)   数理解析研究所講究録, 1554: 250-257
$K$- 開発閉包な左線形項書換えシステムの合流性(計算機科学の理論とその応用)   岩見, 宗弘 (2007-05)   数理解析研究所講究録, 1554: 258-263
センサーネットワークにおける省電力高信頼なデータ伝送(計算機科学の理論とその応用)   佐薙, 光樹; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2007-05)   数理解析研究所講究録, 1554: 264-268
$k$-Set Agreement を解く故障検知器(計算機科学の理論とその応用)   坂田, 敦; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2007-05)   数理解析研究所講究録, 1554: 269-275
信用交渉における公開木戦略の計算量(計算機科学の理論とその応用)   山本, 有輝; 高田, 喜朗; 関, 浩之 (2007-05)   数理解析研究所講究録, 1554: 276-283