>>814
ありがとうございます
微分の定義に戻って計算したら
(d/dx)∫[0→x]f(t)g(x-t)dt=lim[h→0](∫[0→x+h]f(t)g(x+h-t)dt-∫[0→x]f(t)g(x-t)dt)/h
=lim[h→0](∫[0→x]f(t)(g(x+h-t)-g(x-t))dt+∫[x→x+h]f(t)g(x+h-t)dt)/h
=∫[0→x]f(t){(d/dx)g(x-t)}dx+f(x)g(0)になりました