0461132人目の素数さん垢版 | 大砲2017/07/06(木) 00:15:50.11ID:VqI6Xr1R 超準的自然数を出力する(とあるモデルで解釈される)プログラムは有限の値を出力しない =停止しないものと見なされると言うことで