[logic-ml] モデル理論夏の学校(講演申込み締切)