王怀民院士
王怀民，分布计算领域专家。中国计算机学会会士。年当选中国科学院院士。长期从事面向网络的分布计算研究，在分布计算模型、技术与平台方面取得系统性和创造性成果，为我国分布计算核心关键技术自主创新、为国家和军队网络信息系统建设和发展做出了突出贡献。曾获国家科技进步特等奖1项、二等奖2项，国家技术发明二等奖1项，国家教学成果二等奖2项。
人机物融合智能化时代
计算机学科专业创新人才培养
1、矛盾问题：渗透性VS存在感
计算机教育经常谈及的一个矛盾，就是计算机技术的渗透性和计算机学科专业的存在感的问题。
年，前XeroxPARC首席科学家MarkWeiser在《科学美国人》杂志上提出了泛在计算（UbiquitousComputing）的概念。他认为最深刻的技术是那些似乎从人们视野中消失的技术，这些技术被编织进日常生活中，使人们用而不觉。
实际上，我们今天已经处于这样一种人机物融合的智能化新时代当中，计算无处不在，软件定义一切，网络承载文明，人机物融合的智能化基础设施已经成为现代社会基础设施的重要组成部分。我们切身感受到了泛在计算的现实存在。
但同时，在新的时代，计算机教育如何发展，我们又面临一种存在感的困惑。
30年前，计算机科学技术学科由三个二级学科构成，这在很大程度上是因为学科发展内涵和知识体系的不断丰富，使得在四年本科教育以及之后的研究生教育当中，需要更多的专业化、专门化。
如果把计算机科学与技术学科比作一只老母鸡，那么在历史进程中，我们看到的是老母鸡生下了若干个鸡蛋，然后孵出了一群小鸡。随着计算机学科专业向着泛在形态发展，期间产生了若干个和计算机学科专业平行或脱胎于计算机科学与技术学科，比如软件工程、集成电路、网络空间安全等，乃至于如今越来越多的岗位需要人工智能、大数据、物联网等专业的专门人才。因此，社会的发展以及计算机学科专业自身学科建设的要求，不仅需要我们在有限的时间内通过专业化的人才培养来产出人才，还需要通过学科和专业体系的独立发展，使其在大学办学过程中，能够成为有效承载使命任务的资源分配单位。学科也好，专业也好，已经不简单是知识体系的问题，或专业岗位人才培养的问题，还是大学进行资源配置的基本单位。在大学办学过程中，一个独立的学科，在教授名额上，在教授评价分配指标上，在人才引进指标上，乃至于在招生分配指标上，都是一个独立的单位。有了学科，就可以承载资源分配的任务，才能够去实现培养社会所需要的人才的任务。更进一步，在大学教育过程中，还需要一套行政体系来有效支持学科专业培养的资源配置，于是又发展出了计算机学院、软件学院、网络空间安全学院、集成电路学院、人工智能学院。这种发展趋势是符合国家战略和对人才这样一种第一资源的需求的，大学也应该积极响应并施行相应的举措。但我们还是难免会有一些失落，最后在这样一个鸡圈当中，我们已经分不清最初的老母鸡是哪一只了，计算机学科专业作为其中的一员，出现了一种存在感的失落，这是我们面临的现实问题。2、从何而来：知识创造VS技术创新那么，人才培养大的格局从何而来？我想从科技创新的视角，即知识创造和技术创新相互作用的视角，进行一个长周期的复盘。计算机学科专业孕育、生长、发展图谱可以从长达年的周期来看。其中，前60年计算机学科专业的发育发展是知识创造驱动型的发展模式，它的重要的特征是以学科知识体系构建为重点，而后60年则是以技术创新为主导的推动力。年，数理学科发生了两件重要的事情，一个是希尔伯特在当年的巴黎国际数学家代表大会上提出了23个重要的数学问题，另一个是物理学家开尔文宣布「物理学的科学大厦已经基本形成，但仍有两朵乌云」。在数学这个分支里，简单说，希尔伯特相信数学是可以完备化和机械化的，由此发展出了元数学，在这种思想观念的革命中，产生了颠覆性的哥德尔不完全定理和图灵不可判定问题的回答，由此「无意中」产生了图灵可计算理论。而物理分支则在解释「两朵乌云」的过程中，产生了相对论和量子力学，尤其推动了微电子学与固体电子学的新发展，特别是与图灵模型的结合，使得可编程通用电子计算机成为可能。于是，在这样一种典型的知识创造驱动发展模式下，在数学和理论物理的深邃思考当中，产生了今天我们所知的计算机科学与技术学科。然而，从上世纪60年代开始，计算机学科专业发展增加了一个新引擎——技术创新，知识创造与技术创新双引擎驱动成为主要的发展形态。伴随着集成电路、大规模集成电路、超大规模集成电路的产生，以及程序设计理论与软件开发方法的进步，计算机进入到社会、商业领域，也进入到了千家万户。同时，市场和企业的力量，对于计算机学科专业发展也产生了巨大作用。也是在这一过程中，我们这一学科的渗透性得以体现。之后，互联网、移动互联网、云计算、大数据乃至于社会网络和人工智能等一系列技术的发展，既是计算机学科专业向生产、生活和社会各领域更进一步渗透的体现，同时也让我们看到既有学科体系的基础理论已经hold不住新技术的发展。今天，我们已经进入一个由信息空间、人类空间以及物理空间相互融合的智能化时代。在年的历史进程中，我们看到这样一个发展规律，一方面是数理科学的深邃的原始理论创新所积累起来的计算机科学技术持续发展的巨大的内在原动力，推动了计算机学科专业的发展。同时，技术创新释放了计算机科学内在的科学或者说积累起来的知识对社会生产力的影响。在过去二三十年，跨界组合的颠覆性创新，成为推动计算机学科专业发展的外在动力，开放共享的群体融合创新，成为计算机技术持续发展的一个鲜明的时代特征。从教育视角看，便出现了两种形态的教育：一种可以称之为学科知识体系导向的教育，通常表现为研究型大学的教育风格；还有一种是专业技术职业导向的教育，可以称之为应用型大学或职业型大学的技能型教育模式。其中，研究型大学更加注重由知识体系所形成的学科开展人才培养。为什么会这样，我的一个结论是，研究型大学要应对未来，而给学生以基础性的知识体系的构建，是应对不确定未来的一个有效方法。而对于职业型大学、专业技术型大学，则侧重对特殊工具和对特殊工具的有效使用技能的培养，比如说新媒体技术、电影特效制作技术，这是社会对于计算机领域技能型专业人才的现实需求，因此大学教育必须响应，设立这些专业无可厚非。在这个进程中，我们看到过去60年特别是近30年由技术创新驱动的发展，给计算机学科专业的发展、社会的发展，以及计算机学科专业对社会发展的影响，产生了极其深刻的影响。所以，我们常说的计算机学科专业发展对社会产生的深刻影响，实际上是由技术创新驱动所带来的深刻影响。数字化或者说信息化的三次浪潮，本质上是一种持续性创新与颠覆性创新交替作用的产业发展的历史进程。这一进程遭遇过几次天花板，比如上世纪90年代中后期，个人计算机的市场规模出现了天花板。这个天花板是如何突破的呢？是互联网产生以后，使得计算机由企业和重要机构得到广泛应用，并进而向家庭和个人普及。过去5年，互联网发展似乎也出现了瓶颈期，中国的网民人数已经超过10亿，似乎我们又遇到了一个天花板，表现为互联网产业发展的市场空间的天花板。如今，这个天花板又被机器学习、人工智能突破。因此，一个技术出现后，通过持续性的创新，市场空间不断拓展和扩大，从而向社会渗透，在市场空间达到一定的饱和或者说遭遇一个瓶颈后，又一个技术的创新，再次拓展了市场，突破这个天花板。这一过程对计算机学科专业产生了极其深刻的影响，我们也感受了明显的变化。但在这个变化之中，有什么是不变的呢？3、变与不变：坚守经典VS超越经典变与不变的核心，是关于坚守经典和超越经典的问题。相对于今天的变化，年来不变的是，图灵计算模型仍然是推动人机物融合智能时代的那个不变的强大模型。图灵提出图灵机，是为了间接挑战希尔伯特关于数学系统是完备而且数学定理是可以机械证明的这个乐观预言，他定义了一个思想实验，即用图灵机模型这个可操作、可机械执行的数学系统，证明在这个数学系统中有不可判定问题，也即图灵机停机问题。我们进一步认识到，一个计算能力足够强大（即包括自然数算术运算）的计算模型的非平凡性质对于该计算模型是不可判定的。既有能力足够强大的计算模型的计算能力都等价于图灵机。所有能力足够强大的计算模型的计算效率都在多项式复杂性意义上等价。可以说图灵机是一个意外的收获，其能力如此强大，似乎触达了人类智能确定性计算的极限，在今天仍然有深刻的意义。这是一种世界观的改变。希尔伯特也好，开尔文也好，他们认为世界是一个确定性的机器。哥德尔、图灵则认为这个确定性的机械的世界观是有边界的，他们指出了这个边界，而这个边界本身是极有价值的。在这样一个新的世界观下，人类可以把我们能够「说清楚」的东西进行编码，并由通用图灵机解释执行。后来微电子学与固体电子学的发展，让我们能够把这个思想实验变成可自动执行的物理装置，今天的冯·诺依曼体系结构的通用数字计算机就是通用图灵机的物化人工计算装置，并且我们可以让这个物理装置自动执行我们编写的那些已经想清楚的确定性过程，也就是算法。通用计算机的诞生使得人工智能研究成为现实，而实际运转的人工智能系统必须要有一个人工装置来模拟和执行人的智能，而这样的系统如今看来似乎都是图灵可计算的，以至于我们现在说让一个设备变得智能，实际上就是让这个设备具有通用计算的能力。过去我们把软件「固化」在一个物理设备上，今天我们发现，应该让这个固件具有通用计算的能力。实际上今天的操作系统是通用计算能力在系统软件上的一个呈现。还有一件事情没有改变，就是计算技术由「专」到「通」的特殊发展路径。图灵模型是在解决特定数学问题过程中无意产生的一个通用计算模型，最初的计算机是用来进行弹道计算的，但它竟然是通用的，乃至于后来个人计算机、互联网应用、大数据等等一系列通用平台都源自解决特定问题的技术，通用平台产生了渗透性。到了人机物融合的智能时代，我们需要构建通用的复杂智能软件的平台，进一步推进通用技术的发展。如今越来越多的设备中嵌入了一种通用计算的能力，比如嵌入式计算机及其操作系统，我们还希望由「专」生成通用的，所谓的泛在操作系统。通用和专用的相互渗透性，在图灵计算模型的那种形态时就已经打下了基础，今天又可以具体化到特定领域，形成通专相继的渗透性的发展模式。今天我们呼唤泛在操作系统，不变的依然是存算一体的通用计算模型，这是计算机学科专业要教给学生的「不变」。当然，我们也要注意到这里面的「变」：感、通、控使得如今的系统和外部世界建立起了联系。过去计算系统只在编码空间里谈事情，而今天在这个体系当中需要有传感器感知外界，需要有通讯设备和主体之外的主体，包括人在内进行交流，还要控制对外部物理世界的干预，因此和外界的联系成为今天人机物融合智能化时代需要