• Technologie
  • Byznys
  • Software
  • Hardware
  • Internet
  • Telco
  • Science
  • České IT
  • Události
Žádné výsledky
Zobrazit všechny výsledky
ITBiz.cz
ITBiz.cz
Žádné výsledky
Zobrazit všechny výsledky

Na MITu vytvořili nový programovací jazyk pro kvantové počítače

Pavel Houser
14. 3. 2022
| Články

Programování kvantových počítačů vyžaduje rozumět jejich základní fyzikální podstatě – tedy tomu, že jednotlivé kvantové bity jsou různě provázané (zapletené, entanglement). Vyřazení jednoho qubitu tak může změnit hodnotu jiných qubitů, respektive zničit zde uložená data. Programátoři kvantových algoritmů museli až dosud tyto závislosti složitě sledovat.
Vědci z MITu za účelem pomoci vývojářům nyní vytvořili vlastní programovací jazyk pro kvantové výpočty nazvaný Twist. Tento jazyk dokáže popsat a ověřit, které části dat jsou v kvantovém programu zapleteny, a to prostřednictvím syntaxe, které rozumí i klasický programátor. Jazyk podle svých tvůrců používá koncept „čistoty“ (purity), který vynucuje nepřítomnost entanglementu a vede přitom k intuitivnějším programům, v ideálním případě s menším počtem chyb. Programátor může například s pomocí Twistu zaručit, že dočasná data generovaná programem nejsou provázána s výstupem programu, takže je lze bezpečně zahodit.
„Náš jazyk Twist umožňuje vývojáři psát bezpečnější programy pro kvantové počítače tím, že explicitně stanoví, kdy nesmí být qubit provázán s jiným,“ uvedl Charles Yuan, doktorand na MIT a hlavní autor příslušné studie. „Protože pochopení kvantových programů vyžaduje porozumění entanglementu, doufáme, že Twist otevírá cestu k jazykům, které programátorům zpřístupní jedinečné možnosti kvantových počítačů.“
Kvantový počítač si v logice Twistu můžeme představit jako černou skřínku, ze které koukají kabely odpovídající jednotlivým bitům, respektive qubitům. Chceme-li pro další manipulaci vytáhnout jeden kabel, můžeme přitom nezamýšleně vytáhnout i další – protože jsou různě překřížené, a to ne nutně jen ty sousední. Do krabice programátor ovšem (přímo) nevidí a není-li se provázaností jist, musel až dosud postupovat metodou pokus-omyl. Twist cílí právě na tento problém.
Vědci navrhli Twist tak, aby umožnil analyzovat programy pro známé kvantové algoritmy a identifikovat chyby v jejich implementacích. Aby vyhodnotili návrh Twistu, upravili testované programy (implementace známých kvantových algoritmů) tak, že do nich vnesli nějakou chybu, která by byla pro lidského programátora relativně nenápadná. Potvrdilo se, že Twist dokáže tyto chyby automaticky identifikovat a programy označit jako vadné.
Programy „ošetřené“ pomocí Twistu měly oproti stávajícím technikám kvantového programování méně než 4% režii, čili za ošetření bezpečnosti/funkčnosti se výkonem prakticky neplatí.
Dalším krokem má být využití systému Twist k vytvoření kvantových programovacích jazyků vyšší úrovně. Většina dnešních kvantových programovacích jazyků stále připomíná assembler. Základem jsou nízkoúrovňové operace, nepracuje se s abstraktnějšími entitami, jako jsou datové typy nebo funkce.

Charles Yuan, Christopher McNally, Michael Carbin, Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs. https://popl22.sigplan.org/details/POPL-2022-popl-research-papers/30/Twist-Sound-Reasoning-for-Purity-and-Entanglement-in-Quantum-Programs
Zdroj: Massachusetts Institute of Technology / TechXplore.com

Rubriky: ScienceVývoj a HTML

Související příspěvky

Zákony informatiky: Když Brooksův zákon neplatí
Články

Pure dále zpřístupňuje podnikům Kubernetes

18. 5. 2022
Články

Kubernetes: obliba roste, problém zůstává bezpečnost a know-how

17. 5. 2022
Technologické predikce, aneb sedm statečných roku 2021
Články

Objev jednosměrné supravodivosti bez magnetického pole slibuje revoluci

4. 5. 2022
Články

HPE Machine Learning Development System zrychluje nasazení umělé inteligence

3. 5. 2022

Zprávičky

Ruská pobočka Googlu vyhlásí bankrot

ČTK
18. 5. 2022

Ruská součást americké internetové společnosti Google vyhlásí bankrot. Oznámil to dnes mluvčí firmy. Korigoval

Acronis: přes rostoucí útoky jen čtvrtina IT správců testuje obnovu dat alespoň jednou měsíčně

Pavel Houser
18. 5. 2022

I když více než 90 % administrátorů zálohuje u svých zákazníků minimálně jednou denně,

Vodafone zvýšil celoroční základní zisk o 5 % na 15,2 miliardy eur

Pavel Houser
18. 5. 2022

Britská telekomunikační skupina Vodafone Group zvýšila v uplynulém finančním roce základní zisk o pět

ŘSD čelí kyberútoku, nedostupný je web, zabývá se tím i kybernetický úřad (aktualizováno)

ČTK
17. 5. 2022

Ředitelství silnic a dálnic (ŘSD) ČR se dnes ráno stalo terčem kybernetického útoku, nyní

Ransomwarový útok stojí české oběti 8,25 milionu korun

Ruský kriminální gang Conti chce pomocí ransomwaru svrhnout vládu v Kostarice

ČTK
17. 5. 2022

Ruská kriminální skupina Conti, která se specializuje na vydírání po internetu, chce svrhnout vládu

Zisk Deutsche Telekom díky prodeji části majetku stoupl čtyřnásobně

ČTK
17. 5. 2022

Německé telekomunikační společnosti Deutsche Telekom vzrostl v prvním čtvrtletí letošního roku čistý zisk více

Kryptoměny a jejich ekonomika

Evropská kryptokrálovna Ignatovová je na seznamu nejhledanějších osob v Evropě

ČTK
17. 5. 2022

Zakladatelka kryptoměny OneCoin Ruža Ignatovová, někdy označovaná za kryptokrálovnu, byla za svoji úlohu v

Firma e& ze Spojených arabských emirátů koupila desetinu britského Vodafonu

ČTK
16. 5. 2022

Telekomunikační společnost e& ze Spojených arabských emirátů koupila téměř desetiprocentní podíl v britském operátorovi

Tiskové zprávy

Acer rozšiřuje stereoskopické 3D monitory o modely SpatialLabs View

Společnost Acer rozšiřuje své portfolio ekologicky šetrných produktů Vero

Ransomware: platí více organizací a výkupné je vyšší, platit však není vždy nutné

Prediktivní sítě Cisco: místo řešení problémů jim umí předcházet

VeeamON 2022 představuje vizi budoucnosti moderní ochrany dat

Česká republika zabezpečuje svět

Zpráva dne

Prodej softwaru v květnu: doživotní licence Windows 10 za € 11, Office za € 23 a až 91% slevy!

Prodej softwaru v květnu: doživotní licence Windows 10 za € 11, Office za € 23 a až 91% slevy!

Redakce
15. 5. 2022

Zdaleka ne každý má stovky dolarů, které by chtěl utratit za softwarové upgrady svého...

Odebírat newsletter

Zásady ochrany osobních údajů.

Zkontrolujte svoji doručenou poštu a potvrďte odběr.

Komentujeme

Chvála černých skřínek

Datová hydrologie?

Pavel Houser
11. 4. 2022

Po datových skladech přišla datová jezera, následují datové proudy a datové oceány. Tyto technologie alespoň představuje...

Nadcházející akce

  1. Cloud computing v praxi 2022

    19. května
  2. Hannover Messe 2022

    30. května - 2. června

Zobrazit všechny Akce

Slovník

Baud [Bd]

Athlon

Fibonacci retracement

Nejpopulárnější články

Hrátky s magnetickými víry

Excitony mohou proudit materiálem i při pokojové teplotě

Pavel Houser
2. 5. 2022

Ransomwarový útok stojí české oběti 8,25 milionu korun

Ransomware zasáhl 77 % českých organizací

Redakce
29. 4. 2022

Náhlavní soupravy Yealink – ideální volba pro kancelář i home office

Náhlavní soupravy Yealink – ideální volba pro kancelář i home office

itbiz
25. 4. 2022

Válka ukrojí z evropského trhu ICT skoro 2 %

Redakce
27. 4. 2022

Technologické predikce, aneb sedm statečných roku 2021

Objev jednosměrné supravodivosti bez magnetického pole slibuje revoluci

Pavel Houser
4. 5. 2022

Kategorie

  • Články
  • Komentujeme
  • Slovník
  • Tiskové zprávy
  • Zprávičky

Portál ITbiz.cz přináší informace z IT a byznysu již od roku 2006. Provozuje jej internetové vydavatelství Nitemedia. Hosting zajišťuje společnost Greenhousing.cz. Mezi další naše projekty patří například ABClinuxu.cz a Sciencemag.cz. Na stránce Redakce naleznete informace o redakci a možnostech inzerce.

Rubriky

Akce a události byz Byznys Cloud Ekomerce Hardware inter Internet Operační systémy Podnikový software Právo Rozhovory Science Security Technologie Telekomunikace Veřejná správa Vývoj a HTML Zpráva dne České IT

Píšeme jinde

RSS ScienceMag RSS

  • Genový editor CRISPR přizpůsobili i pro hmyz, začali se šváby
  • Navrhli výrobu nanodiamantů i jinak než výbuchem
  • Hledání Dysonových sfér u bílých trpaslíků

RSS AbcLinuxu RSS

  • Uncurled: zkušenosti s dlouhodobou správou open-source projektu (curl)
  • Erlang/OTP 25.0
  • Deno 1.22

Newsletter

Zásady ochrany osobních údajů.

Zkontrolujte svoji doručenou poštu a potvrďte odběr.

Žádné výsledky
Zobrazit všechny výsledky
  • Technologie
  • Byznys
  • Software
  • Hardware
  • Internet
  • Telco
  • Science
  • České IT
  • Události

© 2019 Vydává Nitemedia s.r.o. Hosting zajišťuje Greenhousing.cz.

Tento web používá cookies. Pokračováním dáváte souhlas s jejich používáním. Více na itbiz.cz/soukromi.