>>143
= d/dx∫[-∞, a] f(t)dt + d/dx ∫[a, x] f(t)dt
= d/dx ∫[a, x] f(t)dt

ちゃんと -∞ での広義積分が有限の値に収束してるならいい。もちろん +∞ でも。