В. В. Кулямин Институт системного программирования РАН. ppt download