教員紹介トップページへ

三重大学トップページへ

三重大学教員紹介

教員情報

職名
講師
氏名
やまだ としゆき
山田 俊行
生年月
 
所属
部局
工学研究科
学科・専攻
情報工学専攻
講座
コンピュータサイエンス
教育研究分野
 
TEL
 
FAX
 
E-mail
toshi@cs.info. (末尾に mie-u.ac.jp を補ってください)
個人のホームページ
学歴
 
学位
1999.03 博士(工学) 筑波大学
所属学会
情報処理学会
日本ソフトウェア科学会
社会活動
 
職歴
1999.04~2001.12 筑波大学電子・情報工学系 助手
2002.01~2006.03 三重大学工学部情報工学科 助手,講師
2006.04~ 三重大学大学院工学研究科情報工学専攻 講師
学術(芸術)賞
FIT2003(第2回情報科学技術フォーラム)論文賞
専門分野
情報科学(ソフトウェアの基礎理論)
現在の研究課題
ソフトウェアの 解析・理解支援・検証
担当科目
コンパイラ デ-タ構造・アルゴリズム論Ⅰ 計算モデル演習 Ⅰ, 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
値範囲解析アルゴリズムの正当性 共著 2012.08 日本ソフトウェア科学会第29回大会講演論文集
Java の参照型変数と配列の静的 null 検出 共著 2015.11 第22回ソフトウェア工学の基礎ワークショップ論文集
チューリングを読む 共著 2012.06 日経BP社


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


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