映画『ビューティフル・マインド』の主人公となった実在の数学者は?