本多 波雄


必須呼びが正規化戦略となるあいまいな線形項書き換えシステムのクラス
直井 徹 山下 雅史 茨木 俊秀 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1986/09/25
Vol. J69-D  No. 9  pp. 1236-1245
論文種別:  論文
専門分野: オートマン・言語理論
キーワード: 
 あらまし | 本文:PDF(801.6KB)

部分グラフ検出問題の時間計算量の下限
荒井 真成 山下 雅史 平田 富夫 茨木 俊秀 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1985/10/25
Vol. J68-D  No. 10  pp. 1735-1743
論文種別:  論文
専門分野: アルゴリズム,計算複雑性
キーワード: 
 あらまし | 本文:PDF(682.7KB)

並行プログラム検証体系のためのダイナミック論理の拡張
村上 昌己 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1984/10/25
Vol. J67-D  No. 10  pp. 1218-1225
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(594KB)

決定性有限オートマトンの効率のよい合成アルゴリズムとその字句解析プログラム生成系への応用
加藤 貢 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1984/09/25
Vol. J67-D  No. 9  pp. 1068-1069
論文種別:  技術談話室
専門分野: 
キーワード: 
 あらまし | 本文:PDF(284KB)

可変近傍系列によって定義される距離関数
山下 雅史 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1984/06/25
Vol. J67-D  No. 6  pp. 701-707
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(496.3KB)

閉じた正規表現の代数と完全な公理系
泉 寛幸 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1984/01/25
Vol. J67-D  No. 1  pp. 56-61
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(396KB)

同期付生成システム
山下 雅史 阿曽 弘具 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/11/25
Vol. J66-D  No. 11  pp. 1278-1285
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(578.4KB)

同期付生成システムを用いた,直線形プロセスから構成される並行処理システムの解析―独立k-左線形SPSとSPS言語―
山下 雅史 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/11/25
Vol. J66-D  No. 11  pp. 1286-1293
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(591.1KB)

無限長記号列を含む集合に関する右線形方程式
泉 寛幸 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/08/25
Vol. J66-D  No. 8  pp. 993-999
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(505.6KB)

正規アドヒーレンス言語の閉包性と決定可能問題
泉 寛幸 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/05/25
Vol. J66-D  No. 5  pp. 479-486
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(603.5KB)

画像に対する並列変換と逐次変換の関係
山下 雅史 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/04/25
Vol. J66-D  No. 4  pp. 429-436
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(573.3KB)

正規集合のアドヒーレンスによって得られるω-言語とω-有限オートマトン
泉 寛幸 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/03/25
Vol. J66-D  No. 3  pp. 324-331
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(578KB)

線形巡回形セル構造オートマトンの動的性質
市川 一弥 阿曽 弘具 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1982/09/25
Vol. J65-D  No. 9  pp. 1129-1136
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(707.9KB)

しきい素子の重みの分類
阿曽 弘具 本多 波雄 
誌名:   電子情報通信学会論文誌 A
発行日: 1982/01/25
Vol. J65-A  No. 1  pp. 126-127
論文種別:  技術談話室
専門分野: 
キーワード: 
 あらまし | 本文:PDF(731.7KB)

ヤノフ形並行プログラム図式の決定可能問題
山下 雅史 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1981/03/25
Vol. J64-D  No. 3  pp. 228-235
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(636.7KB)

有限状態スケジューラを有する並行プログラム図式
山下 雅史 稲垣 康善 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1980/08/25
Vol. J63-D  No. 8  pp. 634-641
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(625.4KB)

点の次数3以下のグラフに対する2部グラフ化問題
大川 知 西谷 泰昭 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1979/05/25
Vol. J62-D  No. 5  pp. 348-355
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(620.3KB)

フローグラフの最小被覆道集合問題の時間複雑さ
山下 晶 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1978/10/25
Vol. J61-D  No. 10  pp. 727-734
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(693.8KB)

可約なフローグラフの最小帰還点集合
山下 晶 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1977/10/25
Vol. J60-D  No. 10  pp. 793-800
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(627.8KB)

BJ流れ図のGO TO文最小のプログラム記述とあるNP完全性問題
永松 正博 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1977/09/25
Vol. J60-D  No. 9  pp. 702-709
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(591.4KB)

有限個のモジュールにより生成される流れ図のGO TO文最小のプログラム記述について
永松 正博 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1977/09/25
Vol. J60-D  No. 9  pp. 694-701
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(601.2KB)

多値論理素子が細分的であるための条件
丸岡 章 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1974/11/25
Vol. J57-D  No. 11  pp. 613-620
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(567.7KB)

可変論理素子の構造固定の条件
丸岡 章 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1973/03/25
Vol. J56-D  No. 3  pp. 154-161
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(661.4KB)

木オートマトンが受理する集合のある特性化
小島 政明 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1973/01/25
Vol. J56-D  No. 1  pp. 55-62
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(556.8KB)

決定性多重テープオートマトンと文脈自由形言語の認識
五十嵐 善英 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1972/12/25
Vol. J55-D  No. 12  pp. 799-806
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(809.1KB)

多値論理素子を樹枝状接続した回路が任意の関数を実現する条件
丸岡 章 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1972/11/25
Vol. J55-D  No. 11  pp. 746-752
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(599.4KB)

文脈規定形木オートマトンの性質と文脈規定形文法の導出木の特性化
小島 政明 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1972/09/25
Vol. J55-D  No. 9  pp. 601-608
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(640.7KB)

シンプルプログラムとオートマトン
高浪 五男 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1972/08/25
Vol. J55-D  No. 8  pp. 539-545
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(609.1KB)

有限オートマトンの一般化
高浪 五男 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1972/03/25
Vol. J55-D  No. 3  pp. 163-170
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(664.1KB)

制御集合の上のオートマトンと変換器
高浪 五男 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1972/03/25
Vol. J55-D  No. 3  pp. 156-162
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(668.5KB)

Gladkijの定理の拡張と言語のハイアラーキ
五十嵐 善英 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1972/02/25
Vol. J55-D  No. 2  pp. 114-121
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(773.9KB)

可変論理回路の構造の可変範囲
丸岡 章 本多 波雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1972/01/25
Vol. J55-D  No. 1  pp. 1-7
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(659.8KB)

一般化された準有限確定事象とオートマトン
高浪 五男 本多 波雄 
誌名:   電子情報通信学会論文誌 C
発行日: 1971/09/25
Vol. J54-C  No. 9  pp. 811-818
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(706.3KB)

可変論理回路の構造の類別
丸岡 章 本多 波雄 
誌名:   電子情報通信学会論文誌 C
発行日: 1971/07/25
Vol. J54-C  No. 7  pp. 549-555
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(650.4KB)

準有限確定事象とオートマトン
高浪 五男 本多 波雄 
誌名:   電子情報通信学会論文誌 C
発行日: 1971/03/25
Vol. J54-C  No. 3  pp. 250-256
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(515.5KB)

Tn)-導出言語の性質について
五十嵐 善英 本多 波雄 
誌名:   電子情報通信学会論文誌 C
発行日: 1970/09/25
Vol. J53-C  No. 9  pp. 637-643
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(636.4KB)

決定性実時間リスト記憶言語について
五十嵐 善英 本多 波雄 
誌名:   電子情報通信学会論文誌 C
発行日: 1970/08/25
Vol. J53-C  No. 8  pp. 514-521
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(634.8KB)

句構造言語のあるクラス分けについて
五十嵐 善英 本多 波雄 
誌名:   電子情報通信学会論文誌 C
発行日: 1970/07/25
Vol. J53-C  No. 7  pp. 462-468
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(630.7KB)

二次元図形生成文法について
淀川 英司 本多 波雄 
誌名:   電子情報通信学会論文誌 C
発行日: 1970/03/25
Vol. J53-C  No. 3  pp. 141-148
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(670.9KB)

長さをもつ半群の上の方程式とその形式言語への応用
高浪 五男 本多 波雄 
誌名:   電子情報通信学会論文誌 C
発行日: 1969/12/25
Vol. J52-C  No. 12  pp. 788-795
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(674.3KB)

長さをもつ可換半群によるPARIKHの定理と準線形集合の特性化
高浪 五男 本多 波雄 
誌名:   電子情報通信学会論文誌 C
発行日: 1969/10/25
Vol. J52-C  No. 10  pp. 626-632
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(479.2KB)

導出に制限のあるContext Sensitive言語
五十嵐 善英 本多 波雄 
誌名:   電子情報通信学会論文誌 C
発行日: 1969/10/25
Vol. J52-C  No. 10  pp. 595-602
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(695.6KB)

一般化された決定性事象とオートマトン
五十嵐 善英 本多 波雄 
誌名:   電子情報通信学会論文誌 C
発行日: 1968/10/25
Vol. J51-C  No. 10  pp. 463-470
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(678.2KB)

有限オートマトンの遷移行列による解析と合成
高浪 五男 本多 波雄 
誌名:   電子情報通信学会論文誌 C
発行日: 1968/04/25
Vol. J51-C  No. 4  pp. 146-153
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(663.4KB)