[logic-ml] 【締切延長】第149回プログラミング研究発表会(PRO-2024-1)