[logic-ml] 数学さきがけ 研究成果報告会