Метавычисления, специализация программ, суперкомпиляция, Рефал.

пятница, 14 марта 2008 г.

Веб-интерфейс у spsc

У "Малого позитивного суперкомпилятора на языке Scala" появился веб-интерфейс, в который встроено несколько заготовленных примеров (для тех, кому лень придумывать и вводить свои примеры):

http://code.google.com/p/spsc/wiki/GettingStartedWeb

http://pat.keldysh.ru:8180/spsc_web/spsc

Описание входного языка суперкомпилятора выставлено здесь:

http://code.google.com/p/spsc/wiki/SimpleLazyFirstOrderLanguage


понедельник, 10 марта 2008 г.

Проект: "Малый позитивный суперкомпилятор на языке Scala"

В Google Code создан проект A Small Positive Supercompiler in Scala и соответствующая группа A Small Positive Supercompiler in Scala Подробности предлагается там и смотреть. Изделие, в принципе, уже работает: можно запускать из командной строки и смотреть, что получается. Но это - не очень удобно. В дальнейшем, предполагается "прикрутить" к этому зверьку "дружелюбный" веб-интерфейс.

пятница, 22 февраля 2008 г.

Сообщества в http://www.orkut.com/

В http://www.orkut.com/ созданы сообщества

Их можно найти по именам и присоединиться. Затем посмотреть списки их членов.

Группы в Facebook.com

В http://facebook.com созданы группы Можно найти эти группы по их названиям и присоединиться (в данный момент - вход свободный). Затем можно посмотреть в списки членов этих групп: нет ли среди них знакомых личностей?

воскресенье, 17 февраля 2008 г.

Зачем нужен этот блог?

Не совсем понятно, зачем нужен этот блог? Впрочем, если попробовать с ним что-то делать, то, может быть, и выяснится, что он на что-то полезное годится. Для начала, в него можно просто сваливать ссылки на другие ресурсы.

Постоянные читатели

Обо мне

Моя фотография
Институт Прикладной Математики им.М.В.Келдыша РАН