[kisoron-ml] 数学基礎論若手の会 2021(12/3(金)~12/5(日))