[logic-ml] 【講演追加募集】第57回MLG数理論理学研究集会