(ノイマンって誰だっけ...)