December 23rd, 2012

2021 год

Lytdybr

Очень хочется написать, что "читал пейджер, много думал". Это правда, думал много, но читал не пейджер, а ESSENCE -- наконец, дошла очередь и до него. Впрочем, я читал не только ESSENCE, но и много чего ещё интересного. То, что составляло содержание PraxOS последние несколько лет, стремительным домкратом становится мейнстримом. Наш bleeding edge становится нормальным leading edge. На новогодних каникулах придётся рисовать много-много слайдов, и делать много-много моделек в разных моделерах. Часть попадёт в ЖЖ: у меня растёт список запланированных постов, но писать некогда, ибо "читал пейджер, много думал".
* * *
Обнаружил библиотеку, которая работала внутри FlyingLogic -- она продаётся под названием yFiles на http://www.yworks.com. Конечно, я довольно давно знаю yEd (с 2007г. -- http://ailev.livejournal.com/462184.html), но за пять последних лет тамошний софт стал совсем крут, и я только сейчас сообразил, что это только рекламка, а торгуют они библиотеками для желающих делать моделеры (в отличие от бесплатной рекламки-редактора yEd, торговля библиотеками идёт за немаленькие цены: http://www.yworks.com/en/products_yfiles_commercialinfo_prices.html). Поглядите интерактивные демо того, что эти библиотеки могут: http://www.yworks.com/en/products_yfiles_practicalinfo_demos.html (и сравните, например, с типичным питоновским пакетом http://networkx.lanl.gov/).
* * *
Дитятко вчера сходил на рейтинговый турнир московской области http://www.stsmo.ru/assets/files/turniri/2012/22-12-12-reiting.doc, в категории массового спорта (это которые только-только начинают) на паре танцев (медленный вальс и ча-ча-ча) соло обогнал десяток забредших туда одногодок и неожиданно занял первое место. И в паре тоже первое, но пар там в его категории было немного, этим даже гордиться не стоит. Тренер радостно объявила, что теперь сразу после нового года научит его шести обязательным для класса E танцам и выдаст классификационную книжку. Парню танцы не так чтобы нравились, но вот побеждать ему понравилось. Посмотрим, хватит ли ему терпения пройти класс E. На мой взгляд, утверждать, что "я занимаюсь танцами" можно только в классе D, до этого момента это всё баловство, а потраченное время списывается не столько на именно танцевальную тренировку, сколько на внешкольный "соушиалайзинг".

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

Из внешкольной программы для мозгов пока осталась только математика. В ней добивается второе полугодие учебника Гейдмана, все задачи подряд. Главная для него сейчас морковка -- это игра StarCraft 2, выдаётся один час за каждый пройденный без ошибок урок. И никаких следов "сдвига мотива на цель". Глаза б мои на этих зергов с протосами не смотрели, но лучше уж так, чем никак.

Жена сходила в книжный магазин (она называет его "библиотека" -- в шести минутах пешком от нашей двери находится "Молодая Гвардия"), изучила вопрос со школьными учебниками физики, долго ругалась. Потом попросила меня найти на просторах Сети какой-то совсем древний трёхтомничек, где много формул и мало картинок. Этим учебником и удовлетворилась, говорит, что до седьмого класса дитятке его хватит, а там уж какая-нибудь физматшкола пусть разбирается дальше. Уж не знаю, жалеть ли дитятку в этой связи, или радоваться за него. Тем более, что я со своим роботом еще не сдался, и на зимних каникулах он этого робота ещё хлебнёт по самое не балуйся.
* * *
Пандора.ком радует рождественскими станциями (впрочем, хануку они тоже в рождественские станции включили, и я первый день слушал именно её). Каждый день слушаю очередную версию рождества: классическое, джазовое, современное, традиционное. Собственно, Новый Год чувствуется мной пока только по этим мелодиям. Вот и сейчас симфонический оркестр играет Silver Bells, значит праздник уже скоро. Но настроение какое-то не праздничное, а... боевое.
* * *
Лента у меня забита обсуждением свободы владения оружием. А дело не столько в оружии, сколько в людях -- ружьё раз в год само ведь не стреляет, это байки и легенды. С людьми же всё сложнее. Вот текст, на который я бы обратил внимание: http://gawker.com/5968818/i-am-adam-lanzas-mother. Обсуждать нужно не столько оружие, сколько вопрос "что такое человек", "что такое животное", что такое "разумное существо" (ну и до кучи -- что такое "разумное вещество", и где границы тела человека, учитывая киборгизацию и роботизацию).
* * *
Странно, но под Новый Год совершенно не хочется никаких гаджетов. Единственное, о чём время от времени подумываю -- это об 32" 4К дисплее (http://ailev.livejournal.com/1043420.html), ибо в голове у меня почему-то моделеры, моделеры, моделеры, а они очень охочи до screen asset.
* * *
Аниме как-то весь декабрь не очень смотрится. Тем не менее, сегодня досмотрел Chuunibyou demo Koi ga Shitai! (http://anidb.net/perl-bin/animedb.pl?show=anime&aid=8883, русский вариант ). Да, я иногда и on-going тоже смотрю, не знали?
2021 год

Интеллектуальные волки таки пришли.

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

Масла в огонь, конечно, подливает аппаратура. Её прогресс в конце года продолжает поражать: ARM выпустил дизайн на проектных нормах 14нм (т.е. выполнил tape-out), включая чип ARM Cortex-A7 (http://arm.com/about/newsroom/arm-and-cadence-tape-out-first-14nm-finfet-test-chip-targeting-samsung-process.php). А Mentor Graphics уже предлагает всем желающим сдизайнить что-нибудь проприетари на 14нм самсунговской технологии (http://www.dailyfinance.com/2012/12/21/mentor-graphics-announces-comprehensive-design-ena/). Закон Мура изрядно сдал уже, но додержался до сих пор.

Тем временем, квантовые компьютеры тоже не дремлют -- они нацелились как раз на deep learning (http://www.dwavesys.com/en/apps-showcase.html). Материалы по курсам квантового компьютинга появились в Сети: http://qcb2012.wordpress.com/, лекция по квантовому компьютингу и deep learning -- http://qcb2012.wordpress.com/2012/12/06/qml-dwave/. Фотография квантового компьютера существенно напоминает фотографии мейнфреймов сорокалетней давности: эдакие шкафчики на полкомнаты, в шкафчике 128 кубит (желающие попрограммировать на Питоне для квантовых компьютеров -- вам сюда, заодно там и фото шкафчика: http://www.dwavesys.com/en/dev-portal.html). Дальше будет, как всегда: мощность шкафчиков начнёт расти без уменьшения объема, а потом появятся малогабаритные модели. Но если раньше для этого нужны были десятки лет, то сейчас будут справляться за много меньшее время.

Вслед за прогрессирующим железом нужно ожидать прогресса в языках программирования и виртуальных машинах. Там что-то начало шевелиться, не буду повторяться -- я много об этом писал. Это всё потихоньку вылезает в "большой компьютинг", вот технологический радар (сейчас октябрьский) от ThoughtWorks: http://www.thoughtworks.com/radar плюс major software development trends for 2013 от InfoQ: http://www.infoq.com/research/software-trends-2013. Но это всё ещё негусто по части интеллектуальности программирования, интент ещё не превращается в качественную программу. Сапожники пока без сапог. Но это только "пока", ибо народ начинает развлекаться: вот игра, которая "сочинена искусственным интеллектом" (ибо компьютерам нужно не только книжки и стихи писать, но и игры сочинять -- надо быть не архаично-культурным в чисто текстовой и графической культуре прошлых веков, но современно-культурным в части мультимедийной культуры!): http://www.gamesbyangelina.org/?p=248. Конечно, так себе игра, но и учили и воспитывали компьютер для её сочинения по времени несколько меньше, чем обычно воспитывают и учат талантливого игродела. Так что это всё только цветочки, ягодки ожидаются -- в академической-то тусовке попытки приспособить компьютер для программирования не прекращались никогда, а в последнее время они только усилились. Я же ожидаю очень скорого выхода в практику -- замаскировано это всё будет под "анализаторы кода", ибо вся тусовка "трансформации моделей" вокруг MDA, как мне кажется, идёт в неправильном направлении, она не снижает требования к программисту, а сурово повышает их.

Если же не требовать массово применяющихся результатов, то из базовых прорывов можно указать использование компьютеров в математике. Вот, например, дела соответствующей тусовки в материалах Conference on Intelligent Computer Mathematics (CICM 2012) -- http://www.cicm-conference.org/2012/cicm.php. Да, словосочетание math mining можно найти на этой странице, математики тут не остаются в стороне! Вот ещё с этой же страницы: "Gödel’s Incompleteness theorems tell us that there are effective limitations on the capacity of logical systems to admit reasoning about themselves. However, there are solid pragmatic reasons for wanting to try: we can benefit considerably by demonstrating that systematic patterns of reasoning (and programming, of course) are admissible".

Интеллектуальный тренд бодро меняет технологии корпоративного мейнстрима. Только-только успели привыкнуть к adaptive case management, осознать выгоды process mining, как нас начинает ждать smart process and predictive/diagnostic analytics (из августовского 2012 отчёта Forrester Research "Forrester for CIO: Smart Process Applications Fill A Big Business Gap", получить за регистрацию в http://campaigns.opentext.com/?elqPURLPage=2889 или поглядеть картинку на http://mxsmirnov.wordpress.com/2012/12/12/2012-design-by-doing-standardcase-smart-process-apps/). Намекну, о чем я буду писать через несколько дней: альфы из ESSENCE -- это ведь кейсы, весьма точно попадающие под определение кейса (отличающееся от определения case file) из тусовки non-workflow. Кажется, процессному подходу в его классическом "BPMN им.Фредерика Уинслоу Тейлора" виде таки пришёл каюк, и этот каюк более стремителен, чем его успевают переварить широкие народные массы всяческих "аналитиков". Знакомство с Ventana Research 2012 Technology Innovation Award Winners http://www.ventanaresearch.com/resources/resources.aspx?id=3519 подтверждает, что "лёд тронулся, господа айтишные заседатели".

А вот, поглядите на то, чем интересуются в Гугле: www.google.com/trends/explore#q=artificial intelligence%2C big data%2Cweb 2.0%2C%2C (грубо говоря, в конце 2012 года big data ищут даже больше, чем web 2.0, а web 2.0 усох в поисках практически до уровня artificial intelligence). Не скажу, что очередным после Web 2.0 пузырём будет именно Big Data, но deep learning будет развиваться именно под этим флагом.

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