算法lisp数学后端