量子計(jì)算機(jī)第一種高級(jí)編程語(yǔ)言誕生

1、量計(jì)算機(jī)第種級(jí)編程語(yǔ)誕量計(jì)算機(jī)硬件正在持續(xù)升級(jí)，很快地不了年我們就會(huì)看實(shí)際的產(chǎn)品，我們也會(huì)看到對(duì)這些機(jī)器進(jìn)編程的研究項(xiàng)亦在穩(wěn)步增長(zhǎng)。如今量計(jì)算機(jī)領(lǐng)域的最新成果為Silq，是瑞ETH Zurich（蘇黎世聯(lián)邦理學(xué)院）研發(fā)的于量計(jì)算機(jī)的級(jí)編程語(yǔ)。該院的計(jì)算機(jī)科學(xué)教授 Martin Vechev 與他的團(tuán)隊(duì)設(shè)計(jì)出了量計(jì)算機(jī)領(lǐng)域內(nèi)第種級(jí)編程語(yǔ) ，名為 Silq，它能夠像傳統(tǒng)計(jì)算機(jī)語(yǔ)樣簡(jiǎn)單且安全可靠。Silq語(yǔ)的LogoVechev 教授說(shuō)道，“與現(xiàn)在的編程語(yǔ)相，量編程語(yǔ) Silq 能夠使程序員更好地利量計(jì)算機(jī)的潛，因?yàn)檫@些代碼更加緊湊、速度更快、更實(shí)，并且更易于理解。”Sliq官上有關(guān)語(yǔ)詳情介紹Sil

2、q微軟的量編程語(yǔ)Q#代表減少44%，庫(kù)減少50%以上。以下是2018-2019編碼賽中的些代碼斷。功能為控制前翻轉(zhuǎn)，以下是Q#的源代碼：/ Q# code snippet X(qs0); X(qs1);/ Q# code snippet X(qs0); X(qs1);(Controlled X)(qs, a0);X(qs0); X(qs1);a0做為存儲(chǔ)。（各位如對(duì)代碼有什么解讀，歡迎在底發(fā) 表見(jiàn)）使Sliq動(dòng)計(jì)算表達(dá)式描述，只有了3：/ Silq code snippet corresponding to the above Q# code snippet if !qs0 & !qs1 /

3、Silq code snippet corresponding to the above Q# code snippet if !qs0 & !qs1 a0 := X(a0);初始化Qubits/ Q# code snippet (some parts omitted) operation Set(des:Result,q:Qubit):()/ Q# code snippet (some parts omitted) operation Set(des:Result,q:Qubit):(). / omittedoperation Solve(qs:Qubit):() body for (i i

4、n 0.Length(qs)-1)Set(Zero,qsi);. / omittedSilq 的誕有助于解決這個(gè)問(wèn)題。根據(jù)開(kāi)發(fā)團(tuán)隊(duì)中 Benjamin Bichsel 的介紹，“Silq 并主要圍繞硬件的結(jié)構(gòu)和功能來(lái)設(shè)計(jì)，更多關(guān)注程序員在解決問(wèn)題時(shí)的思維，他們不需要理解計(jì)算機(jī)架構(gòu)和實(shí)現(xiàn)的每個(gè)細(xì)節(jié)?！盨ilq 帶來(lái)的最創(chuàng)新和貢獻(xiàn)，概是消除了長(zhǎng)期以來(lái)困擾著量編程的錯(cuò)誤源。在量計(jì)算時(shí)，由于量加密，垃圾收集這個(gè)步驟較棘：先前計(jì)算的值可以與當(dāng)前的值相互作，因此會(huì)擾到正確的計(jì)算。 Silq 就能夠動(dòng)識(shí)別并刪除這些值。“在優(yōu)化量計(jì)算機(jī)程序設(shè)計(jì)，Silq 是項(xiàng)重突破，但切只是剛剛開(kāi)始”。Vechev 教授和他的團(tuán)隊(duì)希望他們的的作不僅僅促進(jìn)量編程語(yǔ)的發(fā)展，也能夠刺激量算法理論得到突破和進(jìn)展。作者：叨叨