Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 21-30 / 40.

前
1
2
3
4
次

検索結果:

書誌情報	ファイル
質問と正の反例による正則言語の多項式時間学習 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 但馬, 康宏; 富田, 悦次 (2000-04) 数理解析研究所講究録, 1148: 70-75
$O(\log n)$長の単調単項式の負例学習について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 築地, 立家; 徳谷, 崇 (2000-04) 数理解析研究所講究録, 1148: 76-81
反復型アルゴリズムによるフィボナッチ列の生成について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 三河, 賢治; 仙波, 一郎 (2000-04) 数理解析研究所講究録, 1148: 88-93
Phase-ShiftとControlled-Notで構成される量子回路について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 安倍, 秀明; 宋, 少秋 (2000-04) 数理解析研究所講究録, 1148: 58-63
Lattice-theoretic properties of MPR-posets in phylogeny (Foundations of Computer Sciences) Miyakawa, Kampei; Narushima, Hiroshi (2000-04) 数理解析研究所講究録, 1148: 100-105
非線形量子計算の模倣における領域量について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 金田, 直樹; 西野, 哲朗 (2000-04) 数理解析研究所講究録, 1148: 52-57
Recognizing Ordered Tree-Shellable Boolean Functions Based on OBDDs (Foundations of Computer Science) Takenaga, Yasuhiko (2000-04) 数理解析研究所講究録, 1148: 94-99
位置情報をもつグラフデータに対する知識表現言語 : Layout Formal Graph System (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 糸川, 裕子; 内田, 智之; 宮原, 哲浩; 中村, 泰明 (2000-04) 数理解析研究所講究録, 1148: 158-163
Polynomial Time Matching Algorithms for Tree Structured Patterns (Foundations of Computer Science) Shoudai, Takayoshi; Miyahara, Tetsuhiro; Uchida, Tomoyuki (2000-04) 数理解析研究所講究録, 1148: 164-169
確率一般化LR構文解析の先読み方式変更による拡張 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 椎名, 広光; 増山, 繁 (2000-04) 数理解析研究所講究録, 1148: 170-174