=∫[x,0](x-t)(-cost)'dt

=[(x-t)(-cost)](x,0)-∫[x,0](-1)(-cost)dtだろ