正規分布の累積関数の公式をさがしているのですが、どのような関数になりますか?