|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
連体修飾構造を取り扱える名辞論理体系LVPMの完全性
西原 典孝 森田 憲一 | 誌名: 電子情報通信学会論文誌 D
発行日: 1992/04/25
Vol. J75-D2
No. 4
pp. 780-790
論文種別:
論文
専門分野: 人工知能，認知科学
キーワード:
論理, 完全性, 知識表現, | | | あらまし | 本文:PDF(603.4KB) | |
|
Syllogismを土台とした連体修飾構造を取り扱える名辞論理の公理的体系LVPM
西原 典孝 森田 憲一 | 誌名: 電子情報通信学会論文誌 D
発行日: 1992/03/25
Vol. J75-D2
No. 3
pp. 581-588
論文種別:
論文
専門分野: 人工知能，認知科学
キーワード:
論理, 推論, 知識表現, | | | あらまし | 本文:PDF(510.8KB) | |
|
動詞および固有名詞を導入したSyllogismの拡張体系とその完全性
西原 典孝 岩田 成徳 森田 憲一 | 誌名: 電子情報通信学会論文誌 D
発行日: 1989/05/25
Vol. J72-D2
No. 5
pp. 760-771
論文種別:
論文
専門分野: 人工知能，認知科学
キーワード:
| | | あらまし | 本文:PDF(972.1KB) | |
|
連言，選言および補名辞演算子を取り扱えるSyllogismの拡張体系とその完全性
西原 典孝 森田 憲一 | 誌名: 電子情報通信学会論文誌 D
発行日: 1988/04/25
Vol. J71-D
No. 4
pp. 693-704
論文種別:
論文
専門分野: 人工知能，認知科学
キーワード:
| | | あらまし | 本文:PDF(982KB) | |
|
線形時間非決定性ボトムアップピラミッドセルオートマトンの受理能力
中園 薫 森田 憲一 菅田 一博 | 誌名: 電子情報通信学会論文誌 D
発行日: 1988/02/25
Vol. J71-D
No. 2
pp. 458-461
論文種別:
レター
専門分野:
キーワード:
| | | あらまし | 本文:PDF(367KB) | |
|
Syllogism（三段論法推論）体系の連言名辞への拡張
西原 典孝 森田 憲一 | 誌名: 電子情報通信学会論文誌 D
発行日: 1987/12/25
Vol. J70-D
No. 12
pp. 2640-2646
論文種別:
論文
専門分野: 人工知能，認知科学
キーワード:
| | | あらまし | 本文:PDF(658.8KB) | |
|
連言名辞を導入した拡張Syllogism体系LCの完全性
西原 典孝 森田 憲一 | 誌名: 電子情報通信学会論文誌 D
発行日: 1987/12/25
Vol. J70-D
No. 12
pp. 2647-2657
論文種別:
論文
専門分野: 人工知能，認知科学
キーワード:
| | | あらまし | 本文:PDF(875.2KB) | |
|
可逆的2記号3テープTuring機械の構成
後野 由文 森田 憲一 | 誌名: 電子情報通信学会論文誌 D
発行日: 1987/05/25
Vol. J70-D
No. 5
pp. 1047-1050
論文種別:
レター
専門分野:
キーワード:
| | | あらまし | 本文:PDF(313.1KB) | |
|
Syllogism（三段論法推論）の効率化と知識処理への応用
森田 憲一 西原 典孝 江村 恵里子 | 誌名: 電子情報通信学会論文誌 D
発行日: 1987/02/25
Vol. J70-D
No. 2
pp. 405-414
論文種別:
論文
専門分野: 人工知能，認知科学
キーワード:
| | | あらまし | 本文:PDF(909KB) | |
|
可逆的かつ保存的なFredkinの論理ゲートを用いたセル構造メモリー・ユニットの構成法
森田 憲一 | 誌名: 電子情報通信学会論文誌 D
発行日: 1986/06/25
Vol. J69-D
No. 6
pp. 860-867
論文種別:
論文
専門分野: 計算機システム・構成要素
キーワード:
| | | あらまし | 本文:PDF(581.9KB) | |
|
1方向セルラーオートマトンによる2方向実時間セルラーオートマトンの決定性線形時間模倣
梅尾 博司 森田 憲一 菅田 一博 | 誌名: 電子情報通信学会論文誌 D
発行日: 1982/05/25
Vol. J65-D
No. 5
pp. 662-663
論文種別:
技術談話室
専門分野:
キーワード:
| | | あらまし | 本文:PDF(580.7KB) | |
|
ある種のブール代数式およびフリーブールグラフに対する包含関係判定問題
谷 秀人 森田 憲一 菅田 一博 | 誌名: 電子情報通信学会論文誌 D
発行日: 1982/05/25
Vol. J65-D
No. 5
pp. 637-643
論文種別:
論文
専門分野:
キーワード:
| | | あらまし | 本文:PDF(496.5KB) | |
|
テープ限定チューリング変換機の計算能力
衣斐 寛之 森田 憲一 菅田 一博 | 誌名: 電子情報通信学会論文誌 D
発行日: 1979/02/25
Vol. J62-D
No. 2
pp. 111-117
論文種別:
論文
専門分野:
キーワード:
| | | あらまし | 本文:PDF(654.7KB) | |
|
決定性2次元テープ限定チューリング機械の受理するパターン集合族の閉包性
梅尾 博司 森田 憲一 菅田 一博 | 誌名: 電子情報通信学会論文誌 D
発行日: 1979/01/25
Vol. J62-D
No. 1
pp. 32-38
論文種別:
論文
専門分野:
キーワード:
| | | あらまし | 本文:PDF(573.4KB) | |
|
2次元チューリング機械におけるテープ計算量の下界について
森田 憲一 梅尾 博司 衣斐 寛之 菅田 一博 | 誌名: 電子情報通信学会論文誌 D
発行日: 1978/06/25
Vol. J61-D
No. 6
pp. 381-386
論文種別:
論文
専門分野:
キーワード:
| | | あらまし | 本文:PDF(527.6KB) | |
|
決定性2マーカオートマトンによる線形言語の認識
菅田 一博 森田 憲一 梅尾 博司 | 誌名: 電子情報通信学会論文誌 D
発行日: 1977/12/25
Vol. J60-D
No. 12
pp. 1120-1121
論文種別:
技術談話室
専門分野:
キーワード:
| | | あらまし | 本文:PDF(161.4KB) | |
|
各種の2次元テープオートマトンの言語受理能力とテープ計算量の関係
森田 憲一 梅尾 博司 菅田 一博 | 誌名: 電子情報通信学会論文誌 D
発行日: 1977/12/25
Vol. J60-D
No. 12
pp. 1077-1084
論文種別:
論文
専門分野:
キーワード:
| | | あらまし | 本文:PDF(635.5KB) | |
|
L（m，n）テープ限定2次元Turing機械の言語受理能力の階層性
森田 憲一 梅尾 博司 菅田 一博 | 誌名: 電子情報通信学会論文誌 D
発行日: 1977/11/25
Vol. J60-D
No. 11
pp. 982-989
論文種別:
論文
専門分野:
キーワード:
| | | あらまし | 本文:PDF(636.8KB) | |
|
2次元入力テープ形状に関する諸問題
梅尾 博司 森田 憲一 菅田 一博 | 誌名: 電子情報通信学会論文誌 D
発行日: 1977/08/25
Vol. J60-D
No. 8
pp. 570-577
論文種別:
論文
専門分野:
キーワード:
| | | あらまし | 本文:PDF(633.6KB) | |
|
n限定カウンタオートマトン及び多次元リバウンドオートマトンにおける計算能力の階層性
森田 憲一 菅田 一博 梅尾 博司 | 誌名: 電子情報通信学会論文誌 D
発行日: 1977/04/25
Vol. J60-D
No. 4
pp. 283-290
論文種別:
論文
専門分野:
キーワード:
| | | あらまし | 本文:PDF(656KB) | |
|
n限定マルチカウンタオートマトンの性質と言語受理能力について
菅田 一博 森田 憲一 梅尾 博司 | 誌名: 電子情報通信学会論文誌 D
発行日: 1977/04/25
Vol. J60-D
No. 4
pp. 275-282
論文種別:
論文
専門分野:
キーワード:
| | | あらまし | 本文:PDF(663.8KB) | |
|
リバウンドオートマトンの言語受理能力について
菅田 一博 梅尾 博司 森田 憲一 | 誌名: 電子情報通信学会論文誌 A
発行日: 1977/04/25
Vol. J60-A
No. 4
pp. 367-374
論文種別:
論文
専門分野:
キーワード:
| | | あらまし | 本文:PDF(649.2KB) | |
|
2次元テープオートマトンによるパターン認識
梅尾 博司 森田 憲一 菅田 一博 | 誌名: 電子情報通信学会論文誌 D
発行日: 1976/11/25
Vol. J59-D
No. 11
pp. 817-824
論文種別:
論文
専門分野:
キーワード:
| | | あらまし | 本文:PDF(636.5KB) | |
|
チューリング機械とワングの原形計算機間の相互変換法
菅田 一博 森田 憲一 | 誌名: 電子情報通信学会論文誌 D
発行日: 1973/03/25
Vol. J56-D
No. 3
pp. 133-139
論文種別:
論文・資料
専門分野:
キーワード:
| | | あらまし | 本文:PDF(569.4KB) | |
|
