Shoka 主题添加检查文章时效性
需更改文件的目录结构 shokatree ..├── _config.yml├── languages│ ├── en.yml│ ├── ja.yml│ ├── zh-CN.yml│ ├── zh-HK.yml│ └── zh-TW.yml├── layout│ └── _partials│ └── layout.njk├── scripts│ └── generaters│ └── script.js└── source └── js └── _app ├── global.js └── pjax.js添加到 source/js/_app/global.js 最后一行: const...
more...使用 quantum-viz.js 绘制量子线路
使用微软的 quantum-viz.js[1] Entangle circuit Entangle circuit Entangle circuit Sample circuit Teleport Circuit Classically controlled circuit Grover's algorithm # 参考资料 API ↩︎
more...劝学
劝学 『先秦』荀子(约公元前313年-公元前238年) 君子曰:学不可以已。 〇 青,取之于蓝,而青于蓝;冰,水为之,而寒于水。木直中绳,輮以为轮,其曲中规。虽有槁暴,不复挺者,輮使之然也。故木受绳则直,金就砺则利,君子博学而日参省乎己,则知明而行无过矣。 〇 故不登高山,不知天之高也;不临深溪,不知地之厚也;不闻先王之遗言,不知学问之大也。干、越、夷、貉之子,生而同声,长而异俗,教使之然也。诗曰:“嗟尔君子,无恒安息。靖共尔位,好是正直。神之听之,介尔景福。”神莫大于化道,福莫长于无祸。 〇 吾尝终日而思矣,不如须臾之所学也;吾尝跂而望矣,不如登高之博见也。登高而招,臂非加长也,而见者远;...
more...量子编程语言 Silq
关键内容预览 - 与 Q# 比较 - 实例 - 文档 - 安装 在 2020 PLDI 会议上(程序语言和编译技术领域的顶级会议),苏黎世联邦理工学院 (ETH-Zurich) 的计算机科学教授 Martin Vechev 介绍了一种量子计算机的高级编程语言 Silq[1][2],使其可以像传统计算机一样简单,可靠且安全地对量子计算机进行编程。 与现有的其它编程语言相比,该语言更安全、更简单、更快、更直观且更易于理解,它使程序员能够更好地对量子计算机进行编程,从而能够充分利用量子计算机的潜力。该算法已发布在其官网上,源码发布于 Github[3] 使用 D...
more...与 Q# 比较
与 Q# 相比,Silq 需要更少的代码,并使用更少的内置函数,注释和入口。 为了将 Silq 与 Q# 进行比较,我们用 Silq 解决了 Microsoft Q# 2018 夏季和 2019 冬季编码竞赛的全部 28 项任务。 我们将 Silq 解决方案与语言设计师从 2018 年至 2019 年提供的 Q# 参考解决方案进行了比较。 # 实例 根据对参赛者代码的人工调查,我们认为他们可以在 Silq 中更好地编码其预期的解决方案。 在下文中,我们展示了两种常见的模式。 # 控制前翻转 (Flip Before Control) // Q# code snippetX(qs[0]);...
more...Silq 文档
# 注解 (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)2n1(∣0⟩+∣1⟩) ,从而是非经典的:它有 𝔹...
more...