偏帰納的関数
【へんきのうてきかんすう】
【henkinoutekikansuu】
部分递归函数