苏黎世联邦理工计算机科学,苏黎世联邦理工学院的计算机科学界人士在编程语言领域取得了重要突破...
近日,苏黎世联邦理工学院的计算机科学界人士在编程语言领域取得了重要突破:计算机科学教授 Martin Vechev 与他的团队设计出了量子计算机领域内第一种高级编程语言 Silq,它能够像传统计算机语言一样简单、安全又可靠。
Vechev 教授表示:“与现有编程语言相比,量子编程语言 Silq 能够使程序员更好地利用量子计算机的潜力,因为这些代码更加紧凑、速度更快、更实用,并且更易于理解。”
量子计算机被认为在将来会比普通计算机更能够解决问题。某些量子算法的速度比经典算法更快,且具备一些经典算法所没有的潜力。但直到今天,现有量子计算机的高出错率仍无法支撑这些算法的运行。
要发挥量子计算的潜力,不仅需要最新的技术,用于描述量子算法的量子编程语言也必不可少。原则上来讲,算法是解决问题的“配方”。编程语言对算法进行描述,以便计算机可以执行必要的计算。
如今,量子编程语言已与特定的硬件紧密联系在一起。但这些“硬件描述语言”既麻烦又容易出错,因为程序员们因为必须极其详细地说明单个编程指令,从而专门描述实现量子算法所需的最小限度。
Silq 的诞生有助于解决这个问题。根据开发团队中 Benjamin Bichsel 的介绍,“Silq 并非主要围绕硬件的结构和功能来设计,而更多关注程序员在解决问题时的思维,他们不需要理解计算机架构和实现的每一个细节。”
Silq 带来的最大创新和贡献,大概是消除了长期以来困扰着量子编程的错误源。在量子计算时,由于量子加密,垃圾收集这个步骤比较棘手:先前计算的值可以与当前的值相互作用,因此会干扰到正确的计算。而 Silq 就能够自动识别并删除这些无用值。
“在优化量子计算机程序设计方面,Silq 是一项重大突破,但一切只是刚刚开始”。Vechev 教授和他的团队希望他们的的工作不仅仅促进量子编程语言的发展,也能够刺激量子算法理论得到突破和发展。
苏黎世联邦理工计算机科学,苏黎世联邦理工学院的计算机科学界人士在编程语言领域取得了重要突破...相关推荐
- 帝国理工计算机科学硕士,帝国理工学院计算机科学硕士
帝国理工学院计算机科学硕士项目提供计算机科学的密集训练,适用于非计算机学科背景.想要掌握计算机核心技术或想要丰富计算机知识的学生.帝国理工学院计算机科学硕士项目提供了为期一年的计算机科学的密集训练,适 ...
- 弗吉尼亚理工计算机科学排名,弗吉尼亚理工学院暨州立大学计算机科学computer science专业排名第89名(2020THE泰晤士高等教育世界大学排名)...
2020年THE泰晤士高等教育世界大学计算机科学computer science专业排名公布,弗吉尼亚理工学院暨州立大学计算机科学专业排名第89位,弗吉尼亚理工学院暨州立大学计算机科学专业实力怎么样呢 ...
- 佐治亚理工计算机科学录取,佐治亚理工学院计算机科学专业录取要求有哪些?...
计算机科学专业是美国佐治亚理工学院的强势专业,在美国大学计算机科学专业排名中,佐治亚理工学院高居全美第9位.本文托普仕留学给大家介绍美国留学佐治亚理工学院计算机科学专业研究生的录取要求. 美国留学佐治 ...
- Talk | 清华大学陈晓宇苏黎世联邦理工黄嘉伟 :基于实际应用的强化学习
本期为TechBeat人工智能社区第455期线上Talk! 北京时间11月17日(周四)20:00,清华大学交叉信息研究院在读博士生--陈晓宇与苏黎世联邦理工大学计算机科学在读博士生--黄嘉伟的Tal ...
- 中科大计算机苏黎世联邦理工,从国内top10到世界top10-苏黎世联邦理工offer到!...
-滕慧芝武汉前途欧洲部留学顾问 国内985院校英语专业毕业,硕士就读于法国精英高等商学院,在欧洲生活学习工作3年多,回国后一直专注欧洲高端留学,精通欧洲各国留学业务 L同学去年年初找到我的时候还是有些 ...
- 南阳理工学院计算机科学与技术分数线,2017南阳理工计算机科学与技术分数
技校网专门为您推荐的类似问题答案 问题1: 南阳理工计算机科学与技术系几本 学院现设10个系-机电工程系.计算机科学与技术系.电子与电气工程系.土木工程系.艺术设计系.音乐系.商学系.外语系.建筑系. ...
- 佐治亚理工计算机科学,佐治亚理工学院计算机科学专业如何?
回复时间:2017-01-21 23:33:16 据立思辰留学360介绍,佐治亚理工学院(Georgia Institute of Technology,简称Georgia Tech,也常缩写为Gat ...
- 重磅!全球首个可视化联邦学习产品与联邦pipeline生产服务上线
[导读]作为全球首个联邦学习工业级技术框架,FATE支持联邦学习架构体系与各种机器学习算法的安全计算,实现了基于同态加密和多方计算(MPC)的安全计算协议,能够帮助多个组织机构在符合数据安全和政府法规 ...
- 【联邦学习】横向联邦学习(Horizontal Federated Learning,HFL)
文章目录 一.横向联邦学习的定义 二.横向联邦学习的安全性 三.横向联邦学习架构 1. 客户-服务器架构 2. 对等网络架构 四.联邦优化 五.联邦平均算法 参考链接 一.横向联邦学习的定义 横向联邦 ...
最新文章
- python统计列表内元素个数
- lambda表达式python_Python中的Lambda表达式
- WCF错误远程服务器返回了意外响应: (413) Request Entity Too Large。解决方案
- java 深克隆(深拷贝)与浅克隆(拷贝)详解
- 最新RemObjects,您值得拥有
- Maven之自定义archetype生成项目骨架(一)
- html超链接使用d,HTML图像的调用和超链接
- 信息学奥赛C++语言:杨辉三角形
- caffe数据集——LMDB
- pku 1459 最大流 SAP
- 桌面怎么新建html文件夹下,创建文件夹的步骤 怎么往新建的文件夹里写东西呀?...
- 再见了,收费的XShell,我改用国产良心工具!
- html flv jquery 插件,基于js与flash实现的网站flv视频播放插件代码
- 蓝鹰立德丨2021年个税汇算清缴之未雨绸缪(上)
- 2017年卢松松博客视频方向该怎么做
- 如何将大数组转成BIN文件
- macappstore登不上去_Mac系统打不开appstore如何解决
- 光纤收发器工作原理及技术详解
- 多年亿级流量下的高并发经验总结,我毫无保留的写在了这本书中(CSDN创始人、总裁、副总裁联合推荐)
- ※ 冯·诺依曼体系结构模拟