部分可计算函数

partially computable function