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