累積分布関数
#Math
Cumulative Distribution Function、CDF
確率変数の実現値が
$ x
以下になる確率を表す関数
連続型確率変数では、
$ -\infty
から
$ x
まで
確率密度関数
を定積分したもの
正規分布
の累積分布関数は
$ \frac{1}{2} \left( 1 + {\rm erf}\left(-\frac{(x - \mu)^2}{2 \sigma^2}\right) \right)
→
erf