>>261
失礼しました、>>258は定義域が自然数全体の場合の話です。

正確には、（部分）関数fが計算可能とは、
「あるアルゴリズムMが存在して、任意のxに対して、
``入力xでMを実行したときyを出力する''と``f(x)=y''が同値」

>>256の計算可能関数の定義は「問題」をどういう意味で使ってるのか分からない