teaching;

2014/04 ~ 2014/08 + extension (2014/10/10, 10/17)

Formal language, category theory, topology and computer graphics
at Kobe Univeristy (Faculty of Human Development)

2013/04 ~ 2013/08 + extension (2014/1/16, 2014/1/30)

Formal language, category theory, topology and computer graphics
at Kobe Univeristy (Faculty of Human Development)

2012/04 ~ 2012/08 + extension (10/4, 10/11)

Formal language, category theory, topology and fiber bundle
at Kobe Univeristy (Faculty of Human Development)

2011/04 ~ 2011/08 + extension (10/06, 10/13)

Formal language and category theory, especially, computable class and topology
at Kobe Univeristy (Faculty of Human Development)