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