[logic-ml] 2024年度日本数学会秋季総合分科会(講演申込の受付開始)