[logic-ml] 数学会秋季総合分科会 講演申込受付中(リマインダ)