帰納的部分関数

日 [きのうてきぶぶんかんすう] [kinoutekibubunkansuu]

读成：きのうてきぶぶんかんすう
中文：局部递归函数、部分递归函数