1つの平均値についての（標準正規分布を用いた）検定