えと、つまり
d/dx　・　∫[-∞, x]f(t)dt =f(x)
ですか。