帰納的部分関数