林 雄二


IO正則表現によるデータフローネットワークの検証
林 雄二 山口 忠 
誌名:   電子情報通信学会論文誌 D
発行日: 1998/06/25
Vol. J81-D1  No. 6  pp. 755-769
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
IO正則式検証ストリームデータフローネットワーク不動点
 あらまし | 本文:PDF(860.1KB)

決定性データフローネットワークにおける不動点の意味
林 雄二 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/09/25
Vol. J78-D1  No. 9  pp. 820-830
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
データフローネットワーク表示的意味プロセス並列プログラミング不動点
 あらまし | 本文:PDF(584.8KB)

部分関数を定義するm-n列変換器の性質
林 雄二 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/06/25
Vol. J77-D1  No. 6  pp. 409-414
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
列変換器列関数決定問題部分関数閉包性
 あらまし | 本文:PDF(425.1KB)

ジャクソン法における構造不一致問題の形式化
林 雄二 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/01/25
Vol. J76-D1  No. 1  pp. 11-18
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
プログラム設計JSPオートマトン列変換器構造不一致
 あらまし | 本文:PDF(503.9KB)