Sep. 13th, 2011

juan_gandhi: (Default)
Title: Partial Compilers and Dialectica Categories
Valeria de Paiva,
Rearden Commerce

Abstract: Dialectica Categories (also known as dialectica spaces), the main construction of my phd thesis, have had several (unrelated) applications. I've used them to model Linear Logic, FILL(Full Intuitionistic Linear Logic), the Lambek Calculus and classes of Petri Nets (with C. Brown and D. Gurr). They were also used to model state in programming language semantics, after U. Reddy (with M. Correa and H. Hausler), and fuzzy Petri nets (with A. Syropoulos) and several 'superpower games' (A. Blass). Recently Mihai Budiu, Joel Galenson and Gordon Plotkin used dialectica categories in the modelling of partial compilers. I want to discuss this application, presented in the preprint "The Compiler Forest" (#90), available from Plotkin's webpage, to see if I understand it. Since I know little about compilers, audience participation will be very welcome!

Check out bacat google group.
juan_gandhi: (Default)
Зафрендил меня кто-то... в постах пол переменный, имя какое-то искусственное...

Но вот что пишут - прям Сорокин. Или Пелевин. Или Сорокин. Возможно, Питирим.

"В православный праздник Рождества Богородицы семь быстровозводимых Обыденных Храмов будут одновременно построены в семи федеральных округах России.
21 сентября 2011 в праздник Рождества Богородицы Обыденные Храмы за сутки появятся в Твери, Калининграде, Уфе, Сочи, Екатеринбурге, Иркутске и Южно-Сахалинске.
В Калининграде ради сооружения Обыденного Храма к гражданам города присоединятся звезды российского шоу-бизнеса: Иван Охлобыстин, Оксана Федорова, Авраам Руссо, Георгий Лепс, Андрей Малахов, Григорий Гладков, Михаил Леонтьев и Борис Галкин. Знаменитости переоденутся в спортивные костюмы, чтобы принять активное участие в строительстве. Об этом они заявили в видео-обращениях, которые размещены в блоге Председателя Российского Клуба Православных Меценатов (РКПМ) Андрея Поклонского http://a-poklonsky.livejournal.com/ и на сайте проекта www.7hramov.ru.
Из Москвы участников проекта в Калининград доставит предоставленный партнерами проекта борт. Места на борту выделены и для представителей масс-медиа. Аккредитацию СМИ будет осуществлять администрация РКПМ.
Во время строительства храмов будет организован телемост между стройплощадками в регионах и установлена плазменная панель на стройплощадке в Калининграде. Благодаря этому участники проекта смогут увидеть, как проходит возведение обыденных храмов в различных городах России и пообщаться друг с другом в режиме он-лайн.
Как пояснил Председатель Правления Российского Клуба Православных Меценатов Андрей Поклонский, на Руси в 16-ом веке возникла традиция сооружения Храмов за один день. Именно поэтому такие Храмы назывались «обыденными» — буквально «об один день». Естественно, в то время построить храм за сутки могли только ВСЕМ МИРОМ, и главная особенность возрождаемой нами традиции – личное участие жителей в строительстве своего Обыденного Храма и, как следствие, отношение к нему как к своему дому. Именно в этой, забытой более 400 лет назад традиции, Клуб увидел мощный объединяющий нацию мотив.
С ноября 2011 в Москве запланировано строительство обыденных храмов в местах, выделенных для церквей «шаговой доступности», чтобы верующие могли молиться в ожидании постройки больших каменных храмов.
Российский Клуб Православных Меценатов создаст социальную сеть в интернете для общения и распространения информации о строительстве. Таким образом, каждый житель России сможет поучаствовать в возведении СВОЕГО обыденного храма в СВОЁМ регионе.И конечно же очень приятно что и наши звезды построят храм.
О проекте
Проект «Семь храмов в семи городах за один день» — третий этап программы Клуба православных меценатов по возрождению традиции строительства обыденных храмов. Главная задача проекта — объединение русского православного народа. Первую деревянную церковь в рамках проекта возвели в 2008 году в Кемерово, в тот же год подобные храмы были построены в Москве, Киеве и Минске. "
juan_gandhi: (Default)
Показывают по новостям видео - в Юте мотоциклист попал под машину, буквально - народ собрался, поднял машину, вытащил мотоциклиста. Да, машина в это время горела. Мотоциклиста зовут, хм... Наваз Аль Шариф. Сообщают, что он в критическом состоянии, но на интервью он сидит этаким интеллигентом, и, прищурившись слегонца, сообщает, что если бы не вытащили, не выжил бы.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

September 2025

S M T W T F S
 1 23456
78910111213
14151617181920
21222324252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 4th, 2025 02:39 pm
Powered by Dreamwidth Studios