>>347
与式=(-1/√2)∫dt/(1-t^2)になるだろ