Movatterモバイル変換


[0]ホーム

URL:


Перейти до вмісту
Вікіпедія
Пошук

Q Sharp

Матеріал з Вікіпедії — вільної енциклопедії.
Правильна назва цієї сторінки —Q#, але її не можна використовувати черезтехнічні обмеження.
Q#
Парадигмафункційне програмування і імперативне програмування Редагувати інформацію у Вікіданих
Дата появи11 грудня2017[1] Редагувати інформацію у Вікіданих
ТворціMicrosoft Research Редагувати інформацію у Вікіданих
РозробникMicrosoft
Останній реліз99045 (11 листопада2019)[2]
Система типізаціїстатична і строга типізація Редагувати інформацію у Вікіданих
Під впливом відC#
ПлатформаCommon Language Infrastructured Редагувати інформацію у Вікіданих
ЛіцензіяMIT[3] Редагувати інформацію у Вікіданих
Звичайні розширення файлів.qs
Репозиторій вихідного кодуgithub.com/Microsoft/Quantum Редагувати інформацію у Вікіданих
Вебсайтdocs.microsoft.com/en-us/quantum/quantum-qr-intro Редагувати інформацію у Вікіданих

Q# (читається як Q sharp) — цепредметно-орієнтована мова програмування, яка застосовується для запису квантових алгоритмів.[4] Вона уперше оприлюднена компанієюMicrosoft як частина Набору інструментів для квантової розробки (Quantum Development Kit).[5]

Історія

[ред. |ред. код]

Під час конференції Ignite, яка відбулася 26 вересня 2017 року, Microsoft оголосила, що вона планує випустити нову мову програмування, спеціалізовану для використання у квантових компʼютерах.[6] 11 грудня 2017 року Microsoft випустила Q# у складі Quantum Development Kit.

Використання

[ред. |ред. код]

Q# є доступним лише у вигляді окремо звантажуваного розширення до Visual Studio.[7] Набір Quantum Development Kit постачається у наборі з квантовим симулятором, який здатен виконувати програми, написані на Q#. Для активізації ж квантового симулятора треба використовувати «оболонкову» програму на будь-якій іншіймові програмування сімейства .NET .

Можливості

[ред. |ред. код]

Основною можливістю Q# є здатність створюватикубіти і використовувати їх в алгоритмах. Як наслідок, однією з найцікавіших можливостей мови Q# є здатністьсплутувати та створюватисуперпозицію кубітів за допомогоювентилів контрольованого заперечення та вентилів Адамара, відповідно.

У мові Q# кубіти виконані у вигляді  топологічних кубітів.

Квантовий симулятор, який постачається у Quantum Development Kit, здатний створювати до 32 кубітів на локальній машині або 40 кубітів наAzure.

Синтаксис

[ред. |ред. код]

Q# синтаксично схожий наC#, щоправда має деякі суттєві відмінності.

Спільні риси

[ред. |ред. код]
  • Використовуєnamespace для ізоляції коду
  • Усі інструкції закінчуються символом;
  • Фігурні дужки використовуються для межі видимості інструкцій
  • Однорядкові коментарі робляться за допомогою//
  • Типи даних, такі якintdoublestring таbool.

Розбіжності

[ред. |ред. код]
  • Змінні декларуються за допомогоюlet абоmutable
  • Функції декларуються за допомогою operation абоfunction
  • Відсутні багаторядкові коментарі

Посилання

[ред. |ред. код]
  1. The future is quantum: Microsoft releases free preview of Quantum Development Kit — 2017.
  2. Release 99045 — 2019.
  3. https://api.github.com/repos/Microsoft/Quantum
  4. QuantumWriter.Intent and product brand in a unique string of 43-59 chars including spaces.docs.microsoft.com(амер.). Архіворигіналу за 2 липня 2018. Процитовано 11 грудня 2017.
  5. Announcing the Microsoft Quantum Development Kit(амер.). Архіворигіналу за 11 грудня 2017. Процитовано 11 грудня 2017.
  6. Microsoft announces quantum computing programming language(амер.). Архіворигіналу за 14 грудня 2017. Процитовано 14 грудня 2017.
  7. QuantumWriter.Setting up the Q# development environment.docs.microsoft.com(амер.). Архіворигіналу за 14 грудня 2017. Процитовано 14 грудня 2017.
Мова програмуванняЦе незавершена стаття промови програмування.
Ви можетедопомогти проєкту,виправивши або дописавши її.
Рівень
Низькорівневі
Високорівневі
Загального
призначення
Серверні
Запитів до баз
даних[суперечливо 1]
Розмітки тавекторної
графіки
[суперечливо 1]
Синхронні
Символьних та
чисельних обчислень
Квантових обчислень
Логічні
Академічні
Езотеричні
  1. абНемає загальноприйнятого рішення, чи вважати усі ці мови саме мовами програмування
Основи
Передача інформації
Квантові алгоритми
Складність квантових обчислень
Моделі квантових обчислень
Проблемадекогеренції
Програмування
Фізичні реалізації
Квантова оптика
Надхолодні атоми
Спіновий квантовий комп'ютер
Надпровідний квантовий комп'ютер[en]
Відомі науковці
Отримано зhttps://uk.wikipedia.org/w/index.php?title=Q_Sharp&oldid=44270544
Категорії:
Приховані категорії:

[8]ページ先頭

©2009-2025 Movatter.jp