>>246
この文脈での「関数」が計算可能関数じゃなきゃいけないのは常識。