漸進的コスト分析に対する数学的プログラミングと会計アプローチ。 | Synapse