別に関数は有限時間内に計算結果が出る必要はないよ。
もちろん、計算不可能関数ってものもあるから。
ただ、>>244の後半のものを関数の形に直すには、>>238と考えるしかないし、
そうすると、その関数は計算可能になってしまいます。