[logic-ml] Kusatsu Seminar 2016