教育

過去の授業

• 2016年度前期授業: 数理言語学（総研大）
• 2013年度前期授業：数理論理学 (「情報基礎科学概論Ｉ」の一部)
• 2011年度非公式セミナー：Hasekellを使った計算意味論（NII/慶応義塾）
• 2011年度集中講義：数理解析特別講義１　計算機科学（京都大学）

Last modified: Wed Oct 30 13:53:21 JST 2019