ノイマンアーキテクチャである限り手続き型を枠を出ないしシンギュラリティもありえない