Позначка: інституту проблем математичних машин