書誌情報	ファイル
On the Complexity of Subproblems of SAT (New Developments of Theory of Computation and Algorithms)   Matsuura, Akihiro; Iwama, Kazuo (2001-05)   数理解析研究所講究録, 1205: 113-118
枝の重みが確率的なグラフにおける最長路の長さの分布 (計算理論とアルゴリズムの新展開)   今林, 裕; 中田, 寿夫; 山下, 雅史 (2001-05)   数理解析研究所講究録, 1205: 119-124
系統樹最節約復元の部分木に関する最小性についてII (計算理論とアルゴリズムの新展開)   宮川, 幹平; 成嶋, 弘 (2001-05)   数理解析研究所講究録, 1205: 125-130
MAX DICUT問題の近似解法 (計算理論とアルゴリズムの新展開)   松浦, 史郎; 松井, 知己 (2001-05)   数理解析研究所講究録, 1205: 131-135
グラフ演算による最適な故障診断可能システムの構成 (計算理論とアルゴリズムの新展開)   荒木, 徹; 柴田, 幸夫 (2001-05)   数理解析研究所講究録, 1205: 136-141
A Catalog for Prediction-Preserving Reducibility with Membership Queries on Formal Languages (New Developments of Theory of Computation and Algorithms)   Hirata, Kouichi; Sakamoto, Hiroshi; Arimura, Hiroki (2001-05)   数理解析研究所講究録, 1205: 142-147
Topological Optimization Models for Communication Network with Multiple Reliablity Goals (New Developments of Theory of Computation and Algorithms)   Liu, Baoding; Iwamura, Kakuzo (2001-05)   数理解析研究所講究録, 1205: 148-153
Unrestricted $LR(k)$ Grammars and its Parser, where $k=0,1$ (New Developments of Theory of Computation and Algorithms)   Shiina, Hiromitsu; Masuyama, Shigeru (2001-05)   数理解析研究所講究録, 1205: 154-159
Deriving Parameter Conditions for Periodic Timed Automata Satisifying Real-Time Temporal Logic Formulas (New Developments of Theory of Computation and Algorithms)   Nakata, Akio (2001-05)   数理解析研究所講究録, 1205: 160-165
有界経路重なり項書換え系の停止性問題について (計算理論とアルゴリズムの新展開)   阿部, 武徳; 高井, 利憲; 楫, 勇一; 関, 浩之 (2001-05)   数理解析研究所講究録, 1205: 166-171
Galois Connection between Clones and Full Monoids (New Developments of Theory of Computation and Algorithms)   Machida, Hajime; Miyakawa, Masahiro; Rosenberg, Ivo G. (2001-05)   数理解析研究所講究録, 1205: 172-177
circulant制約を持った隣接色制約付き彩色問題の応用と解析 (計算理論とアルゴリズムの新展開)   上嶋, 章宏; 真田, 亜希子; 伊藤, 大雄; 上原, 秀幸; 横山, 光雄 (2001-05)   数理解析研究所講究録, 1205: 178-182
The Competitiveness of Diversified Investment on Portfolio Selection Problem (New Developments of Theory of Computation and Algorithms)   Iwata, Satoshi; Okawa, Satoshi (2001-05)   数理解析研究所講究録, 1205: 183-187
量子モデルと確率モデルの確率計算の違いによって生じる計算能力の差について (計算理論とアルゴリズムの新展開)   Amano, Masami; Iwama, Kazuo (2001-05)   数理解析研究所講究録, 1205: 188-193
Turing機械と等価な単純回帰ネットワークの構成法 (計算理論とアルゴリズムの新展開)   守谷, 純之介; 西野, 哲朗 (2001-05)   数理解析研究所講究録, 1205: 194-199
Isomorphic factorization of the Kronecker product of generalized de Bruijn digraphs (New Developments of Theory of Computation and Algorithms)   Kawai, Hiroyuki; Shibata, Yukio (2001-05)   数理解析研究所講究録, 1205: 200-205
消去可能および消去不能変数を含む正則パターンの効率的な帰納学習 (計算理論とアルゴリズムの新展開)   植村, 仁; 佐藤, 優子 (2001-05)   数理解析研究所講究録, 1205: 206-211