時間割引の一般モデルに向けて | Synapse