白色相簿

孩子们，好好吃饭。 孩子们，好好学物理。 梁灿彬 今天是 π\piπ 日，相信更多人嘴上说的是 Stephen Hawking、Albert Einstein 及 Galileo Galilei 或者伟大导师 Karl Marx，当然不关心物理学的只会过白色情人节。我昨天才知道梁灿彬老师在上个月去世了，梁老找 Hawking 和 Weinberg...

检查文章时效性

努力适应 80% 的规范要求 # 编写规则 [1][2][3][4][5][6] 文件拓展名必须是 .md 文件名必须用小写，多个单词间用 - 分割 文档及字符编码必须用 UTF-8 文档标题用 # ， # 和标题名称之间加一个空格 #标题 #标题# # 标题 文档章节用 ## ， ## 和章节名称之间加一个空格 ## 章节 1 ## 章节 1## ## 章节 1 四层级的标题（四级标题已经和正文字体大小差不多） # 一级标题## 二级标题### 三级标题#### 四级标题 标题需要连续，不要越级 错误示例：缺少二级标题。一级标题下，不能直接出现三级标题 #...

# 添加子模块 [1] 命令格式： git submodule add <仓库地址> <本地路径> 以我博客主题 shoka 的 Fork 版本为例 仓库地址 可以是 https 或者 ssh 链接： https://github.com/llxlr/hexo-theme-shoka.git git@github.com:llxlr/hexo-theme-shoka.git 我实际用到的命令： bloggit submodule add -b dev...

使用微软的 quantum-viz.js[1] Entangle circuit Entangle circuit Entangle circuit Sample circuit Teleport Circuit Classically controlled circuit Grover's algorithm # 参考资料 API ↩︎

劝学 『先秦』荀子（约公元前313年－公元前238年） 君子曰：学不可以已。 〇 青，取之于蓝，而青于蓝；冰，水为之，而寒于水。木直中绳，輮以为轮，其曲中规。虽有槁暴，不复挺者，輮使之然也。故木受绳则直，金就砺则利，君子博学而日参省乎己，则知明而行无过矣。 〇 故不登高山，不知天之高也；不临深溪，不知地之厚也；不闻先王之遗言，不知学问之大也。干、越、夷、貉之子，生而同声，长而异俗，教使之然也。诗曰：“嗟尔君子，无恒安息。靖共尔位，好是正直。神之听之，介尔景福。”神莫大于化道，福莫长于无祸。 〇 吾尝终日而思矣，不如须臾之所学也；吾尝跂而望矣，不如登高之博见也。登高而招，臂非加长也，而见者远；...

关键内容预览 - 与 Q# 比较 - 实例 - 文档 - 安装 ​在 2020 PLDI 会议上（程序语言和编译技术领域的顶级会议），苏黎世联邦理工学院 (ETH-Zurich) 的计算机科学教授 Martin Vechev 介绍了一种量子计算机的高级编程语言 Silq[1][2]，使其可以像传统计算机一样简单，可靠且安全地对量子计算机进行编程。 与现有的其它编程语言相比，该语言更安全、更简单、更快、更直观且更易于理解，它使程序员能够更好地对量子计算机进行编程，从而能够充分利用量子计算机的潜力。该算法已发布在其官网上，源码发布于 Github[3] 使用 D...

与 Q# 相比，Silq 需要更少的代码，并使用更少的内置函数，注释和入口。 为了将 Silq 与 Q# 进行比较，我们用 Silq 解决了 Microsoft Q# 2018 夏季和 2019 冬季编码竞赛的全部 28 项任务。 我们将 Silq 解决方案与语言设计师从 2018 年至 2019 年提供的 Q# 参考解决方案进行了比较。 # 实例 根据对参赛者代码的人工调查，我们认为他们可以在 Silq 中更好地编码其预期的解决方案。 在下文中，我们展示了两种常见的模式。 # 控制前翻转 (Flip Before Control) // Q# code snippetX(qs[0]);...

# 注解 (annotations) Silq 支持 ! 、 qfree 、 mfree 、 const 和 lifted 的注解。 # 经典 (Classical) 类型 ! 为指名类型 τ 可能仅有经典值（而不是叠加态 (superpositions)），我们注解它为 !τ!\tau!τ 。这保证了我们能更自由地复制和删除这种类型的值。例如，1+21+21+2 有类型 !int[n] 。经比较， H(0) 是 12n(∣0⟩+∣1⟩)\frac{1}{\sqrt{2^n}}\left(\ket{0}+\ket{1}\right)2n​1​(∣0⟩+∣1⟩) ，从而是非经典的：它有 𝔹...

在下文中，我们将回顾一些针对 Codeforces 上的 Microsoft Q# 夏季 2018 和冬季 2019 编码竞赛的 Silq 解决方案。 针对 Q# 程序员的详细解决方案可在 2018 年和 2019 年获得。 # 生成零态和基态的叠加态 任务的原始来源：问题 A2（2018） 给定经典位 b∈𝔹nb\in 𝔹^nb∈Bn 且 b[0]=1b[0]=1b[0]=1 ，返回态 12(∣b⟩+∣0⟩)\frac{1}{\sqrt{2}}\Big(\ket{b}+\ket{0} \Big)2​1​(∣b⟩+∣0⟩) ，其中 ∣0⟩\ket{0}∣0⟩ 代表使用 nnn 位。 #...