中國(guó)科學(xué)院軟件研究所20日發(fā)布了國(guó)內(nèi)首個(gè)較為完整的量子程序設(shè)計(jì)平臺(tái)，已上線的功能主要包括編譯器、模擬器、模型檢測(cè)工具、定理證明器四部分，有望為國(guó)內(nèi)自主研制的量子計(jì)算機(jī)提供更多軟件配套。 7kKuZW@K-  
HPg3`Ul  
該量子程序設(shè)計(jì)平臺(tái)被命名為“isQ”。平臺(tái)由中科院軟件所量子軟件研究團(tuán)隊(duì)研發(fā)，編譯器和模擬器部分由該團(tuán)隊(duì)與清華大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系合作完成。 |EKu2We*  
#