担当授業科目
担当中の科目
岡山県立大学 情報工学部 情報システム工学科
- ソフトウェア演習II (学部2年，2004 〜)
- 回路デザイン演習 (学部3年，2015 〜)
- 計算機アーキテクチャ (学部3年，2017 〜)
- 機械語やコンピュータアーキテクチャなど計算機の構成
- ソフトウェア工学 (学部3年，2018 〜)
- ソフトウェア開発プロセスなどソフトウェア工学の基礎理論
岡山県立大学 大学院情報系工学研究科 システム工学専攻
- システム検証論 (博士前期，2017 〜)
- 形式検証の一つであるモデル検査技術の基礎理論と実問題への適用
- 計算機援用検証論 (博士後期，2023 〜)
- 計算機を用いてシステムの検証を自動化するための方法論
過去の担当科目
岡山県立大学 情報工学部 情報システム工学科
- アルゴリズムとデータ構造 (学部2年，2020)
- アルゴリズムの計算量，リストやグラフなどのデータ構造，分割統治法・動的計画法等のアルゴリズム
- 論理回路 (学部2年，2016 〜 2018)
- ブール代数，組合せ回路・順序回路の設計手法，HDL を用いた論理設計技術
- 機械物理学実験 (学部2年，2004 〜 2021)
- ダイオード・トランジスタなど半導体素子を対象とした電圧・電流特性の測定
川崎医療福祉大学 医療技術学部 臨床工学科
- 情報処理工学概論 (学部2年，2008 〜 2011)