Category: город

2019

Мы строим урбанизм

Для меня коммунизм и урбанизм стали окончательно синонимами -- это когда людям делают неудобно заради какой-то суперважной вождям идеи. Вожди знают, а люди подчинятся замыслу. Вот это я сфотографировался сегодня прямо перед входом в метро Добрынинская. За мной лозунг "Мы строим коммунизм", передо мной впятеро больше замощённого плиткой пустыря, чем видно за мной. Пятница вечер, 20:07, ни души, ибо пустырь -- по пустырю не погуляешь, и даже не покатаешься на роликах или самокатах (ибо плитка!):
webuildcommunism
Не буду говорить о том, что этот пустырь за год раза четыре асфальтировали, перекладывали плиткой и прочим образом над ним трудились с одинаковым грустным результатом. Это и так ясно. Мы строим урбанизм.

Гуляли мы с женой в поисках бахчевых развалов, ибо с 1 августа поступила отмашка "можно". И в городе возвели 247 пунктов выдачи арбузов и дынь -- https://data.mos.ru/opendata/1496

До урбанистического террора в пяти минутах от дома у меня был пяток этих развалов. И на Полянке (там даже парочка в квартале друг от друга), и на Третьяковке, и на Добрынке. А когда урбанизм построили, то в центре бахчевых развалов вообще не оказалось.

И урбанистам не стыдно, они наверняка этой ситуацией гордятся. Они в кожаных тужурках, захватили власть (буквально) и дальше, как водится, устроили террор. Тактика выжженной земли (https://ru.wikipedia.org/wiki/Тактика_выжженной_земли), то есть замощённой плиткой земли -- "полное широкомасштабное уничтожение любых объектов промышленного, сельскохозяйственного, гражданского назначения при отступлении, чтобы они не достались противнику". Противник тут, получается, я. Только у урбанистов это не отступление, а наступление.

Если урбанист посчитал, что где-то много народу, он заменяет народ плиткой. Нужно сделать людям неудобно, и они сами уйдут, перестанут толпиться. Головная боль лечится гильотиной: меньше головы, меньше чему болеть. Если внутри бульварного кольца замостить всё плиткой, то людям незачем будет туда ходить, и это решит многие урбанистические проблемы. Если внутри садового кольца замостить всё плиткой, то это решит много больше проблем. Если убрать оттуда магазины, то и пешком приходить не будут. Начать хотя бы с бахчевых развалов. Ну, начали.

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

UPDATE: обсуждение в фейсбуке -- https://www.facebook.com/ailevenchuk/posts/10210899182809639
2019

Где обитают луддиты: в муниципалитетах!

Первый раз -- случайность, второй раз -- совпадение, третий раз -- закономерность. Теперь я знаю, где сидят луддиты: они окопались в мэриях. Они обычно не знают, что они луддиты, но цеховики им быстро объясняют, кем они должны быть. С муниципалитетами конфликтовали Uber и Airbnb, вот очередь дошла до Amazon. Amazon в середине этого июня запустил доставку своих товаров в течение часа с момента покупки. Мэр Парижа сказала, что Amazon Prime Now нарушает коммерческий баланс и несправедливо (гады, с помощью технологий! ухитряются торговать дёшево и быстро!) конкурирует с магазинчиками и мастеровыми людьми -- https://www.theguardian.com/cities/2016/jun/20/amazon-prime-now-express-delivery-service-france-paris

Когда с технологиями начнуть бороться мэрии России? Впрочем, тут это будет централизовано: до мэрий дело не дойдёт, современные прорывные технологии будут обрубать сразу на общероссийском уровне. Риторика промышленной революции и светлой дороги в будущее риторикой, а луддизм луддизмом.
2019

Десятые лебедевские чтения

Десятые чтения, посвящённые памяти Геннадия Лебедева, состоятся в субботу, 24 мая 2014 года, в 10:00, в Москве, гостиница Алроса: http://www.alrosa-hotels.ru/hotels/moscow/contacts/, это 5 минут от метро Полянка (и 7 минут от метро Третьяковка и Серпуховская).

Регистрация открыта на http://g-l-memorial.ice.ru

Оргкомитет уже рассматривает тезисы потенциальных докладчиков, а я в задумчивости: делать ли мне доклад про то, как современный системный подход (в том числе системноинженерный, а не только системноменеджерский) подползает к праксеологии, или не делать. Может быть, в этом году такой доклад будет делать рановато, но нужно будет его делать в следующем году.
2019

Как создать слона, стандарты системноинженерного мышления, ISO 81346 и схема метро

Как съесть слона? По кусочку за раз: при таком подходе можно ещё и распараллелить это удовольствие на целую бригаду едоков. Ломать -- не строить. Создать слона по кусочку за раз так легко не получится: при проектировании по кусочкам сложить работоспособного слона очень трудно -- то печень забудут, то непонятно как работать с перегревом, то кости в ногах не будут выдерживать массы туши. Но интуитивно понятно, что придётся таки слона для его создания как-то делить на кусочки. А потом работать с этими кусочками по принципу "по кусочку за раз". Что это за "создавательные кусочки"?

Слон -- сложная система (напомню, что "сложная" система это не такая, в которой всё от всего зависит, а такая, в которой все эти зависимости заведомо не помещаются в человеческую голову и нужно придумывать разные способы описания, удерживающие работоспособное целое). Слона создают по интересу (concern) за раз -- это принцип разделения интересов (separation of concerns), сформулированный Dijkstra (http://en.wikipedia.org/wiki/Separation_of_concerns). Краткая суть этого принципа: обо всём нужно думать по отдельности, сразу обо всём думать не получится. Чтобы властвовать над определением системы, надо его разделять.

Все определения системы (альфы -- требования, архитектура и т.д.) и связанные с этими определениями описания (спецификации требований, архитектурные диаграммы и т.д.) как раз отражают этот принцип. Каждое действующее лицо (stakeholder) имеет какой-то интерес к системе, и его поэтому интересует про систему не всё, что можно, а только то, что ему нужно. По одному интересу за раз, и так пока не удовлетворим всех стейкхолдеров.

Это суть системного подхода, системноинженерного мышления:
-- системные холархии (матрёшки из холонов -- части и целые). Нет целого без частей, нет частей без целого.
-- каждое действующее лицо интересуется чем-то своим, что важно для его действия. "Система в глазах смотрящего" (вернее, действующего): деятельностный подход.
-- определение системы множественно по своей природе, его составляющие необходимы для удовлетворения разных интересов разных действующих лиц.
-- описаний системы ещё больше (в какой-то презентации по OMG Essence указывается, что сжатие информации при переходе к обсуждению в "альфах" по сравнению с обсуждением в "рабочих продуктах" составляет 1:10 -- о состоянии альфы мы узнаём подробности по десятку рабочих продуктов).
-- все эти определения и описания создаются (изменяются, эволюционируют) в ходе жизненного цикла системы.

Похоже, что минимальный набор более-менее концептуально совместимых международных стандартов современного системноинженерного мышления таков:
-- обобщенный с архитектурного описания до описания определения системы ISO 42010: множественность описаний и деятельностный подход. Это "поворот мозгов" от редукционистского подхода одного всеохватного описания к системному подходу, подразумевающему множественность связанных описаний.
-- обобщенный с программной до системной инженерии OMG Essence: описание жизненного цикла (системноинженерный менеджмент). Метод контрольных вопросов в управлении жизненным циклом.
-- ISO 81346 для минималистичного описания и именований. Это фундамент для управления конфигурацией системы.
-- ISO 15926 для моделирования данных развёрнутых описаний. Обеспечивает федерирование развёрнутых описаний.

Этот небольшой набор стандартов и нужно гармонизировать, на этой основе и нужно создавать учебные курсы, на этой основе и нужно консультировать предприятия. Забавно, что тусовки (community of practice) вокруг этих стандартов очень мало знают друг о друге -- несмотря на всю идейную их близость.

Я писал тут про все эти стандарты, кроме ISO 81346. Это относительно свежий стандарт, 2009 года.

Стандарт ISO 81346 претендует на роль самого минималистичного метода описания системы. В нём определены принципы создания системы справочных обозначений (reference designation system, RDS -- слово "система" тут означает "систематичность", а не целевую систему) целевой системы. Эта система справочных обозначений отражает самое существенное в основных трёх стилях (function, product, location): имена объектов и их место в холархии (разбиения, т.е. отношения "композиции" или "часть-целое"). Функция, конструкция и размещение (модули, компоненты и места; функции, продукты и места: эта основная троица в разных школах обсуждается под разными именами) отражают основные, хотя и не все, стили определения инженерной системы. Подробно этот вопрос разбирается в программной инженерии (например, я упоминал книжку http://libgen.org/get?nametype=orig&md5=abb4676b7b1ddfa74e33b7799ebbb61a -- на неё, в частности, ссылается ISO 42010). Но ISO 81346 в минималистичном варианте проводит эту мысль и для "железных" систем. Неправильно понимать этот стандарт как "принципы создания кодировок", не в кодировке/именовании дело. Это именно стандарт принципов минималистичного описания инженерной системы.

Главное достоинство этого стандарта в том, что в предлагаемых им описаниях выкидывается 99.9% информации о системе, но оставшиеся 0.1% (только имена объектов и отношения "часть-целое") оказываются крайне полезны. Вот тут можно почитать об этом стандарте подробнее: http://81346.com/english/?page_id=117.

Схема метро приводится в объяснительных материалах к этому стандарту как пример того, как радикальное упрощение описания системы резко повышает его полезность. Всем знакомая "схема метро" впервые была придумана в 1931 году (http://en.wikipedia.org/wiki/Tube_map, http://en.wikipedia.org/wiki/Harry_Beck и чудесные фильмы краткий http://www.youtube.com/watch?v=Bg3pfUqdLp4 и длинный http://www.youtube.com/watch?v=1xmOpyv5NuI). Автор схемы метро заметил: расстояния и длины не важны (по большей части), направления неважны (по большей части), пересадки важны. Один аспект, один интерес, одно описание за раз. Схема московского метро отражает сегодня те же принципы (http://metro.yandex.ru/moscow/). Вот краткое видео, подчёркивающее ту же мысль: важность бедных информацией представлений -- http://www.youtube.com/watch?v=W4A1Dnlv8h0
2019

Об Швецию

Понятно, почему в Швеции так развиты интернеты: все магазины там закрываются в 18 часов, а уже совсем-совсем все в 19 часов. Потом только интернеты.

Шведы выглядят совсем как русские -- я бы их не отличил. Но вот в целом людская популяция в Стокгольме отличается от московской: кавказские национальности в Швеции явно с Ближнего востока, а таджикские-узбекские -- откуда-то с Суматры. Так что в целом -- то же самое, только на поколение позже. Еще бросается в глаза густо татуированная на все ноги и руки молодежь.

Русская речь вездесуща. Например, к нам с sagarasousuke сегодня обратился по-русски двухметровый роскошный военный шоколадного цвета. Этих военных в районе EuSEC2010 сегодня было немерено -- шло какое-то международное мероприятие, много-много мужчин в смешных одеждах с полосками на штанах и кучей скобяных мелких изделий золотых и серебряных цветов по всей одежде: вшитые способы определить количество "Ку" при приветствии, немного специфичные для каждой нации, но в целом ужасно похожие.

В 100 метрах от гостиницы sagarasousuke нашел позавчера русский антикварный магазин и объяснил, как им устроить витрины. Я независимо нашел вчера этот магазин как раз по результатам его объяснения: они выставили коллекцию телеграфных ключей и даже старинный телеграфный аппарат Морзе. Глазеющего меня затащили внутрь, и уже внутри я услышал русскую речь -- а выставленные на витрину технические диковины как раз и были полученным позавчера советом: ведь рядом находится королевская высшая техническая школа плюс оборонный колледж, и негоже было иметь на витрине старые картины и фарфор неизвестных мастеров.

Глазел на эти морзяночные ключи я вот по какому поводу: рядом с гостиницей есть много-много особнячков с роскошными антеннами "штырь", "двойной квадрат" и т.д. (я ведь был радиолюбителем, и знаю, как выглядят эти антенны). Я начал гадать, как сильно сегодня развито радиолюбительство в Стокгольме: в Москве дай бог на весь город будет пара-тройка таких антенн. И тут практически напротив этих домов я увидел коллекцию древних телеграфных ключей! Я задумался -- но владельцы этой коллекции разъяснили, что это просто посольские дома, и антенны там отнюдь не "любительские" а самые что ни на есть "профессиональные".

То, что в туристском районе русской речи много, а в магазинах русские ценники и объявления -- этого уже отдельно отмечать не нужно, это не свойство не Швеции, а сегодняшнего глобуса.

В туристский район я попал сдуру, послушав совет vvagr. "Куда пойти, чтобы купить дитенку игрушку?" -- спросил я его, выйдя из гостиницы. Ибо случилось свободных полдня в Стокгольме, а жена наказала без "чего-нибудь для дитенки" не возвращаться. "Езжай на метро до Центральной станции, выходи там и вокруг будет много магазинов". Я проехал целых три остановки (ага: от моей гостиничной окраины с кольцевой автодорогой до самого центра города три остановки метро), вышел в какую-то площадь-яму (а как ее еще назвать?! типичный СПб -- много-много высоких домов по сторонам, и ты в яме между ними. В Нью-Йорке почему-то такого ощущения нет даже с небоскрёбами) и пошел по ближайшей улице (ибо магазины мне показались идущими равномерно во все стороны). Я ошибся, это была единственная улица, ведущая в древнеисторический район Стокгольма, где все магазины продают одинаковых раскрашеных деревянных лошадок по $50 и прочих глиняных кобольдов с майками "Швеция форева" на все лады. Такие "игрушки" явно были бы дитенку неинтересны, хотя не удержался и купил ему "стандартный туристический" тряпочный шлем с рогами и приделанными рыжими косичками a la viking (ну, не совсем стандартный -- такие толстые косички только в одном магазине увидел).

В итоге были прикуплены дитенку, жене и тёще три фантазийных дракона (которых явно видел где-то в Москве в каком-то ларьке около метро): пусть выберут себе из них страшилище по душе, они как раз недавно смотрели мультфильм про викингов и драконов. Хотя викинги и драконы, конечно, не слишком сочетаемы -- но атрибуты Тора и Одина дитенку пока неизвестны, а вот драконы вызывают ассоциации не с каким-нибудь Китаем, а как раз с викингами. Устройство мира делает литература, как во времена устного эпоса, так и во времена эпоса в виде мультфильмов.

Купил еще разных лакричных сладостей штук двадцати наименований. Буду жевать долгими летними вечерами, у меня в семье конкурентов на это лакомство нет.

И больше покупок не случилось: довезти хотя бы это.

Был немного удивлён метро: после многолетней пропаганды московского и питерского метрополитенов про "лучшее в мире", а также личного опыта в Нью-Йорке я считал, что пропаганда права. Но оказалось, что в Стокгольме метро архитектурно не менее интересно, чем в Москве -- хотя примерно вчетверо дороже. Вообще, тут многое дороже: так, любой "пирожок" или "бутылочка" тут стоит не доллар-полтора, а два-три доллара.

По сравнению с Москвой много салат-баров, которых в Москве пока нет. Значит, этим летом появятся и в Москве. Хотя в Стокгольме странные салат-бары: например, фруктовых салатов в них нет. В Москве наверняка будут.

Вообще, Швеция -- это смесь слегка более готичного Санкт-Петербурга (абсолютно такой же сырой воздух, четыре раза в день меняемый прогноз погоды, и куча каналов, речек и островов, на которых то ли раскинулся, то ли теснится город) и какого-нибудь Чикаго. Капиталистический социализм, что очень чувствуется.

Outgoing SMTP я победил: в гостинице интернетов оказалось много, и кроме кабельного в номерах есть еще и бесплатный-но-по-паролю вайфайный с известным адресом почтового сервера. Тестовые письма прошли, и на часть писем я отвечу уже сегодня (есть еще пара часов до отбоя: разница Москвы и Стокгольма -- два часа).

Завтра вечером надеюсь быть уже дома.
2019

Доказательство правильности систем

В 80-е годы было модно говорить о "языках спецификаций" (тогда не говорили о "моделировании", а именно что о "спецификации"), из которых целевая система появлялась путем последовательного их уточнения и последующей генерации кода (на языке высокого уровня, или даже сразу в машинный язык). В 90-е годы к этому добавили то, что таким образом "специфицированные" системы могли бы быть с "доказанным соответствием спецификациям". В те поры было множество разработок на эту тему ("доказательство правильности программ"), на которые я особо не смотрел: мне всегда казалось, что программа сама по себе может быть сколько угодно правильна, но достигать неверной цели.

Одной из самых успешных работ в этом направлении был подход B, основанный на теории множеств. 1998 году была запрограммирована линия 14 метро METEOR (Париж). 86тыс. строк кода, до сих пор в версии 1.0, и до сих пор не замечено ошибок.

Но уже следующие линии метро (а применения этого подхода пошли главным образом по железнодорожной части, хотя хватало и других применений) показали, что ошибки таки бывают -- а успех первой реализации был связан с тем, что повышенное внимание уделялось системной инженерии (работе на уровне системы), а не ограничивались вознёй с целевой программой. После того, как это отследили, на рубеже столетия подход B был сознательно эскалирован на уровень системы: назван Event-B, в котором не только прямо говорилось не о софте, а о системе, но и "операции и методы" были заменены на "события". Обзор Event-B -- http://www.bmethod.com/pdf/grace-2010/event-b-overview.pdf

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

Меня это все заинтересовало, поскольку появились работы, прямо адресующие разрыв между непонятностью формальных спецификаций и понятностью представления результатов неспециалистам:
-- ProB validation tool поддерживает множество языков спецификаций (B, Z, CSP, Event-B, Promela, dSL, ...) и позволяет делать анимации для того, чтобы эксперты, ничего не понимающие в спецификационных математических нотациях, могли понять то, что за этими нотациями скрывается (http://www.bmethod.com/pdf/grace-2010/pro-b-tokyo-2010.pdf).
-- controlled English для написания требований, из которых потом генерируются спецификации на B, а уж эти спецификации затем контролируются на целостность (http://doi.acm.org/10.1145/1734103.1734114)

Подробности можно копать отсюда:
-- свежайшие (март 2010) презентации в изобилии http://www.bmethod.com/php/conference-grace-2010-en.php
-- гнездо Event-B тут: http://www.event-b.org/ (и там изобилие ссылок)
-- ресурс по B методу компании ClearSy System Engineering: http://www.bmethod.com/ (и там еще ссылки на инструменты)

Еще мне интересна сама постановка задачи доказательства правильности систем по аналогии доказательства правильности программ. Похоже, что скоро нужно любой тезис из software engineering или computer science про программы как first class object переносить на системы. С другой стороны, B-моделирование забирается уже внутрь программы/системы. Поэтому можно ожидать, что скоро для системы будет переформулировано и знаменитое "программа = алгоритмы + данные". "Система = ???". И непонятно, что будет быстрее: самому придумать, как это будет в случае систем, или просто подождать годик-другой, пока другие придумают.
2019

Самокат

По совету vvagr экспроприировал сегодня у дитенка самокат и опробовал на маршруте "к метро и обратно". Оказалось, что удобней и роликов и велосипеда при примерно той же скорости передвижения:
а) не нужно сложных процедур надевания/вытаскивания из дома и раздевания/попыток где-нибудь оставить при заходах в общественные места;
б) можно спокойно двигаться по тротуарам и испытывать удовольствие от возможности мгновенной остановки;
в) подземные переходы, лестницы и лифты проходятся с самокатом в руках -- то есть не являются препятствиями. А самокат весит примерно столько же, сколько ролики (пару килограмм).
в) средняя скорость примерно вдвое больше, нежели при ускоренной ходьбе, но усилия при этом вдвое меньше.

Недостатки:
а) в конце маршрута жарко. Впрочем, не так жарко, как при ускоренной ходьбе.
б) неудобно ехать и разговаривать по телефону (т.е. рулить одной рукой -- ибо телефонной гарнитуры у меня нет за ненадобностью).

Итого: буду теперь использовать самокат регулярно, чего и вам советую.
2019

КОЛонизация БОТами и СимСити с ракетным полигоном

Сегодя был Большой Компьютерный день: мало того, что я пересел на ноутбук. Я еще и испытал на ребенке две игрушки -- SimSity 4 и colobot.

В СимСити я играл в самом начале девяностых. Пожалуй, изо всех компьютерных игр, в которые я играл, больше всего я играл именно в СимСити -- несколько дней! Запомнилось даже, что у меня все время взрывалась атомная электростанция, а без нее город не выживал. Ну, и с ней не выживал тоже.

Сегодняшний результат: я быстренько построил город на 1000 человек и успешно его разорил (очень красочно: город погиб в огнях пожаров, но до последнего момента в мэрии давали фейерверки, хотя в колонках и скандировали какие-то лозунги на очередной забастовке). Все utilities строит мэр, и он же их оплачивает. Ну, и остальное устроено таким же образом: мэр платит за всё, а доходы получает главным образом из налогов. Очень красочный учебник социализма (или капитализма -- смотря как на это посмотреть). В конце концов город гибнет и чахнет и ты понимаешь, что при социализме всегда так будет. Или наоборот: город растет под твоим патронажем, ты долго не гибнешь, и будешь навек уверен, что после некотрой тренировки и реальным социалистическим городом (а то и страной!) поуправлять сможешь...

У дитенка эта игра не вызвала ровно никакого интереса, кроме время от времени взлетающей с военного полигона ракеты (пока полигон не взорвался вместе с близлежащими кварталами, разумеется). И еще ему был интересен робот, мелькающий полторы секунды на заставке (в самой игре этого робота, как я понимаю, нетути -- или же до него никогда не доиграться).

А вот другая игра (швейцарская www.colobot.com, хотя на груди космонавта гордо по-русски написано "Крикалев", обзор тут -- http://www.game-exe.ru/reviews/14837/), установленная совершенно случайно с какого-то сугубо отечественного диска игр-конструкторов, привлекла внимание ребенка на несколько часов. Он залез в учебный режим этого программируемого мира, и прошел огромное количество учебных миссий, постоянно переключаясь с ручного режима в режим подсказок. Оторвать было совершенно невозможно. Теперь я совершенно не понимаю, какие игры считать детскими, а какие -- взрослыми. Нужно будет подробнее разобраться с http://www.ceebot.com/ (там ведь полно демок, например http://www.ceebot.com/blupi/load-e.php -- традиционные головоломки в красивой графике).

Вообще, какие есть игры-конструкторы? Особенно, где нужно конструировать роботов (любимые герои Артура)? Есть у меня смутное ощущение, что года через три мне придется знать об играх в десять раз больше, чем сейчас. А пока жена читает книжку про поколение геймеров: результаты социологического исследования, из которого следует, что геймеры -- тоже люди. Хотя и не такие люди, как негеймеры.
2019

Грабительские вебмани

Купил в ларьке у метро карточки вебманей -- по курсу 30.6 рублей за доллар. И оплатил recs.ru -- потеряв по сравнению с банковскокарточной оплатой 10%. С другой стороны, это составило на внесенные $30 всего $3. С третьей стороны, это недоданные 300Мбайт, три альбома. С четвертой стороны, это какую же прибыль прошляпливают банки?!