正規分布の標準化の公式と証明