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

山田 俊行

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

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

研究分野
計算論理
組み合わせ最適化
自動推論
ソフトウェアの解析と検証
 
論文
主要論文一覧
 
書籍
『はじめての数理論理学』 (2018年発行)
『チューリングを読む (2012年発行,共訳)
 
授業
数理論理学
データ構造・アルゴリズム論
情報工学実験 I,II (プログラミング言語処理系)
情報工学実験 III (経路探索アルゴリズム)
上級プログラミング演習 II (木構造と数式処理)
専門英語 (文献輪読)
 
計算モデル特論
計算モデル演習
ソフトウェア科学演習
 
実践アルゴリズムとデータ構造 (放送大学 三重学習センター)

toshi@cs