[Stan] 陽に解ける常微分方程式を使ったモデルの例今回はデータの背後に簡単な（陽に解ける）常微分方程式で記述できるダイナミクスがあると仮定して、Stanでパラメータの推定を行いたいと思います。 状況として定期的に（例えば一年ごとに）サービスをリリースした場合を考えます。それらのサービスを使う総利用者数の時系列があるとします。そして各サービスともリリース直後は盛り上がってくるものの、じわじわと利用者が減っていくとします。今回はその利用者がどのサービス由来かわからないとして解析します（どのサービス由来か分かればもっと簡単にできます）。また今回のデータ取得期間はt=1:100でt=0,40,80に計3つの新規サービスをリリースしたと分かっているとし、グラフは以下のようになっているとします（縦軸の単位は[百人]とか）。 さてこの時系列を解析するうえで「リリース直後は盛り上がってくるものの、じわじわ減る」というダイナミクスをモデルに反映するのが大切
![[Stan] 陽に解ける常微分方程式を使ったモデルの例](https://cdn-ak-scissors.b.st-hatena.com/image/square/36cccc5f4f4ff0a6189a7b50b9839ef26481326f/height=288;version=1;width=512/http%3A%2F%2Fblog-imgs-67.fc2.com%2Fh%2Fe%2Fa%2Fheartruptcy%2F201405_total_service.png)
