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