[logic-ml] 日本数学会キャリアパスセミナーのご案内