[06 Sep 2010|07:30pm] algebraic_brain Я этого не знал! Только сегодня с грустью думал, что разучился удивляться, а вот и нет! Собственно, это ответ на один из вопросов, с которых начинался мой дилетантский журнал (а ему скоро пять лет). Оказывается, компактное топологическое пространство - это просто модуль над монадой взятия множества ультрафильтров на множестве. Эта запись Виктора Петрова примечательна для меня еще и тем, что очень остроумно характеризует особенности моих мозгов: Инопланетяне ... владеют теорией категорий, но абсолютно не обладают интуицией непрерывного. Можно, конечно, было бы воспользоваться двойственностью Гельфанда, которая говорит, что компактные пространства двойственны C^*-алгебрам, но, к сожалению инопланетяне плохо понимают, что такое вещественные числа: для них это очень сложный абстрактный объект. post comment

Germany Extending Some Nuclear Plants by Eight Years and Others by Fourteen Years [06 Sep 2010|08:23am] nextbigfuture http://feedproxy.google.com/~r/blogspot/advancednano/~3/NW1B6wW-6HY/germany-extending-some-nuclear-plants.html Ad Support : Nano Technology   Netbook    Technology News    Computer Software No German reactor are now be expected to shut before 2016. The next five pre-1980 reactors could close by 2020. Eleven further units will get 14 more years, with the last to operate being Neckarwestheim 2 - due for closure in 2036. T here will be a tax of €145 ($186) per gram of nuclear fuel, which works out at around €2.3 billion ($2.9 billion) per year. This will be paid into Germany's central budget for six years to aid austerity measures. It is seen as notionally supporting the costs of radioactive waste management work at Asse. German nuclear utilities will also be called upon to make annual payments of €300 million ($386 million) in 2011 and 2012 to support renewable development, with this lowering to €200 million ($257 million) for the period to 2016. Beyond that, there is to be a tax on every megawatt-hour of nuclear energy produced that will be placed in a 'renewable fund'. Sources said this would be less than the tax on nuclear fuel. If you liked this article, please give it a quick review on Reddit, or StumbleUpon. Thanks Supporting Advertising Business Success    How to Make Money     Executive Jobs     Paid Surveys Thank You post comment

Ага, вот это уже что-то [06 Sep 2010|07:08pm] zt Москва. 6 сентября. ИНТЕРФАКС - В России должен быть создан единый следственный комитет, заявил глава Следственного комитета при прокуратуре РФ (СКП) Александр Бастрыкин. 3 comments|post comment

Мозги, мозги... Ноги! (Было:Крылья, крылья... Ноги!) [06 Sep 2010|06:17pm] lern21 Знакомое школьное руководство сказало, что добавленный министерством дополнительный час по физкультуре велено изыскать за счет часов по основным предметам : математики, физики, химии, русского и т.д. Некоторые новости хочется отмотать назад и "неуслышать". Известно, что физика, математика, химия уже усохли в школе за время реформ (физика,говорят, в три раза). А тут еще просят потесниться. Я так думаю, что здоровье детишек больше прибавит от чистой воды, чистого воздуха, полноценного питания, хорошего летнего отдыха, здравоохранения, нормальных бытовых условий, без насилия, наркоты и пива. Чем от дополнительного часа физкультуры. А вот недоразвитые мозги в 21 веке ни чем не компенсируешь. Конечно,если считать, что ребята готовятся стоять в охране супермаркетов, а девочки к танцам вокруг шеста - то все верно, но не уверен, что они об этом мечтают. С другой стороны,те, кого наше образование не устраивает, могут отравить детишек на учебу в Англию. Тоже вариант. post comment

Сравнение с "ничем" [06 Sep 2010|05:03pm] maximkr по мотивам http://slon.ru/blogs/sgodin/post/457995/ Как думаете - актуально ? post comment

Напоминалка: открытый урок в Танцландии завтра в 19:30 [06 Sep 2010|04:59pm] meatreach Во вторник 7 сентября в 19:30 мы проводим Открытый урок для всех желающих научиться танцевать бальные танцы или просто посмотреть, как это выглядит со стороны. Руководители студии Танцландия, Чемпионы России по европейской шоу программе Иван Крылов и Наталия Смирнова расскажут, покажут и научат вас основам бального танца. На занятии: - Вы увидите, что такое бальные танцы. И что такое обучение бальным танцам. Чего танцы требуют (а чего не требуют) от обучающихся. Например, вопреки расхожему мнению, врожденные гениальные танцевальные способности не требуются ни от кого :) - Вы научитесь слушать музыку и чувствовать ритм в танце, научитесь музыкально двигаться. - Выучите базовые шаги и фигуры и станцуете 1 или 2 танца. - Вы научитесь чувствовать себя легко и раскованно в любой танцевальной среде. И, самое главное, вы убедитесь, что с легкостью можете научиться красиво танцевать. Будет красиво, интересно и зажигательно! Занятие бесплатное при предъявлении флаера. Мы ждем вас! post comment

Мегафон», «Протей» и Мальвин», также как Narus и Verint или эриксон и Siemens ... [06 Sep 2010|11:41am] ailevinblogs http://mobilaxus.ru/post_257.html http://ostrovok.livejournal.com/263582.html 6). В 1998 году известный либеральный экономист Анатолий Левенчук, главный организатор кампании против СОРМ, написал статью «Молчание провайдеров», где объяснял их пассивность «экономической малостью» и «политической невлиятельностью». post comment

На хера мне все это нужно? [06 Sep 2010|03:34pm] kapterev Simplicity is overrated, «Простота переоценена» — так называется статья психолога Дона Нормана. Человек это довольно известный, я читал когда-то его книжку про эмоциональный дизайн, но это не важно. Важно, что это человек, у которого есть мысль. Мысль заключается в том, что люди на самом деле не хотят простоты в вещах. Они хотят платить деньги за фичи. Они хотят ощущения контроля. Они хотят вещей, которые делают больше разных штук. Они хотят вещей, которые выглядят сложно, чтобы другие люди думали — вау, какая сложная штука, наверное ее владелец действительно что-то понимает в музыке... приготовлении кофе, хранении продуктов, компьютерах, стирке белья... Ок, последнего там не было написано. Последняя мысль — моя. Но она очень логично продолжает то, что пишет Норман. Он называет это словом «статус», я называю это словом «самообман». Люди хотят казаться другим — и, главное, самим себе (!) — больше, умнее, богаче, интересенее чем они есть. Или, точнее, чем они сами себя искренне считают. Это... нормально. Все так делают. В большей или меньшей степени. Я так делаю. Впечатление, которое я стараюсь произвести — на себя же самого! — с помощью этого блога намного лучше, чем то, которое у меня фактически о себе есть. Вам может не видно, а мне... На самом деле я сижу сейчас на кухне, потому что в другой комнате ремонт, и смотрю сериал Breaking Bad, потому что мне не хочется ничем другим заниматься. И у меня так плохо с концентрацией, что я даже на сериале не могу сосредоточиться. Я пишу этот пост, потому что это лучшая форма прокрастинации, которая приходит мне в голову. Это правда. Статус — это не когда я строю из себя влиятельного блоггера перед вами. Статус — это когда я делаю это перед самим собой. Когда я читал статью Нормана, я почему-то подумал про свой усилитель, который я купил лет 6-7 назад. Я смотрю на него и думаю: господи, зачем мне все это? Сколько из этих кнопок я хоть раз в жизни нажал? Конечно, если мне придется сейчас покупать усилитель, я куплю что-нибудь попроще. Но тогда — о чем я вообще думал? Как было принято это решение? Вот что я бы купил сейчас. Да, я знаю, что это намного дороже и производит еще менее адекватное впечатние. Но надеюсь, покупать все это не придется. Очень не хочется снова во всем этом разбираться.  Думал ли я, когда покупал этот усилитель, что хочу произвести впечатление на кого-то? Да нет, конечно. Я на самом деле считал, что все эти кнопки должны быть. Почему? Да просто так было положено. По-другому было невозможно в том мире. Кнопок должно быть много. Так же, думаю, и у остальных людей. Они не думают все время о собственном имидже. Это ж свихнуться можно. Ок, может быть кто-то делает это более осознанно, но у меня это как-то само собой происходит. Я поддерживаю свой имидж автоматически. По крайней мере до тех пор, пока я не замечаю, что я и мой имидж — это разные люди. В этот момент у меня есть выбор. Совсем не иметь имиджа — трудно. Это если только отшельничать уйти. К этому я не призываю, и какой-то имидж мне иметь придется. Дешевле (в всех смыслах) иметь имидж, который правдив. Не надо ничего выдумывать и затраты на поддержание — минимальны. Поэтому рано или поздно придется покупать усилитель с тем количеством кнопок, которым я реально пользуюсь. Или отказаться от усилителя вовсе, какой из меня аудиофил... Видели бы вы, какой кабель идет к моему усилителю и в каком битрэйте большинство музыки, которую я слушаю.  Я не знаю, какой из всего этого вывод. Прав ли Норман? Почему вообще меня зацепила эта дискуссия? Я что, против сложности? Да нет. Фразу «на хера мне все это нужно?» в жизни приходится слышать очень часто и самое главное — это тон голоса, с которым эта фраза произносится. Если в нем слышится ирония и усмешка — это лучше, чем если в нем есть агрессия и наезд. Если по тону я слышу «я понял, что мне это не нужно» — меня это радует. Если «я не понимаю, зачем мне это впаривают» — расстраиваюсь. Почему расстраиваюсь? Наверное, потому что сам часто не понимаю, на хера мне все это нужно. Других гипотез у меня нет. Буду почаще задавать себе этот вопрос. Хороший вопрос. 14 comments|post comment

Gearbox will Finish and Ship Duke Nukem Forever in 2011 - Really [06 Sep 2010|12:05am] nextbigfuture http://feedproxy.google.com/~r/blogspot/advancednano/~3/1UN-UwfB7FE/gearbox-will-finish-and-ship-duke-nukem.html Ad Support : Nano Technology   Netbook    Technology News    Computer Software Borderlands developer Gearbox Software confirmed it is in the "polishing phase" of development of the near-mythical Duke Nukem Forever. The story of how Gearbox got the rights to Duke Nukem is here If you liked this article, please give it a quick review on Reddit, or StumbleUpon. Thanks Supporting Advertising Business Success    How to Make Money     Executive Jobs    Paid Surveys Thank You post comment

Eric Drexler, Ralph Merkle or Robert Freitas Are not to Blame When Billions spent on Ordinary Chemis [05 Sep 2010|11:33pm] nextbigfuture http://feedproxy.google.com/~r/blogspot/advancednano/~3/FC7l2C5QtQ4/eric-drexler-ralph-merkle-or-robert.html Ad Support : Nano Technology   Netbook    Technology News    Computer Software Again there are people complaining that the vision of Eric Drexler was not realized after 25 years since he wrote Engines of Creation and other research papers on molecular nanotechnology. However, almost no money was spent funding the research and development of molecular nanotechnology. Significant amounts of money were devoted to mostly relabeled chemistry starting in November, 2003. This is what went down in 2003 Drexler presented his theories to Congress in 1992. He testified before the Senate Subcommittee on Science, Technology, and Space during a hearing about "new technologies for a sustainable world." Subcommittee chair Al Gore declared his enthusiasm and vowed to fund exploratory research. Under attack from all sides, Drexler was nonetheless poised for victory in Washington. After years of lobbying by the Foresight Institute, in May 2003 the House passed the Nanotechnology Research and Development Act by a lopsided vote of 405 to 19. The bill contained a provision - written by California representative Brad Sherman, a Drexler supporter who had spoken at Foresight's annual conference the previous year - calling for a study to "develop, insofar as possible, a consensus on whether molecular manufacturing is technically feasible." If the technology was deemed feasible, the study would find "the estimated time frame in which molecular manufacturing may be possible on a commercial scale; and recommendations for a research agenda necessary to achieve this result." With this language, Congress was on the verge of making Drexler's dream a reality. But by November - five months later - the provision had vanished from the legislation. What turned the tide on Capitol Hill? Drexler's ideas had always been outlandish and his political skills underdeveloped. That combination became an Achilles' heel as opposition emerged from two quarters. First, a group called the NanoBusiness Alliance entered the fray. Formed in October 2001, the alliance wasn't interested in anything as starry-eyed or scary as self-replicating molecular assemblers; it wanted to sell newfangled products like "nanotech" suntan lotion, ski wax, and paint. One of the founders, venture capitalist F. Mark Modzelewski, was a notorious opponent of Drexlerian notions; in a later email exchange with blogger and nanotech booster Glenn Reynolds, he likened Drexler's theories to "a wino's claims on skid row that bugs are crawling under his skin." Meanwhile, support for Drexler's ideas softened elsewhere in Washington. The White House's Office of Science and Technology Policy worried that fears whipped up by the likes of Crichton and Joy would turn the public against nanotech, just as similar scares had fueled opposition to GM foods and nuclear power. As New Hampshire's John Sununu remarked on the Senate floor, "some people have expressed concern that nanotechnology will lead to a superrace of humans or a situation where nanomachines attack or even dominate human beings." Molecular manufacturing is a "loaded term," a Senate staffer says. "It upsets a lot of people." The sponsors of the House bill were more interested in making sure it got through the Senate than they were in preserving funding for Drexler's ideas. Thus, when House and Senate staff members met to discuss their respective bills, they scuttled the molecular manufacturing study. In the Senate version, Arizona's John McCain introduced an "amendment in the nature of a substitute" in which the provision no longer appeared. The watered-down bill was passed by the unanimous consent of the Senate on November 18 and signed into law by Bush on December 3. During the ceremony, Richard Smalley stood at the president's side So if Scott Locklin is disappointed that there has not been the development of molecular nanotechnology, then perhaps he should blame the NanoBusiness Alliance and Richard Smalley, because almost no effort was made to fund anything like molecular nanotechnology. Molecular nanotechnology was explicitly excluded from funding. So if the world bought a future nanotech - it was the nanotech of stuff smaller than 100 nanometers and the money was guided to Rice University and other Universities with Chemistry and Microbiology departments that got the grants and organizations linked to the Nanobusiness Alliance. Eric Drexler wrote the first molecular nanotechnology books and told people to fund something else. The politicians and businesses mostly did not listen or do what he told them or the projects of Ralph Merkle and Robert Freitas. So 25 years after Eric Drexlers - Engines of Creation we do not have molecular nanotechnology. Is this surprising ? For the first 18 years almost nothing was spent to develop nanotechnology. Then when the billions of dollars government and business research start getting funded around the world, the projects picked were chemistry relabeled. Now Locklin notices that what we have gotten is Chemistry that is labeled Nanotechnology. Right it was what was funded. We did not get molecular nanotechnology, because we did not fund it or the people advocating it. We did not get much progress toward that which we did not fund. The progress that has been made was because of some spillover from funding something else. It is like complaining that you spend a hundred billion dollars on chemical launch space shuttles and did not get a nuclear powered rocket. Thats right you not pay or try to build a nuclear powered rocket do you did not end up with a nuclear powered rocket. You got a chemical launch system like the one in the plans that were green lighted for development. I can go over all the specific projects and successes that are bringing molecular nanotechnology and atomically precise manufacturing closer to realization but it is less than one percent of the money and projects under government and business programs called Nanotechnology. However, the main issue is that it is completely idiotic to blame Eric Drexler, Ralph Merkle and Robert Freitas when we did not pay or work towards the goals and projects that they were advocating. If you liked this article, please give it a quick review on Reddit, or StumbleUpon. Thanks Supporting Advertising Business Success    How to Make Money     Executive Jobs     Paid Surveys Thank You post comment

"Государство берет бремя на свои плечи" [06 Sep 2010|11:51am] alex_k "и это правильно" http://osmar92.livejournal.com/655626.html?mode=reply P.S. просто из-за выражения в заголовке постинга 2 comments|post comment

Ключевой навык [06 Sep 2010|12:24pm] differ Сижу, изучаю на хедхантаре резюме кандидатов на должность нач отдела и маркетинга в новый стартап (www.adoffer.ru). Читаю в разделе "Ключевые навыки" Состою в партии "Единая Россия". 2 comments|post comment

Вики такая вики [06 Sep 2010|09:11am] vvagr http://ru.wikipedia.org/wiki/%D0%98%D0%BD%D1%84%D0%BB%D1%8F%D1%86%D0%B8%D1%8F Обычно инфляция усиливается в условиях динамически развивающейся экономики. Но список литературы открывают Сапов и Кизилов. post comment

Neutron Rich Matter [05 Sep 2010|08:22am] nextbigfuture http://feedproxy.google.com/~r/blogspot/advancednano/~3/rg8G67ij0r0/neutron-rich-matter.html Ad Support : Nano Technology   Netbook    Technology News    Computer Software Arxiv - Neutron rich matter, neutron stars, and their crusts (10 age pdf) (H/t Adam Crowl Neutron rich matter is at the heart of many fundamental questions in Nuclear Physics and Astrophysics. What are the high density phases of QCD? Where did the chemical elements come from? What is the structure of many compact and energetic objects in the heavens, and what determines their electromagnetic, neutrino, and gravitational-wave radiations? Moreover, neutron rich matter is being studied with an extraordinary variety of new tools such as Facility for Rare Isotope Beams (FRIB) and the Laser Interferometer Gravitational Wave Observatory (LIGO). We describe the Lead Radius Experiment (PREX) that is using parity violation to measure the neutron radius in 208Pb. This has important implications for neutron stars and their crusts. Using large scale molecular dynamics, we model the formation of solids in both white dwarfs and neutron stars. We nd neutron star crust to be the strongest material known, some 10 billion times stronger than steel. It can support mountains on rotating neutron stars large enough to generate detectable gravitational waves. Finally, we describe a new equation of state for supernova and neutron star merger simulations based on the Virial expansion at low densities, and large scale relativistic mean eld calculations. There is a very interesting relationship between the neutron radius of 208Pb, of order 6 femtometers, and the radius of a neutron star, of order 10 km. This involves a breathtaking extrapolation of 18 orders of magnitude in size, or 55 orders of magnitude in mass. How large can a neutron star mountain be before it collapses under the extreme gravity? This depends on the strength of the crust. We performed large scale Molecular Dynamic simulations of crust breaking, where a sample was strained by moving top and bottom layers of frozen ions in opposite directions. These simulations involve up to 12 million ions and explore the e ffects of defects, impurities, and grain boundaries on the breaking stress. For example, in Fig. 2 we show a polycrystalline sample involving 12 million ions. In the upper right panel the initial system is shown, with the diff erent colors indicating the eight original microcrystals that make up the sample. The other panels are labeled with the strain, i.e. fractional deformation, of the system. The red color indicates distortion of the body centered cubic crystal lattice. The system starts to break along grain boundaries. However the large pressure holds the microcrystals together and the system does not fail until large regions are deformed. If you liked this article, please give it a quick review on Reddit, or StumbleUpon. Thanks Supporting Advertising Business Success    How to Make Money     Executive Jobs    Paid Surveys Thank You post comment

Quantum computing - separating hope from hype [05 Sep 2010|08:09am] nextbigfuture http://feedproxy.google.com/~r/blogspot/advancednano/~3/qo7-ZHmYI5s/quantum-computing-separating-hope-from.html Ad Support : Nano Technology   Netbook    Technology News    Computer Software ‘Quantum Computing: Separating Hope from Hype’ Saturday 4th September, 10am PST The talk will explain why quantum computers are useful, and also dispel some of the myths about what they can and cannot do. It will address some of the practical ways in which we can build quantum computers and give realistic timescales for how far away commercially useful systems might be. Dr Suzanne Gildert is currently working as an Experimental Physicist at D-Wave Systems, Inc. She is involved in the design and testing of large scale superconducting processors for Quantum Computing Applications. Suzanne obtained her PhD and MSci degree from The University of Birmingham UK, focusing on the areas of experimental quantum device physics and superconductivity. The video of the talk is 2 hours and 13 minutes long. The first 4 minutes are getting organized, then 90 minutes of talk and then 43 minutes of discussion. This seminar will explain the fundamental concepts of the Quantum Computer (QC) and how these systems might be able to perform certain tasks that classical computers find incredibly difficult. The different models of quantum computing will be introduced and the advantages and disadvantages of each described. A promising model known as Adiabatic Quantum Computing (AQC) will be discussed, an approach which can be applied to some very interesting problems in a wide variety of fields: Biology, microprocessor design, pharmaceuticals, economics, transport, chemistry and business. The talk will also examine some case studies of industrial applications in these fields where QC may be extremely useful. There will be a review of some of the experimental challenges involved in building QCs, and a focus on a particularly promising version known as the ‘superconducting flux qubit processor’. The devices involved in this type of QC are fabricated using a process similar to semiconductor technology, but using Niobium and Aluminum rather than Silicon as the device materials. There will be a brief overview of the physics which causes these devices to demonstrate ‘macroscopic quantum coherence’- an effect which allows us to scale up quantum effects to a size where we can manipulate them easily, and why the devices must be cooled to millikelvin temperatures for them to work properly. The power of quantum computing is often skewed by the media, with quantum computers being hailed as ‘futuristic’ replacements for desktop machines, whereas the reality is that they are very specialized machines, and therefore more like fast co-processors. The talk will therefore also describe the limitations of quantum computers, both in theory and in terms of what can be practically built . If you liked this article, please give it a quick review on Reddit, or StumbleUpon. Thanks Supporting Advertising Business Success    How to Make Money     Executive Jobs    Paid Surveys Thank You post comment

О чекистском заговоре против России [05 Sep 2010|11:46pm] vvagr http://felshtinsky.livejournal.com/10477.html#comments 8 comments|post comment

Систединг [05 Sep 2010|10:14pm] vvagr The Seasteading Institute ищет океанографа на временный контракт. Ищет в США, но готов рассмотреть удалённую работу. Интересно было бы заполнить вакансию русским человеком... 2 comments|post comment

Яндекс.Почта Меню-2010 [05 Sep 2010|09:37pm] kukutz интернет-тоторо поделился ссылкой Яндекс.Почта Меню-2010 ОБОЖЕ! КТО ЭТО ДОПУСТИЛ! это же чудесная страничка Сван похвалил маркетинг! ОБОЖЕ! оригинал и комментарии на Я.ру rss2lj 14 comments|post comment

Понемногу обо всем (18) собачий моделист [06 Sep 2010|12:21am] metapractice [metanymous] http://community.livejournal.com/metapractice/228209.html В передаче "Планета животных" уже какое-то время наблюдаю интересного специалиста Цезаря Миллано: Dog Whisperer with Cesar Millan http://www.cesarsway.com/ Переводчик с собачьего http://rutracker.org/forum/viewtopic.php?t=3066855 Рекомендую метапрактиками смотреть его передачи. Чем блестяще владеет/демонстрирует/учит в отношении собак и людей Цезарь? Правилами управления двумя важными альтернативными состояниями: "контроль-подчинение". Стоп-сигналами. Поведенческими интерфейсами. Аптаймом. И много чем еще. Из-за этого разнообразия даже затруднительно найти с каким постоянным разделом совместить обсуждение его работы. 14 comments|post comment

Редакторы классов (редакторы справочных данных) для ISO 15926: текущая ситуация [05 Sep 2010|08:17pm] dot15926 [ailev] Мы (я чуть меньше, vvagr чуть больше) продолжали знакомиться пару последних недель с текущей ситуацией по софту для ISO 15926. Бессвязные тезисы, чтобы не забыть и хоть как-то зафиксировать: 1. Стандартом реализации ISO 15926 по факту становится iRING/SOA, который уже наличествует в версии второй (http://community.livejournal.com/dot15926/5533.html), но глюкав до невозможности -- с ним нельзя работать. Так что вероятное развитие событий -- это построение language workbench, который компилирует разные DSL в язык части второй, опираясь в этой компиляции на иерархию RDL из iRING (sandboxes). Этот language workbench должен позволять: 2. Описывать/реализовывать "редактор-компилятор" (IDE) очередного DSL (работа времени метамоделирования) в виде специализированного для удобной работы предметного эксперта (электрика, разработчика методов, инженера-механика и т.д.) САПР. Т.е. language workbench 15926L должен включать: а) редактор справочных данных aka редактор классов aka компилятор шаблонов в язык части второй: разработка языковой части, т.е. набора выражающих понятия и отношения предметной области шаблонов с укладыванием результата (этих новых шаблонов) в RDL нужного уровня. Пользователь: онтолог, который знает язык части 2, таксономию части 4, интерфейс редактора классов данной language workbench, а также хорошо знаком с предметной областью (что сразу настораживает, но не факт, что незнакомый с предметной областью онтолог сможет запрограммировать что-нибудь дельное, опираясь только на интервьюирование предметного эксперта). б) генератор интерфейса САПР, в котором для разработанного на предыдущем шаге набора шаблонов описывается нотация, или даже ряда нотаций для этих шаблонов На выходе -- САПР какой-то предметной области ("настроенный на предметную область language workbench"). Пользователь: юзабилист. Пользователь итогового САПР: предметный эксперт. 3. По пункту 2а всё плохо не только в некоммерческом, но и коммерческом секторе. На сегодня у поставщиков САПР нормальных редакторов классов, которые позволяли бы моделировать не-гениям, нет (и, похоже, не предвидится). Ситуация как со строчными редакторами времен начала программирования: долго-долго кликаешь для навигации к тому месту, где нужно было бы поправить какое-то значение, потом поправляешь -- но безо всяких контролей, подсказок, предложений по автозавершению и т.д. По сути, "редактор базы данных со сложной схемой", который ничего про саму схему не знает, да и про базу данных тоже. Из "специализированного инструментария" -- разворачивалки шаблонов, но сами шаблоны реализованы до крайности примитивно и редактор про них практически не знает. Редактировать приходится чуть ли не в терминах триплов. Имеющиеся гении-модельеры-первопроходцы используют для разработки шаблонов PowerPoint (это спрашивалось специально), в котором и рисуют свои диаграммы языка части второй, и таблички сигнатур. Собственно, я про это уже писал в http://community.livejournal.com/dot15926/5352.html (знаниевая поддержка моделирования) -- но теперь уже точно понятно, что ничего нет не только в знаниевой поддержке, но и в просто поддержке удобного редактирования. Все возлагают надежды на Protege, версию 4 которой мечтают дорастить до качеств версии 3, сохранив возможность работы с OWL и "написать плагин" (что будет делать этот плагин, правда, никто не может уточнить. "Редактировать ISO 15926", что бы это ни значило). Так что -- походили по базару, ничего не нашли. Если dot15926 что-то сделает, то будет первым. Полянка девственно чиста. 4. Ввиде полного отсутствия инструментария language workbench, САПРы сейчас разрабатывают безо всяких генераторов (как в те давние времена, когда компиляторы делали "вручную", безо всяких средств типа http://catalog.compilertools.net/. А в экосистему ISO 15926 это всё затем попадает методом грубой силы, через iRING/SOA и гениальность и долготерпение модельеров-аксакалов. 5. Тем самым, проблема в том, что в нашем маленьком комьюнити не хватает ключевой экспертизы: разработчики IDE, компиляторов, language workbench. Хватает онтологов, языковедов-юзабилистов, и даже предметных экспертов, но этого недостаточно. 6. В мире language workbenches тоже потихоньку идет прогресс. 25 июля появился вебсайт соревнования: http://www.languageworkbenches.net/ (и двое участников уже прислали свои решения: Xtext и MPS). Примечательно, что задача 0.1 условий соревнования (http://www.languageworkbenches.net/LWCTask-1.0.pdf) формулируется следующим образом: Build a simple data definition language to define entities with properties. Properties have a name and a type. It should be possible to use primitive types for properties, as well as other Entities, а задача 1.3 -- Define an ER-meta model (Database, Table, Column) and transform the entity model into an instance of this ER meta model, а 1.6 -- Generate some kind of XML structure from the entity model. А вот новенькая система: http://strategoxt.org/Spoofax -- для текстовых языков. А в Xtext десяток дней назад появилась система типов: http://code.google.com/a/eclipselabs.org/p/xtext-typesystem/downloads/list. Три недели назад также вышла MPS 1.5 -- уже с отладчиком, http://www.jetbrains.com/mps/whatsnew/, а месяц назад был опубликован репозиторий с кодами разрабатывающейся версии 2.0 (http://blogs.jetbrains.com/mps/2010/08/mps-source-code-repository-is-publicly-available-now/). А вот Xtext и Papyrus объединились, после чего не нужно добавлять атрибуты через множественное прокликивание форм свойств -- http://5ise.quanxinquanyi.de/2010/06/04/xtext-and-papyrus-uml/ (только учтите там комментарий: не все так быстро). Это, кажется, наш случай. Может, засунем Xtext в iRING и тоже заменим все эти множественные прокликивания бесчисленных формочек со свойствами? Разве что iRING не в Eclipse, и это сделать будет не так легко ;) А сам Xtext отладился и стал 23 августа версии 1.0.1 (http://www.eclipse.org/Xtext/). Через 23-24 у нас в Москве будет Ханну Ниемисто, один из архитекторов Simantics -- его мы тоже поспрашиваем, ибо у него ровно language workbench с triple-store в бэк-энде. Но в той команде, похоже, тоже логиков больше, нежели программистов IDE. И еще новенькое в мире DSL-систем: http://inform7.com/ (интерактивная фантастика, но самое интересное, что на эту систему указывают разработчики САПР -- они в ней черпают вхохновение для всяких Controlled natural language), хотя это и не про language workbenches, но указывают на эту систему ровно те, кто этими workbenches занимается. 7. В общем, нужно разбираться с IDE-инструментарием и делать МетаСАПР, рабочее место разработчика предметной САПР. Оказывается, именно это держит. Тут, конечно, выбор: а) сказать, что все эти language workbenches на сегодня плохие, и сделать самим (учитывая, что спецов таких промеж нас пока не наблюдалось). б) взять готовую платформу (причем, подумав, можно брать и какой-нибудь расширяемый мультипарадигмальный язык с его IDE) в) подождать еще некоторое время, пока кто-то из коммерческих или некоммерческих поставщиков софта для ISO 15926 сподобится, и выполнит разработку. То есть сутью проекта .15926 считать по мере сил активный мониторинг разработок, которые сделает кто-нибудь другой. Disclaimer. Все рассказанное ничуть не противоречит тому, что я говорил в постинге про .15926 как analytic environment (http://community.livejournal.com/dot15926/5352.html -- семантичесий поиск и CYC). Когда у вас уже есть какое-то IDE, то экспертная система к нему привинчивается. А когда у вас нет IDE, то экспертную систему и привинтить некуда... 6 comments|post comment

navigation [ viewing | most recent entries ] [ go | earlier ]