海词手机词典
  • 有限维逼近无限维总极值的积分型方法