这道题目是关于高等数学微积分的求导问题，可以参照复合函数求导进行解。
F(x)=∫(cosx->1) e^(-t^2) dtF'(x)=-(cosx)' . e^[-(cosx)^2] = sinx.e^[-(cosx)^2]F'(π/2 ) = e^0 =1
