Anatoly Levenchuk (ailev) wrote,
Anatoly Levenchuk
ailev

Categories:

Фрайди найт

vit_r опять сделал коммент с очень точным наблюдением (http://ailev.livejournal.com/667930.html?thread=5693210#t5693210): "чем больше формализация, тем меньше люди обращают внимание на смысл". И ведь это крайне точно, замечал много раз: чем больше формализация, чем больше математики, тем мощнее решения и тем меньше вероятность доведения решений до какой-то практики. maksimotstavnov как-то заметил мне, что раньше считал объективных идеалистов не существующими в природе. А потом понял: неуемные формализаторы как раз и есть эти объективные идеалисты -- они свои идеальные построения считают связанными с реальностью (имеющими смысл) уже в силу того, что эти идеальные построения сделаны. То, что такие построения (даже очень сложные, даже очень красивые) могут быть бессмысленными по отношению к практике, этим людям в голову не приходит.

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

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

Те, кто защищает традиционную систему "однобуквенной математики", похожи для меня на защитников программирования в машинных кодах по сравнению с ассемблером, где основное различие -- введение символических имен.

Самые интересные формализмы -- это отсекающие несущественное (иначе -- не формализм), но затем автообращающие внимание на смысл, заставляющие думать не только о том, что тебе сказали, но и зачем сказали, и что из этого следует. Не только лестница в теоретическое небо, но и гарантии возврата на практическую землю.
* * *
Огромное спасибо vit_r за наводку на стандарт обмена требованиями (Requirements Interchange Format, RIF), который был инициирован автостроителями еще в 1999г. и ныне используется во многих системах требовательного инжиниринга -- http://www.prostep.org/fileadmin/freie_downloads/Empfehlungen-Standards/ProSTEP_iViP/PSI6_RIF_1.2_Mapping-Table.pdf

А вот про интеграцию RIF и SysML -- http://www.omg.org/docs/syseng/08-06-07.pdf

Дальше можно было бы обсудить этот тренд: Modelica пытается интегрироваться в SysML, RIF пытается интегрироваться в SysML, все DSL пытаются интегрироваться в SysML -- почему мне так не нравится этот джаггернаут? Почему мне не хочется вскочить на подножку этого моднейшего поезда, почему мне кажется, что этот поезд полным ходом несется в тупик? Ведь успех UML абсолютно очевиден, SysML не менее успешен, но почему мне кажется, что это не лучший способ интегрировать различные группы описаний?

Мне почему-то кажется, что Священный Грааль объединения самых разных DSL лежит там, где изучают эти DSL. Ну, и там, где делают инструментарий для ISO 42010 (про архитектурные описания). Вот взялся бы кто-нибудь на эти темки рефератик написать, а потом доложился бы на каком-нибудь собрании российской группы INCOSE (думаю, что до официальной регистрации отделения-chapter можно именоваться группой).
* * *
Месяц назад я написал "неожиданно быстро может появиться новое поколение хардвера на вероятностной логике" (http://ailev.livejournal.com/660537.html), и вот оно -- первым устройством на вероятностной логике будет грифельная доска (тачскрин со стилусом) на солнечных батарейках, которая сможет учить деток математике сама, без учителя -- концепция learning by doing (http://www.media.rice.edu/media/NewsBot.asp?MODE=VIEW&ID=12267&SnID=2). Не сотовые телефоны, не криптография, как было ранее объявлено, а учебные эээ... пособия.

Солнечных батареек будет хватать потому, что вероятностные чипы потребляют в тридцать раз меньше электричества и работают в семь раз быстрее, чем сегодняшние лучшие технологии (http://www.rice.edu/nationalmedia/news2009-02-08-pcmos.shtml).
* * *
Тем временем OLPC объявляет о возможном переходе на ARM для новенького XO-2 (http://www.pcworld.com/article/161112/olpc_set_to_dump_x86_for_arm_chips_in_xo2.html) -- прощай, x86. Ключевой вопрос все тот же: потребление энергии. Ну, и свободный дизайн хардвера XO-2 опять подтвержден -- с ARM это еще более интересно, ибо для ARM есть много конкурирующих производителей.
* * *
С батарейками тоже начинают разбираться -- нашли способ зарядки обычных аккумуляторов за секунды вместо десятков минут: http://web.mit.edu/newsoffice/2009/battery-material-0311.html. Обещают коммерциализировать за пару лет.
* * *
Но гонка за самый дешевый (т.е. самый медленный и убогий) учебный компьютер продолжается: вот еще один проект на процессоре 6502 (дико успешный проект 1975г. -- http://en.wikipedia.org/wiki/MOS_Technology_6502 -- я и не знал, что он продолжает выпускаться тридцать лет спустя, до сих пор!): http://techon.nikkeibp.co.jp/english/NEWS_EN/20090312/167076/. Этот компьютер должен подключаться к телевизору, производится он в Китае и стоит как раз $10 -- он сделан по образу и подобию старинной игровой консоли NES (Nintendo Entertainment System). Эта "игровая консоль" и планируется к начинке учебным софтом для развивающихся стран.
* * *
Качественную графику будут считать в 20 раз быстрее: один из стартапов, наконец, выпустил графический ускоритель трассировки лучей: http://www.caustic.com/caustic-rt_intro.php
* * *
Так и представляю себе, как начинают комплексировать все эти технологии через пару лет -- графический ускоритель, который пересаживают на вероятностную логику и засовывают в похожую на XO-2 машинку, в которой есть мощная мгновенно перезаряжаемая батарея...
* * *
Книжка про машинную этику Moral Machines -- http://book.pdfchm.net/Moral-Machines-Teaching-Robots-Right-from-Wrong/9780195374049/ (не забывайте регистрироваться на этом сайте!).
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 174 comments