[logic-ml] 名古屋ロジックセミナー (3/9) のお知らせ