書誌情報	ファイル
弱最内戦略を完全にする項書換え系の等価変換 (計算機科学基礎理論とその応用)   岡本, 晃治; 酒井, 正彦; 西田, 直樹; 草刈, 圭一朗; 坂部, 俊樹 (2005-04)   数理解析研究所講究録, 1426: 119-125
An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited (Theoretical Computer Science and its Applications)   Iwami, Munehiro (2005-04)   数理解析研究所講究録, 1426: 126-132
確率時間オートマトンの確率時間強模倣検証アルゴリズム (計算機科学基礎理論とその応用)   小寺, 広志; 山根, 智 (2005-04)   数理解析研究所講究録, 1426: 133-139
Hausdorff Dimension and the Stochastic Traveling Salesman Problem (Theoretical Computer Science and its Applications)   Takahashi, Hayato (2005-04)   数理解析研究所講究録, 1426: 140-146
一般化ぷよぷよのNP完全性 (計算機科学基礎理論とその応用)   松金, 輝久; 武永, 康彦 (2005-04)   数理解析研究所講究録, 1426: 147-152
比較可能+keグラフの彩色問題 (計算機科学基礎理論とその応用)   東出, 賢一; 武永, 康彦 (2005-04)   数理解析研究所講究録, 1426: 153-158
Perfectness and Multicoloring of Unit Disk Graphs on Triangular Lattice Points (Theoretical Computer Science and its Applications)   Miyamoto, Yuichiro; Matsui, Tomomi (2005-04)   数理解析研究所講究録, 1426: 159-165
An approximation algorithm for matroid covering (Theoretical Computer Science and its Applications)   Kawano, Shinichiro; Otachi, Yota; Yamazaki, Koichi (2005-04)   数理解析研究所講究録, 1426: 166-171
Generating Monotone Trees : Extended Abstract (Theoretical Computer Science and its Applications)   Kusakari, Yoshiyuki; Niisato, Yoshimi; Notoya, Jyunichi; Kasai, Masao (2005-04)   数理解析研究所講究録, 1426: 172-177
2-リンクパズルの多項式時間解法 (計算機科学基礎理論とその応用)   牧野, 格三 (2005-04)   数理解析研究所講究録, 1426: 178-183
最大マッチングを利用したタスクスケジューリングアルゴリズムの近似度の改善について (計算機科学基礎理論とその応用)   新美, 信之助; 大山口, 通夫; 太田, 義勝; 山本, 浩平 (2005-04)   数理解析研究所講究録, 1426: 184-188
文字列のシフトにより得られるダイグラフについて (計算機科学基礎理論とその応用)   田中, 勇樹; 柴田, 幸夫 (2005-04)   数理解析研究所講究録, 1426: 189-193
3近傍可逆セルオートマトンについて (計算機科学基礎理論とその応用)   川原, 敬弘; 本多, 和正; 井口, 修一; 佐藤, 達郎; 河原, 康雄 (2005-04)   数理解析研究所講究録, 1426: 194-199
万能可逆チューリング機械の一構成法 (計算機科学基礎理論とその応用)   安部, 崇嗣; 森田, 憲一 (2005-04)   数理解析研究所講究録, 1426: 200-205
ファクターオラクルの誤受理構造の解析 (計算機科学基礎理論とその応用)   岩崎, 久史 (2005-04)   数理解析研究所講究録, 1426: 206-211
Chaitin's halting probability $\Omega$ and quantum measurements in an infinite dimensional quantum system (Theoretical Computer Science and its Applications)   Tadaki, Kohtaro (2005-04)   数理解析研究所講究録, 1426: 212-218
Robust Quantum Algorithms for Oracle Identification (Theoretical Computer Science and its Applications)   Iwama, Kazuo; Kawachi, Akinori; Raymond, Rudy; Yamashita, Shigeru (2005-04)   数理解析研究所講究録, 1426: 219-224
量子アルゴリズムによる近似文字列出現頻度問い合わせ (計算機科学基礎理論とその応用)   小林, 健了; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2005-04)   数理解析研究所講究録, 1426: 225-231
分子構造変化のモデル化と反応速度の理論的解析 (計算機科学基礎理論とその応用)   塩崎, 真史; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2005-04)   数理解析研究所講究録, 1426: 232-237
DNA形態変化におけるエネルギー障壁値の高速近似計算 (計算機科学基礎理論とその応用)   武田, 勉; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2005-04)   数理解析研究所講究録, 1426: 238-244