切断正規分布

正規分布の両端をぶった切った確率分布を考えていて、刈り込み正規分布と呼ぶのかなと思って検索してみると、全然検索にかからなかったので、AKHさんに聞いてみると、切断正規分布と呼ぶのが一般的だそうな。勉強になりました。