[logic-ml] 名古屋ロジックセミナー中止のお知らせ