logXの積分ってなんですか?