接口 com.fr.stable.FormulaProvider
的使用