可積分関数に対する定義.