登录

程序

分类

设计

谷歌的最新成果，正试图将这套方法搬进量子程序设计。

文章

消耗

团队先在Lean中搭建了一套量子编程库，程序可以像真实的量子算法一样，根据中途的测量结果选择接下来的执行路径，并严格算出一个程序消耗的资源。

文章

其它

压缩后的程序离硬件还有多远？

文章