猫さんが他に超一流と考える、現役の日本人数学者は他にいますか?