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