Доброе утро, Леонид!
Прошу прощения, а что это за тема 5.1?
Александр Коновалов
From: Eisymont Leonid verger-lk_AT_yandex.ru [mailto:refal@botik.ru]
Sent: Wednesday, February 20, 2019 11:44 PM
To: refal@botik.ru
Subject: Re: Потенциальная востребованность
Андрей, вот и тема 5.1 созревает...
20.02.2019, 21:36, "Andrei Klimov andrei_AT_klimov.net" <refal@botik.ru>:
On Wed, Feb 20, 2019 at 8:46 PM Александр Коновалов a.v.konovalov87_AT_mail.ru <refal@botik.ru> wrote:
Добрый вечер, Леонид!
«В семидесятых-восьмидесятых были даже Лисп-машины и Пролог-процессоры, позиционировались для решения задач ИИ, особенно это Лиспа касалось.»
Вы забыли упомянуть сопроцессор Рефала:
Кстати, прекрасная тема для магистерской дипломной работы для пары-тройки студентов, которые могут работать вместе:
- Реализация рефал-процессора на FPGA.
Один, пожалуй, не потянет, а такая команда – вполне. Чтобы у каждого была своя дипломная работа, думаю, вполне можно разбить на зоны ответственности, выделив не сильно связанные части. Разработку системы команд проведут вместе и с научным руководителем, делать могут с пересечением, а описать – каждый свою часть. Например, хорошо отделяемая часть – компилятор в выбранную систему команд.
Чтобы уложиться в сроки дипломной работы надо максимально упростить: делать как можно проще и компактнее, жертвуя эффективностью. Для такой работы демонстрация реализуемости в разумные сроки важнее эффективности.
Не думаю, что стоит брать язык сборки, разработанный Сергеем Романенко для Рефала-2, как в упомянутой работе по сопроцессору.
Может, лучше бы подошел соответствующий промежуточный язык – набор элементарных операций из реализации Рефала Плюс, но он, кажется, нигде не описан.
Думаю, взглянув свежим взглядом, да еще с позиции современных технологий, можно сделать проще.
Может, стоит взять за основу язык типа RL, который появился в руках Сергея, когда он делал самопримение специализатора (ссылка взята со страницы публикаций Сергей):
Андрей
Re: Потенциальная востребованность
Eisymont Leonid verger-lk_AT_yandex . ru Wed, 20 Feb 2019 21:14:56 -0800
Это я с коллега
21.02.2019, 08:10, "Александр Коновалов a.v.konovalov87_AT_mail.ru" <refal@botik.ru>:
- RE:... Александр Коновалов a . v . konovalov87_AT_mail . ru
- ... Александр Гусев gusev_aleksandr_AT_mail . ru
- ... Александр Коновалов a . v . konovalov87_AT_mail . ru
- ... Eisymont Leonid verger-lk_AT_yandex . ru
- ... Александр Гусев gusev_aleksandr_AT_mail . ru
- ... Sergei M. Abramov
- ... Александр Коновалов a . v . konovalov87_AT_mail . ru
- ... Andrei Klimov andrei_AT_klimov . net
- ... Eisymont Leonid verger-lk_AT_yandex . ru
- ... Александр Коновалов a . v . konovalov87_AT_mail . ru
- ... Eisymont Leonid verger-lk_AT_yandex . ru
- ... Eisymont Leonid verger-lk_AT_yandex . ru
- ... Александр Коновалов a . v . konovalov87_AT_mail . ru
- ... Eisymont Leonid verger-lk_AT_yandex . ru
- ... Александр Коновалов a . v . konovalov87_AT_mail . ru
- ... Eisymont Leonid verger-lk_AT_yandex . ru
- ... Александр Коновалов a . v . konovalov87_AT_mail . ru
- ... Sergei M. Abramov
- ... Anton Orlov orlovan_AT_gmail . com
- ... Александр Коновалов a . v . konovalov87_AT_mail . ru
- ... Александр Коновалов a . v . konovalov87_AT_mail . ru