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