再帰的部分関数