教育

現在進行中の授業

• 2011年度通年授業: 論理学特論（東洋大学）
• 2011年度非公式セミナー：Hasekellを使った計算意味論（NII/慶応義塾）
• 2011年度集中講義：数理解析特別講義１　計算機科学（京都大学）

過去の授業

• 2010年度通年授業: 論理学特論（東洋大学）
• 2010年度前期授業: 数理言語学（総研大）
• 2009年度前期授業：数理論理学 (「情報基礎科学概論Ｉ」の一部)