Collection home page

0790 理論計算機科学とその周辺   38
(http://hdl.handle.net/2433/81894)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 38
BibliographyContents
表紙・目次
   (1992-06)
  数理解析研究所講究録, 790
file type icon
A Relationship between nondeterministic Turing machines and 1-inkdot Turing machines with small space
  Inoue, Katsushi, Ito, Akira, Takanami, Itsuo (1992-06)
  数理解析研究所講究録, 790: 1-7
file type icon
コオペレーティング1方向カウンタ機械システム(理論計算機科学とその周辺)
  王, 踊, 井上, 克司, 高浪, 五男, 松野, 浩嗣 (1992-06)
  数理解析研究所講究録, 790: 8-14
file type icon
非決定性有限オートマトンの状態数最小化(理論計算機科学とその周辺)
  仙石, 浩明, 矢島, 脩三 (1992-06)
  数理解析研究所講究録, 790: 15-21
決定木構成問題と学習可能性(理論計算機科学とその周辺)
  小柴, 健史 (1992-06)
  数理解析研究所講究録, 790: 22-28
file type icon
計算データからの論理回路の構成(理論計算機科学とその周辺)
  下薗, 真一 (1992-06)
  数理解析研究所講究録, 790: 29-35
file type icon
A generalization of $\epsilon$-approximations and its application : Extended abstract
  Hasegawa, Susumu, Kakihara, Ken-ichiro (1992-06)
  数理解析研究所講究録, 790: 36-42
An Efficient Parser Based on Frontier-to-Root Lexical-Functional Grammars
  Yamada, Setsuo, Nishino, Tetsuro, Yoneda, Nobuo (1992-06)
  数理解析研究所講究録, 790: 43-49
file type icon
Learning Frontier-to-Root Lexical-Functional Grammars from Positive Data
  Shimizu, Naoaki, Nishino, Tetsuro, Hitotsumatsu, Shin (1992-06)
  数理解析研究所講究録, 790: 50-56
file type icon
3SAT問題のニューラルネットワーク解法(理論計算機科学とその周辺)
  近松, 良知, 山下, 雅史, 阿江, 忠 (1992-06)
  数理解析研究所講究録, 790: 57-63
file type icon
インプリサイスコンピュテーション手法に対するスケジューリングアルコリズム(理論計算機科学とその周辺)
  小笠原, 秀和, 若林, 真一 (1992-06)
  数理解析研究所講究録, 790: 64-70
file type icon
Competitive Analysis of Round Robin Algorithm
  Matsumoto, Tsuyoshi (1992-06)
  数理解析研究所講究録, 790: 71-77
malign measureによるa priori measureの特徴づけについて(理論計算機科学とその周辺)
  小林, 孝次郎 (1992-06)
  数理解析研究所講究録, 790: 78-84
file type icon
木構造図式の描画問題(理論計算機科学とその周辺)
  安斎, 公士 (1992-06)
  数理解析研究所講究録, 790: 85-94
セル構造オートマトンに基づく並列アレイ生成システム(理論計算機科学とその周辺)
  上野, 聡, 森田, 憲一 (1992-06)
  数理解析研究所講究録, 790: 95-101
file type icon
正規アレイ文法に非空白記号を検出する能力を与えた文法について(理論計算機科学とその周辺)
  谷口, 弘, 菅田, 一博, 清水, 忠昭, 角野, 秀典 (1992-06)
  数理解析研究所講究録, 790: 102-108
ANALOGICAL REASONING OF NATURAL DEDUCTION PROOF BASED ON HIGHER ORDER ABSTRACTION
  HARAO, Masateru (1992-06)
  数理解析研究所講究録, 790: 109-115
file type icon
サーカムスクリプションと安定モデル意味論(理論計算機科学とその周辺)
  平田, 耕一 (1992-06)
  数理解析研究所講究録, 790: 116-124
file type icon
自動証明における自然な証明生成の1アルゴリズム(理論計算機科学とその周辺)
  大芝, 猛 (1992-06)
  数理解析研究所講究録, 790: 125-133
二分決定グラフの並列構成アルゴリズムについて(理論計算機科学とその周辺)
  木村, 晋二, 井垣, 努, 羽根田, 博正 (1992-06)
  数理解析研究所講究録, 790: 134-140
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 38