[logic-ml] 第56回MLG数理論理学研究集会