[logic-ml] ジャンイヴ・ジラール教授公開連続講義(11月10日より)のお知らせ