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