太田 義勝


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

パターン記述に基づくLISPプログラムの変換
澤井 真二 太田 義勝 吉田 雄二 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/04/25
Vol. J73-D1  No. 4  pp. 456-459
論文種別:  レター
専門分野: 
キーワード: 
 あらまし | 本文:PDF(312.5KB)

Lispのためのパターン指向型プログラミングシステム
川村 鉄也 太田 義勝 吉田 雄二 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/06/25
Vol. J70-D  No. 6  pp. 1149-1156
論文種別:  論文
専門分野: ソフトウェア技法
キーワード: 
 あらまし | 本文:PDF(577.3KB)

LISP関数によって生成されるリスト構造の解析
太田 義勝 吉田 雄二 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1986/06/25
Vol. J69-D  No. 6  pp. 878-884
論文種別:  論文
専門分野: ソフトウェア技法
キーワード: 
 あらまし | 本文:PDF(528.7KB)

代数的仕様記述に基づいたソフトウェアの正当性証明システム
川原林 隆 太田 義勝 大山口 通夫 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/06/25
Vol. J66-D  No. 6  pp. 691-698
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(646.3KB)

LISPプログラムの動的解析システム(LISPDAP)
太田 義勝 七條 卓巳 吉田 雄二 福村 晃夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1982/11/25
Vol. J65-D  No. 11  pp. 1421-1426
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(395.8KB)