IT之家12月25日消息 據(jù)中新網(wǎng)消息，近日，中國(guó)科學(xué)院軟件研究所于北京正式發(fā)布了中國(guó)首個(gè)較為完整的量子程序設(shè)計(jì)平臺(tái)，且期望同我國(guó)量子硬件團(tuán)隊(duì)合作，盡快將該量子程序設(shè)計(jì)平臺(tái)配置在我國(guó)自研的量子計(jì)算機(jī)上。
據(jù)報(bào)道，此次發(fā)布的量子程序設(shè)計(jì)平臺(tái)名為“isQ”。其中“is”是“Institute of Software（軟件研究所）”的縮寫(xiě)，“Q”則來(lái)自“Quantum（量子）”的首字母。
報(bào)道稱(chēng)，這一平臺(tái)包括量子程序設(shè)計(jì)、編譯、模擬、分析與驗(yàn)證等系列工具。編譯器、模擬器、模型驗(yàn)證工具、定理證明器四部分主要功能已經(jīng)上線。
廣告聲明：文內(nèi)含有的對(duì)外跳轉(zhuǎn)鏈接（包括不限于超鏈接、二維碼、口令等形式），用于傳遞更多信息，節(jié)省甄選時(shí)間，結(jié)果僅供參考，IT之家所有文章均包含本聲明。