>>780
∫(x-y)dx=∫(x-y)(dx/dt)dt とか?