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