2024年8月7日から9日 第2回若手による数理論理学研究集会 2024年5月22日 に Teruyuki Yorioka が投稿 https://sites.google.com/view/yorukai-2nd