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