実質的計算可能関数
【じっしつてきけいさんかのうかんすう】
【jisshitsutekikeisankanoukansuu】
能行可计算函数