教員紹介トップページへ

三重大学トップページへ

三重大学教員紹介

教員情報

職名
教授
氏名
おおたよしかつ
太田 義勝
生年月
1953.10
所属
部局
工学研究科
学科・専攻
情報工学専攻
講座
コンピュータサイエンス
教育研究分野
 
TEL
 
FAX
 
E-mail
ohta@net.info. (末尾に mie-u.ac.jp を補ってください)
個人のホームページ
学歴
名古屋大学工学部 学士課程 (~1976年)
名古屋大学大学院 修士課程・博士前期課程 (~1978年) 卒業・修了
学位
1988.03 工学博士 名古屋大学
所属学会
情報処理学会 電子情報通信学会
社会活動
国公立大学情報システム研究会 東海地区世話人
職歴
1978.04~ 三重大学工学部電子工学科 助手
1980.05~ 名古屋大学情報処理センター 助手
1985.04~ 名古屋大学大型計算機センター 助手
1990.04~ 三重大学工学部情報工学科 助教授
2004.04~ 三重大学工学部情報工学科 教授
2009.06~ 三重大学総合情報処理センター 教授(兼務)
学術(芸術)賞
 
専門分野
情報工学 ネットワーク、ソフトウェア(言語処理系とオペレーティングシステム)
現在の研究課題
オーバーレイネットワークに関する研究 モバイルアドホックネットワークに関する研究 不正アクセス検出に関する研究
担当科目
オートマトン・形式言語理論 オペレーティング・システム データ構造・アルゴリズム論Ⅱ 計算機言語論Ⅰ 計算機言語論Ⅲ 計算機ネットワーク特論 計算機ネットワーク演習Ⅰ情報通信特論
主な業績等
FORTRANによって実現された会話型LISPシステムとその応用 共著 1982.07 情報処理学会論文誌 23 4 341-348
LISPプログラムの動的解析システム(LISPDAP) 共著 1982.11 電子通信学会論文誌 65 11 1421-1426
代数的仕様記述に基づいたソフトウエアの正当性証明システム 共著 1983.06 電子通信学会論文誌 66 6 691-698
LISP関数によって生成されるリスト構造の解析 共著 1986.06 電子通信学会論文誌 69 6 878-884
Lispのためのパターン指向型プログラミングシステム 共著 1987.06 電子情報通信学会論文誌 70 6 1149-1156
パターン記述に基づくLISPプログラムの変換 共著 1990.04 電子情報通信学会論文誌 73 4 456-459
右定項-項書換えシステムの合流性について 共著 1993.02 電子情報通信学会論文誌 76 2 39-45
単純右線形項書換えシステムの合流性について 共著 1995.03 電子情報通信学会論文誌 78 3 263-268
On the Church-Rosser Property of Non-E-overlapping and Depth-Preserving TRS's 共著 1996.12 情報処理学会論文誌 37 12 2147-2160
A New Parallel Closed Condition for Church-Rosser of Left-Linear Term Rewriting Systems 共著 1997.06 Rewriting Techniques and Applications Springer 1232 187-201
非線形TRSのE重なり性について 共著 1997.11 電子情報通信学会論文誌 80 11 847-855
並列処理を考慮した目的コードスケジューリング 共著 1997.12 電子情報通信学会論文誌 80 12 971-974
On the Church-Rosser Property of Root-E-overlapping and Strongly Depth-Preserving Term Rewriting Systems 共著 1998.04 情報処理学会論文誌 39 4 992-1005
マルチプロセッサ向き目的コードスケジューリングについて 共著 1999.10 電子情報通信学会論文誌 82 10 1232-1244
The Unification Problem for Comfluent Right-Ground Term Rewriting Systems 共著 2001.06 Rewriting Techniques and Applications Springer 2051 246-260
通信遅延を考慮したタスクスケジューリングアルゴリズムについて 共著 2002.11 電子情報通信学会論文誌 85 11 1088-1092
On the Church-Rosser Property of Left-Linear Term Rewriting Systems 共著 2003.01 Trans. of IEICE E86-D 1 131-135
単項的TRSにおける単一化問題について 共著 2003.05 情報処理学会論文誌:プログラミング 44 4 54-66
The unification problem for confluent right-ground term rewriting systems 共著 2003.06 Information and Computation 183 2 187-211
On the Open Problems concerning Church-Rosser of Left-Linear Term Rewriting Systems 共著 2004.02
The Joinability and Unification Problems for Confluent Semi-Constructor TRSs 共著 2004.06 Rewriting Techniques and Applications Springer 3091 285-300
The Joinability and Related Decision Problems for Semi-constructor TRSs 共著 2006.05 Trans. of IPSJ 47 5 1502-1514
Adaptive kernel quantile regression for anomaly detection 共著 2009.05 Journal of Advanced Computational Intelligence and Intelligent Informatics 13 3 230-236
Little Smalltalk入門 共著 1989.06 アスキー出版局
情報ネットワーク 共著 1997.06 オーム社


更新日 2012-05-08
教員紹介の掲載内容の更新はこちらから(学内のみ)


三重大学教員紹介の内容について無断転用を禁じます