こちらはQiitaのStanアドベントカレンダー2020 第19日目用の記事になります。 近くの山にカブトムシ調査に行った状況を想定します。 知りたいことは、 ・どのくらいカブトムシがいるのか ・カブトムシの見つけやすさはどのくらいなのか ・見つけやすい時間帯…

Stan reference guideにも記載がある「丸め」について検証します。 丸められたデータとは、本当は連続値なのに、四捨五入（あるいは切り捨て）などで離散値のようになっているデータを指すようです。 打ち切りと似ている気がしますが、レファレンスでは別項…