>>816
まあラヨ関数についてはそれで良い気がするけど、
だとすると、何かコーディング決めて
f(n)
:=m（自然数nのコードするチューリング機械が
mステップで停止する場合）
:=-1 （nのコードするチューリング機械が停止しない場合）
:=-2 （自然数nがチューリング機械をコードしない場合）
とすると、f(n)=-1という関係がwell-definedで
なくなり得る気がする