部分帰納的関数
【ぶぶんきのうてきかんすう】
【bubunkinoutekikansuu】
部分递归函数