書誌情報 | ファイル |
表紙・目次 (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
| |