September 5th, 2016

2019

lytdybr

Узнал сегодня, что не только у моего отрока в лицее черчение (учебник 2003 года -- http://www.booksgid.com/scientific/19189-cherchenie.html, 2003 год) в восьмом классе, но и в седьмом классе тоже черчение -- и, похоже, у семиклассников оно будет идти два года (учебник выдали ещё старше: 2000 год, http://nashol.com/2013110274320/cherchenie-7-8-klass-botvinnikov-a-d-vinogradov-v-n-vishnepolskii-i-s-2009.html). Ну, и обмен мнениями продолжается. Так, я довольно много написал сегодня разъяснений своей позиции в разных местах тут: https://www.facebook.com/shperk/posts/10157331601870153. Хоть я и пытался вчера подвести итоги в http://ailev.livejournal.com/1291971.html, тема продолжала не то чтобы тлеть -- гореть!

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

Время от времени я подхакиваю пост со списком предметов "за пределами STEM" -- http://ailev.livejournal.com/1283663.html. Вот сегодня я туда добавил ссылку на русский транскрипт речи Вольфрама про образование по математике: https://www.ted.com/talks/conrad_wolfram_teaching_kids_real_math_with_computers/transcript?language=ru

Ютьюб подкинул рекомендацию: подборка кизомбы-2016 на 2.5 часов, 4.3млн. просмотров (да, кизомба реально популярна): https://www.youtube.com/watch?v=2Q0-JHIijo8. Меня музыка кизомбы не очень впечатляет: это попса попсой. И внешне этот танец совсем не зрелищен (хотя эротичен, да). Но если понимать, что происходящее представляет собой полную импровизацию и вся эта синхронность полностью спонтанна, а не выучена -- то всё смотрится как цирковой номер. Опять же, кизомба это танец не для смотрения, а для ощущения "изнутри". Эдакая психопрактика. Впрочем, каждый танец это психопрактика, каждый правильно танцуемый танец проходит в трансе, но кизомба на этом фоне всё одно выделяется. Я, пожалуй, ещё месяцок ей позанимаюсь.

В пятницу пойду разговаривать на философский факультет МГУ, рассказывать про обучение мышлению. Месяц назад был в Институте философии, рассказывал о борьбе со сложностью (не "принятии сложности", а именно что борьбе -- сложное чтобы делать простым, а не жить в окружающей сложности). Что-то мной философы интересуются, не опопсел ли я? )))

Сегодня мне напомнили про Forth, и я заодно вспомнил про Factor (я писал про него шесть лет назад -- http://ailev.livejournal.com/833956.html). Factor оказался вполне жив, активно развивается -- http://factorcode.org/. И сайт по конкатенативным языкам тоже живой, последний апдейт первой страницы в июне: http://concatenative.org. Но, конечно, завоевать мир Factor хотя бы до такой же степени, как в какой-то момент это было с Forth не удастся. Напомню, что из свежих курьёзов -- это полностью дифференцируемая (что гарантирует обучаемость) реализация Forth на нейронных сетях: https://arxiv.org/abs/1605.06640
2019

Авто без водителя, рентген без рентгенолога: liability crisis

В 2003 году про автомобили без водителей (погрузчики без грузчиков и т.д.) и других автономных агентов я писал (http://ailev.livejournal.com/97634.html):
Есть мнение, что можно не только свалить все на принципала [речь идёт о провале в работе автономного агента -- искусственного интеллекта, например сбой автомобиля без водителя], но и попробовать нагрузить ответственностью изготовителя агента, который сделал этого агента каким-то образом разрешающим принципалу привести себя и агента к провалу (то бишь недостаточно дуракоустойчивым).

И тут же выплывает еще одна тема: какая-то реформа гражданского права (tort law) -- ибо страх перед liability заставляет производителей уходить с рынка с одной стороны, а получателями значительной части платежей по искам к производителям являются адвокаты, а вовсе не пострадавшие. Появился даже новый термин -- liability crisis (Гуголь находит его 10600раз) [сегодня -- 32тыс.раз, не так много, см. работы типа http://scholarship.law.georgetown.edu/cgi/viewcontent.cgi?article=1615&context=facpub], который сейчас раскручивается во множестве отраслей в большинстве развитых стран.

Поэтому судьба автономных агентов может оказаться не такой счастливой, какой ее видят технари, а скорость внедрения систем автономных агентов будет зависеть от скорости и методов решения liability crisis. А то производители просто не будут этих агентов выпускать -- себе дороже.

А ведь софтверщики, как всегда, впереди планеты всей. Они традиционно продают свой софт на условиях as is и ни за что не отвечают, ежели софт почему-то откажется работать. Для них никакого liability crisis не предвидится, хотя голоса за то, чтобы программы подвести под обычное оборудование, раздаются все чаще и чаще. Еще бы не раздавались -- в этом liability бизнесе такие бабки ;)

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

Вот ещё я писал про техническую безопасность и liability crisis в 2009г., "медицина и техрегулирование" -- http://ailev.livejournal.com/744802.html, основной вопрос там -- законодательное отрубание услуг с низкой стоимостью на основнании их "небезопасности" и связанные с ним проблемы.

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

Напоследок лучшая иллюстрация знаменитой trolley problem:
2019

Issue tracker без инженерного менеджера

Работа "A deep learning model for estimating story points" (http://arxiv.org/abs/1609.00489) просто восхитительна: нежить учили (и в какой-то мере научили) предсказывать трудоёмкость программистских работ по их описаниям, сделали для этого набор данных для обучения и пригласили всех желающих поработать над повышением точности предсказаний. Это только самые-самые первые шаги искусственного интеллекта в целом и глубокого обучения в частности в инженерном менеджменте.

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

Но пока можно поспекулировать на том, что в производстве софта work load тесно связан с cognitive load, и мы можем пробовать начинать работать и с управлением жизненным циклом -- разбираться с практиками на каких-то объективированных основаниях, напрягая этим компьютер, а не себя, любимых. Практика = дисциплина+технология. Работы и их трудоёмкость связаны с практиками, а в практиках с дисциплиной связана когнитивная нагрузка, cognitive load. Так что очень грубо можно пробовать вытаскивать из оценок трудоёмкости и какие-то связи с когнитивной нагрузкой для тех или иных практик.

Вот кластеризации слов (терминов дисциплин из каких-то практик), полезных для оценки трудоёмкости -- как видите, кластеры из слов, используемых в описаниях issue действительно получаются семантически осмысленными, они отражают различные практики:
issuesclusters

Конечно, в заключении статьи авторы пишут we would like to evaluate empirically the impact of our prediction system for story point estimation in practice. This would involve developing the model into a tool (e.g. a JIRA plugin) and then organising trial use in practice.

Автомобиль без водителя, рентген без рентгенолога, issue tracker без инженерного менеджера. Конечно, комментируемая работа это только первая капля из дождичка, и по факту ничего серьёзного ещё не произошло. Опубликовали сомнительные по абсолютной величине результаты, пригласили всех желающих поработать над темой, сделать лучше, если смогут. Но дождичек таких работ продолжает идти, и он затопит и инженерный менеджмент в том числе. Никто не уйдёт обиженным, догонят всех.
2019

Мои выступления в сентябре 2016

9 сентября -- философский факультет МГУ, обучение мышлению (комментарии по предметам и их выбору в "за пределами STEM-образования", http://ailev.livejournal.com/1283663.html)

10 сентября -- Тренажёр клуба одиноких мозгов сержанта Солта (с упорой на психопрактики и киберпсихику), Третий психонетический конгресс (http://psychotechnology.ru/news/programma-iii-psihoneticheskogo-kongressa)

15 сентября -- Что мы знаем о будущем, тренинг Школы системного менеджмента (http://system-school.ru/event/seminar-about-future-2016-09-15/)

16 сентября -- Интеллект-стек 2016, ICBDA'16 (бывшая BigData -- http://icbda2016.org/)

18 сентября -- системный менеджмент и стратегирование, тренинг Школы системного менеджмента (день первый из шести: "Как найти свою систему среди чужих", http://system-school.ru/event/trening-v1-kak-nayti-svoyu-sistemu-sredi-tchuzhih-2016-09-18/)

26-27 сентября -- системноинженерное мышление, старт семестрового курса в СФУ (Красноярск)