書誌情報	ファイル
表紙・目次    (2000-04)   数理解析研究所講究録, 1148
自己双対クロンのrigidity問題 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   宮川, 正弘; ローゼンバーグ, Ivo. G. (2000-04)   数理解析研究所講究録, 1148: 1-4
多様な属性関係を表現できるフレーム構造論理の拡張体系 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   小松, 香爾; 西原, 典孝; 堀越, 浩司 (2000-04)   数理解析研究所講究録, 1148: 5-10
知的自動証明機の提案と実装 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   Arai, Noriko H.; Masukawa, Ryuji (2000-04)   数理解析研究所講究録, 1148: 11-16
レベル付き依存グラフを用いた効率のよいソフトウェア・パイプライン化法について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   武市, 雅俊; 大山口, 通夫; 太田, 義勝 (2000-04)   数理解析研究所講究録, 1148: 17-22
An Attribute Precedence Graph Grammar and Tabular Forms (Foundations of Computer Science)   Arita, Tomokazu; Tomiyama, Kiyonobu (2000-04)   数理解析研究所講究録, 1148: 23-28
Characterizing the Class of Deterministic Context-Free Languages by Semi-Right-Terminating Uniquely Parsable Grammars (Foundations of Computer Science)   Morita, Kenichi; Lee, Jia (2000-04)   数理解析研究所講究録, 1148: 29-34
3次元一意解析可能アレイ文法による図形の生成と認識について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   松田, 行雄; 森田, 憲一; 岩本, 宙造; 今井, 克暢 (2000-04)   数理解析研究所講究録, 1148: 35-40
単一パラメータ・マクロ木変換機とSpine Grammarの関係 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   藤芳, 明生 (2000-04)   数理解析研究所講究録, 1148: 41-46
An extention of Grover's quantum search algorithm (Foundations of Computer Science)   Tanaka, Keisuke (2000-04)   数理解析研究所講究録, 1148: 47-51
非線形量子計算の模倣における領域量について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   金田, 直樹; 西野, 哲朗 (2000-04)   数理解析研究所講究録, 1148: 52-57
Phase-ShiftとControlled-Notで構成される量子回路について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   安倍, 秀明; 宋, 少秋 (2000-04)   数理解析研究所講究録, 1148: 58-63
正則パターン上の決定木の学習アルゴリズム (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   寺田, 幹治; 向内, 康人; 佐藤, 優子 (2000-04)   数理解析研究所講究録, 1148: 64-69
質問と正の反例による正則言語の多項式時間学習 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   但馬, 康宏; 富田, 悦次 (2000-04)   数理解析研究所講究録, 1148: 70-75
$O(\log n)$長の単調単項式の負例学習について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   築地, 立家; 徳谷, 崇 (2000-04)   数理解析研究所講究録, 1148: 76-81
競争型ネットワークサービスモデルの価格戦略に関するゲーム論的考察 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   古賀, 健太郎; 桜井, 幸一 (2000-04)   数理解析研究所講究録, 1148: 82-87
反復型アルゴリズムによるフィボナッチ列の生成について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   三河, 賢治; 仙波, 一郎 (2000-04)   数理解析研究所講究録, 1148: 88-93
Recognizing Ordered Tree-Shellable Boolean Functions Based on OBDDs (Foundations of Computer Science)   Takenaga, Yasuhiko (2000-04)   数理解析研究所講究録, 1148: 94-99
Lattice-theoretic properties of MPR-posets in phylogeny (Foundations of Computer Sciences)   Miyakawa, Kampei; Narushima, Hiroshi (2000-04)   数理解析研究所講究録, 1148: 100-105
系統樹最節約復元の部分木に関する最小性について : Some properties of the distortion index on all MPRs (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)   宮川, 幹平; 成嶋, 弘 (2000-04)   数理解析研究所講究録, 1148: 106-111