Форум программистов, компьютерный форум, киберфорум
Наши страницы
Другие языки программирования
Войти
Регистрация
Восстановить пароль
 
 
art-evgeniy
6 / 6 / 9
Регистрация: 20.11.2016
Сообщений: 120
#1

Quipper - Программирование

09.06.2017, 20:32. Просмотров 1165. Ответов 21
Метки нет (Все метки)

Интерес к языку Хаскел возник вследствии того, что он является базовым языком для более нового Quipper.

Перечитав множество книг, что посоветуете дальше?
Задачи для тренировки>>>>>
3
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Catstail
Модератор
23528 / 11636 / 2034
Регистрация: 12.02.2012
Сообщений: 18,976
09.06.2017, 22:05 #2
Цитата Сообщение от art-evgeniy Посмотреть сообщение
что посоветуете дальше?
- попробовать что-либо написать самому.
1
KolodeznyDiver
2492 / 1636 / 203
Регистрация: 01.06.2013
Сообщений: 3,330
Записей в блоге: 7
09.06.2017, 23:19 #3
Это же набор пакетов (библиотек) на Haskell, так что Haskell потребуется знать, включая использование монад.

p.s. Quipper не знаю, сейчас только посмотрел "по диагонали". Про квантовые компьютеры один преподаватель говорил с энтузиазмом, что за ними будущее, ещё когда я студентом был. Давно это было.
2
art-evgeniy
6 / 6 / 9
Регистрация: 20.11.2016
Сообщений: 120
09.06.2017, 23:42  [ТС] #4
да! спб

Именно об этом речь! не так уж и много реализаций языков такого уровная. = QCl, QML, И QUIPPER

Логически предположить начинать изучать с языка Haskel
Но в универе его не преподавали, поэтому и спрашивается:
что привело вас к Хаскелу?

И как легко и быстро перейти от Хаскела к Квиперу! ***********************************************
По каким книгам двигаться, и упражнения.

Заранее, спасибо!

Добавлено через 1 минуту
и так же Возможно есть другие пути реализации для Q- программирования.
0
KolodeznyDiver
2492 / 1636 / 203
Регистрация: 01.06.2013
Сообщений: 3,330
Записей в блоге: 7
10.06.2017, 00:40 #5
Цитата Сообщение от art-evgeniy Посмотреть сообщение
Логически предположить начинать изучать с языка Haskel
Haskell, с двумя ll.
Цитата Сообщение от art-evgeniy Посмотреть сообщение
что привело вас к Хаскелу?
Любопытство.
Цитата Сообщение от art-evgeniy Посмотреть сообщение
как легко и быстро перейти от Хаскела к Квиперу!
Врят ли вам кто то на такой вопрос здесь ответит. Собственно, Haskell не имеет отношения к квантовым компьютерам. Ну, кроме того что на нём написаны вышеупомянутые пакеты.
0
art-evgeniy
6 / 6 / 9
Регистрация: 20.11.2016
Сообщений: 120
03.07.2017, 16:44  [ТС] #6
Тема Quipper актуальна!

Интерес к языку Haskell вследствии этого только увеличивается! А информации о Quipper на форуме НЕТ. Поэтому - любые отклики - Огромный ПЛЮС
0
Nadym
204 / 216 / 76
Регистрация: 24.05.2017
Сообщений: 778
04.07.2017, 08:06 #7
art-evgeniy, а может о Quipper и вообще об этом направлении что-нибудь знает Денис Шевченко?
0
XRuZzz
Антикодер
1367 / 643 / 36
Регистрация: 15.09.2012
Сообщений: 2,611
04.07.2017, 09:52 #8
Денис скорее практик, чем теоретик, об этом даже свидетельствует название его книги... У меня, например, нет никакой информации, что Денис этим занимался. А я немного знаком с его деятельностью за последнее время.

Я бы посоветовал спросить у Романа Душкина - вот кто настоящий академик, у него и книга есть "Квантовое программирование". Однако сейчас он ведёт любительский курс по Биоинформатике на ютубе. Может отошёл уже от темы по квантовому программированию.

Я просто стараюсь лишний раз не писать в этой ветке, потому что не хватает времени проанализировать информацию по Quipper. Возможно в ближайшее время составлю список ссылок...

Но если направление интересно, я советую ни на кого не надеяться, а самому искать полезную информацию, и потом рассказать о ней сообществу

У меня такое чувство, что при изучении квантового программирования нужно углубляться больше в математику, чем в программирование. Так как теоретических знаний всегда не хватает.

PS Мне бы Haskell сначала освоить на уровне широкого практического применения...
1
Nadym
204 / 216 / 76
Регистрация: 24.05.2017
Сообщений: 778
04.07.2017, 10:00 #9
Цитата Сообщение от XRuZzz Посмотреть сообщение
нужно углубляться больше в математику
Да и физику тоже не мешало бы хотя бы повторить)

Цитата Сообщение от XRuZzz Посмотреть сообщение
Но если направление интересно, я советую ни на кого не надеяться
Мне вот очень интересно, но в сети почти ничего нет даже на английском
0
XRuZzz
Антикодер
1367 / 643 / 36
Регистрация: 15.09.2012
Сообщений: 2,611
04.07.2017, 10:57 #10

Не по теме:


Я как всегда начинаю изучать тему сильно издалека :
Видеолекция Романа Душкина "ССТ. Обучение. Занятие 10. 2016 06 23. Самообучение"


на 19 минуте он там рассказывает, как он выучил теорию квантовых вычислений кстати. Поэтому это уже не оффтопик, а ценная информация.
2
XRuZzz
Антикодер
1367 / 643 / 36
Регистрация: 15.09.2012
Сообщений: 2,611
05.07.2017, 22:07 #11
Информации действительно мало, но она есть. Видимо, придётся и QCL параллельно рассматривать.
Вот например playlist Quantum Programming Tutorial
Судя по лайкам материал хороший.

У меня появились следующие вопросы к желающим изучить Quipper:
1) Достаточно ли хорошо вы владеете математикой, чтобы изучать квантовые вычисления? Я, например, в этом году до математики так и не добрался.
2) Достаточно ли хорошо вы владеете Haskell-ем, чтобы приступить к Quipper-у? Надеюсь, что при изучении достаточно, уметь оперировать монадами и другими более простыми классами типов.
3) Достаточно ли хорошо вы понимаете квантовую механику? Лично я мало что в ней пониманию.
4) Читали ли вы Грин А. С. и др. — "Введение в квантовое программирование на языке Quipper"
5) Дочитали ли вы книгу Романа Душкина "Квантовые вычисления и функциональное программирование" до 124 стр, где описано, как установить quipper?(В книге Роман ещё не использует stack, поэтому там не всё нужно делать по инструкции)
6) Что вы собираетесь делать на Quipper-e? Если не считать отсутствия квантового компьютера под рукой, в Haskell-e ещё до квантовых вычислений многих инструментов не хватает.

Судя по краткому ознакомлению с книгой "Квантовые вычисления и функциональное программирование"(буду называть её КВИФП) Роман Душкин провёл уже всю необходимую работу, для того, чтобы дать начальное представление о работе на языке Quipper, и показал куда копать дальше(В книге есть ссылки на курсы и другие книги). Книга ещё не устарела - 2014 год. Надеюсь, что подача материала в книге не окажется сложной.

Получается, чтобы Quipper дался легко, нужно овладеть хорошо Haskell-ем и некоторыми фундаментальными дисциплинами.

Поэтому есть подозрение, что рановато Quipper пока изучать(мне точно) больше чем в объёме книги КВИФП. Просто хотя бы отслеживать, что происходит в мире квантового программирования и то хорошо.
2
Nadym
204 / 216 / 76
Регистрация: 24.05.2017
Сообщений: 778
06.07.2017, 07:22 #12
Цитата Сообщение от XRuZzz Посмотреть сообщение
Что вы собираетесь делать на Quipper-e?
Здрасьте) Как это что? Разумеется, криптоключи взламывать)

По теме: а какой уровень математики нужен, я так и не могу понять?

Дело в том, что чисто теоретически я в кратчайшие сроки могу освоить любой уровень для этого направления и в легкой и доступной форме объяснить и подать материал для желающих
0
KolodeznyDiver
07.07.2017, 09:32
  #13

Не по теме:

Цитата Сообщение от XRuZzz Посмотреть сообщение
Достаточно ли хорошо вы понимаете квантовую механику?
Квантовый компьютер - прошлый век! 21-ый век, это суперструнный компьютер!

0
art-evgeniy
6 / 6 / 9
Регистрация: 20.11.2016
Сообщений: 120
17.07.2017, 09:58  [ТС] #14
тема языка Quipper разгорается!
0
Nadym
204 / 216 / 76
Регистрация: 24.05.2017
Сообщений: 778
17.07.2017, 11:11 #15
art-evgeniy, где именно она разгорается?
0
XRuZzz
Антикодер
1367 / 643 / 36
Регистрация: 15.09.2012
Сообщений: 2,611
25.07.2017, 16:35 #16
Вот, оказывается у afiskon-а тоже есть статьи на эту тему
Факторизация числа при помощи квантового алгоритма Гровера (гостевой пост Романа Душкина)
случайно наткнулся...
там много полезных ссылок
3
art-evgeniy
6 / 6 / 9
Регистрация: 20.11.2016
Сообщений: 120
21.10.2017, 22:30  [ТС] #17
тема Quipper актуальна Как никогда ( и это не шутка).

Приходится возвращаться к основам.
0
Case-Man
167 / 107 / 22
Регистрация: 02.01.2012
Сообщений: 596
22.10.2017, 00:10 #18
art-evgeniy, Вы тролль?
1
art-evgeniy
6 / 6 / 9
Регистрация: 20.11.2016
Сообщений: 120
05.12.2017, 19:01  [ТС] #19
Вот что Душкин отвечает по почте следующие вопросы.
__________________________________________________________________________________________________
Возвращаясь к книге.
Какие ещё существуют Фреймворки, в которых можно потрудиться в написании квантовых алгоритмов, и опробовать перо в написании кода?


ТАК ЖЕ. Знания каких разделов наук - существенно облегчат участь программиста в написании кода на квантовых языках, в частности - и изучения Квантовой парадигмы в целом, помимо квантовой механики?
_________________________________________________________________________________________________

Наконец-то, дошли руки ответить Вам.

0. Вопросы по курсу задавайте в рамках курса. Вы договорились с Андреем?

1. Кроме Quipper и QCL я не встречал никаких других фреймворков для работы с квантовыми компьютерами, однако я уверен, что они есть. Надо делать исследование.

2. По моему опыту — квантовые вычисления подразумевают понимание основ квантовой механики на уровне нотации Дирака.


С уважением
Душкин Р. В.

22 октября 2017 г., 10:19

Добавлено через 1 минуту
вытащите пж тему в отдельную ветку.
Год подходит к концу, а тема Квантового программирования - ещё более актуальна.
вконтакте есть небольшая группа, добавляйтесь.
0
Catstail
Модератор
23528 / 11636 / 2034
Регистрация: 12.02.2012
Сообщений: 18,976
05.12.2017, 19:06 #20
Цитата Сообщение от art-evgeniy Посмотреть сообщение
в отдельную ветку
- в общий раздел?
0
05.12.2017, 19:06
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru