母平均推定（母分散が分かっている場合）：データサイエンティストへの道（４２）