2024年7月9日から12日 SAML : RIMS 共同研究（公開型） 数理論理学の最近の進展 2024年5月20日 に Teruyuki Yorioka が投稿 https://sites.google.com/view/saml2024