今年度の担当講義 (以下のページは学内からのみアクセス可能)

• 情報数学
• 計算理論特論
• オートマトン理論
• 線形代数I
• 工学基礎実験
• プログラム理論特論

担当講義 (岐阜大)

• 情報数学 (2023年度後期)
• 線形代数I (2023年度前期)
• オートマトン理論 (2023年度前期)
• 計算理論特論 (2023年度第2ターム)
• 情報数学 (2022年度後期)
• 線形代数I (2022年度前期)
• オートマトン理論 (2022年度前期)
• 計算理論特論 (2022年度第2ターム)
• 初年次セミナー(キャリアガイダンス)
• 情報数学 (2021年度後期)
• 線形代数I (2021年度前期)
• オートマトン理論 (2021年度前期)
• 計算理論特論 (2021年度第2ターム)
• 初年次セミナー(キャリアガイダンス)
• 情報数学 (2020年度後期)
• 計算理論特論 (2020年度第2ターム)
• オートマトン理論 (2020年度前期)
• 線形代数I (2020年度前期)
• 技術と技術者の倫理II
• 初年次セミナー(キャリアガイダンス)
• 情報数学 (2019年度後期)
• 計算理論特論 (2019年度第2ターム)
• オートマトン理論 (2019年度前期)
• 技術と技術者の倫理II (2019年度前期)
• 初年次セミナー(キャリアガイダンス) (2019年度前期)
• 情報数学 (2018年度後期)
• 計算理論特論 (2018年度第2ターム)
• オートマトン理論 (2018年度前期)
• 初年次セミナー(キャリアガイダンス) (2018年度前期)
• 情報数学 (2017年度後期)
• 計算理論特論 (2017年度第2ターム)
• オートマトン理論 (2017年度前期)
• 技術と技術者の倫理II (2017年度前期)
• ソフトウェア理論特論 (2016年度後期)
• 情報数学 (2016年度後期)
• プログラム理論特論 (2016年度前期)
• オートマトン理論 (2016年度前期)
• 電気電子・情報工学概論 (2016年度前期)
• 情報数学 (2015年度後期)
• ソフトウェア理論特論 (2015年度後期)
• オートマトン理論 (2015年度前期)
• プログラム理論特論 (2015年度前期)
• 技術と技術者の倫理II (2015年度前期)
• 情報数学 (2014年度後期)
• オートマトン理論 (2014年度後期)
• ソフトウェア理論特論 (2014年度後期)
• 電気電子・情報工学概論 (2014年度)
• オートマトン理論 (2012年度後期) (※非常勤講師としての講義です)

担当講義 (名古屋大, 2003-2013年度)

• 計算機科学論理特論 (2013年度前期)
• 離散数学及び演習 (2013年度前期)
• 線形代数学II (2013年度後期)
• 計算論基礎特論 (2012年度前期)
• 離散数学及び演習 (2012年度前期)
• 計算機科学論理特論 (2011年度前期)
• 離散数学及び演習 (2011年度前期)
• 線形代数学I (2011年度前期)
• 離散数学及び演習 (2010年度前期)
• 線形代数学I (2010年度前期)
• 計算機科学論理特論 (2009年度後期)
• 離散数学及び演習 (2009年度前期)
• 線形代数学II (2008年度後期)
• 離散数学及び演習 (2008年度前期)
• 離散数学及び演習 (2007年度後期)
• 計算機科学論理特論 (2007年度後期)
• 線形代数学II (2007年度後期)
• 計算機数理科学特論 (2007年度前期)
• 離散数学及び演習 (2006年度後期)
• ソフトウェア基礎論特論 (2006年度前期)
• 離散数学及び演習 (2005年度後期)
• 線形代数学I (2005年度前期)
• 離散数学及び演習 (2004年度後期)
• ソフトウェア基礎論特論 (2004年度前期)
• 線形代数学I (2004年度前期)
• 離散数学 (2003年度後期)

担当講義 (東北大, 2000-2002年度)

• 電気・通信・電子・情報工学実験Ｃ (2002年度後期)
  光通信の基礎, 変調・復調
• 電気・通信・電子・情報工学実験Ｄ (2002年度前期)
  『項書換え系に基づく自動証明』 + 『MLを利用したKB完備化手続きの実現』
• 電気・通信・電子・情報工学実験Ｃ (2001年度後期)
  光通信の基礎, アクティブフィルタ
• 電気・通信・電子・情報工学実験Ｄ (2001年度前期)
  定理自動証明
• 電気・通信・電子・情報工学実験Ａ (2000年度後期)
  ＬＣＲ回路, 半導体II, 信号のサンプリング
• 電気・通信・電子・情報工学実験Ｄ (2000年度前期)
  定理自動証明

担当講義 (JAIST, 1999年度)

• 数理論理学 (I211・1999年度・1-2期)
• 理論計算機科学 (I413・1999年度・1-2期)
• 数理論理学 (I211・1998年度・1-2期)