[logic-ml] 第53回MLG数理論理学研究集会(追加情報)