[kisoron-ml] 2017年度 数学基礎論サマースクール 案内第1報