コレクションホームページ
0790 理論計算機科学とその周辺
38
0790 理論計算機科学とその周辺
38
(http://hdl.handle.net/2433/81894)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 38
書誌情報 | ファイル |
---|---|
表紙・目次 (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 |
文献一覧(目次の昇順ソート): 1 - 20 / 38