昨日ちょうどstanコードの比較云々の記事を書いたのだけど，月曜日にrstanが2.3にバージョンアップしてた…