ru-declarative.livejournal.com
Пролог, порядок целей в зависимости от данных - ru_declarative
http://ru-declarative.livejournal.com/116490.html
Пролог, порядок целей в зависимости от данных - ru declarative. Пролог, порядок целей в зависимости от данных. Jul 18th, 2015 08:40 pm. Есть ли вариант Пролога, который выбирает порядок целей в зависимости от данных? Code rem(zero) - [false]. code rem(succ(zero) - [true]. code n(zero) - [false]. code n(succ(N) - [true], {div mod(N, succ(succ(zero) , Q, R)}, code rem(R), code n(Q). Работает только как print. Если поменять порядок атомов:. Работает только как parse. Update 2015-08-03. Сделал с помощью.
zhiva-the-mage.livejournal.com
/facepalm - zhiva_the_mage
http://zhiva-the-mage.livejournal.com/86556.html
December 7th, 2011. Читаю stackoverflow. Питання: "Can anyone show me what they have done or can some explain step by step on how to apply a non-constant gravity (One that gets slightly stronger while falling).". Відповідь: "Gravity is nothing but a constant velocity. Попіл фізики стукає в моє серце. 2012-02-13 09:20 pm (UTC). Вообще-то фраза step by step является маркером практика-упрощенца. И ему ответил такой же практик. :). What to do when bored. Powered by LiveJournal.com.
maper.livejournal.com
задача про крысу - maper
http://maper.livejournal.com/9146.html
November 26th, 2010. После каждого выстрела, если крыса не убита, она обязательно переходит в соседний вагон и ждет следующего выстрела. Требуется гарантированно убить крысу за минимальное количество выстрелов. За решение засчитывается описанный алгоритм выбора номера вагона для следующего выстрела обязательное доказательство того, что по завершении стрельбы по данному алгоритму крыса гарантированно мертва. 2010-11-26 10:08 pm (UTC). Крыса переходит в соседний вагон от выстрела или к выстрелу? Если выстр...
category-theory.livejournal.com
теория категорий пришла на смену UML: category_theory
http://category-theory.livejournal.com/26862.html
Теория категорий пришла на смену UML. Вы увидите, что ТК:. Позволяет обоснованно, стройно и логично спроектировать классы. Пришла на смену UML. Отзывы людей, уже знакомых с ТК:. Теория категорий настолько универсальна, что в её терминах можно описать все, что угодно, например, математические выражения, алгоритмы или поход в магазин. Как же можно обойтись без восхищённых отзывов? Мы своей головой судить не можем. Монадические технологии идут на смену крестьянской лошадке! Post a new comment.
category-theory.livejournal.com
унификация термов: category_theory
http://category-theory.livejournal.com/26467.html
Полемика по поводу Joseph A. Goguen. What is Unification? A Categorical View of Substitution, Equation and Solution. (1989). Эта статья описывает унификацию в русле традиции, то есть подробно обсуждает унификацию 2 термов, то есть решение 1 уравнения. На практике приходится решать систему уравнений. Возьмём вывод типов для лямбда-исчисления. Каждый узел абстрактного синтаксического дерева программы даёт несколько уравнений, причём эти уравнения обычно имеют примитивную форму вроде τ. Post a new comment.
ru-declarative.livejournal.com
ru_declarative
http://ru-declarative.livejournal.com/tag/parse
Пролог, порядок целей в зависимости от данных. Jul 18th, 2015 08:40 pm. Есть ли вариант Пролога, который выбирает порядок целей в зависимости от данных? Code rem(zero) - [false]. code rem(succ(zero) - [true]. code n(zero) - [false]. code n(succ(N) - [true], {div mod(N, succ(succ(zero) , Q, R)}, code rem(R), code n(Q). Работает только как print. Если поменять порядок атомов:. Code n(succ(N) - [true], code rem(R), code n(Q), {div mod(N, succ(succ(zero) , Q, R)}. Работает только как parse.
novichok.livejournal.com
Who likes my entry? - Новичок
http://novichok.livejournal.com/2728200.html
Who likes my entry? March 26th, 10:22. Иногда приходят письма от LiveJournal вида Someone likes your entry. 1 user(s) likes this - Не сказано, кто именно. Так задумано, или пользователь пожелал остаться неизвестным, или я не знаю, где смотреть эту информацию? 2017-03-26 07:53 am (UTC). Это сообщение "Кому-то понравилась ваша запись". Далее написано Запись "qwertyuiop" (синим шрифтом) понравилась одному (к примеру) пользователю. Нужно нажать мышей на синий текст, Вы попадете на указанную запись. 2017-03-2...
eschew.wordpress.com
Firefox Add-On Compatibility | eschew it all
https://eschew.wordpress.com/2011/12/21/firefox-add-on-compatibility
It’s not the colors that matter. It looks like Firefox is moving to a compatible-by-default model for extensions. I find this interesting, since I proposed this back in 2004. December 21, 2011. The Lessons of Lucasfilm’s Habitat. Agrajag Rediscovered →. 2 thoughts on “ Firefox Add-On Compatibility. December 22, 2011 at 11:23 am. The people of good finally prevail! April 11, 2016 at 7:08 pm. I’m really loving the template/theme of this site. Usability and appearance. I must sayy you have done.
