結果 : integral x 1 2 * exp (- x dx