太田 義勝

J-GLOBALへ         更新日: 16/07/15 20:04
 
アバター
研究者氏名
太田 義勝
 
オオタ ヨシカツ
URL
http://www.net.info.mie-u.ac.jp/~ohta/
所属
三重大学
部署
工学部 情報工学科
職名
教授
学位
工学博士(名古屋大学), 工学修士(名古屋大学)

研究キーワード

 
 

研究分野

 
 

学歴

 
 
 - 
1978年
名古屋大学 工学研究科 情報工学
 
 
 - 
1976年
名古屋大学 工学部 電気
 

Misc

 
FORTRANによって実現された会話型LISPシステムとその応用
情報処理学会論文誌   23(4)    1982年
LISPプログラムの動的解析システム(LISPDAP)
電子通信学会論文誌   J65-D(11)    1982年
代数的仕様記述に基づいたソフトウェアの正当性証明システム
電子通信学会論文誌   J66-D(6)    1983年
LISP関数によって生成されるリスト構造の解析
電子通信学会論文誌   J69-D(6)    1986年
Lispのためのパターン指向型プログラミングシステム
電子情報通信学会論文誌   J70-D(6)    1987年

書籍等出版物

 
A New Parallel Closed Condition for Church-Resser of Left-Linear Term Rewriting Systems
Lecture Notes of Computer Science   1997年   
The Unification Problem for Conflnent Right-Ground Term Rewriting Systems
Lecture Notes in Computer Science   2001年   
The Joinability and Unification Problems for Confluent Semi-Constructor TRSs
Lecture Notes in Computer Science   2004年   

競争的資金等の研究課題

 
プログラミング言語に関する研究
アルゴリズムに関する研究
項書換えシステムに関する研究
コンピュータネットワークに関する研究