端0,x]cos(x-t)dtをxで微分するとどうなりますか？