近日，蘇黎世聯(lián)邦理工學(xué)院的計算機科學(xué)界人士在編程語(yǔ)言領(lǐng)域取得了重要突破：計算機科學(xué)教授 Martin Vechev 與他的團隊設計出了量子計算機領(lǐng)域內第一種高級編程語(yǔ)言 Silq，它能夠像傳統計算機語(yǔ)言一樣簡(jiǎn)單、安全又可靠。

　　Vechev 教授表示，“與現有編程語(yǔ)言相比，量子編程語(yǔ)言 Silq 能夠使程序員更好地利用量子計算機的潛力，因為這些代碼更加緊湊、速度更快、更實(shí)用，并且更易于理解。”

　　量子計算機被認為在將來(lái)會(huì )比普通計算機更能夠解決問(wèn)題。某些量子算法的速度比經(jīng)典算法更快，且具備一些經(jīng)典算法所沒(méi)有的潛力。但直到今天，現有量子計算機的高出錯率仍無(wú)法支撐這些算法的運行。

　　要發(fā)揮量子計算的潛力，不僅需要最新的技術(shù)，用于描述量子算法的量子編程語(yǔ)言也必不可少。原則上來(lái)講，算法是解決問(wèn)題的“配方”。編程語(yǔ)言對算法進(jìn)行描述，以便計算機可以執行必要的計算。

　　如今，量子編程語(yǔ)言已與特定的硬件緊密聯(lián)系在一起。但這些“硬件描述語(yǔ)言”既麻煩又容易出錯，因為程序員們因為必須極其詳細地說(shuō)明單個(gè)編程指令，從而專(zhuān)門(mén)描述實(shí)現量子算法所需的最小限度。

　　Silq 的誕生有助于解決這個(gè)問(wèn)題。根據開(kāi)發(fā)團隊中 Ben­jamin Bich­sel 的介紹，“Silq 并非主要圍繞硬件的結構和功能來(lái)設計，而更多關(guān)注程序員在解決問(wèn)題時(shí)的思維，他們不需要理解計算機架構和實(shí)現的每一個(gè)細節。”

　　Silq 帶來(lái)的最大創(chuàng )新和貢獻，大概是消除了長(cháng)期以來(lái)困擾著(zhù)量子編程的錯誤源。在量子計算時(shí)，由于量子加密，垃圾收集這個(gè)步驟比較棘手：先前計算的值可以與當前的值相互作用，因此會(huì )干擾到正確的計算。而 Silq 就能夠自動(dòng)識別并刪除這些無(wú)用值。

　　“在優(yōu)化量子計算機程序設計方面，Silq 是一項重大突破，但一切只是剛剛開(kāi)始”。Vechev 教授和他的團隊希望他們的的工作不僅僅促進(jìn)量子編程語(yǔ)言的發(fā)展，也能夠刺激量子算法理論得到突破和進(jìn)展。
　?。?a href="http://www.reeanfmc.com/website/">邯鄲網(wǎng)站建設）

移居外太空有望！科學(xué)家...

京東：為全部在京快遞員...