ジョン フォン ノイマン 死因 2024