[kisoron-ml] 数学基礎論サマースクール