研究者
J-GLOBAL ID：200901075842629371   更新日: 2024年01月17日

山田 俊行

ヤマダ トシユキ | Yamada Toshiyuki
所属機関・部署：
三重大学 情報工学専攻

三重大学 情報工学専攻 について


職名： 講師
ホームページURL (1件)： http://www.cs.info.mie-u.ac.jp/~toshi/index-j.html
研究分野 (1件)： 情報学基礎論
研究キーワード (8件)： 自動推論 ,  ソフトウェアの解析と検証 ,  等式論理 ,  項書き換え ,  automated reasoning ,  functional programming ,  equational logic ,  rewriting
競争的資金等の研究課題 (3件)：
  • 2002 - 2005 書き換えに基づくプログラムの自動検証
  • プログラムの停止性自動検証
  • computer science
MISC (11件)：
もっと見る
学歴 (1件)：
  • - 1999 筑波大学 工学研究科 電子・情報工学専攻
学位 (1件)：
  • 博士(工学) (筑波大学)
受賞 (1件)：
  • 2003 - FIT2003 (第2回情報科学技術フォーラム) 論文賞
所属学会 (1件)：
日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM