このひと数学者じゃなかったっけ?