>>33
s_n＾２とσ^2は別。ただ、s_n^2をとる操作を多数回やれば、その実現値は
σ^2を中心にばらつくと考えられる。これが E[s^2] = σ^2の意味。
両者をルートで開いた s_nや σは、また別の話。
期待値Eというのは、抽出した標本についての操作ではなくて、抽象的
な確率空間における演算。だから母分散や母平均も出てくる。