研究者
J-GLOBAL ID:200901071714384999
更新日: 2024年02月14日
太田 義勝
オオタ ヨシカツ | Ohta Yoshikatsu
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署:
三重大学 工学部 情報工学科
三重大学 工学部 情報工学科 について
「三重大学 工学部 情報工学科」ですべてを検索
機関情報を見る
職名:
教授
ホームページURL (1件):
http://www.net.info.mie-u.ac.jp/~ohta/
研究分野 (1件):
情報学基礎論
研究キーワード (2件):
計算機科学
, Computer Science
競争的資金等の研究課題 (8件):
コンピュータネットワークに関する研究
項書換えシステムに関する研究
アルゴリズムに関する研究
プログラミング言語に関する研究
Study on Computer Network
Study on Term Rewriting Systems
Study on Algorithems
Study on Programming Languages
全件表示
MISC (36件):
On the Open Problems concerning Church-Rosser of Left-Linear Term Rewriting Systems. Transaction of the Institute of Electronics, Information and Communication Engineers. 2004. E87-D. 2. 290-298
On the Open Problems concerning Church-Rosser of Left-Linear Term Rewriting Systems. Transaction of the Institute of Electronics, Information and Communication Engineers. 2004. E87-D. 2. 290-298
M Oyamaguchi, Y Ohta. The unification problem for confluent right-ground term rewriting systems. INFORMATION AND COMPUTATION. 2003. 183. 2. 187-211
M Oyamaguchi, Y Ohta. The unification problem for confluent right-ground term rewriting systems. INFORMATION AND COMPUTATION. 2003. 183. 2. 187-211
単項的TRSにおける単一化問題について. 情報処理学会論文誌. 2003. 44. PRO17. 54-66
もっと見る
書籍 (6件):
The Joinability and Unification Problems for Confluent Semi-Constructor TRSs
Lecture Notes in Computer Science 2004
The Joinability and Unification Problems for Confluent Semi-Constructor TRSs
Lecture Notes in Computer Science 2004
The Unification Problem for Conflnent Right-Ground Term Rewriting Systems
Lecture Notes in Computer Science 2001
The Unification Problem for Conflnent Right-Ground Term Rewriting Systems
Lecture Notes of Computer Science 2001
A New Parallel Closed Condition for Church-Resser of Left-Linear Term Rewriting Systems
Lecture Notes of Computer Science 1997
もっと見る
学歴 (4件):
- 1978 名古屋大学 工学研究科 情報工学
- 1978 名古屋大学
- 1976 名古屋大学 工学部 電気
- 1976 名古屋大学
学位 (2件):
工学博士 (名古屋大学)
工学修士 (名古屋大学)
経歴 (8件):
2004 - - Professor, Faculty of Engineering, Mie
1990 - 2003 Asociate Professor, Faculty of Engineering,
1985 - 1989 Research Associate,Computation Center, Nagoya
1980 - 1984 Research Associate, Educational Center for
1978 - 1979 Research Associate, Faculty Engineering, Mie
三重大学
Information processing, Nagoya University
University
全件表示
所属学会 (5件):
電子情報通信学会
, 情報処理学会
, Information and Communication Engineers
, The Institute of Electronics
, Information Processing Society of Japan
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM