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