generated at
確率論
ルベーグ積分の測度を導入