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

C大のI先生から噂を聞いていたのだが、非常に面白い内容だった。少しパクッて来月締め切りのMIRUにでも投稿しようかと思ったので、一応、本人に確認してみたところまだ世の中に出ていない。ということで無理やり共著にしようという計画を進行中。