The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Система машинного обучения для синтеза типового кода на язык..., opennews (??), 27-Апр-18, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


16. "Система машинного обучения для синтеза типового кода на язык..."  –1 +/
Сообщение от yyyy (?), 27-Апр-18, 11:29 
Раньше такую кодогенерацию описывали правилами, и это было сложно, дорого и невоспроизводимо (каждый пишет эти правила заново), а теперь - примерами для обучения, и их можно переиспользовать. Саму нейросеть (эту или другую, обученную на тех же примерах) можно использовать в качестве блока в более сложной сети, позволяющей комбинировать блоки типового кода во всё более высокоуровневые конструкции.

Это как с машинным переводом, который существует больше полвека уже, но большую часть времени системы перевода были просто наборами правил, которые срабатывали только в очень простых случаях. Потом туда пришло машинное обучение, сначала в виде простых языковых моделей, потом - нейронных сетей, и каждый раз это был скачок в качестве. Сейчас качество перевода по многим языковым парам не отличается от уровня средненького переводчика, а интеграция перевода с распознаванием и синтезом голоса сделали возможным автоматический синхронный перевод.

То же самое относительно скоро (в ближайшие лет 10, я думаю) случится и с кодингом, не требующим сильно глубоких знаний. В большой степени он станет автоматическим переводом из ТЗ в код, достаточно пристойный и поддерживаемый.

Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

19. "Система машинного обучения для синтеза типового кода на язык..."  +/
Сообщение от yyyy (?), 27-Апр-18, 11:33 
> То же самое относительно скоро (в ближайшие лет 10, я думаю) случится и с кодингом, не требующим сильно глубоких знаний. В большой степени он станет автоматическим переводом из ТЗ в код, достаточно пристойный и поддерживаемый.

Качество пока не очень, но это пока. Лет 10 назад над статистическим переводом посмеивались ребята, пилившие перевод при помощи правил, а над нейронными сетями - ребята, занимавшиеся языковыми моделями.

Ответить | Правка | Наверх | Cообщить модератору

20. "Система машинного обучения для синтеза типового кода на язык..."  +1 +/
Сообщение от Аноним (-), 27-Апр-18, 11:35 
Главное, чтобы наборы для обучения машинного кодинга были не от АНБ, ФСБ и прочих "добрых" контор.
Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

58. "Система машинного обучения для синтеза типового кода на язык..."  +/
Сообщение от Аноним (-), 27-Апр-18, 20:03 
Да какая разница? Ключи всё равно потребуют сдать. Хотя бы от квартиры, где деньги лежат, если нет шифровальных....
Ответить | Правка | Наверх | Cообщить модератору

75. "Система машинного обучения для синтеза типового кода на язык..."  +/
Сообщение от Анонимный Алкоголик (??), 28-Апр-18, 05:30 
> автоматическим переводом из ТЗ в код, достаточно пристойный и
> поддерживаемый.

Компилятор однако. С некоего ТЗ. >:-)
(только с крайне вероятностно работающим результатом, если будет делаться гм... конкретно вами. Личности такие...)

Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

96. "Система машинного обучения для синтеза типового кода на язык..."  +1 +/
Сообщение от Vkni (ok), 28-Апр-18, 17:45 
> То же самое относительно скоро (в ближайшие лет 10, я думаю) случится
> и с кодингом, не требующим сильно глубоких знаний. В большой степени
> он станет автоматическим переводом из ТЗ в код, достаточно пристойный и
> поддерживаемый.

Ох. Профессия программиста автоматизируется с зарождения. И основное средство автоматизации называется "компилятор".

Да, этим самым метаязыком, заменяющим "кодинг на С, не требующий сильно глубоких знаний" сейчас, как правило, служит Питон.

Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

108. "Система машинного обучения для синтеза типового кода на язык..."  +/
Сообщение от freehckemail (ok), 30-Апр-18, 02:24 
Ты не понимаешь, о чём говоришь. Для языков используются нейронки потому, что у живых языков правила не столь строгие. При это результат получается менее-более приемлемый для того, чтобы его мог понять человек, но уж точно далеко не идеальный.

Что касается программирования, то строгий формализм -- это явно не удел нейронок. Нейронка тут собственно почти не причём. Сам AST формируется разработчиком и подаётся ей на вход, а уж она просто пытается угадать, какие шаблоны кода подходят к тому или иному случаю.

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

А впрочем, даже если в 99% случаев она будет права, Вы представляете себе ту боль, которой обернётся дебаг оставшегося одного процента её жизнедеятельности?

И это притом, что на вход ей всё равно нужно писать программу. На некоем языке шаблонов, но всё же программу. Не лучше ли просто взять более высокоуровневый язык, вот в чём вопрос?

Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

109. "Система машинного обучения для синтеза типового кода на язык..."  +/
Сообщение от Vkni (ok), 30-Апр-18, 02:28 
> Не лучше ли просто взять более высокоуровневый язык, вот в чём вопрос?

И менее многословный, чем Java. Например, Haskell. :-)

Ответить | Правка | Наверх | Cообщить модератору

111. "Система машинного обучения для синтеза типового кода на язык..."  +/
Сообщение от freehckemail (ok), 30-Апр-18, 02:39 
>> Не лучше ли просто взять более высокоуровневый язык, вот в чём вопрос?
> И менее многословный, чем Java. Например, Haskell. :-)

Да, пожалуй, это одна из причин, по которым OCaml я люблю больше, чем Haskell. :)

Ответить | Правка | Наверх | Cообщить модератору

115. "Система машинного обучения для синтеза типового кода на язык..."  +/
Сообщение от yyyy (?), 08-Май-18, 18:11 
Собственно, строгий формализм - это не удел и человека тоже.

Есть огромное количество однотипных бизнес-задач, где абсолютная корректность не нужна, а нужно, чтобы было написано быстро и дёшево и работало в этих 99% случаев, а убытки от оставшегося 1% с лихвой компенсирует экономия на разработке.

Эти задачи сейчас обслуживает армия низкоквалифицированных кодеров, которые уже, по сути, являются такими нейронками: им на вход приходит подробное ТЗ, а они выдают нечто, что работает как-то похоже на то, что просили.

А что касается эксперимента, то он пока что выглядит игрушечным, я с этим и не спорю.

Ответить | Правка | К родителю #108 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру