分散が既知なので母平均は標準正規分布を用いたZ検定でいいんじゃない。母平均も分かってるから検定する必要性があるとは思えないが。母分散の検定ならχ二乗検定でよか。これもなぜか分かってるが…。