[logic-ml] モデル理論夏の学校のお知らせ