March 15th, 2009

with Cat The Cat

Вот ещё соображение.

Входной текст на языке программирования всегда конечен. Это означает и конечность словаря, по которому надо пройти при разных проверках программы.

Большая часть простых проверок (контекст и тп) может быть выполнена в конечное число проходов, один или два.

Проверка типов основывается на унификации без циклических структур (x=succ x), которая конечна. И на интерпретации гарантировано завершающихся функций, тоже конечной.

Получается, что для каждой программы мы можем проверить типы в системе зависимых типов.

Получается, что система типов метациркулярна, но не так, как Лисп, например, влючающий в систему свой интерпретатор.

Очень интересно.
with Cat The Cat

Если это правда, то это вообще абзац.

http://arhivar-rus.livejournal.com/157234.html

Лаборант чешской фармацевтической компании «Биотест», под Прагой, опробовал полученную американскую вакцину на лабораторных хорьках. Вскоре, после получения вакцинной инъекции, все животные сдохли. При более тщательном анализе вакцины выяснилось, что она содержит в себе живой, активный птичий вирус H5N1 и человеческий - H3N2. Более детальные исследования канадской химической лабораторией показали, что компонент H5N1является одним из самых опасных биологических агентов на Земле, зарегестрированный, как потенциальное бактериологическое оружие Показатель смертности при его применении на людях – 60%...

Эксперт в области здравоохранения Майк Адамс говоит "отвратительно об этом думать, но, что это, возможно, не было несчастным случаем. Почему? Поскольку Baxter International придерживается системы BSL3 (Уровень Биологической безопасности 3) - ряд лабораторных протоколов безопасности, которые предотвращают поперечное загрязнение материалов."

Чуть не произошло несчастье, который бы обвалил и евро и рынки в Европе - удар, равный началу локальной войны. В Австрии 18 человек в карантине, хотя "загрязнение" обнаружили быстро - до распространения инфекции из США. Вакцина была разослана в страны ЕС. И мне кажется, что никто для Украины как более ценной, исключение делать не будет..."


А похоже, что правда.

via allan999
with Cat The Cat

Что подумалось.

В айкидо используют не силу противника, а особенности его обратных связей в смысле теории управления.

Девушка с большим даном как-то хорошо показала мне, как это происходит. Она сказала, "вот в этой руке у меня нож, тебе её надо перехватить обеими руками для надёжности" и по округлой траектории выполнила бросок. Ножа не было, конечно. Важен факт концентрации на чем-то важном в "схватке". Находится ли этот центр концентрации у меня в руке или у противника, влияет только на тактику, поскольку противник будет сфокусирован либо на моей, либо на своей руке.

А применение силы противника против его самого удавалось только здоровенному мужику, про которого говорили, что проще перепрыгнуть, чем обойти.

История дзю-до это косвенно подтверждает - у них не было весовых категорий, пока японцы не стали бороться с европейцами. В дзю-до тоже сила противника используется. ;)
with Cat The Cat

Ещё про единоборства и оружие.

Довольно интересная ссылка с расчётом энергии удара. При включении в удар бёдер энергия удара может превзойти 250 Джоулей.

250 Джоулей это такая магическая энергия. Её должна иметь пистолетная пуля на выходе из ствола, чтобы при попадании в человека на расстоянии ~25 метров вывести его из строя с большой вероятностью. Для последнего надо, чтобы в человека пуля попала с энергией ~80 Дж.

Не удивительно, что выстрел в бронежилет способен нокаутировать человека, даже если пуля не попадёт в мягкие ткани.

Ещё хуже с бросками.

При броске через бедро человек падает с высоты, как минимум, полметра. Всей тушкой килограмм в 80. mgh = 80*10*0.5 = 400 Джоулей. Вероятность нокаута выше, чем у выстрела в упор в бронежилет.

По словам тренера, в боевом самбо удары носят отвлекающий характер. Основное делается с помощью бросков. Мы с ним посчитали, пришли к вот такой цифре, а потом он рассказал парочку леденящих душу историй про нокауты от бросков. ;)