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