>>433
関数の具体的構成を調べるアルゴリズムが無くても、
計算可能である関数のうちの１個であることは確かなので、
計算可能である。