[kisoron-ml] 2021年度数学基礎論サマースクールのご案内