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

山田 俊行

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

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

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

toshi@cs