>>714
log(x)=tとおいてexp内を平方完成するとガウス積分