シミュレーションと補間による離散選択動的プログラミングモデルの解法と推定:モンテカルロ証拠 | Synapse