大山口 通夫


通信遅延を考慮したタスクスケジューリングアルゴリズムについて
河田 俊郎 大山口 通夫 太田 義勝 
誌名:   電子情報通信学会論文誌 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)