The OpenNET Project / Index page

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



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

Оглавление

IBM открыл CodeNet для систем машинного обучения, транслирующих и проверяющих код, opennews (ok), 11-Май-21, (0) [смотреть все]

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


50. "IBM открыл CodeNet для систем машинного обучения, транслирую..."  +1 +/
Сообщение от Анонас (?), 12-Май-21, 15:17 
Тут есть один нюанс. Языки программирования строго формализированы, в отличии от английского с русским. И по идее перевод с Кобола на Джаву должен быть таким же строгим, как преобразование формулы в математике.
Ответить | Правка | К родителю #31 | Наверх | Cообщить модератору

54. "IBM открыл CodeNet для систем машинного обучения, транслирую..."  –1 +/
Сообщение от n00by (ok), 12-Май-21, 17:19 
> Тут есть один нюанс:

"При преобразовании из одного языка программирования в другой контекст не менее важен, чем при переводе из одного человеческого языка на другой. Именно отсутствие учёта контекста мешает преобразованию кода с устаревших языков, таких как COBOL."

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

57. "IBM открыл CodeNet для систем машинного обучения, транслирую..."  +/
Сообщение от Анонас (?), 12-Май-21, 17:43 
>> Тут есть один нюанс:
> "При преобразовании из одного языка программирования в другой контекст не менее важен,
> чем при переводе из одного человеческого языка на другой. Именно отсутствие
> учёта контекста мешает преобразованию кода с устаревших языков, таких как COBOL."

Отсутствие контекста мешает вывести алгоритм перевода. Но если такой алгоритм найти, то для каждой пары языков он будет давать точное семантическое соответствие 1-в-1. Собственно, любой компилятор (или транспайлер) уже это делает.

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

79. "IBM открыл CodeNet для систем машинного обучения, транслирую..."  +/
Сообщение от n00by (ok), 13-Май-21, 07:28 
>>> Тут есть один нюанс:
>> "При преобразовании из одного языка программирования в другой контекст не менее важен,
>> чем при переводе из одного человеческого языка на другой. Именно отсутствие
>> учёта контекста мешает преобразованию кода с устаревших языков, таких как COBOL."
> Отсутствие контекста мешает вывести алгоритм перевода. Но если такой алгоритм найти, то
> для каждой пары языков он будет давать точное семантическое соответствие 1-в-1.
> Собственно, любой компилятор (или транспайлер) уже это делает.

Вот только вывод после транспайлера нечитаем человеком.

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

90. "IBM открыл CodeNet для систем машинного обучения, транслирую..."  +/
Сообщение от Анонус (?), 14-Май-21, 15:33 
> Вот только вывод после транспайлера нечитаем человеком.

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

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

91. "IBM открыл CodeNet для систем машинного обучения, транслирую..."  +/
Сообщение от n00by (ok), 15-Май-21, 09:03 
>> Вот только вывод после транспайлера нечитаем человеком.
> А при чем тут это? Тезис был в точной эквивалентности программ, а
> не в том разберет ли очередная мартышка код.

То есть тезис к решаемой проблеме (некому поддерживать Кобол, зато есть программисты на Джава) не имеет отношения.

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

73. "IBM открыл CodeNet для систем машинного обучения, транслирую..."  +/
Сообщение от Аноним (72), 12-Май-21, 21:29 
Ухита. Все ЯП в конечном итоге приводятся к машинным кодам.
Ответить | Правка | К родителю #54 | Наверх | Cообщить модератору

78. "IBM открыл CodeNet для систем машинного обучения, транслирую..."  –1 +/
Сообщение от n00by (ok), 13-Май-21, 07:21 
> Все ЯП в конечном итоге приводятся к машинным кодам.

Возвращайтесь, когда наберётесь опыта в переводе машкода в понятную Сишечку. Ну или хотя бы гляньте выхлоп Glasgow Haskell Compiler или MLton.

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

84. "IBM открыл CodeNet для систем машинного обучения, транслирую..."  +/
Сообщение от Урри (ok), 13-Май-21, 09:56 
Компиляторы умеют в контекст? Ого.
Может они еще в войну и мир умеют?
Ответить | Правка | К родителю #54 | Наверх | Cообщить модератору

86. "IBM открыл CodeNet для систем машинного обучения, транслирую..."  +/
Сообщение от n00by (ok), 13-Май-21, 10:23 
Так о том и речь, что не умеют, потому транспиляция из одного ЯВУ (COBOL) в другой (Java) не получается. Новость о том, что хотят обучить сетку на массе готовых фрагментов и посмотреть, что же из этого получится. Но кто-то увидел в ней доказательство "теоремы" Чёрча-Тьюринга.
Ответить | Правка | Наверх | Cообщить модератору

60. "IBM открыл CodeNet для систем машинного обучения, транслирую..."  –2 +/
Сообщение от лютый жабби__ (?), 12-Май-21, 18:39 
>Языки программирования строго формализированы

Ты явно не программизд... у меня отдельчик, все жабисты.... один упарывается по SOLID - фабрики-интерфейсов-енумов-интерфейсов, другой по функциональщине - всё на стримах, третий на "куяк-куяк и в прод", я по KISS.... разница настолько колоссальная, я бы сказал что в стихах Есенина, Маяковского и Успенского разницы меньше ) теперь расскажи что там по твоему формализовано )

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

68. "IBM открыл CodeNet для систем машинного обучения, транслирую..."  +2 +/
Сообщение от Анонас (?), 12-Май-21, 19:59 
>>Языки программирования строго формализированы
> Ты явно не программизд...

А ты походу программист от сохи и математика для тебя кончилась на квадратном трехчлене? Поинтересуйся, что такое:
https://ru.wikipedia.org/wiki/Формальный_язык
https://ru.wikipedia.org/wiki/Формальная_грамматика
https://ru.wikipedia.org/wiki/Формальная_семантика


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

70. "IBM открыл CodeNet для систем машинного обучения, транслирую..."  –3 +/
Сообщение от лютый жабби__ (?), 12-Май-21, 20:12 
>А ты походу программист от сохи и математика для тебя кончилась на квадратном трехчлене

Какая связь у современного программирования и математики? НИКАКОЙ ) Я помню в универе вумных дедушек, прогающих на паскале прожки на пару страничек. Ты видимо из них...

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

74. "IBM открыл CodeNet для систем машинного обучения, транслирую..."  +2 +/
Сообщение от Аноним (72), 12-Май-21, 21:31 
Прямая. Она под капотом.
Но кнопкодавы как тот 3.14дор из анекдота "ага, а потом и мопедик починим".
Ответить | Правка | Наверх | Cообщить модератору

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

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




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

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