RIMSにどんな数学者がいるかくらい知っとけ