[logic-ml] (日本数学会)日本学術振興会育志賞の候補者の推薦について