?

Log in

No account? Create an account
Лабораторный журнал -- Day [entries|friends|calendar]
Anatoly Levenchuk

[ website | Лабораторный журнал ]
[ userinfo | livejournal userinfo ]
[ calendar | livejournal calendar ]

Роботы уволены! Да здравствуют роботы! [02 Mar 2016|08:59pm]
Поглядите, как начинает отрасли механообработки колбасить: в Германии прямо в разгар выполнения программы Industrie 4.0 в концерне Mercedes принимается решение освободиться от промышленных манипуляторов -- http://www.bloomberg.com/news/articles/2016-02-25/why-mercedes-is-halting-robots-reign-on-the-production-line. Видите ли, они недостаточно быстро перепрограммируемые -- работники в плане перепрограммирования-переобучения (а не собственно в плане работы-труда!) оказываются дешевле.

Это означает, что спрос на тупые программируемые железяки резко падает – производство становится слишком гибким для трудноперестраиваемых станков, и покупать будут только intellect-intensive, легко обучаемые и более-менее автономные (т.е. не жёсткомонтируемые на фундаменте). Хотя, понятно, механообработка всё одно остаётся, и без станочков-роботов тут никуда. Но вот манипуляторы тут будут тормозить, программы для них прямо из САПР (в отличие от станочков) не выгрузишь.

Опять же, цель запуска 30 новых моделей автомобилей за 4 последующих года у Mercedes – это ведь тоже всё больше роботы выпускаются, а не автомобили! Там от прежних автомобилей уже рожки да ножки (точнее, панцирь) остаются, всё в этом "автомобиле" напичкано всевозрастающим интеллектом по самое не балуйся – и весь этот интеллект, увенчанный на верхушке автопилотом, выходит в конечном итоге на механику и энергетику.

Ах, в какое время мы живём! Это ж какие рынки вот так пачками закрываются, и какие рынки такими же пачками открываются!
21 comments|post comment

Дифференцируемая машина Тьюринга [02 Mar 2016|10:07pm]
В Новосибирске есть маленькая философская секта, которая считает, что "настоящий интеллект" не живёт на машине Тьюринга, ибо она дискретна. А мир не дискретен, он непрерывен. Следовательно, отразить эту непрерывность бытия в дискретных вычислениях нельзя -- и интеллект-на-тьюринге всегда будет недостаточен, уступать "настоящему" (тёплому ламповому) аналоговому интеллекту.

Я считаю, что есть множество контраргументов, и квантованность физического мира тут даже не самый главный. Моделирование вполне непрерывных физических явлений (скажем, турбулентности в расчётах сложных течений) на машине с GPU и 64-битными плавающими тут аргумент сильно получше.

Но мы подошли к интересному моменту, когда пришли нормальные алгебраисты и сделали непрерывную (дифференцируемую!) машину Тьюринга, "Машина Тьюринга с доступом Ли" -- http://arxiv.org/abs/1602.08671. А поскольку эта машина полностью (end-to-end) дифференцируема, то её начали учить (а не программировать!). Например, научили складывать k-значные числа: показали, как это делать для чисел с k больше двух, но меньше 16, но машина обобщила это знание аж до 32-значных чисел!

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

Но оцените, как это звучит сегодня:
we present a new design of an external memory, wherein memories are stored in an Euclidean key space Rn. An LSTM controller performs read and write via specialized structures called read and write heads, following the design of Neural Turing Machine. It can move a head by either providing a new address in the key space (aka random access) or moving from its previous position via a Lie group action (aka Lie access). In this way, the "L" and "R" instructions of a traditional Turing Machine is generalized to arbitrary elements of a fixed Lie group action. For this reason, we name this new model the Lie Access Neural Turing Machine, or LANTM.
Напомню:
-- машина Тьюринга была предложена Аланом Тьюрингом в 1936 году
-- первый ламповый компьютер ENIAC был запущен в 1946 году
-- первый компилятор "большого" языка (фортран, до этого были только ассемблеры) вышел в 1957 году, хотя задумывался аж с 1954

С нейронными компьютерами, думаю, всё будет побыстрее. Ибо не в первый раз, уже многое известно, и мы даже уже знаем про будущую победу маркетинга над здравым смыслом в этих машинах!
11 comments|post comment

lytdybr [02 Mar 2016|11:48pm]
Вчера был последний день отправки решений вступительных задач в заочную физматшколу МФТИ. Успели, как раз вчера и отправили. На сегодняшний день математика у отрока на уровне девятого класса без тригонометрии (где-то без одной четверти), а физика на уровне восьмого класса без термодинамики (тоже где-то без одной четверти). Так что к концу учебного года у него математика по плану будет пройдена где-то на уровне физматшколы за девятый класс, а физика за восьмой. Опять же, "пройдена" -- это если Его Величество вдруг решит, что задачу нужно решать (например, чтобы получить лишний час игры в очередную простейшую стрелялку). Если же он решит, что задачу решать не нужно, то его не отличить от любого двоечника -- и эти забастовки могут длиться и пару дней. Но потом таки не выдерживает, и решает подряд пяток труднейших задач, тратя по пять минут на каждую.

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

Неожиданно выяснилось, что хорошо выучить физике в разы трудней, чем математике в силу недостатка книжек. Ибо общепринятый Кирик совсем уж школьный, а дальше идёт сразу вузовский Ландсберг. Нужно же что-то промежуточное, физматшкольное. Отсюда и попытки вписаться во все заочные школы, ибо это источники редких учебников-задачников. Во всех злачных местах с физматшкольными учебниками STEM оказалось, что книжек по математике к книжкам по физике примерно 10:1, физика в методическом загоне! Поэтому для нормального тренинга отрока по физике у жены открылся период охоты за задачниками-учебниками по физике.

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

Алгоритмика тем самым сдвигается на лето, на неё времени пока нет и не предвидится. Но во всех последних олимпиадах и экзаменах попадаются блоки задач по алгоритмике. Удивительно, но запаса знаний от прохождения первых 8 занятий курса Кириенко на Питоне уверенно хватает для решения всех этих задач.
40 comments|post comment

navigation
[ viewing | March 2nd, 2016 ]
[ go | previous day|next day ]