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