定積分を行う。