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