大山口　通夫

通信遅延を考慮したタスクスケジューリングアルゴリズムについて
河田　俊郎 大山口　通夫 太田　義勝 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/11/01
Vol. J85-D1  No. 11  pp. 1088-1092
論文種別:  レター
専門分野: 
キーワード: 
スケジューリング, タスク複製, 通信遅延, NP完全, 近似アルゴリズム, 
 あらまし | 本文:PDF(142.6KB)
マルチプロセッサ向き目的コードスケジューリングについて
松原　義和 大山口　通夫 太田　義勝 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/10/25
Vol. J82-D1  No. 10  pp. 1232-1244
論文種別:  論文
専門分野: アルゴリズム
キーワード: 
コードスケジューリング, コンパイラ最適化, 
 あらまし | 本文:PDF(511.2KB)
並列処理を考慮した目的コードスケジューリング
松原　義和 服部　忠幸 大山口　通夫 太田　義勝 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/12/25
Vol. J80-D1  No. 12  pp. 971-974
論文種別:  レター
専門分野: 
キーワード: 
コードスケジューリング, 
 あらまし | 本文:PDF(265.1KB)
非線形TRSのE重なり性について
松浦　邦博 大山口　通夫 太田　義勝 小川　瑞史 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/11/25
Vol. J80-D1  No. 11  pp. 847-855
論文種別:  論文
専門分野: オートマン，言語理論，計算論
キーワード: 
項書換えシステム, 深さ保存, 非E重なり, 非ω重なり, 右定項TRS, 
 あらまし | 本文:PDF(604.1KB)
単純右線形項書換えシステムの合流性について
太田　義勝 大山口　通夫 外山　芳人 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/03/25
Vol. J78-D1  No. 3  pp. 263-268
論文種別:  論文
専門分野: オートマン，言語理論，計算論
キーワード: 
項書換えシステム, 合流性, チャーチロッサ性, 非E重なり, 単純右線形TRS, 
 あらまし | 本文:PDF(411.5KB)
右定項-項書換えシステムの合流性について
大山口　通夫 太田　義勝 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/02/25
Vol. J76-D1  No. 2  pp. 39-45
論文種別:  論文
専門分野: オートマン，言語理論，計算論
キーワード: 
項書換えシステム, 合流性, 非E重なり, 右定項システム, 
 あらまし | 本文:PDF(446.4KB)
代数的仕様記述に基づいたソフトウェアの正当性証明システム
川原林　隆 太田　義勝 大山口　通夫 稲垣　康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/06/25
Vol. J66-D  No. 6  pp. 691-698
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(646.3KB)