[logic-ml] MLG数理論理学研究集会(1/8-10京都) 締切延長