エクセルを用いた母分散が既知のときあるいは大標本の平均に関する統計的検定（片側検定）