[logic-ml] 第58回MLG数理論理学研究集会(2/16--18)