2024年7月9日から12日 SAML : RIMS 共同研究（公開型） 数理論理学の最近の進展