![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Клавиатура
Nov. 27th, 2010 01:25 amПридётся менять клавиатуру, эта на ладан дышит :( Раньше мне очень нравились Microsoft Natural Ergonomic 4000, но несколько сломались почти подряд. Как у них в последнее время с качеством, кто-нибудь брал?
Ещё насчёт теста по чтению эмоций
Nov. 16th, 2010 11:47 pmМилена Попова заметила интересную вещь насчёт соотношения мужских и женских выражений лица в тесте из прошлого поста.
Тест на распознавание выражения лица
Nov. 14th, 2010 10:10 amvia ![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
macroevolution
У меня 32 из 36. Что, гм, несколько удивительно, поскольку в жизни удаётся понять, о чём люди думают и чего хотят, довольно редко :)
macroevolutionУ меня 32 из 36. Что, гм, несколько удивительно, поскольку в жизни удаётся понять, о чём люди думают и чего хотят, довольно редко :)
Престижная премия Пифагора?
Nov. 9th, 2010 11:01 pmЧитаю новости: "Математическая Премия Пифагора присуждена российскому ученому". Всё бы хорошо, но что это за премия такая? В Гугле по "pythagoras prize" находится только этот самый Сергеев и несколько лауреатов премии за популярные книжки по математике. Может, она как-то по-другому правильно называется?
Документация .Net
Jul. 4th, 2010 10:08 amСтранное у Microsoft понимание о нехватке памяти: If the file does not have a valid image format or if GDI+ does not support the pixel format of the file, this method throws an OutOfMemoryException exception.
Официальное объявление. Теперь нужно смотреть, достаточно ли там всё просто, чтобы просить студентов писать на нём тесты...
UPDATE: А только что объявили об очередной вариации на тему: http://github.com/manopapad/proper Кроме того, уже некоторое время назад появился http://github.com/krestenkrab/triq от автора Erjang (реализации Erlang на JVM).
UPDATE: А только что объявили об очередной вариации на тему: http://github.com/manopapad/proper Кроме того, уже некоторое время назад появился http://github.com/krestenkrab/triq от автора Erjang (реализации Erlang на JVM).
Фанфик про то, что могло бы случиться, если бы Гарри Поттер вырос в семье профессора, имел мозги и умел ими пользоваться: Harry Potter and the Methods of Rationality.
UPD:
И ещё одна новелла Юдковски, которая в своё время меня впечатлила, необычная вариация на тему Первого контакта: Three Worlds Collide.
UPD:
И ещё одна новелла Юдковски, которая в своё время меня впечатлила, необычная вариация на тему Первого контакта: Three Worlds Collide.
Представление списков в ФП
Jun. 19th, 2010 06:44 pmВозник такой вопрос. Как устроены cons-списки, большей части читающих известно :) А мне сейчас пригодилось бы неизменяемое представление списков в неленивом функциональном языке с хвостовой рекурсией, которое хорошо поддерживает две операции:
1) Конкатенацию (и как частный случай добавление элементов в начало и конец списка). Желательно хотя бы амортизированное O(1), O(log N) тоже сойдёт.
2) Итерацию от начала к концу. Без переполнения стека, независимо от того, как строился список.
Вот из-за второго условия простые conc-списки меня не устраивают, нужно какое-то балансирование. И чем проще, тем лучше.
Благодаря наличию хвостовой рекурсии направо деревья могут расти спокойно, главное, чтобы не росли налево.
Известные мне варианты:
1) Vector в Clojure и Scala. Хорошо добавляет элементы в конец, плохо в начало.
2) 2-3 finger tree (например, Data.Sequence в Haskell). Сложная схема балансирования и, как результат, великоваты постоянные множители у асимптотик (хотя жить можно).
UPDATE: Simple Confluently Persistent Catenable Lists и Purely Functional, Real-Time Deques with Catenation.
1) Конкатенацию (и как частный случай добавление элементов в начало и конец списка). Желательно хотя бы амортизированное O(1), O(log N) тоже сойдёт.
2) Итерацию от начала к концу. Без переполнения стека, независимо от того, как строился список.
Вот из-за второго условия простые conc-списки меня не устраивают, нужно какое-то балансирование. И чем проще, тем лучше.
Благодаря наличию хвостовой рекурсии направо деревья могут расти спокойно, главное, чтобы не росли налево.
Известные мне варианты:
1) Vector в Clojure и Scala. Хорошо добавляет элементы в конец, плохо в начало.
2) 2-3 finger tree (например, Data.Sequence в Haskell). Сложная схема балансирования и, как результат, великоваты постоянные множители у асимптотик (хотя жить можно).
UPDATE: Simple Confluently Persistent Catenable Lists и Purely Functional, Real-Time Deques with Catenation.
Опять об Фитча
Jun. 12th, 2010 02:19 pmИз принципа познаваемости следует существование разумной жизни во всех возможных мирах. Доказательство:
1 будет обозначать тождественную истину
K1 = "кто-то когда-то знает тождественно истинное утверждение". Это истинно в мире α тогда и только тогда, когда его истории есть разумная жизнь.
Kp → K1 ("если в мире кто-то что-то знает, то он знает тождественно истинное утверждение") примем за аксиому.
Рассиотрим такой мир α, где разумной жизни нет. Тогда в нём истинно
1) ¬K1
2) ◊K¬K1 (из 1 по принципу познаваемости)
В каком-то достижимом мире β верно
3) K¬K1 (из 2 по семантике возможных миров) То есть в этом мире есть кто-то, что-то знающий.
4) ¬K1 (из 3 по корректности знания)
5) K1 (из 3 по аксиоме Kp → K1)
Пришли к противоречию. По-моему, это позволяет локализовать проблему вполне чётко: пункт 2 должен говорить, что в мире β мы знаем, что в α нет разумной жизни; а вместо этого получается, что мы знаем, что её нет в β.
1 будет обозначать тождественную истину
K1 = "кто-то когда-то знает тождественно истинное утверждение". Это истинно в мире α тогда и только тогда, когда его истории есть разумная жизнь.
Kp → K1 ("если в мире кто-то что-то знает, то он знает тождественно истинное утверждение") примем за аксиому.
Рассиотрим такой мир α, где разумной жизни нет. Тогда в нём истинно
1) ¬K1
2) ◊K¬K1 (из 1 по принципу познаваемости)
В каком-то достижимом мире β верно
3) K¬K1 (из 2 по семантике возможных миров) То есть в этом мире есть кто-то, что-то знающий.
4) ¬K1 (из 3 по корректности знания)
5) K1 (из 3 по аксиоме Kp → K1)
Пришли к противоречию. По-моему, это позволяет локализовать проблему вполне чётко: пункт 2 должен говорить, что в мире β мы знаем, что в α нет разумной жизни; а вместо этого получается, что мы знаем, что её нет в β.
О школьном бюджете
Jun. 6th, 2010 12:22 amВсе, наверное, видели копипасту про то, что скоро "в школах останется три бесплатных урока: математика, русский и Закон Божий". Во что пока этот закон выливается на практике, можно прочитать в ЖЖ у xelluin, которая как раз работает бухгалтером в школе-интернате для одарённых детей.
xelluin, которая как раз работает бухгалтером в школе-интернате для одарённых детей.Последние лабораторные по ФЛП
May. 24th, 2010 01:39 amДомашние задания:
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/homework6.txt
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/homework7.txt
Файлы к лабораторной 6:
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/control.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/cut.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/database.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/difflists.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/negation.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/op.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/search.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/second_order.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/stack.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/var_nonvar.pl
Файлы к лабораторной 7:
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/basic_english.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_rec_bad.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_rec.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_pronouns_bad.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_pronouns.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_parse_trees.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_rules_lexicon.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/abc.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/ast.pl
Лабораторная 7 практически целиком по Learn Prolog Now, лекции 7 и 8, только с той разницей, что разностные списки уже были.
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/homework6.txt
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/homework7.txt
Файлы к лабораторной 6:
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/control.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/cut.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/database.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/difflists.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/negation.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/op.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/search.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/second_order.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/stack.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/var_nonvar.pl
Файлы к лабораторной 7:
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/basic_english.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_rec_bad.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_rec.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_pronouns_bad.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_pronouns.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_parse_trees.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_rules_lexicon.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/abc.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/ast.pl
Лабораторная 7 практически целиком по Learn Prolog Now, лекции 7 и 8, только с той разницей, что разностные списки уже были.
Опрос по языкам программирования
May. 16th, 2010 04:44 pmDavid R. MacIver проводит большой опрос насчёт того, какой язык лучше для каких целей. Думаю, найдутся те, кому будет интересно поучаствовать.
UPDATE: В общем, людям не понравилось. Но тем не менее, ответов набралось достаточно много, и результаты уже можно посмотреть.
UPDATE: В общем, людям не понравилось. Но тем не менее, ответов набралось достаточно много, и результаты уже можно посмотреть.
Степанов в Москве!
Apr. 15th, 2010 03:44 pmСтепанов (один из двух главных авторов STL, автор замечательной книги Elements of Programming) проведёт в офисе Яндекса два доклада: 19 и 20 апреля.
К большому сожалению, на первый я не успеваю :( А вот на 20 уже записался.
К большому сожалению, на первый я не успеваю :( А вот на 20 уже записался.
(no subject)
Apr. 10th, 2010 06:06 pmНесколько интересных багов в Java: http://blog.cr0.org/2010/04/javacalypse.html (особенно радует автоматическая установка старой версии JRE). Кто хорошо в этих вопросах разбирается? Может быть, автор ошибается и всё не так страшно...
Здоровый образ жизни
Apr. 8th, 2010 10:02 pmОт igrok213 узнал о том, что olegtern планирует в конце апреля провести интернет-курсы по здоровому образу жизни с большим объёмом практических занятий (подробности, программа и стоимость -- по ссылке).
По его журналу ясно, что он много об этих вопросах знает и охотно делится своими знаниями. Так что я для себя решил, что стоит попробовать.
igrok213 узнал о том, что olegtern планирует в конце апреля провести интернет-курсы по здоровому образу жизни с большим объёмом практических занятий (подробности, программа и стоимость -- по ссылке). По его журналу ясно, что он много об этих вопросах знает и охотно делится своими знаниями. Так что я для себя решил, что стоит попробовать.
Две ссылки
Apr. 1st, 2010 11:14 pm1. fregimus перевёл «Плач математика» Локхарта.
2. Обращение к президенту РФ насчёт орфанных лекарственных средств
fregimus перевёл «Плач математика» Локхарта.2. Обращение к президенту РФ насчёт орфанных лекарственных средств
