分散既知のもとで正規母集団平均μについての信頼水準1-αの信頼区間を求める