[logic-ml] 東北大ロジックセミナーのご案内