[logic-ml] 第51回MLG数理論理学研究集会(10/27-30箱根)