解いた数学者の名前は