教員紹介トップページへ

三重大学トップページへ

三重大学教員紹介

教員情報

職名
講師
氏名
やまだ としゆき
山田 俊行
生年月
 
所属
部局
工学研究科
学科・専攻
情報工学専攻
講座
コンピュータサイエンス
教育研究分野
 
TEL
 
FAX
 
E-mail
toshi@cs.info. (末尾に mie-u.ac.jp を補ってください)
個人のホームページ
学歴
 
学位
1999.03 博士(工学) 筑波大学
所属学会
日本ソフトウェア科学会
社会活動
 
職歴
1999.04~2001.12 筑波大学電子・情報工学系 助手
2002.01~2006.03 三重大学工学部情報工学科 助手,講師
2006.04~ 三重大学大学院工学研究科情報工学専攻 講師
学術(芸術)賞
 
専門分野
情報科学(ソフトウェアの基礎理論)
現在の研究課題
ソフトウェアの解析と検証
担当科目
計算モデル演習I 計算モデル演習II 国際会議発表演習 上級プログラミング演習I,II 情報工学実験I 情報工学実験II 情報工学特別研究I 情報工学特別研究II 情報工学特別研究III 情報工学特別研究IV データ構造・アルゴリズム論 数理論理学 専門英語 卒業研究
主な業績等
Termination of Simply Typed Term Rewriting Systems by Translation and Labelling 共著 2003.06 Lecture Notes in Computer Science 2706 380-394
高階関数型プログラムにおける帰納的定理証明 共著 2003.07 情報技術レターズ 2 21-22
Inductive Theorems for Higher-Order Rewriting 単著 2004.06 Lecture Notes in Computer Science 3091 269-284
The Joinability and Unification Problems for Confluent Semi-Constructor TRSs 共著 2004.06 Lecture Notes in Computer Science 3091 285-300
Dependency Pairs for Simply Typed Term Rewriting 単著 2005.04 Lecture Notes in Computer Science 3467 120-284
The Reachability and Related Decision Problems for Monadic and Semi-Constructor TRSs 共著 2006.04 Information Processing Letters 98 219-224
The Joinability and Related Decision Problems for Confluent Semi-Constructor TRSs 共著 2006.05 Transactions of Information Processing Society of Japan 47
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs (Extended Abstract) 共著 2007.06 Proceedings of the 4th International Workshp on Higher-Order Rewriting
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs 共著 2009.09 Lecture Notes in Artificial Intelligence 5749 117-132
Natural Inductive Theorems for Higher-Order Rewriting 共著 2011.05 Proceedings of the 22nd International Conference on Rewriting Techniques and Applications 107-121


更新日 2013-06-28
教員紹介の掲載内容の更新はこちらから(学内のみ)


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