Обсуждение

а кто из Екатеринбурга?

Очень хотелось бы познакомиться с киевскими членами INCOSE, как бы подступиться? Заранее признателен!

Пока не член, но очень скоро планирую вступать

Из Екатеринбурга был akoev

Из Киева был sagarasousuke, а вот ника второго человека, увы, не знаю.

>> доклада по онтологиям в терминах теории категорий, который сделал algebraic_brain. Так вот кто это был! :)

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

Я думаю, сейчас катастрофически не хватает "более прикладного стиля изложения" материалов по теории категорий. Эту теорию нужно срочно демифологизировать. Я думаю, что мы могли бы сделать он-лайн семинар в рамках .15926 по семантическим/онтологическим приложениям теории категорий. Фреймы и типы, безусловно, находятся в этой сфере.

А второй проявился чуть ниже по треду: wizzard0

Спасибо! Буду выходить на прямой контакт :)

Черкните в личку, если интересно знакомство? Заранее признателен!

Спасибо за предложение, но материал довольно сложный, мне еще над ним месяца 2-3 работать и совершенствовать можно долго:). И мне бы хотелось все же доложиться в живую, а как он-лайн я могу просто опубликовать статью(как он-лайн семинар мне кажется будет неэффективно на данном моем уровне), вот только где, не пойму пока...

Статью публикуйте прямо в arxiv.org, на английском -- по примеру статьи algebraic_brain, опубликованной тут: http://arxiv.org/abs/1008.1309 Потом заведите себе ЖЖ, опубликуйте ссылку на эту статью. В ЖЖ полно любителей теории категорий, вас сразу зафрендуют и начнется письменное обсуждение статьи. Про очное мероприятие ничего сказать не могу, любители теории категорий и онтологий живут в разных городах, и встретились первый раз только на RuSEC2010. Когда будет второй раз, я пока не знаю.