[logic-ml] セミナーのお知らせ