>>260
まず>>257に挙がっている定義を見ると、
＞計算可能関数＝アルゴリズム（が存在する）は本当。
つまり計算可能関数はアルゴリズムが存在する問題ということですよね。

>>258の定義とかみ合わなくて理解に苦しみます。


とりあえず>>256にある定義はあっているのですか？