[logic-ml] 日本数学会数学基礎論および歴史分科会