Докладчик: Евгений Тюменцев, HWdTech, Омск.
«Будет дано небольшое введение в теорию формальных языков программирования. Разобран пример построения транслятора для небольшого языка программирования и рассказано, как это можно применять на проектах или, например, при выполнении лабораторных работ в ВУЗе
Опыт работы в ИТ-отрасли 12 лет. Был программистом, системным архитектором, руководителем проектов. Специализируюсь на разработке серверных, многопоточных, высокопроизводительных приложений.
16 лет преподаю в ОмГУ (ИМИТ, ФКН). Читаемые дисциплины: Проектирование ПО, разработка серверов и серверных приложений. Руковожу курсовыми и дипломными работами.»
Докладчик: Евгений Тюменцев, HWdTech, Омск.
«Будет дано небольшое введение в теорию формальных языков программирования. Разобран пример построения транслятора для небольшого языка программирования и рассказано, как это можно применять на проектах или, например, при выполнении лабораторных работ в ВУЗе
Опыт работы в ИТ-отрасли 12 лет. Был программистом, системным архитектором, руководителем проектов. Специализируюсь на разработке серверных, многопоточных, высокопроизводительных приложений.
16 лет преподаю в ОмГУ (ИМИТ, ФКН). Читаемые дисциплины: Проектирование ПО, разработка серверов и серверных приложений. Руковожу курсовыми и дипломными работами.»
Prezentace sortimentu ukrajinského e-shopu www.garnamama.com. Garnamama.com aktivně hledá distribuční partnery pro dětské oblečení ukrajinské výroby v Evropě.
Save-Guarding Your Innovation Landscape: Outsource Innovation and Channel Rev...Derrydean Dadzie
This presentation shoots into innovation and how enterprises can maximize innovation by outsourcing the innovation endeavor to a third party partner. I did this presentation in July 2014.
Особенности внедрения РРО в чешском e-commerceJan Ruzicka
Особенности внедрения РРО в чешском e-commerce. Внедрение системы РРО (в оригинале EET) в Чехии. Отрицательные моменты внедрения РРО в Чехии. Какие проблемы приносит РРО
для чешских интернет-магазинов?
MOBILE APPLICATIONS DEVELOPMENT
for all digital devices with wireless interfaces: BT, Wi-Fi, NFC
for any device connected to home Ethernet
for Internet of Things (IoT) devices
for digital devices without wireless interfaces - we complement your devices with wireless modules
we develop algorithms: digital data processing & storing - sound, images and video
SERVICES
project management
business analytics
interface design
algorithm development
development for iOS, Android & Windows Phone
automated, manual, functional testing
ALGORITHMS DEVELOPMENT
encoding /decoding - audio & video: wav, mp3, aac, jpeg, mjpeg, h.264, etc;
augmented reality objects adding (AR);
image analysis, objects selection, data processing: speed of objects; behavior of objects; changing facilities; comparison with reference; objects tracking; objects dimensioning
Specialties
mobile apps development, algorithms development, internet of things, mobile application design, connected devices, wireless digital devices
E commerce in der Ukraine 2016. Eintritt in den ukrainischen Online-Markt. Demographische Daten der ukrainischen Kunden. E-Commerce-Volumen in der Ukraine. Besonderheiten der ukrainischen Käufer.
Prezentace sortimentu ukrajinského e-shopu www.garnamama.com. Garnamama.com aktivně hledá distribuční partnery pro dětské oblečení ukrajinské výroby v Evropě.
Save-Guarding Your Innovation Landscape: Outsource Innovation and Channel Rev...Derrydean Dadzie
This presentation shoots into innovation and how enterprises can maximize innovation by outsourcing the innovation endeavor to a third party partner. I did this presentation in July 2014.
Особенности внедрения РРО в чешском e-commerceJan Ruzicka
Особенности внедрения РРО в чешском e-commerce. Внедрение системы РРО (в оригинале EET) в Чехии. Отрицательные моменты внедрения РРО в Чехии. Какие проблемы приносит РРО
для чешских интернет-магазинов?
MOBILE APPLICATIONS DEVELOPMENT
for all digital devices with wireless interfaces: BT, Wi-Fi, NFC
for any device connected to home Ethernet
for Internet of Things (IoT) devices
for digital devices without wireless interfaces - we complement your devices with wireless modules
we develop algorithms: digital data processing & storing - sound, images and video
SERVICES
project management
business analytics
interface design
algorithm development
development for iOS, Android & Windows Phone
automated, manual, functional testing
ALGORITHMS DEVELOPMENT
encoding /decoding - audio & video: wav, mp3, aac, jpeg, mjpeg, h.264, etc;
augmented reality objects adding (AR);
image analysis, objects selection, data processing: speed of objects; behavior of objects; changing facilities; comparison with reference; objects tracking; objects dimensioning
Specialties
mobile apps development, algorithms development, internet of things, mobile application design, connected devices, wireless digital devices
E commerce in der Ukraine 2016. Eintritt in den ukrainischen Online-Markt. Demographische Daten der ukrainischen Kunden. E-Commerce-Volumen in der Ukraine. Besonderheiten der ukrainischen Käufer.
Tech Talks @NSU: Теоретические основы программирования: проекции Футамуры-Тур...Tech Talks @NSU
http://techtalks.nsu.ru
14 октября 2013. Теоретические основы программирования: проекции Футамуры-Турчина и частичные вычисления. Можно ли написать компилятор для интерпретируемого языка.(Ренат Идрисов, ИСИ СО РАН)
Лекция прочитана в рамках проекта Tech Talks @NSU – серии открытых лекций о разработке ПО и карьере в IT, проводимых в Новосибирском государственном университете.
Подробности: http://techtalks.nsu.ru
Алексей рассказывает, почему Тим Кук верит в светлое будущее дополненной реальности. Объясняет, как работает ARKit, и показывает несколько вдохновляющих примеров.
Речь пойдет о фреймворке под названием Texture (a.k.a AsyncDisplayKit/ASDK). Создатели этого фреймворка пытаются изменить старый синхронный способ работы с UI на современный многопоточный. Спикер расскажет о том, как устроен этот фреймворк, о его преимуществах и недостатках, подводных камнях и реальном опыте использования. После этого доклада все, кто его слушали, смогут создавать приложения на основе Texture и быть уверенными в том, что экран будет обновляться со скоростью 60FPS независимо от сложности UI.
Илья Сиганов, разработчик 7bits, аспирант по Информатике и Выч. Технике ОмГУ ФКН
Вы наверное наслышаны об успехах так называемого машинного обучения. Его используют для перевода текстов, синтеза голоса, распознавания речи, показа рекламы. Да чему только уже не научили компьютер! Мне стало безумно интересно как в принципе происходит обучение компьютера, каким задачам его можно обучить, а каким нельзя, по крайней мере пока.
В своей лекции я расскажу на настоящих примерах то, как может проходить обучение, с какими трудностями сталкиваются дата-саентисты и к чему всё это машинное обучение приведёт
2017 04-08 03 Максим Верзаков. Docker — жизнь, вселенная и все остальноеОмские ИТ-субботники
Максим Верзаков, разработчик Crystalnix
Мы не боимся использовать Docker, и неплохо в этом преуспеваем. Я расскажу, как еще можно использовать Docker и почему это удобный инструмент не только для разработки, но и для жизни.
2016-12-03 01 Вадим Литвинов. От 2D к 3D обзор методов реконструкции поверхно...Омские ИТ-субботники
Докладчик: Вадим Литвинов, Hola Networks Ltd., Новосибирск.
«Надоели Ангуляры и Аджайлы? Устал от Scrum и NoSQL? Тогда приходи и мы погрузимся в увлекательный мир математики и увидим как с её помощью можно просто и элегантно решать сложные задачи.
Конкретно на этом докладе мы поговорим о том, как воссоздать 3D модель поверхности по видеозаписи.
О себе: родился и живу в Новосибирске, но молодость свою провел во Франции, где я прожил суммарно 15 лет. Несмотря на то что я закончил институт по специальности
“Компьютерные сети и связь”, админ из меня не вышел. Занимался я в основном
научными вычислениями. Защитил диссер по машинному зрению. Работал над многими интересными вещами от расчетов сопромата до робототехники. Самый мой любимый проект это разработка прототипа машины без водителя в 2010/11 годах. В настоящий момент работаю над Video CDN нового поколения в Hola Networks Ltd.»
Докладчик: Алексей Городецкий, ОмГУ, Great Fruit, Омск.
«Закончил ОмГУ ФКН, на данный момент обучаюсь в аспирантуре там же. В ИТ за деньги лет 6 — с осени первого курса. Так вышло, что занимался абсолютно разными вещами — админил и патчил Asterisk в службе такси, участвовал в разработке складских систем для небезызвестных колбасных картелей (см. программировал в морозилках и тому подобные страдания), занимался веб разработкой. На данный момент работаю в ОмГУ — занимаюсь корпоративными системами и электронными сервисами студента. В качестве развлечений участвую порой в хакатонах (обычно в команде с небезызвестным человеком-хакатоном), а так же в game джемах.
Как и любой другой сегодняшний программист, программировал на довольно большом количестве языков — на функциональных, на скриптовых, на мейнстримовых. Честно говоря, результат меня совсем не удовлетворил, как, думаю, и многих многих других. Именно по этой причине сегодня так много молодых и по-своему интересных языков. По моему мнению, сегодняшние мейнстримовые языки имеют 4 очень серьезные проблемы:
— менеджмент памяти
— проблема простоты, минимальности покрытия возможностями при сохранении выразительности
— композиция, модульность, масштабируемость
— возможности unit тестирования
В аспирантуре занимаюсь изучением этих вопросов. В своем докладе расскажу про инфраструктуру для создания компиляторов LLVM, некогда созданную аспирантом из Иллиноиса, Крисом Латтнером, сейчас работающим в Apple Inc. Логическим продолжением его деятельности стало создание языка Swift. Мы рассмотрим сегодняшние методологии построения компиляторов, используя инфраструктуру LLVM. На примере создания фронтенда достаточно простого языка, мы получим представление о системе команд LLVM, об утилитах, входящих в стандартный пакет LLVM, о FFI с libc и прочих скользких ситуациях, о которых часто представление имеют только системные программисты.
Если вас интересуют языки программирования, а также, возможно, накопилось некоторое количество боли и стресса от использования тех языков, с которыми вы вынуждены работать, то добро пожаловать на баркемп, на котором мы и обсудим такие вещи как:
— более подробно о LLVM и компиляторах
— перегрузка операторов
— вывод типов
Если останутся силы, то мы сможем обсудить 4 проблемы, обозначенных мною выше, тщательно запротоколировать все мнения и, возможно, прийти к какому-то консенсусу.»
2016-11-12 02 Николай Линкер. Чему Java может поучиться у Haskell и наоборотОмские ИТ-субботники
Николай Линкер, Backend-developer, ISS Art
С детства любил математику, это и определило мою профессию. Закончил матфак ОмГУ, уже 16 лет разрабатываю ПО, постоянно ищу новые решения. Довелось поработать с широким диапазоном языков и предметных областей. Детально разбирался с графическими библиотеками, компиляторами и сетевыми протоколами. В докладе расскажу, что заслуживает распространения из Haskell в традиционные языки, вроде Java, и что в Java удалось лучше, чем в Haskell.
2016-11-12 03 Максим Дроздов. Навести порядок быстро, или как спасти оценки н...Омские ИТ-субботники
Максим Дроздов, Project Manager, ISS Art.
Работаю в ИТ более 8 лет. Руковожу большими и интересными проектами. Навожу порядок в процессах и снижаю энтропию :) Professional Scrum Master. Работал программистом и люблю это дело. Образование — прикладные математика и физика.
Источник радости для меня — настраивать процессы и видеть слаженную команду, где учитывают мнение каждого участника и всю энергию направляют на доставку качественного продукта в соответствии с целями проекта.
В своем докладе хочу показать, что навести порядок в сложном проекте могут простые и широко известные средства, которые нужно правильно применять.
Непомнящих Егор, Web-developer, ISS Art.
JS, Java, Iron Maiden. Практически вся моя жизнь связана так или иначе с IT — с 11 класса и до 5 курса я лидировал на олимпиадах, но погрузился в профессию уже на работе в ISS Art’е. Мною реализованы ряд интересных проектов — от мелких поделок на гитхабе, до крупных бизнес-порталов, системы мониторинга и прогнозирования состояния оборудования, векторного графического редактора для Flash-версии Google Maps, сложного плагина для SketchUp на Ruby и Unity-клиента для просмотра зданий под десктопными и мобильными платформами.
В общем, повидал всякие front-end’ы, не только Web. Буду рад поделиться опытом с коллегами по цеху. В докладе расскажу о том, как сократить объем кода вашего front-end'а на 7%.
3. Слово в алфавите
Словом в алфавите A называется конечная цепочка
записанных подряд символов этого
алфавита
4. Подслово
Говорят, что слово α входит в слово β (α является
подсловом слова β), если найдутся такие слова γ и δ, что
β = γαδ.
5. Формальный язык
Множество всех слов в алфавите A обозначается через
∗
(пустое слово принадлежит ∗
).
Формальным языком (или просто языком) в алфавите A
называется какое угодно подмножество множества ∗
.
6. Примеры слов в С++
void f() {}
class A
{
public:
void DoSomething();
};
7. Абстракция
Пусть L – формальный язык, обозначим через ̌
множество всех подслов языка L. Тогда F: X → ̌
называется абстрагированием, где X – произвольное
множество, а образ F(x) - абстракцией x.
9. Критерий линейной производительности
Грубо: процесс разработки программы на языке L
обладает линейной скоростью, тогда и только тогда,
когда трудоемкость написания каждого слова этой
программы ограничена некоторой константой C.
Количество слов/количество операций над словами
12. Возможно ли создать искусственный интеллект?
1980 Michael O'Donnell
“A Critique of the Foundations of Hoare-Style Programming
Logics”
2001 А. Н. Ващенко, Е. Е. Витяев, Н. Г. Загоруйко, А. А.
Мальцев, Н. Н. Непейвода, Д. Е. Пальчунов, С. Г. Пыркин,
А. В. Ткачев, Рефлексирующие программные системы
15. Геом. смысл импликации
Пусть P1 → P,
B = { x | P1(x) = 1},
A = { x | P (x) = 1}.
Тогда B ⊂ A.
P ⊨ P1. Говорят, что P –
более слабое условие, P1 –
более сильное.
16. Есть выход - аксиома вывода
P1 → P, {P} S {Q}, Q → Q1 ╞ {P1} S {Q1}
P1 → P, {P} S {Q} ╞ {P1} S {Q}
{P} S {Q}, Q → Q1 ╞ {P} S {Q1}
19. Вывод условного оператора
Пусть L = {{P} f {Q}, }, B – предикат.
P^B→P (A3 ИВ)
{P^B}f{Q} (аксиома вывода)
{P}if (B) then f endif {Q} (аксиома условного
оператора)
20. Почему держимся за условия и циклы
Система аксиом, содержащая if и while полна.
То есть можно выразить любую задачу, в принципе
реализуемую на машинах Тьюринга.
21. if и while - это абстракции для ...
Формул с квантором всеобщности