[kisoron-ml] モデル理論夏の学校 参加登録