[logic-ml] Kobe Colloquium (June 3, 2014, Hirao)