Collection home page

Foundations of Computer Science   40
(http://hdl.handle.net/2433/63098)

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