書誌情報	ファイル
表紙・目次    (1992-06)   数理解析研究所講究録, 790
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
コオペレーティング1方向カウンタ機械システム(理論計算機科学とその周辺)   王, 躍; 井上, 克司; 高浪, 五男; 松野, 浩嗣 (1992-06)   数理解析研究所講究録, 790: 8-14
非決定性有限オートマトンの状態数最小化(理論計算機科学とその周辺)   仙石, 浩明; 矢島, 脩三 (1992-06)   数理解析研究所講究録, 790: 15-21
決定木構成問題と学習可能性(理論計算機科学とその周辺)   小柴, 健史 (1992-06)   数理解析研究所講究録, 790: 22-28
計算データからの論理回路の構成(理論計算機科学とその周辺)   下薗, 真一 (1992-06)   数理解析研究所講究録, 790: 29-35
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
Learning Frontier-to-Root Lexical-Functional Grammars from Positive Data   Shimizu, Naoaki; Nishino, Tetsuro; Hitotsumatsu, Shin (1992-06)   数理解析研究所講究録, 790: 50-56
3SAT問題のニューラルネットワーク解法(理論計算機科学とその周辺)   近松, 良知; 山下, 雅史; 阿江, 忠 (1992-06)   数理解析研究所講究録, 790: 57-63
インプリサイスコンピュテーション手法に対するスケジューリングアルコリズム(理論計算機科学とその周辺)   小笠原, 秀和; 若林, 真一 (1992-06)   数理解析研究所講究録, 790: 64-70
Competitive Analysis of Round Robin Algorithm   Matsumoto, Tsuyoshi (1992-06)   数理解析研究所講究録, 790: 71-77
malign measureによるa priori measureの特徴づけについて(理論計算機科学とその周辺)   小林, 孝次郎 (1992-06)   数理解析研究所講究録, 790: 78-84
木構造図式の描画問題(理論計算機科学とその周辺)   安斎, 公士 (1992-06)   数理解析研究所講究録, 790: 85-94
セル構造オートマトンに基づく並列アレイ生成システム(理論計算機科学とその周辺)   上野, 聡; 森田, 憲一 (1992-06)   数理解析研究所講究録, 790: 95-101
正規アレイ文法に非空白記号を検出する能力を与えた文法について(理論計算機科学とその周辺)   谷口, 弘; 菅田, 一博; 清水, 忠昭; 角野, 秀典 (1992-06)   数理解析研究所講究録, 790: 102-108
ANALOGICAL REASONING OF NATURAL DEDUCTION PROOF BASED ON HIGHER ORDER ABSTRACTION   HARAO, Masateru (1992-06)   数理解析研究所講究録, 790: 109-115
サーカムスクリプションと安定モデル意味論(理論計算機科学とその周辺)   平田, 耕一 (1992-06)   数理解析研究所講究録, 790: 116-124
自動証明における自然な証明生成の1アルゴリズム(理論計算機科学とその周辺)   大芝, 猛 (1992-06)   数理解析研究所講究録, 790: 125-133
二分決定グラフの並列構成アルゴリズムについて(理論計算機科学とその周辺)   木村, 晋二; 井垣, 努; 羽根田, 博正 (1992-06)   数理解析研究所講究録, 790: 134-140