[logic-ml] 2020年度数学基礎論若手の会