━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

山田 俊行

三重大学 大学院工学研究科 情報工学専攻

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
[English / Japanese]

研究分野
項書き換え
等式論理
組み合わせ最適化
自動推論
ソフトウェアの解析と検証
 
論文
主要論文一覧
 
書籍
『はじめての数理論理学』 (2018年発行)
『チューリングを読む (2012年発行,共訳)
 
授業
数理論理学
データ構造・アルゴリズム論 I
コンパイラ
情報工学実験(コンパイラ)
上級プログラミング演習 III (ソフトウェア開発)
専門英語
 
計算モデル特論
計算モデル演習
 
IT講習会 2019春 (三重大学総合情報処理センター 主催)
夢ナビライブ2019 夢ナビTALK・講義ライブ (FROMPAGE 主催)
オープンキャンパス 体験授業 (三重大学工学部 主催)
ジュニアドクター育成塾 観察・実験講座 (三重大学地域理数教育推進室 主催)

toshi@cs