若你不知道微軟的量子編程Q,那得知道新出的Silq量子程式語言

2021-01-15 機智客

迄今為止,對於我們很多大眾而言,量子計算機依然神秘依然高大上依然可望而不可即。而對於業內人士而言,量子計算機和量子技術的研究已經不是一天兩天了,科學家們的研究不亦樂乎,成果進展也可喜。比如,程式語言領域就迎來了一個重要的突破:第一種高級程式語言 Silq問世。之所以說它是第一種高級程式語言,就是因為這個程式語言是量子計算機領域的,不是目前的在很低的抽象級別工作的程式語言,也不是我們普通認識學習的程式語言。

量子計算機領域的頭號程式語言Silq,誕生於蘇黎世聯邦理工學院的計算機科學界人士之手。據設計這種程式語言的Vechev 教授表示,「與現有程式語言相比,量子程式語言 Silq 能夠使程式設計師更好地利用量子計算機的潛力,因為這些代碼更加緊湊、速度更快、更實用,並且更易於理解。」

不過,說起量子程式語言,可能有些關注技術的朋友知道,其實IT巨頭微軟公司曾經在幾年前推出過一款量子計算程式語言Q#,一人客看資料顯示,在2017年,微軟推出量子計算開發套件,分為windows版本和macOS和linux版本,需要在VS或者VS code上使用。同時,微軟也在GitHub上提供了量子程式語言Q#的demo。

而新出的這款高級程式語言Silq,則更直觀更簡潔,它能讓你抽離在非常低的抽象水平上工作,安全,能避免出錯,能進行自動計算,易於理解算法的作用,它比微軟的量子程式語言Q#更直觀更簡潔,是更高層次的程式語言。經過測試,Silq生成的程序比Q#編程的程序短很多。

Silq這種量子程式語言,其設計主要不是要圍繞硬體的結構和功能,而是更高層次地從程式設計師的角度,以人想解決問題時的思維方式為核心,所以並不是必須要求人們理解計算機體系的結構和實現的每一個細節,這個顯然更高級,也更符合以人為中心的易理解性易用性目標。

學習過編程開發的朋友知道,軟體或程序在運行計算的過程中,都會通過多個中間步驟來實現計算,而這些勢必會創建中間結果或臨時值。一般情況下,計算機會自動刪除處理掉這些值,然而到了量子計算機領域,這一步會很糟糕。想必和一人客一樣了解過量子基本常識的朋友知道,量子糾纏的概念和事實,由於量子糾纏,先前計算的值可能與當前的值相互作用,從而幹擾正確的計算,而Silq這款量子程式語言則解決了這個問題,它屬於量子電腦程式優化方面的重要突破。

相關焦點

  • 物理不好,如何給量子計算機編程?
    事實上,現如今存在的量子程式語言和在傳統程式語言基礎上建立的量子編程庫的數量可能比你想像的還要多。我的建議是:從一個基於你曾經使用過的傳統程式語言編寫的量子編程庫著手,慢慢適應了量子邏輯和思考方法後,再轉到一個純粹的量子程式語言上。
  • 谷歌、微軟聯合出品《量子計算機編程》公開課,教你怎麼寫量子代碼
    新智元報導 編輯:大明【新智元導讀】微軟和谷歌聯合推出了一門在線互動課程《量子計算機編程》,課程面向初學者,介紹量子計算編程的基本概念,並教授如何利用微軟的Q#語言編寫簡單的量子算法和代碼。課程在網頁瀏覽器中進行,無需開發環境。
  • 量子計算機領域內第一種高級程式語言 Silq 誕生
    近日,蘇黎世聯邦理工學院的計算機科學界人士在程式語言領域取得了重要突破:計算機科學教授 Martin Vechev 與他的團隊設計出了量子計算機領域內第一種高級程式語言 Silq,它能夠像傳統計算機語言一樣簡單、安全又可靠。
  • 一文教你 「量子編程」入門式
    量子計算機量子計算機被發現之後,量子編程也在不斷發展。本文將帶你入門量子編程,介紹量子計算機與傳統電腦的區別,解釋量子編程的基本概念,最後教你如何在一個當今免費的量子計算機上運行程序。量子編程在開始編程之前,強烈建議你摒棄大腦中有關編程的一切固有概念,不要想著聲明設置變量,循環語句,定義函數等,任何先入之見都沒有用。量子編程不是簡單地將現在的程序運行更快的一種方法,其與現有的程序在根本上就是完全不同的。
  • 微軟開源 Quantum Katas,領先的量子編程解決方案
    據外媒報導,微軟近日推出了一套先進的量子編程解決方案,讓編程人員可以更好地學習量子計算及其相關的 Q# 程式語言。
  • 學量子編程 情人節獲得個薛丁格的女朋友?
    文章內容屬作者個人觀點,不代表和訊網立場。投資者據此操作,風險請自擔。  編者按:矽谷密探將推出「密探問答」專欄,關注矽谷創業和投資生態的重要熱點問題。   量子計算是一個非常前沿的領域,也是一個典型的「月探」工程:它有著巨大的創造價值的潛力,也有很高的失敗風險。  在情人節之際,正在尋找機會的你,該不該考慮為量子編程做準備?
  • 量子編程取得突破:量子計算機的第一種直觀語言
    #量子計算機對人類發展的影響#量子計算機的編程變得越來越容易:蘇黎世聯邦理工學院的計算機科學家設計了第一種程式語言,可以像傳統計算機一樣簡單、可靠、安全地對量子計算機進行編程。ETH智能系統實驗室(SRI)的計算機科學教授Martin Vechev說:「對量子計算機進行編程仍然是研究人員面臨的挑戰,這就是為什麼我如此興奮,以至於我們現在可以繼續蘇黎世ETH對量子計算機和程式語言的發展。」他認為:「與現有語言相比,我們的量子程式語言Silq使程式設計師能夠更好地利用量子計算機的潛力,因為代碼對於程式設計師而言更緊湊,更快,更直觀並且更易於理解。」
  • 量子計算機算力那麼強,它使用什麼程式語言?
    我們現在用的普通計算機上面的應用程式都是通過特定的程式語言進行開發出來的,那如果量子計算機出現我們應該用什麼編程式設計師進行編程呢?近日,蘇黎世聯邦理工學院的計算機科學家為量子計算機設計了第一種程式語言,可以像傳統計算機那樣簡單、可靠和安全地為量子計算機編程,這種程式語言被命名為Silq。Silq允許程式設計師更好地利用量子計算機的潛力,而且它的代碼更緊湊,更快,更直觀,更容易理解。程式設計師怎麼對它進行編程呢?
  • 今年年底,微軟公司計劃公布一種全新的量子計算機語言
    今年年底,微軟公司計劃公布一種全新的量子計算機語言,以及一種量子計算機模擬器。藉助這些新技術,研發人員將能夠研發和測試執行量子運算的量子程序。        量子運算使用了疊加和糾纏等量子特徵執行運算。傳統數字計算機由二進位數字構成(0或1),而量子計算機是由量子比特構成。量子比特在某種程度上能夠同時代表0和1(也就是所謂的量子疊加)。
  • 微軟:五年內造出擁有100個拓撲量子比特的量子計算機
    新智元報導 來源:CSDN作者:孟巖【新智元導讀】微軟Build 2018 大會的第二天,微軟副總裁、量子計算部門的負責人 Todd Holmdahl 向外界透露,微軟能夠在五年內造出第一臺擁有 100 個拓撲量子比特的量子計算機,並且將其整合到
  • 墮落Java vs 新貴 Python,2018 年最應該學習哪一門程式語言?
    14 個你可能不知道的 JavaScript 調試技巧星星之火——Kotlin成為 Android 官方支持開發一級語言的 Kotlin 在 2017 年時一顆冉冉升起的新星, 2017 年推出的版本包括:Kotlin 1.2 於 11 月發布,提供在多個平臺上重複使用代碼的實驗性功能。支持 Java 9 。
  • 微軟不再發展Visual Basic程式語言,它曾經的輝煌你可知?
    「展望未來,我們不打算繼續演化 VB 這門語言,而是將精力放在改進穩定性、以及保持 .NET Framework版本和 .NET Core 的兼容性。」當然由於平臺差異,VB 在兩個版本上會逐漸展示出差異。VB 也曾輝煌VB 曾經也輝煌過,它是第一個支持可視化界面設計的語言。
  • 開發者眼中的程式語言……
    網友Phil_L的看法:   「誠然,你可以在Pascal中能按照C語言的方式進行編碼,不過一旦投入Pascal的懷抱,你就會不由自主地跟隨Pascal有別於C語言的特性來編程。」,同為支持面向對象編程架構的Python相比於其它高階的面向對象語言,無疑更為小巧且方便的多得多。」
  • 計算機程式語言的發展簡史,人工智慧與雲計算程式語言!
    學習一兩門計算機程式語言也如當初學習英文一樣的火熱,隨著人工智慧AI和雲計算的不斷發展,Python語言和Scala語言已經成為這兩個領域裡面最為火熱的程式語言了,可以預知未來學習計算機程式語言的人也一樣會如同學習英文一樣的成為一種新常態,並且成為一種穩定的常態。以下筆者將以自己的學習認知,簡單的闡述一下計算機程式語言的發展。
  • 十大流行程式語言和它們的創造者
    這些程式語言的創造者是編程世界的標誌人物,當我看到某些人在使用某種程式語言卻不知道這門語言從何而來的時候,會感到一種淡淡的憂傷。對於最為流行的程式語言,出現這種情況的情況較少,比如Java,幾乎所有人都知道Java之父的名字James Gosling,但是,對於Perl、Pascal、Lisp或者Erlang呢,你是否依然知道它們的創造者是誰?
  • 機器人研發中使用的十大最流行的程式語言詳解
    最近,像 ROS 這樣的行業已經開始為程式設計師提供更加標準化的語言選擇。儘管如此,作為一個技術人員,你仍需要使用製造商的程式語言。 8. LISP LISP是世界上第二古老的程式語言(FORTRAN更為古老,但只差一年)。相比與其他語言,它使用得並不是很廣泛,但是在人工智慧編程領域還是很最重要的。
  • 超火的程式語言,Julia中文社區夏季會議開放報名
    本次大會將會有 Julia 程式語言的核心創作者之一亮相,給為 Julia 中文文檔翻譯做出過傑出貢獻的用戶頒獎噢(猜猜會是誰?)!Yao.jl: 量子計算遇上機器學習演講者:劉金國可微分編程是一個有趣的概念。為了能夠應用近期的量子硬體,變分量子線路這一個新領域在最近幾年吸引了大量的注意。我將介紹我們是如何在 Julia 裡通過 Yao 來實現對量子線路的可微分編程的。此外我還將展示 Yao 卓越的模擬性能。
  • IBM 的量子計算機一鳴驚人,國內量子技術技術有多強?
    這是一個非常特殊的狀態,因為你不能說它是一隻死貓,你不能說它是一隻活貓。但是你知道它活下來的可能性和死的可能性。這是一個非常奇怪的狀態。所以,如果你能用疊加態來表示事物的狀態:也就是說,同時表明一隻貓是死是活。如果你能這樣做,直覺告訴你你有能力並行地做。我們知道對於很多計算問題,有很多不同的解決方案。你需要仔細檢查每一個解決方案,看看哪一個對你來說是正確的答案。
  • 程式語言新寵兒——Julia誕生記
    文中探討了Julia語言的開發緣由以及它的新特性。筆者認為一門新語言的誕生勢必會掀起一陣新的旋風,開發者在享受它帶來樂趣的同時也在為它的存在價值而爭論不休,究竟Julia能否給開發者帶來新的福音呢?程式語言新寵——Julia誕生Julia是一個新的高性能動態高級程式語言。語法和其他程式語言類似,易於其他語言用戶學習。Julia擁有豐富的函數庫,提供了數字精度、精緻的增幅器(sophisticated amplifier)和分布式並行運行方式。
  • 量子科技需要什麼人才?
    最好是能精通一門大型計算機系統,用於晶片設計,也不能是特別特別精通,要有工程經驗,要知道計算機涉及到很多器件和編程。還有就是英語要比較好先進到什麼程度,不知道只能告訴你,去看那些比較有名的量子算法的論文,看到不懂的,用谷歌百度全部google出來去看懂不懂。