計算可能部分関数
【けいさんかのうぶぶんかんすう】
【keisankanoububunkansuu】
部分可计算函数
計算可能部分関数
【けいさんかのうぶぶんかんすう】
【keisankanoububunkansuu】
部分可计算的函数