部分再帰関数