原始帰納関数