0153132人目の素数さん垢版 | 大砲2017/12/27(水) 23:24:04.88ID:+Bp6Txzy >>148 いや、定義されてない。 ビジービーバー関数の中で具体的な実装が定義されているのは候補となるチューリングマシンの動作までであって、 どのチューリングマシンがビジービーバーであって最大の出力をするのかを選ぶというビジービーバーの本質部分の方法についてはv4のオラクル同様具体的な実装が定義されていない。