Teaching

  • Exercise for Formal Language Theory (2016 Spring; Kyushu Univ.)
  • Exercise for Logical Programming (2014 Spring, 2015 Spring; Kyushu Univ.)