[kisoron-ml] 開催形式の変更(モデル理論夏の学校)