ただ微妙に計算可能関数なので計算不可能関数のビジービーバーよりは弱い
計算不可能関数化はできるけど全ての公理系を対角化してるラヨ数が発見された後だと今更感ある