CCF理事说 | 电子科大教授肖鸣宇:理论之路,道阻且长,行则将至
肖鸣宇 CCF杰出会员、理事、理论计算机科学专委主任,电子科技大学教授
如何理解理论?
“计算机学科”其学科命名有一点特别。一般来说我们的学科不是以某种机械或工具的名字直接来命名,而广泛采用这些机器或工具的功能来命名,比如说,没有飞机学科,却有航天航空学科;我们不叫冰箱专业,而叫制冷制热专业。如此看来,计算机学科是不是叫做计算学科更好?其实当年图灵给出图灵机的时候就证明了这种电子机械所能做的事就是“计算”,与邱奇给出的纯数学化定义的“计算”等价。但是图灵机以一种具体实物展现在大家眼前,让大家更容易理解更容易记住。因此,图灵机——也就是我们现在称呼的计算机这个名字后来被广泛使用。飞机不等价航天,冰箱也不等于制冷,他们是从属关系。但是计算机和计算是存在一种等价关系的。如何理解“计算机=计算”这种等价关系,这就需要从计算的定义和计算机的工作原理来讲起。这些涉及的就是计算机理论或者计算理论,粗略来说,这些理论在探讨这么一些问题:电子机械(计算机)可以帮人类做什么计算问题?如何使用尽量少的资源(时间资源,内存资源等)帮人类计算?各种计算问题需要多少资源才能被计算等等。
看上去以上讲到的这些内容和现在计算机行业火热流行的内容不太相关,是的,现在计算机行业里最流行的是计算机应用,利用计算机快速的运算和超强的存储和记忆能力实现一些应用功能来服务人类。现在计算机应用尚处于高速发展期,加上成熟的人机交互方式,使得人们都不需要知晓计算机的工作原理也能做出很出色的计算机应用。但是计算机的根基还是“计算”,还是理论,如果抛开这些根基,那么就好比断了活水的源头,应用层面的发展终究会有干枯的时候。
理论研究为何难?
然而,计算机理论的深入研究又谈何容易?不单是研究的问题自身难度大,而且外界的评价方式也不是很友好,难以得到合理的资源支持。因为理论研究难度大,往往出一个较好的结果不容易,需要较多时间的深入探索,这样导致理论研究的成果数量不会很大。若不看成果数量,仅评价成果质量也不是那么容易做到,如今理论研究的深入导致很小方向的变动都是隔行如隔山。也就说,同行评价也存在其困难性,完全相同领域的小同行人数少,大同行的专家又难以真正理解所有方向。甚至说,某些理论研究的意义可能在当前都无法很好评判,也许10年、20年后其非凡的价值才被展现出来。可以说,评价会滞后于理论研究本身。另一方面,理论研究又特别需要优秀的人才来参与,这些优秀人才往往是多能型的,做其它一些偏应用的研究也擅长,如果在理论方向得不到足够的重视和公平的评价就容易打击他们的积极性。特别是在当今一些热门方向的飞速发展下,完全靠学者个人的意志抵挡外界的诱惑来坚持理论研究,只能说比较偏理想主义。有组织和计划的科研其实应该在基础理论研究的支持上有所作为。
我们如何做?
CCF理论计算机科学专业委员会作为全国最大的计算机理论方向的学术组织,理应为计算机理论研究者撑起一片发展的天空。我们会尽最大努力去团结鼓励理论研究者,为他们争取应得的资源。我们希望为理论研究者提高其研究探索的自由度,因为理论研究有太多不确定性和太多不可预见性,为天才们留下一片自由的空间就是开拓创新的精髓;我们希望为理论研究者提高科研项目上的资助比率,因为敢于从事基础理论研究的学者已经很优秀,留者本就是塔尖上的人群,按其他方向的平均比率来资助其实是不公平的;我们希望为理论研究者提高其应有的地位,因为其刻苦务实的精神本应该得到更多的尊敬,学者也本应该保持其应有的傲骨,不应被各种考核和业绩要求所局限。
理论计算机科学专委将会关注基础理论科研者的需求,为其发声出具更多的激励政策。现在我们也得到了一些企业方的支持,比如说华为胡杨林基金专门设置了理论计算机科学项目,每年资助100万;又比如腾讯公司设立的“新基石科学基金”支持一批杰出科学家潜心基础研究等等。我们也将通过更多的一些专业评价,如推荐会议和期刊,激励和推荐优秀论文和学者等,让其所在学校更加了解其在理论和专业领域上的贡献,得到重视,而不至于被淹没在“浩瀚的大海”中。
对于理论研究者们,大家需秉承王勃在《滕王阁序》中所说的“穷且益坚,不坠青云之志”的气概亦或是范仲淹在《岳阳楼记》里所说的“不以物喜,不以己悲”情怀。国家和社会需要这一支科研先锋队!尽管理论研究的道路艰难,如李白在《蜀道难》中所说“难于上青天”,但又如《荀子·修身》中所说“道阻且长,行则将至”。
肖鸣宇
CCF杰出会员、理事、理论计算机科学专委主任,电子科技大学计算机科学与工程学院教授,副院长,算法与逻辑团队执行主任,国家级实验教学示范中心主任,国家级虚仿实验教学中心主任。