実際に計算可能な関数
【じっさいにけいさんかのうなかんすう】
【jissainikeisankanounakansuu】
能行可计算函数