Teaching
Past
Spring 2016:
Mathematical Linguistics
(SOKENDAI)
Spring 2013:
Mathematical Logic
(part of the course
Introduction to the Foundations of Informatics I
)
Independent seminar, 2011:
Computational Semantics with Hasekell
(NII and Keio)
Winter 2012:
Formal Grammars for Natural Language
(Kyoto University) (Japanese)
Last modified: Thu Apr 5 15:57:25 JST 2018