原始帰納的関数