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

山田 俊行

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

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

研究分野
項書き換え
等式論理
組み合わせ最適化
自動推論
ソフトウェアの解析と検証
 
論文
主要論文一覧
 
書籍
『はじめての数理論理学』(2018年7月発行)
『チューリングを読む(共訳)
 
授業
数理論理学
データ構造・アルゴリズム論 I
コンパイラ
情報工学実験(コンパイラ)
専門英語
 
計算モデル特論
ソフトウェア科学演習
 

toshi@cs