確率のお話をしてるんだから今は測度=確率測度のことなんじゃないのか