[1/3] 英国有个计算机科学家叫 James H. Davenport。这个人曾经来过我们办公室（是我一个师兄的博士论文评审团主席），我当时还不认识他，但后来顺着名字查了一下就被惊到了。根据维基百科记载，此人 16 岁时就表现出极高的计算机天赋，曾经把 IBM 用于教学推广的 6 位低端计算机硬给改成了当时较为高端的 8 位机。他在算法领域虽然可能没有 Knuth 那么有名，但他在 CAS（计算机辅助代数软件）领域开发了 REDUCE（好像已经不常用了），也经历过 Symbolic Lisp 机时代，他的书也是用 LISP 给出示例代码的。但我真正想说的是，从他的书中可以看出，符号代数计算领域的两块重中之重分别是 “多项式化简” 和 “符号积分（原函数）”。众所周知，求导是一个相对简单的机械过程，求原函数那就得看经验和运气，但实际上是有高级算法的。我准备开始研究符号积分算法，目标是给 HOL 添加相关功能。这是个大项目，HOL 维护者也表示支持（废话，白给他干他当然愿意了）

【售价7.99万-11.49万元 思皓X6正式上市 5款车型可选】
日前，思皓X6已正式上市，新车共推出5款车型，分别是MT先锋版、DCT先锋版、DCT智驾版、DCT音智版、DCT潮FUN版，新车定位紧凑级SUV，售价区间为7.99万元-11.49万元。
思皓X6全系搭载1.5T发动机，最大功率为110kW，最大扭矩为230N·m。该款新车的车身尺寸为4505×1805×1698mm，轴距为2660mm，离地间隙170mm，前后轮距分别为1586mm、1585mm。思皓X6搭载了HOL-OS智能座舱，配备12.8英寸，分辨率为1920×1080的悬浮中控大屏；搭载HOL-Music智能音乐系统，配备高品质11扬声器，可以实现320W独立功放，该系统还通过了国内顶尖汽车音效团队、国家级人工智能博士以及国际认证音效裁判的联合调教。

#新车划重点#
6月19日晚，思皓X6正式上市，新车共推5款车型，全系搭1.5T动力，指导价7.99-11.49万元。
据官方介绍，7月31日前下订的用户，可享受金融贴息至高10000元、置换补贴至高10000元、首任车主5年娱乐流量（5G/月）、核心零部件5年或20万公里超长质保、基础保养和欢畅礼包等大礼。

【思皓品牌】
可能一些朋友对于思皓品牌稍显陌生，这是个由江淮和大众合资成立的品牌，属江汽集团旗下的全新乘用车品牌，所以严格意义讲，思皓是一个合资品牌；

【新车划重点】
定位紧凑级SUV，车身尺寸4505/1850/1698mm，轴距2660mm，这样来看主销车型在十万元内的定价显得具有一定竞争力；

别看定价不高，但配置水平一点也不低，12.8英寸悬浮中控大屏+7英寸液晶仪表（高配车型），还配有内置行车记录仪、360度全景影像；

新车在两款高配车型配备HOL-Pilot智能驾驶辅助；

全系1.5T动力，最大功率110kW，峰值扭矩230N·m，除了入门版本为5MT，其余4款均为6速湿式双离合变速箱。