発行年2015 - 2019 キーワードmonotonically decreasing function 部局