图灵奖得主提高软件质量的“魔法”
清华大学从来不缺“大师”，而近日竖立在清华综合体育馆前每幅高约3米的八幅巨大的人像照片，再次刺激了人们的神经。
图注：八位世界级的计算机大师和清华大学校领导一起现身在清华大学综合体育馆前。
10月24日，八位照片上的大师如约出现。他们是来自国内外计算领域的顶级大师，其中包括三位计算机界的诺贝尔奖——图灵奖得主。在二十一世纪的计算学术研讨会上，他们向3千多名中国学生及学者分享了他们在软件核心运算方面的研究成果。
在质取计算未来的主题下，提高软件质量成为本届大会关注的焦点。
到底如何提高软件质量？如何利用互联网这个工具提高软件质量？微软亚洲研究院作为“智囊团”，在微软公司又扮演什么角色？记者带着这些疑问，采访了图灵奖大师和微软高层。
1. 提高软件质量重在证明真理
清华高等研究中心教授姚期智讲授了 “什么是真理？真理如何能够得到证明？”这些科学界最基础的东西。姚期智表示，他不仅仅是感兴趣如何证明真理，而且还感兴趣的是真理是如何能够进行交流，而且能够可靠的交流。
在这方面，计算机科学研究领域产生了很多的激动人心的成果，但是在外界还不为人所知。比如，你想证实任何一张地图都可以用四种颜色填满（四色定律），传 统的办法是由某一个人对此写一个论文，然后专家读这个论文，然后被说服，这个结果是正确的。在计算机科学里，人们感兴趣的是软件的验证，即为什么要相信一 个软件程序能够精确地计算出结果。
而网络时代的软件，设计人员不仅仅要保证软件计算正确，而且还要保证不同的网络各方的正确。目前，通过一些研究和调查，试图在网络方面证明程序的正确方面出现了一个理论，也就是不把网络的互动看作是一个障碍，而是看成设计者验证的工具。
2.利用互联网及时纠错
“以前错了我重新卖给你一个，但是今天不一样，今天有互联网、它能够形成一个反馈的路，它变成一个反馈的路。”微软亚洲研究院院长沈向洋告诉记者。
通过互联网，用户可以及时发现软件出了什么问题。作为软件设计者，微软不停地在从用户那儿搜集大量的数据并且对它们进行分析。这样做的目的不仅仅可以弥补软件当中的缺陷，而且可以更好地为客户服务，从而设计出更好的软件。
沈向洋介绍：“微软有一个很独特的方面就是既做软件的开发也做产品，并且不断地去搜集各种各样的数据进行研究。至于有人提到公开源代码是不是一个更好的解决方式，我们认为做软件研发可以有很多的方式，每一种方式都有它存在的道理，不能说某一种方式比其他的方式更好。”
实际上共享信息有两类，一类是像媒体那样由大众去来编写的；另外一类就是真正的科学的信息的发表和共享，它是需要由专家来对它进行评估的，所以这是共享信息的两种不同的办法。微软现在的方式就是不断地持续搜集信息，互联网这样做是微软以前没有办法去实现的一种方式。
3. 难在把知识表达出来
“怎么把知识在计算机中表达出来是一个最大的难题。” 1998年图灵奖得主，胡须花白但头发乌黑的Jim Gray对记者说：“对于计算机来说，我觉得最难的问题不是数据，而是源数据的问题，怎么来理解这个结构，基因里面的结构。我们可以很方便地拍张照放到计 算机里去，但我们要表达照片的光线以及里面的物品就困难多了，这就是知识。”
所以把一些字节、字符串、甚至你的图象的点放到计算机上、放到网上是非常容易的事情，但是把知识放到上面去是非常困难的。问题并不是说这个计算机有没有计算的能力，也不是程序编程或者数据库的问题，而确实是难在搜索者到底想知道什么东西，即如何向计算机表达知识。
图灵奖得主提高软件质量的“魔法”相关推荐
- 深度学习可解释性问题如何解决？图灵奖得主Bengio有一个解
作者 | Yoshua Bengio, Tristan Deleu等 译者 | 刘畅,编辑 | Just 出品 | AI科技大本营(ID:rgznai100) 自 2012 年以来,深度学习的发展有目 ...
- 图灵奖得主Raj Reddy：以历史的视角重新审视“人工智能”
卡内基梅隆大学计算机学院教授.图灵奖获得者Raj Reddy 本文转自微软亚洲研究院 原编者按:5月31日上午,卡内基梅隆大学计算机学院教授.图灵奖获得者Raj Reddy莅临微软亚洲研究院,为我们带 ...
- AI大觉醒：图灵奖得主Bengio称AI将产生意识，未来机器学习核心是注意力机制
新智元报道 来源:venturebeat 编辑:梦佳 [新智元导读]人工智能是时候该觉醒了吗?在本周的2020 ICLR 大会上,图灵奖得主Yoshua Bengio针对AI和机器学习的未来阐 ...
- 图灵奖得主门徒、RISC-V 创始成员领衔，睿思芯科获数千万美金融资 | AI 创业周报第6期...
智源社区 AI 创业周报关注早期有潜在影响力的AI创业团队,挖掘新的场景和技术应用范式,同时希望通过采访和其他信息聚合的方式搜集创业观点,为AI创业者提供更有价值的行业洞察. 在过去的一周里,芯片处理 ...
- 图灵奖得主Geoffrey Hinton：脱缰的无监督学习，将带来什么
与6位图灵奖得主和100多位专家 共同探讨人工智能的下一个十年 北京智源大会倒计时:4天 在即将举行的第二届北京智源大会上(官网:https://2020.baai.ac.cn),图灵奖获得者Geof ...
- 图灵奖得主Yann LeCun：我的论文也被NeurIPS拒了
来源:机器之心本文约2000字,建议阅读8分钟 双盲评审之下,图灵奖得主的论文也会被拒. 近期,全球人工智能顶会 NeurIPS 2021 放出了今年的论文接收结果.正所谓有人欢喜有人忧,但也有人处于 ...
- 图灵奖得主Bengio又出新论文：用强化学习提升模型泛化性！网友崩溃：idea撞车了......
点击上方"AI遇见机器学习",选择"星标"公众号 重磅干货,第一时间送达 转载自:新智元 来源:reddit | 编辑:LRS [导读]Bengio又 ...
- 图灵奖得主吐槽中国高校「重科研，轻教育」怪象！高校教师评价体系是元凶？...
来源:知乎 转自:新智元 11月1号,在第四届世界顶尖科学家论坛开幕式上,图灵奖得主约翰·霍普克罗夫特就中国的本科生教育这个话题谈了谈自己的看法. 来源:四川观察 视频里约翰·霍普克罗夫特教授想表达的 ...
- 因果推断研究获2021诺贝尔经济学奖，图灵奖得主Judea Pearl祝贺并反对
晓查 发自 凹非寺 量子位 报道 | 公众号 QbitAI 2021年诺贝尔奖最后一个奖项公布: 加州大学伯克利分校的David Card.麻省理工学院的Joshua D. Angrist和斯坦福大学 ...
最新文章
- AdaBoostClassifer详解及实战
- 【CF526F】Pudding Monsters
- 动态规划--编辑距离问题
- 2021-05-08 docker 拷贝东西到镜像，和拷贝到宿主机
- @transaction使自定义注解失效_【完美】SpringBoot中使用注解来实现 Redis 分布式锁...
- QNX6.5编译libcurl
- vue2.0 实现click点击当前li，动态切换class
- 猫：君主般的眼神 监视领地。 狗
- 二叉树——二叉树的深度(洛谷 P4913)
- 95-10-110-启动-AdminManager
- 并发编程3-线程调度
- XML 反序列化为Model
- 天正多条线段长度lisp下载_四年级数学上册基础题过关检测+12套思维题，下载给孩子测试！【有电子版】...
- DNS 教父怒喷 DNS-over-HTTPS！
- C#语法基础（三）----窗体设计
- 【位操作笔记】计算以2为底整数N的对数 查表法
- python华氏温度和摄氏温度相互转换
- PTA-实验7-学生成绩录入及查询
- 记 flip 简单的动画思路
- 2022，6G发展确已升温