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