cmasp2-1.1.6 母集団分散がわかっている場合の母平均μ(ミュー)の区間定理