階段関数から作るやつ?
それとも測度論から作るやつ?