Здравствуйте, Klatu, Вы писали:

LVV>>Но наши люди расползаются по всему миру.
K>И двигают науку там, а не в родной стране.
И в этом, конечно же, полностью их вина, они не только науку двигать должны, но ещё и инфраструктуру в стране организовывать.

Здравствуйте, Miroff, Вы писали:

gh2>>Ну и новомодные языки это хорошо, но они лишь обертки над определенными концепциями алгебры и мат. логики, соот-но нужен хороший мат базис
M>Это не те ли ребята, что уже 20 лет Рапиру пилят?
Они много чего пилят.
Вот в декабре были защиты диссеров:http://www.iis.nsk.su/news/archive/2011/#3464

К защите были представлены 4 диссертации на соискание ученой степени к.ф.-м.н.:

Старолетова Сергея Михайловича «Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей».
Научный руководитель: к.ф.-м.н. Крючкова Елена Николаевна.

Макошенко Дениса Валентиновича «Аналитическое предсказание времени исполнения программ и основанные на нем методы оптимизации».
Научный руководитель: д.ф.-м.н. Штейнберг Борис Яковлевич.

Михеевой Анны Владленовны «Программно-аналитический инструментарий подготовки и анализа сейсмологических данных в информационно-вычислительном комплексе EEDB».
Научный руководитель: к.г.-м.н. Дядьков Петр Георгиевич.

Турсунбай кызы Ырысгули «Локальные и динамические алгоритмы для анализа граф-моделей систем».
Научные руководители: д.ф.-м.н. Евстигнеев Владимир Анатольевич, д.ф.-м.н. Касьянов Виктор Николаевич.

Там и ссылки на рефераты есть.

Здравствуйте, Аноним, Вы писали:

А>Ответ можете найти по адресу: http://www.fa-kit.ru/users/LEremin/sablon-demo.ppsx
ИМХО утопия... Если с 80-го года ничего никуда не продвинулось — значит тупиковая ветвь развития. Современные тенденции программирования, конечно, переходит к этой парадигме, т.е. когда задаешь не что делать, а что хотел-бы получить, но все равно, говорить о том, что разработчики вымрут — утопично.

Здравствуйте, LaptevVV, Вы писали:
LVV>Хотя мы из Астрахани опубликовались в Физикал Ревью без проблем. Это другая работа, связанная с теорией перколяции.
О! Я на теории перколяции кандатскую защищал. Вы ее с какой точки зрения изучаете?

Здравствуйте, Аноним, Вы писали:

А>Здравствуйте, Aleх, Вы писали:

A>>Существуют ли в России (в особенности интересует Москва и Санкт-Петербург) институты/университеты с кафедрами, где занимались бы актуальными исследованиями в обласия языков программирования и верификации ПО?
A>>Из того что я видел, меня не устраивал состав сотрудников кафедр (их завышенное ЧСВ и членство в РАЕН, АТН, МАИ — сборище неадекватов в двух словах), неактуальные темы исследований (в лучшем случае мусолят какие то свои функциональные языки программирования и рефал; ни о каких Haskell, OCaml, не говоря уже о более редких, типа Clean, Agda, ATS, Mercury не слышали и слышать не хотят), по общему уровню знаний и исследований профессора застряли в 80х годах, что для такой быстро развивающейся области как Computer Science является плохим показателем.
A>>Есть ли шанс найти в России аспирантуру, которая бы не только давала диплом, но и возможность реализовать свой научный потенциал?

А>Ответ можете найти по адресу: http://www.fa-kit.ru/users/LEremin/sablon-demo.ppsx

во там много всякого интересного!

Здравствуйте, Aleх, Вы писали:

A>Существуют ли в России (в особенности интересует Москва и Санкт-Петербург) институты/университеты с кафедрами, где занимались бы актуальными исследованиями в обласия языков программирования и верификации ПО?
Скорее да, чем нет. Например, есть проект http://linuxtesting.org/ — в области тестирования и как раз верификации. Не совсем по твоим интересам, как я понял, но по крайней мере дает наводку на ИСП РАН. Также навскидку что-то делается в СП ВМК МГУ (у них есть всякие мероприятия по верификации, например) и в ИТМО (в интернетах и на РСДН мелькал человек, который там agda ковыряет).

A>какие то свои функциональные языки программирования
Как будто это что-то плохое.

Здравствуйте, LeonidV, Вы писали:

LV>Здравствуйте, LaptevVV, Вы писали:
LVV>>Хотя мы из Астрахани опубликовались в Физикал Ревью без проблем. Это другая работа, связанная с теорией перколяции.
LV>О! Я на теории перколяции кандатскую защищал. Вы ее с какой точки зрения изучаете?
Изучает ее Тарасевич Юрий Юрьевич — найдете в сети много ссылок на него.
Он на бублике напыление наночастиц рассматривает.
А я у него за программиста. Его модель программирую. И свои предлагаю (как новичок — нестандартный взгляд на многие для него привычные вещи).
Сейчас вот запрограммировали поиск перколяционного кластера — конкурируем с аргентинцами.
Они — на кластере из 40-50 машин, а мы ту же задачу — на двухядерном ноутбуке...
Смешно, но ведь реально конкурируем...

Здравствуйте, LaptevVV, Вы писали:
LVV>Изучает ее Тарасевич Юрий Юрьевич — найдете в сети много ссылок на него.
Читал его книгу.

LVV>Сейчас вот запрограммировали поиск перколяционного кластера — конкурируем с аргентинцами.
LVV>Они — на кластере из 40-50 машин, а мы ту же задачу — на двухядерном ноутбуке...
Какую решетку рассматриваете и какого объема?

Здравствуйте, LeonidV, Вы писали:

LVV>>Сейчас вот запрограммировали поиск перколяционного кластера — конкурируем с аргентинцами.
LVV>>Они — на кластере из 40-50 машин, а мы ту же задачу — на двухядерном ноутбуке...
LV>Какую решетку рассматриваете и какого объема?
Решетка — бублик, развернутый в квадрат (то есть, тор, дважды разрезанный). Меры могут пересекать разрезанные границы.
Решетка — пока хватает виртуальной памяти. На моем ноуте получилось до L ~= 40000-45000. Мера k ~= 0.001L
Реально он считал на L = 25600 — чтобы сравнить с результатами аргентинцев...