2024年10月12日から14日 数学基礎論若手の会2024 2024年8月18日 に Teruyuki Yorioka が投稿 https://sites.google.com/view/mlwakatenokai2024/%E3%83%9B%E3%83%BC%E3%83%A0