kingさん広義積分の定義教えて