森田 憲一


非決定性チューリング機械の厳密な領域階層定理
岩本 宙造 立花 大輔 徳永 清輝 森田 憲一 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/09/01
Vol. J93-D  No. 9  pp. 1717-1726
論文種別:  論文
専門分野: 情報・システム基礎
キーワード: 
チューリング機械計算複雑さ領域階層定理非決定性
 あらまし | 本文:PDF(255.5KB)

単純な非同期論理素子による同期可逆セルオートマトンの構成法
斉 金山 森田 憲一 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/06/01
Vol. J89-D  No. 6  pp. 1201-1212
論文種別:  論文
専門分野: オートマトン・言語理論
キーワード: 
非同期論理回路ディレー・インセンシティブ回路可逆セルオートマトン非同期セルオートマトンブロック写像
 あらまし | 本文:PDF(400KB)

非同期セル空間における順序機械構成
斉 金山 森田 憲一 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/07/01
Vol. J88-D1  No. 7  pp. 1156-1160
論文種別:  レター
専門分野: 
キーワード: 
非同期セルオートマトンブロック写像順序機械
 あらまし | 本文:PDF(320.3KB)

計算万能な81状態保存的可逆セルオートマトン
荻路 剛 森田 憲一 
誌名:   電子情報通信学会論文誌 A
発行日: 2002/10/01
Vol. J85-A  No. 10  pp. 1041-1050
論文種別:  特集論文 (ディジタルデータ付き論文特集(CD-ROM付))
専門分野: 
キーワード: 
可逆コンピューティングセルオートマトンカウンタ機械可逆論理回路可逆論理素子
 あらまし | 本文:PDF(1.3MB)

自己参照メカニズムに基づく自己増殖セルオートマトンのシミュレーション
今井 克暢 堀 貴博 松田 行雄 藤田 研二 森田 憲一 
誌名:   電子情報通信学会論文誌 A
発行日: 2002/10/01
Vol. J85-A  No. 10  pp. 1051-1058
論文種別:  特集論文 (ディジタルデータ付き論文特集(CD-ROM付))
専門分野: 
キーワード: 
セルオートマトン自己増殖自己参照可逆性シミュレーション
 あらまし | 本文:PDF(1.1MB)

一意解析可能アレー文法による単連結図形及び単純閉曲線の生成
斉 金山 Ruhizan Liza Ahmad Shauri 森田 憲一 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/02/01
Vol. J85-D1  No. 2  pp. 168-172
論文種別:  特集レター (LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
専門分野: 
キーワード: 
アレー文法パターン生成一意解析可能性単連結図形単純閉曲線
 あらまし | 本文:PDF(116.8KB)

2点スプライシングシステムの言語生成能力の万能性
細川 英 森田 憲一 岩本 宙造 今井 克暢 
誌名:   電子情報通信学会論文誌 D
発行日: 2000/01/25
Vol. J83-D1  No. 1  pp. 55-59
論文種別:  特集論文 (情報基礎理論ワークショップ(LAシンポジウム)論文小特集)
専門分野: 並列モデル
キーワード: 
スプライシングシステムDNA計算言語生成万能性
 あらまし | 本文:PDF(309.4KB)

32状態可逆セルオートマトン上での論理回路合成
近宗 克紀 森田 憲一 今井 克暢 
誌名:   電子情報通信学会論文誌 D
発行日: 1998/03/25
Vol. J81-D1  No. 3  pp. 350-352
論文種別:  レター
専門分野: 
キーワード: 
セルオートマトン可逆性エネルギー論理回路合成Fredkinゲート
 あらまし | 本文:PDF(189.3KB)

連体修飾構造を取り扱える名辞論理体系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)

Lmn)テープ限定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)