?

Log in

Теоретическая информатика по-русски [entries|archive|friends|userinfo]
Теоретическая информатика по-русски

[ Профиль | livejournal userinfo ]
[ Архив | journal archive ]

CSR 2009: подавайте статьи [Sep. 15th, 2008|02:43 pm]
Теоретическая информатика по-русски

anna_frid
18-23 августа 2009-го года в Новосибирске состоится CSR 2009 - четвертая конференция серии CSR, Computer Science in Russia.

Крайний срок подачи работ - 26-е ноября. Труды конференции будут опубликованы в серии LNCS издательства Springer. Подавайте работы, задавайте вопросы. Реклама мероприятия приветствуется.
Link1 комментарий|Оставить комментарий

Открытие осеннего семестра в Computer Science клубе при ПОМИ РАН [Aug. 29th, 2008|08:36 pm]
Теоретическая информатика по-русски

kirpich_spb

Computer Science клуб при ПОМИ РАН создан в сентябре 2007-го года при поддержке Антона Лиходедова. Основная цель клуба - предоставить возможность студентам Санкт-Петербурга получить образование в области Theoretical Computer Science. Лекции читаются как петербуржскими, так и иностранными преподавателями по субботам и воскресеньям в ПОМИ РАН (Фонтанка, 27). По основным из прочитанных курсов проводится экзамен, оценка за который может быть зачтена формально. Вход в клуб свободный. Дополнительная инфомация о клубе (расписание занятий, описание курсов, слайды и видеозаписи лекций, информация о преподавателях) доступна с сайта клуба: http://logic.pdmi.ras.ru/~infclub.

Орг. собрание, курсыCollapse )
LinkОставить комментарий

алгебраический решатель [Feb. 11th, 2008|03:15 pm]
Теоретическая информатика по-русски

zam0th
[Current Mood |curiouscurious]
[Current Music |Hermh - Valhalla [cover Bathory] / Before the Eden - Awaiting the Fire [2004]]

есть у нас алгебраический парсер с возможностью решателя (т.е. означивания распарсенного выражения). вопрос собственно по решателю. хочется поддерживать хотя бы основные типы (скаляры, векторы, матрицы). операции одинаковых типов решатель поддерживает (напр. умножения векторов), а вот поддержка симметричности операций с разными типами мягко говоря оставляет желать лучшего. в случае, например, возведения в степень все хорошо, но вот результат умножения скаляра на вектор вовсе не равен результату умножения того же вектора на тот же скаляр, а все потому что результат операции решатель возвращает в левом операнде (меня не бить, это было до меня). как бы мне по-красивее реализовать симметричность, никто не подскажет :)?
LinkОставить комментарий

Весенний семестр в Computer Science клубе при ПОМИ [Feb. 10th, 2008|02:40 am]
Теоретическая информатика по-русски

kirpich_spb

Computer Science клуб при ПОМИ РАН создан в сентябре 2007-го года при поддержке Антона Лиходедова. Основная цель клуба - предоставить возможность студентам Санкт–Петербурга получить образование в области Theoretical Computer Science. Лекции читаются как петербуржскими, так и иностранными преподавателями по субботам и воскресеньям в ПОМИ РАН (Фонтанка, 27). По основным из прочитанных курсов проводится экзамен, оценка за который может быть зачтена формально. Вход в клуб свободный.

Курсы весеннего семестра 2008 г.:

  • Эффективные алгоритмы II (А. С. Куликов)

  • Сложностная криптография (Э. А. Гирш)

  • Самообучающиеся системы (С. И. Николенко)

  • Software Testing (M. Pezze)

  • Distributed Algorithms (F. Pedone)

  • Networking (A. Carzaniga)

  • Software Verification (N. Sharygina)

  • Криптографические хэш-функции (И. Миронов)


Открытие весеннего семестра в клубе состоится 17-го февраля. В 10-30 будет проведено орг. собрание, на котором будет рассказано о клубе и предстоящих курсах. Все желающие также смогут задать вопросы. Далее будет прочитана лекция по эффективным алгоритмам и две лекции по криптографии.

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

Сайт клуба: http://logic.pdmi.ras.ru/~infclub/
Группа вконтакте: http://vkontakte.ru/club1530671
Версия объявления для печати: http://logic.pdmi.ras.ru/~kulikov/out/invitation2008.pdf
LinkОставить комментарий

Изобретатель автоматного программирования [Jan. 4th, 2008|01:45 pm]
Теоретическая информатика по-русски
ex_croco667
Коллеги, только что обнаружил в Википедии интересный казус. Имеется статья (причем и на русском, и на английском), посвященная "автоматному программированию". И в обоих вариантах статьи делается, ни много ни мало, утверждение, что автоматное программирование предложено (SIC!!!) неким А.А.Шалыто в 1991 году. Статьи весьма солидно оформлены, библиография на два десятка названий, всё такое.

Теперь поправьте меня, если я не прав. Программирование с использованием абстракции конечных автоматов на самом деле используется примерно с начала 1960х годов, да хоть в той же теории трансляции используются и регулярные автоматы, и автоматы с магазинной памятью, причём что-то мне подсказывает, что и Ахо с Ульманом были тут далеко не первыми (просто трансляторы - не моя область, поэтому подробностей не знаю). Я ещё пытался в статьях этих увидеть что-нибудь принципиально новое, что позволило бы считать, что просто неудачно используется термин "автоматное программирование", надо как-нибудь обозвать более специфично. Но -- извините -- не нашел я там никакой новизны, то есть вот буквально ничего нового в сравнении с программированием в терминах автоматов (или машин состояний), как я его знаю -- при том, естественно, что ни про какого Шалыто я никогда не слышал.


Короче, вот ссылка на статью по-русски.
http://ru.wikipedia.org/wiki/%D0%90%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D0%BD%D0%BE%D0%B5_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5

Может, с ней что-нибудь всё-таки сделать?

NB: буду только рад, если кто-нибудь объяснит мне, в чём я не прав.
Link25 комментариев|Оставить комментарий

Гуглоток про поиск по сходству [Oct. 25th, 2007|10:31 pm]
Теоретическая информатика по-русски

yury_lifshits
Гугл сейчас активно приглашает ученых делать у них доклады, а потом выкладывает видео для общего доступа. Я выступал в Mountain View, но по-моему, можно у них и в Москве/Питере сделать доклад.






Slides
Handout
MP3
Paper about Disorder
Paper about Zipf model


x-posted
LinkОставить комментарий

Вторая открытая летняя школа-семинар «Достижения современной информатики, математики и физики" [Jul. 20th, 2007|05:18 pm]
Теоретическая информатика по-русски

amfitra
8-19 августа 2007 года, Киев, Национальный технический университет Украины «Киевский политехнический институт» (НТУУ «КПИ»)

Летняя школа-семинар — это уникальный проект Научного общества студентов и аспирантов НТУУ КПИ.
Основными задачами Летней Школы являются:
• популяризация научной деятельности среди университетской молодежи;
• информирование о самых современных и перспективных отраслях для научной работы, а также о новейших научных достижениях в мире;
• обмен опытом между коллегами из разных стран.

На протяжении 10 дней Школы, участники прослушают лекции по наиболее интересным и перспективным отраслям науки, будут участвовать в практических и семинарских занятиях, выполнять самостоятельные задания в командах.

Также участников ожидает насыщенная и интересная культурная программа. В нее включены кинопоказы, посещение театров и музеев, экскурсии по наиболее красивым и таинственным местам Киева: Андреевский спуск, Владимирская горка, Киево-Печерская Лавра, Андреевская церковь, Софиевский собор, Мариинский дворец.

Организаторы:
Научное общество студентов и аспирантов НТУУ КПИ (НТСА НТУУ КПИ)

Тематика
Часть А. Современная математика и информатика

• Устойчивое развитие
• Операционные исследования
• Различные аспекты современной математики
• Теория хаоса. Фракталы
• Теория игр
• Топология

Часть В. Современное естествознание

• Информатика, математика, моделирование в астрономических исследованиях
• Нейромоделирование, нейрофизиология
• Бионика
• Биоинформатика и биофизика
• Клеточные автоматы
• Синергетика
• Теоретическая физика
• Квантовая механика

Часть С. Актуальные вопросы развития информационных технологий

• Современность и будущее ИНТЕРНЕТ и коммуникационных средств
• Компьютеры, мобильные телефоны, ТВ и другая техника – ближайшее будущее
• Геоинформационные системы

Часть D. Гранты для молодых ученых

• Информация о существующих программах поддержки молодых ученых.

Данная тематика не является окончательной. Мы будем рады рассмотреть все предложения.

Требования
Во 2-й Летней школе могут принимать участие студенты, аспиранты и молодые ученые, чьи научные интересы лежат в пределах тематики Школы. Для прослушивания курсов в рамках Школы Вам необходимо знание английского языка на уровне понимания лекций по указанной тематике.

Регистрация
Последний срок регистрации – 25 июля 2007 года.
Для регистрации внимательно заполните регистрационную форму. Обратите внимание на поле – «Ваша мотивация», так как его содержание будет существенно влиять на отбор участников.
Также обратите внимание на возможность получения финансовой поддержки. Если Вам необходима поддержка, пожалуйста, укажите это в регистрационной форме.
Если при заполнении формы у вас возникнут проблемы или вопросы, обращайтесь к организаторам.
Языки школы-семинара — английский, русский.
Последний срок подачи заявки: 25 июля 2007 года.

Адрес института:
Национальный технический университет Украины «Киевский политехнический институт»
Киев, пр. Победы, 37.

Адрес оргкомитета:
Научное общество студентов и аспирантов НТУУ „КПИ”.
Киев, пр. Победы, 37, комн. 299 (15).
Тел.: +380 44 454-92-43.
E-mail: summerschool@ssa.org.ua
Сайт школы-семинара – http://summerschool.ssa.org.ua
LinkОставить комментарий

(no subject) [Feb. 13th, 2007|06:21 pm]
Теоретическая информатика по-русски
ex_travmatu
Я придумал алгоритм сборки мусора:
http://travmaturg.livejournal.com/107390.html
критика приветствуется
LinkОставить комментарий

Информатика в России [Dec. 7th, 2006|03:19 pm]
Теоретическая информатика по-русски

yury_lifshits
Месяц назад я писал про выбор домена. Мы выбрали и запустили. Назвали CSIN·RU - сокращение от Computer Science in Russia.

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

Из последнего: 14 ссылок "howto" по computer science.
Link2 комментариев|Оставить комментарий

navigation
[ viewing | 10 entries back ]
[ go | earlier/later ]