極限計算可能関数
二進展開が停止性問題のコードに一致する実数は極限計算可能だが計算可能でない。
二進展開が真の算術のコードに一致する実数は極限計算可能でない。