deniok
May. 11th, 2012
10:28 pm - Поступайте к нам учиться!
Originally posted by ![[info]](http://l-stat.livejournal.com/img/userinfo.gif?v=92.1){kind=small}
edwardahirsch at Видеоролик о кафедре математических и информационных технологий Академического Университета
Apr. 19th, 2012
09:59 pm - Хорошо ли вы знаете законы аппликативных функторов?
Напишите представителя класса типов Applicative, для которого выполнялись бы законы Identity и Homomorphism:
pure id <*> u = u pure u <*> pure x = pure (u x)но не выполнялся бы законы Composition и/или Interchange:
pure (.) <*> u <*> v <*> x = u <*> (v <*> x) u <*> pure x = pure ($ x) <*> u
UPD. Ну и по ходу дела возникли бонусные вопросы: написать такого представителя, чтобы не выполнялся (a) только Composition; (b) только Interchange.
Apr. 15th, 2012
03:57 pm - Знай и люби монаду IO
Устно вычислите значения побочные эффекты выражений и проверьте результат в GHCi:
let x = print "first" in print "second" let x = print "first" in x >> print "second" (\x -> print "first") (print "second") print "first" `seq` print "second"(Значения тоже можете вычислить в качестве бонуса:)
Apr. 5th, 2012
09:57 pm - Знаете ли вы Data.Traversable?
В классе типов Traversable определена замечательная функция sequenceA :: (Traversable t, Applicative f) => t (f a) -> f (t a). Знаете ли вы, как работают её представители для разных типов? Устно вычислите значения выражений и проверьте результат в GHCi:
sequenceA [Right 3,Right 4,Right 5] sequenceA [Right 3,Left 4,Right 5] sequenceA [Left 3,Left 4,Right 5] sequenceA [(+3),(+2),(+1)] 3 (getZipList . sequenceA . map ZipList) [[1,2,3],[4,5,6]]Для четвёртого задания укажите используемого представителя Applicative.
Apr. 2nd, 2012
11:13 am - Магистратура СПбАУ РАН по информатике, биоинформатике и разработке ПО
Originally posted by edwardahirsch at Магистратура СПбАУ РАН по информатике, биоинформатике и разработке ПО
Уважаемые абитуриенты!
Санкт-Петербургский академический университет Российской академии наук вновь объявляет приём в магистратуру. У нас на кафедре математических и информационных технологий имеется три специализации: теоретическая информатика, алгоритмическая биоинформатика и разработка программного обеспечения. По ссылкам доступны магистерские программы, содержание текущих курсов, и всё-всё-всё.
Среди выпускников кафедры — аспиранты ведущих питерских и зарубежных научных центров (ПОМИ РАН, Penn State University, Stanford University), разработчики программного обеспечения ведущих IT-компаний (JetBrains, Яндекс и пр.).
Для студентов профильных (т.е. технических) специальностей вступительным испытанием является письменный тест по математике и собеседование. Испытание можно пройти в апреле, мае, или июле (нужно выбрать один месяц). На странице приёма имеются примеры возможных вопросов для собеседования.
Подача заявлений и прочие формальные действия для всех поступивших в любом случае будут производиться только в июле-августе.
Если Вы планируете поступать в Академический университет, заполните, пожалуйста, эту форму (она Вас ни к чему не обязывает и мы будем держать её содержимое в тайне!). Это нужно сделать незамедлительно: собеседования начнутся уже совсем скоро. С Вами обязательно свяжутся и назначат дату и время индивидуального собеседования (если вдруг этого не произойдёт, не стесняйтесь напоминать о себе любыми разумными способами - мало ли что). Если у Вас имеются какие-либо вопросы, их тоже можно задавать через сайт (или прямо здесь, но тогда он может быть открыт всем).
Mar. 27th, 2012
07:13 pm - Вопрос
А с каких это пор у нас в Data.Monoid поселился такой оператор
infixr 6 <> (<>) :: Monoid m => m -> m -> m (<>) = mappendи где это задокументировано?
Mar. 20th, 2012
11:35 am - Избиркомы продолжают лгать
Пришли письма из ТИК 19 по поводу жалобы на удаление Ани с участка с процедуры подсчёта голосов. Жалоба отклонена, факт наличия удостоверения СМИ не может быть установлен. Что дико смешно, поскольку с утра в день выборов этот факт был установлен председателем УИК в присутствии юристов мобильной группы.
UPD. Посоветуйте, чем заменить Procter & Gamble в быту? :-)
Mar. 10th, 2012
12:39 pm - Вести про УИК 1056
Наблюдатель (вроде от СР) с участка, откуда выгнали мою дочку, выложил фотографии.
( Фотка под катом... )
Если принять цифру по количеству выданных бюллетеней за несфальсифицированную (с них станется), то по УИК 1056 выходит
на самом деле фальсификат
Жириновский 5.22 0.88
Зюганов 14.77 7.78
Миронов 9.31 6.34
Прохоров 19.50 4.74
Путин 46.63 79.13
Mar. 9th, 2012
01:21 pm - Об устройстве науки
Прекрасная выжимка из прекрасного интервью.
Originally posted by alliruk at Об устройстве науки
Вот несколько фрагментов из интервью, - то, что наиболее срезонировало:
( фрагменты )
Mar. 8th, 2012
02:36 pm - Про перевод Митчелла
Митчелл, Основания языков программирования, перевод под ред. Н.Н.Непейводы.
Отзыв, с которым я практически полностью согласен можно прочитать здесь. Добавлю лишь мои претензии к переводу некоторых терминов.
5.2.1. Домены (domain). Переведено как области.
8.3.3. Конфлюэнтность (confluence). Переведено как сходимость.
9.4. Экзистенциальные типы (existential types). Переведено как объёмные типы (видимо перепутано с extensional, термин extensionality действительно присутствует, скажем в 8.2.5).
В целом качество перевода кажется мне довольно посредственным. Несколько раз, чтобы понять о чём речь, мне приходилось заглядывать в англоязычный оригинал.
Navigate: (Previous 10 Entries)
