実効的計算可能関数