>>849
PDFの「ビジービーバーのHardy 的拡張」に、
「厳密に定義されている関数です」とあるが、
これを書くなら、
「関数f を神託(oracle) として持つチューリングのO-machine」
の定義も書く必要があると思う。
この記述だけではどのように関数fの動作をするかが定義されていない。