[logic-ml] JAIST Logic Seminar Series - Beckmann 教授講演のお知らせ (1月10日)