ノイマンの業績でノイマン型しか思い浮かばん人多いんだろうな。