標準正規分布の分布関数って何か知らんしわざわざ調べる気もないしどうせ平方完成して置換して終わりだろうし興味もわかんし