手机版
帰納的部分関数
【きのうてきぶぶんかんすう】
【kinoutekibubunkansuu】
局部递归函数
帰納的部分関数
【きのうてきぶぶんかんすう】
【kinoutekibubunkansuu】
部分递归函数