OberonCore

Спасибо всем участникам! Очень интересно было. Мне удалось записать большую часть докладов. Если кто-то уверен точно, что его доклад можно выложить в сеть, то прошу тут напишите или в личном сообщении. Я буду выкладывать на YouTube. Если вы хотите посмотреть, что получилось перед тем как принять решение, я могу залить в приватном режиме и пришлю вам ссылку.

Ссылка на доклад https://bytebucket.org/petryxa/trisc/ra ... ronDay.pdf

Мой доклад: http://molpit.com/files/592_oberon.pdf

Пётр, а можно поподробнее насчёт переосмысления SET (3-ичная логика)?

Ну я исходил из того, что обычный SET это с одной стороны биты 32-битного числа превращенные в элементы множества, а с другой стороны массив булевых значений. Ко множествам можно применять сложение, умножение, вычитание.
Поэтому на вопрос x IN s: SET всегда можно дать ответ s[x] = TRUE или FALSE. И если FALSE, значит элемент во множестве отсутствует.
Если мы применим ту же схему для SET3, тритов в 27-тритном числе, то получим странность. Трит под номером x может быть в трех состояниях, TRUE, NIL, FALSE.
И если спросить x IN s3: SET3, то во-первых, неясно, какое значение считать значением отсутствия. Если FALSE, то что-тогда делать со значением NIL? Если отсутствие это NIL, то что тогда делать с проверкой x IS s3, ведь она должна возвращать значение трита s3[x], а значит может вернуть и TRUE, и FALSE. Не очень вяжется с понятием множества типа SET. Этот же аспект всплывает при включении трита во множество. Могут ли существовать 3-й и -3-й триты, которые будут указывать на одну и ту же ячейку массива s3 но с разным знаком.

Брусенцов 3 варианта рассматривал.
1. Наличие признака ,
скажем x IN SET3 в нашем случае
2. Наличие отсутствия признака - ОТРИЦАНИЕ,
т.е. имеется противоположная определенность
3. Отсутствие наличия признака - ДОПОЛНЕНИЕ
~(x IN SET3)
то есть либо FALSE, либо НЕИЗВЕСТНО
Операция отрицание одна, а дополнение - другая.

И алгебра у него какая интересная
http://ternarycomp.cs.msu.su/Papers/arrangement.pdf

Вот откуда идёт эта фразеология

Наверно этот аспект учитывался в построении Сетуни. Стоит почитать о теории множеств касательно троичной системы исчисления и ещё на тему особенностей построения Сетуни.
Троичная система "шире" двоичной, оттого и проблемы. Почему нужно кодировать именно TRUE, NIL, FALSE? А, к примеру, не +1,0,-1?

"TRUE, NIL, FALSE", кстати, соответствует тому как сегодня программируют условия IF с использованием исключений.

По сути вот такой код на питоне использует троичную логику

Мой можно. Смысл скрывать?

Выкладываю презентацию одного из орловских докладов.
У меня презентаций не было, не успел, к сожалению

Мое выступление видео: http://youtu.be/xgPHbVAMaNs

Алексей Веселовский будет по этой ссылке: http://youtu.be/KlHMOCbmtf0

Заключительное слово: http://youtu.be/PQ9LEDN84-s

Иван Кузьмицкий: http://youtu.be/S5eBCKlnbsM

Вот такой плейлист сделал:
http://www.youtube.com/playlist?list=PL ... YElP73xsxU

Видео "Оберон день в России: Пётр Кушнир" не работает. Возможно ошибка при загрузке на ютуб. Остальные ролики воспроизводятся.

Добавил титульный лист к своей презентации и выложил на страничке Обертона

P.S. Видео с Петром Михайловичем у меня нормально воспроизводится.

Не работало, поскольку было закрыто, наверное. Поспешил, не думал, что закрытое будет отображаться в плей-листе.

Вот теперь и Петра видео опубликовано: http://youtu.be/wX6KaC7T69E

Еще я могу на видео поставить иконки другие, как у себя сделал, если мне хозяин видео пришлет картинку 16:9 не уже чем 640px.

Неопубликованными остались три доклада: Дмитрия Дагаева, Ильи Ермакова и Евгения Анурина & Павла Маркина. Я им отправлю ссылки, может быть после просмотра разрешат публикацию или частичную публикацию.

Спасибо!

SVG в качестве статичной картинки или анимации? Имеются JS библиотеки для создания векторных изображений а также анимации.
Можно написать привязку к ним в OberonJS.

С разрешения автора выкладываю фрагмент записи доклада Дмитрия Дагаева: http://youtu.be/HeaeQTcQZZQ

Уважаемые участники конференции и форума, если кому интересна запись моего доклада - обращайтесь в личку.