Спасибо вам, дорогие вы мои, что держите меня вместе с вами! Все ваши сообщения читаю и прочитываю. Конечно, я науки не понимаю, но радость получить теплый привет и ощущение, что я в большой дружной и любящей семье, делает мою жизнь значительно более интересной и полноценной. И, особенно дорого, что вы помните ВФ и продолжаете развивать его идеи, и сами создаете новые направления в науке, - если бы он жил, как бы он радовался вашим достижениям! И как маленькая группа Рефал мальчиков (и девочки) превратилась в большое братство талантливых ученых и соратников - вот что замечательно! Особенно в это время, когда наука в нашей стране (и моей родине!) находится на задворках. Всем вам шлю свой горячий привет и любовь. Успехов вам, мои дорогие! Ничто не кончается! Татьяна Турчина PS. Сегодня проводила В.Нозика и вот пишу вам. Как прошел ваш сегодняшний семинар? Обнимаю, ТИ
2018-04-19 3:07 GMT-04:00 Shilov Nikolay <shilov...@mail.ru>: > Андрей Валентинович, коллеги, > > Сожалею, что не смогу принять участие в семинаре памяти Валентина > Федоровича Турчина. Но сегодня еще и День Рождения Андрея Петровича > Ерошова. Так как В.Ф. Турчин - выпускник МГУ, то уместно вспомнить > стихотворение Андрей Петровича > Баллада о выпускнике МГУ > > «Ты здесь родился», — сыну мать сказала, > Ведя его больничным городком. > Догадкою улыбка просияла: > «Так, значит, этой мой родимый дом!» > > Спустя года, он к матери вернулся, > Обласканный родительским теплом, > Он утром, неразбуженный проснулся: > «Край детства, милый мой, родимый дом». > > В Москву приехав, смотрит в изумленьи — > Обрезан угол здания мостом... > Во двор Стромынки он глядит с волненьем: > «Здесь юности моей родимый дом». > > В борьбе идей столкнувшись с пораженьем, > Душевных сил почувствовав надлом, > В поддержке близких ищет он спасенья: > «Родные, с вами мой родимый дом!». > > Пришел пятидесятый день рожденья, > Он видит однокурсников кругом > И произносит в радостном смятеньи: > «Друзьями полон мой родимый дом!». > > Домой летит, обремененный славой. > Под ним земля — на сотни верст кругом. > Он гордостью охвачен небывалой: > «Страна моя — ты мой родимый дом!». > > На склоне лет он в институт приходит, > Здесь каждый человек ему знаком, > И чувство одиночества проходит: > «Работа — это мой родимый дом». > > Души богатства раздарив беспечно, > Умножив знания своим трудом, > В крутой могильный холм он лег навечно, > И вся Земля — ему родимый дом. > > *Март 1983 г*. > > И еще одно стихотворение А.П. Ершова, адресованное С.С. Лаврову, но, на > самом деле, всем ЛЮДЯМ (правда, предполагающее понимание теории языков > программирования): > С. Лаврову > > Поздравляю с днем рождения, милый друг! > Шестьдесят уже как выпало на круг. > Завтра то ли, как вчера, себя вести, > То ли новую программу завести. > > Чтобы грамотно программу составлять, > Надо пред- и постусловия задать, > Надо точный счетчик времени иметь > И циклический инвариант привлечь. > > Предусловие — твой праздничный венец, > Постусловие — у всех один конец, > Время катится без помощи чужой, > Для инварианта — будь самим собой! > > *Март 1983 г*. > > Н.В. Шилов > > > > Понедельник, 16 апреля 2018, 16:15 +03:00 от Andrei Klimov < > and...@klimov.net>: > > Добрый день всем! > > В *четверг 19 апреля с 11 часов *в комнате 416 в ИПМ проведем > традиционный апрельский семинар памяти Валентина Федоровича Турчина ( > 14.02.1931–07.04.2010). Программа: > > - 11:00 > *Антонина Непейвода *(ИПС им. А.К.Айламазяна РАН), > *Применение уравнений в словах при преобразовании программ над > строковым типом* > - В докладе будет рассмотрена проблема преобразования и верификации > программ, манипулирующих строками. Предложен новый метод описания > свойств > параметризованных конфигураций анализируемой программы посредством языка > уравнений в словах. Уравнение в словах есть выражение вида w = u, где > w, u > – слова в алфавите, являющимся объединением алфавита символов и алфавита > строковых переменных. За счет использования языка уравнений в словах > можно > выявить и кратко выразить некоторые нетривиальные свойства допустимых > значений параметров. > Метод развивается в терминах суперкомпиляции – метода > преобразования программ, основанного на развертке и свертке дерева > параметризованных состояний оптимизируемой программы. На базе идеи > описания > свойств строковых параметров посредством уравнений в словах построен > модельный суперкомпилятор MSCP-A – оптимизатор программ на языке > программирования Рефал. > - Можно посмотреть pdf-файл презентации ее предыдущего выступления > на эту тему: > http://refal.botik.ru/events/String_Manipulating_ > Supercompilation_Antonina_Nepeivoda_01032018.pdf > > <http://refal.botik.ru/events/String_Manipulating_Supercompilation_Antonina_Nepeivoda_01032018.pdf> > на семинаре в ИСП им. В.П. Иванникова РАН 1 марта 2018 > http://sdat.ispras.ru/2018/02/1-марта-О-верификации- > программ-манипул/ > > - Кофе-брейк > - Время начала и конца перерыва зависит от окончания предыдущего > доклада. > Время следующего доклада приблизительное. Может начаться и раньше. > > - 14:00 > *Сергей Романенко* (ИПМ им. М.В. Келдыша РАН), > *Рефал и Идрис как воплощения идеи "метаалгоритмического языка"* > - Будет дано введение в язык Идрис и обсуждаться идеи, > представленные в докладе в Абрау 2017 и постконференционной статье > http://doi.org/10.20948/abrau-2017-63 > <http://doi.org/10.20948/abrau-2017-63> > По сравнению с Рефалом языки Агда и Идрис предоставляет > дополнительные возможности для записи утверждений о программах и > доказательств этих утверждений. > > ------------------------------ > > Гости ИПМ, которым нужен разовый пропуск, напишите мне по email или > пошлите смс-ку с ФИО и НОМЕРОМ ПАСПОРТА на моб. +7 985 364 3536. Разовые > пропуска получите в бюро пропусков в окошке слева от вахтера в главной > проходной ("стеклянной", со стороны Миусской площади). > > Если у вас с собой будет ноутбук (не включенный в 2017 году в список > ноутбуков на вахте), сообщите марку и S/N для оформления разового > материального пропуска. Он будет у вахтера в главной проходной. > > Кому был заказан временный пропуск, но еще не успели его получить, – > удачный момент это сделать. > ------------------------------ > > До встречи! > > Андрей Климов > > -- > Вы получили это сообщение, поскольку подписаны на группу "Метавычисления и > специализация программ". > Чтобы отменить подписку на эту группу и больше не получать от нее > сообщения, отправьте письмо на электронный адрес metacomputation-ru+ > unsubscr...@googlegroups.com > <https://e.mail.ru/compose/?mailto=mailto%3ametacomputation%2dru%2bunsubscr...@googlegroups.com> > . > Чтобы отправлять сообщения в эту группу, отправьте письмо на электронный > адрес metacomputation...@googlegroups.com > <https://e.mail.ru/compose/?mailto=mailto%3ametacomputation%2...@googlegroups.com> > . > Чтобы зайти в группу, перейдите по ссылке https://groups.google.com/ > group/metacomputation-ru. > Чтобы посмотреть обсуждение на веб-странице, перейдите по ссылке > https://groups.google.com/d/msgid/metacomputation-ru/CAM7HiM%3D9bN_ > 5YE60337jAWwPtLHSsn%3D3FS_1qnrsRjDhX_vHmQ%40mail.gmail.com > <https://groups.google.com/d/msgid/metacomputation-ru/CAM7HiM%3D9bN_5YE60337jAWwPtLHSsn%3D3FS_1qnrsRjDhX_vHmQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > Чтобы настроить другие параметры, перейдите по ссылке > https://groups.google.com/d/optout. > > > > >