[logic-ml] チュートリアルのお知らせ (Martin Ziegler氏、2013年10月15日)