auto solve ode 自动生成常微分方程求解代码 Todo list 完成基本pass RK4标准型 RK4标准型代换 代换后缩减 最终代码生成 完善表达式代数 增加符号微分 增加对其他求解方法的支持 提高生成代码的可读性 提高编译速度 优化生成代码的性能 扩展至边值问题 支持latex生成 测试 下载安装Drracket (http://racket-lang.org/) 打开并运行test.rkt