ノイマンとスメターチェクとどっちが格上ですか?