平均値としての積分