北大出身の優秀な数学者って誰がいる?