Сaementarius Civitas Solis Aeterna (quangel) wrote,
Сaementarius Civitas Solis Aeterna
quangel

Categories:

Quipper - первый язык программирования высокого уровня для квантовых компьютеров

Оригинал взят у bsivko в Quipper - первый язык программирования высокого уровня для квантовых компьютеров

Честь создания первого квантового языка программирования высокого уровня Quipper принадлежит Петеру Зелингеру (Peter Selinger) и его команде из университета Дэлхоузи в Галифаксе, Канада. Язык Quipper разработан для того, чтобы программисты имели возможность выразить общие понятия, действия и концепции, не вникая в низкоуровневые инструкции и операции. Это позволит без особых затруднений создавать библиотеки квантовых программ, объединять различные алгоритмы в единое целое модульным способом. Самым ближайшим аналогом языка Quipper, работающим на обычных компьютерах, является язык программирования Java, который берет на себя выполнение всех низкоуровневых операций.





Основой языка Quipper является классический язык программирования Haskell, который как нельзя лучше подходит для создания алгоритмов математических моделей и расчетов из области прикладной и теоретической физики. Те изменения, которым команда Зелингер подвергла оригинальный язык программирования, должны оптимизировать набор получаемых конечных низкоуровневых инструкций для обработки их квантовыми битами.
Разработчики языка Quipper создали библиотеку кода, которая реализует семь существующих квантовых алгоритмов, включая алгоритм расчета энергии стандартного состояния молекул. Они надеются на то, что другие программисты и коллективы программистов в будущем добавят в библиотеку свои собственные алгоритмы, создавая все вместе ресурс, позволяющий создавать программы для квантовых компьютеров столь же легко, как и обычные программисты создают программы на Яве.
Команда Зелингера предоставила всеобщему вниманию структуру языка Quipper вместе с разработанными библиотеками на Конференции по разработке и реализации языков программирования (the Programming Language Design and Implementation conference), которая проходила в Сиэтле в прошлом месяце. Создание языка Quipper производилось в рамках программы, финансируемой IARPA (US Intelligence Advanced Research Projects Agency), Управления перспективных исследований разведки США, специалисты которого поставили перед собой цель определить минимальное количество кубитов, которыми должен обладать квантовый компьютер для эффективного решения определенного круга задач.
К сожалению, разработанный язык программирования Quipper не может использоваться для написания программ к единственному виду квантовых компьютеров, существующих в настоящее время, компьютеров компании D-Wave, которые используют метод, называемый адиабатными квантовыми вычислениями, делающий его несовместимым с квантовыми вычислительными системами в их традиционном понимании.

http://www.dailytechinfo.org/infotech/4972-quipper-pervyy-yazyk-programmirovaniya-vysokogo-urovnya-dlya-kvantovyh-kompyuterov.html





Tags: Технологическая сингулярность
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments