thedeemon: (Default)
Теорема 1: невозможно построить компилятор, который любую программу оптимизировал бы до самого короткого (или быстрого) ее представления.
Доказательство: для любой программы без побочных эффектов, которая не завершается (зацикливается), самое короткое представление известно - [L: goto L]. Если бы идеальный оптимизирующий компилятор существовал, мы могли бы с его помощью решить проблему остановки, сравнивая его выход с этим коротким циклом. Что противоречит уже доказанной неразрешимости проблемы остановки.

Теорема 2: для всякого оптимизирующего компилятора можно сделать компилятор еще круче.
Доказательство: пусть дан компилятор А, и известно, что для некоторой незавершающейся программы Р1 его выход А(Р1) отличен от [L: goto L], такая программа всегда существует в силу теоремы 1. Тогда построим компилятор
B(P) = if P == P1 then [L: goto L] else A(P)
Он гарантированно лучше А, ч.т.д.

Теорема 2 известна под именем full employment theorem for compiler writers. :)

(Евангелие от Аппеля, глава 17)
thedeemon: (Default)
В книжке Аппеля про компиляторы на ML каждая глава начинается со словарного определения ключевого слова. Первые 13 были обычными, а 14-е порвало.

thedeemon: (Default)
Ребе [livejournal.com profile] metaclass рассказывает о применении DSL в MDA для генерации DAO в ORM, WPF, WCF и других TLA.
Смотреть
thedeemon: (Default)
По мотивам поста [livejournal.com profile] mr_aleph глянул по каким поисковым запросам приходят на мой очень давно не обновлявшийся персональный сайтик. Чего только не встретишь в этих ваших запросах:

-картинки про прішельців
-как создать страницу на сайте чтоб она была но на дереве ёё не было
-бесплатно скачать изображения древних мандал
-защита кода от компиляторов
-игра ставить бомбы и убежать
-куда вставлять движок сайта
-если в кубике рубика вставить кубики вручную не в то место
-Анимированные картинки ДНК и РНК
-ваджрасаттва купить
-skachat msu super resolution+crack
-фото амитаюс красный будда
-11х11 взлом
-исходники компилятора delphi
-Deemon, вернулся и что от этого ждать
-сова ригпа скачать
-программы для увеличения скачивания
-найден+паспорт+Леонтьева
-то, чем занят наш ум, владеет нами
-прога для увеличения разрешения текста
-Боровск Штыхно
-аюрведа радио
-молитвы про источники,ручьи и про природу
-алгоритм найден в коде doom|doom2
-самая лучшая программа для исправления грамматики
-коментарии соревнования по биатлону
-программы для увеличения разрешения видеокарты
-грамотные слова для отсылание девушек
-linux распознавание клеток
-Когда будет SAPKA'10

На последний вопрос, в отличие от предыдущих, я знаю ответ - ее в этом году не будет. Зато сегодня начинается ICFPC'10, не пропустите. Я традиционно участвую на Окамле без ансамбля (сам бля, один бля).
thedeemon: (psychosis)


Из анкеты на китайскую визу.
thedeemon: (Default)
Про сравнение флоатов:


Из резюме кандидата:
Language: English, Thai, Hindi, Punjabi
Application: Microsoft Words, Excel, Power Point, Adopt Photoshop

Profile

thedeemon: (Default)
Dmitry Popov

May 2017

S M T W T F S
 1234 56
789 10 11 1213
14151617181920
21222324252627
28293031   

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 23rd, 2017 02:44 pm
Powered by Dreamwidth Studios