September 2nd, 2009

moose, transparent

дневник

Пришел на работу и первым делом - к кофейной машине. Хорошее кофе сегодня получилось. Конечно, без сахара - я никогда не ложу сахар в кофе, только взбитое молоко.
moose, transparent

пример формального доказательства

Либо надо объяснять, либо не надо объяснять. Но если надо объяснять, то не надо объяснять (потому что "если надо объяснять, то не надо объяснять"). Так что "надо объяснять" приводит к противоречию. Поэтому не надо объяснять.

P.S. Практическое руководство к действию, из трех пунктов:

1. молчи
2. скрывайся
3. таи
moose, transparent

мимоходом

Придумал: всякий раз, когда ко мне кто-то в гтолке (или в аське, или вставьте по желанию) обращается, отвечать: "АААА!!! Говорящий компьютер!!!!"

Но, по-моему, собеседники это не ценят :(
moose, transparent

задачка (математическое)

Возможно, эта задачка непростая. Я ее пока не решил. Условие красивое.

Дан выпуклый многогранник. На каждой грани сидит муравей, и ползет по периметру своей грани против часовой стрелки. Все муравьи ползут с одинаковой скоростью. Доказать, что рано или поздно два муравья встретятся.
moose, transparent

мимоходом о политике

Вот, пишут, Япония становится демократическим государством.

Думаю, что я доживу до того времени, когда Россия тоже станет. Хорошо бы.

(примечания:

1. В Японии впервые за полвека на выборах победила оппозиционная партия. Если быть совсем точным, то в 93-м году был эпизод, когда коалиция восьми других партий пересилила правящую и сформировала правительство, но оно продержалось очень недолго.

2. Мне нравится точка зрения, согласно которой демократия оценивается, помимо прочего, по способности государства пережить мирный переход власти к оппозиции, честно победившей на выборах).