2012-04-21T08:20:02Z

Владислав Савельев: /* Инструментарий */

==Команда==
* [[Участник:ivanovak|Иванов Антон]]
* [[Участник:Сергей_Кормишин|Сергей Кормишин]]
* [[Участник:Владислав_Совельев|Владислав Савельев]]

==Суть проекта==
Иногда появляются интересные сайты, книжки, фильмы или идеи на которые
нету времени сейчас, но в будущем оно возможно появится. Или,
например, возникают обязательные или желательные для выполнения дела.
Идея проекта заключается в том чтобы создать инструмент помогающий в
организации такого рода задач и их систематизации. Все задачи
(бытовые, рабочие, ученые и др.) предлагается кидать в некую общую
кучу, а затем (в свободное время) раскидывать их по папкам, вешать
ярлычки, которые дают информацию об их важности, назначать сроки.
Приложение должно помочь пользователям освободить голову от задач
перемещая ответственность на себя (следуя идеалам ГТД). И если заданию
был присвоен ярлык, то из головы его уже можно выкинуть. Обо всем
остальном позаботится приложение.

P.S. http://ru.wikipedia.org/wiki/Getting_Things_Done

==Инструментарий==
LINQ to SQL, C#, ASP.NET, CSS, JavaScript, jQuery

==Материалы==
http://code.google.com/p/gtd-tool/

http://andrey.moveax.ru/mvc3-in-depth/basics/01-mvc-template/

GTD tool

2012-04-21T08:19:29Z

Владислав Савельев: /* Инструментарий */

==Команда==
* [[Участник:ivanovak|Иванов Антон]]
* [[Участник:Сергей_Кормишин|Сергей Кормишин]]
* [[Участник:Владислав_Совельев|Владислав Савельев]]

==Суть проекта==
Иногда появляются интересные сайты, книжки, фильмы или идеи на которые
нету времени сейчас, но в будущем оно возможно появится. Или,
например, возникают обязательные или желательные для выполнения дела.
Идея проекта заключается в том чтобы создать инструмент помогающий в
организации такого рода задач и их систематизации. Все задачи
(бытовые, рабочие, ученые и др.) предлагается кидать в некую общую
кучу, а затем (в свободное время) раскидывать их по папкам, вешать
ярлычки, которые дают информацию об их важности, назначать сроки.
Приложение должно помочь пользователям освободить голову от задач
перемещая ответственность на себя (следуя идеалам ГТД). И если заданию
был присвоен ярлык, то из головы его уже можно выкинуть. Обо всем
остальном позаботится приложение.

P.S. http://ru.wikipedia.org/wiki/Getting_Things_Done

==Инструментарий==
C#, ASP.NET, CSS, JavaScript, jQuery

==Материалы==
http://code.google.com/p/gtd-tool/

http://andrey.moveax.ru/mvc3-in-depth/basics/01-mvc-template/

GTD tool

2012-04-21T08:18:59Z

Владислав Савельев: /* Суть проекта */

==Команда==
* [[Участник:ivanovak|Иванов Антон]]
* [[Участник:Сергей_Кормишин|Сергей Кормишин]]
* [[Участник:Владислав_Совельев|Владислав Савельев]]

==Суть проекта==
Иногда появляются интересные сайты, книжки, фильмы или идеи на которые
нету времени сейчас, но в будущем оно возможно появится. Или,
например, возникают обязательные или желательные для выполнения дела.
Идея проекта заключается в том чтобы создать инструмент помогающий в
организации такого рода задач и их систематизации. Все задачи
(бытовые, рабочие, ученые и др.) предлагается кидать в некую общую
кучу, а затем (в свободное время) раскидывать их по папкам, вешать
ярлычки, которые дают информацию об их важности, назначать сроки.
Приложение должно помочь пользователям освободить голову от задач
перемещая ответственность на себя (следуя идеалам ГТД). И если заданию
был присвоен ярлык, то из головы его уже можно выкинуть. Обо всем
остальном позаботится приложение.

P.S. http://ru.wikipedia.org/wiki/Getting_Things_Done

==Инструментарий==
C#, ASP.NET, CSS, js, jQuery

==Материалы==
http://code.google.com/p/gtd-tool/

http://andrey.moveax.ru/mvc3-in-depth/basics/01-mvc-template/

GTD tool

2012-04-19T06:33:34Z

Владислав Савельев:

==Команда==
* [[Участник:ivanovak|Иванов Антон]]
* [[Участник:Сергей_Кормишин|Сергей Кормишин]]
* [[Участник:Владислав_Совельев|Владислав Савельев]]

==Суть проекта==
Иногда появляются интересные сайты, книжки, фильмы или идеи на которые
нету времени сейчас, но в будущем оно возможно появится. Или,
например, возникают обязательные или желательные для выполнения дела.
Идея проекта заключается в том чтобы создать инструмент помогающий в
организации такого рода задач и их систематизации. Все задачи
(Бытовые, рабочие, ученые и др.) предлагается кидать в некую общую
кучу, а затем (в свободное время) раскидывать их по папкам (или вешать
ярлычки, которые дают информацию об их важности, об их дедайне итп).
Приложение должно помочь пользователям освободить голову от задач
перемещая ответственность на себя (следуя идеалам GTD). И если заданию
был присвоен ярлык, то из головы его уже можно выкинуть. Обо всем
остальном позаботится приложение.

P.S. http://ru.wikipedia.org/wiki/Getting_Things_Done
==Инструментарий==
Java/Java EE

DevDays

2012-04-19T06:21:16Z

2012-02-29T17:39:37Z

Владислав Савельев: /* Вольные стрелки */

IntroductionToProgrammingLanguages

2012-02-14T18:20:31Z

Владислав Савельев: /* Список групп для выполнения задач */

'''Введение в языки программирования'''

Лектор - Дмитрий Юрьевич [http://www.matmex.spb.ru/photoalbum/person_teachers_BulychevDY_1.html Булычев]

== Лекции ==
* [http://code.google.com/p/aptu-tex/source/browse/formallang/les1/les.tex Лекция №1] 10.02.2012

== Домашние задания ==
* [Задание №1] срок сдачи 17 февраля 2011
написать генерирующее расширения для программы возведения в степень

int exp (int x, int n) {
int y = 1;
while (n) {
if (n % 2) y *= x;
n /= 2;
x *= x;
}
return y;
}

Это генерирующее расширение должно для своего единственного параметра n печатать остаточную программу, полученную специализацией функции exp на это значение n. Если это генерирующее расширение сохранит в себе какие-то черты exp, будет совсем хорошо.

== Программа курса ==

* 1. Языки программирования, синтаксис, семантика, прагматика. Когнитивные особенности человеческого мышления и их влияние на развитие языков программирования.
* 2. Языки программирования в ретроспективе. Процедурное, объектно-ориентированное, логическое и функциональное программирование. Предметно-ориентированные языки. Языки вне классификации.
* 3. Абстрактный и конкретный синтаксис. Статическая и динамическая семантика. Компиляция и интерпретация. Проекции Футамуры-Ершова.
* 4. Генеративный и аналитический подходы к описанию синтаксиса. Формальные грамматики, иерархия Хомского.
* 5. Регулярные языки и конечные автоматы. Применение регулярных выражений в народном хозяйстве (grep/sed/awk) и для лексического анализа (lex/flex). Отсутствие бесконтекстной лексики в реальных языках программирования.
* 7. Контекстно-свободные грамматики. Нормальные формы Хомского и Грейбах. Алгоритмы Эрли и Кока-Янгера-Касами. Неконтекстосвободность реальных языков программирования.
* 6. Нисходящий анализ. Возврат и заглядывание вперед. Класс языков LL(k). Рекурсивный спуск, магазинные автоматы, парсер-комбинаторы, PEG, "скаредный" разбор. GLL. Инструменты нисходящего анализа (Parsec, ANTLR и пр.)
* 7. Восходящий анализ, классы LR(k) и LALR(k). GLR. Инструменты восходящего анализа (yacc/bison).
* 8. Двухуровневые и атрибутные грамматики, вопросы применения на практике.
* 9. Идентификация. Область видимости и область действия. Статическое и динамическое, раннее и позднее связывание.
* 10. Энергичность и ленивость. Call-by-name, call-by-value, call-by-reference.
* 11. Строгость, чистота, прозрачность по ссылкам.
* 12. Языки с типами и языки без типов. Статическая и динамическая типизация.
* 13. Номинальная и структурная эквивалентность типов. Простейшие конструкторы.
* 14. Типы с кванторами и что они означают. Универсальные и экзистенциальные типы.
* 15. Subtyping. Структурный и номинальный subtyping.
* 16. Динамическая семантика языков. Операционная семантика большого и малого шага.
* 17. Денотационный подход к описанию семантики.
* 18. Аксиоматическая семантика. Верификация программ. Design by contract.
* 19. Когерентность языков программирования и машинных архитектур. Языково-специфичные архитектуры, виртуальные машины и JIT-компиляция.
* 20*. Структура рабочей программы. Код, данные, библиотеки, поддержка времени исполнения.
* 21*. Задача генерации кода. Генерация кода путем интерпретации.
* 22*. Восходящее переписывание деревьев и динамическое программирование (BURS).
* 23*. Алгоритмы распределения регистров. Распределение регистров и раскраска графов.
* 24*. Параллелизм на уровне инструкций. Планирование инструкций.
* 25*. Анализ потока управления. Глубинное остовное дерево, доминирование, анализ циклической структуры программ. Сводимость. Устранение недостижимого кода, оптимальная линеаризация.
* 26*. Анализ потока данных. Полурешеточная модель. RD, LV, AE, UEU. Устраненние мертвого кода, экономия общих подвыражений, понижение силы операций, чистка циклов.

''<nowiki>* - вопросы будут рассмотрены при наличии времени.</nowiki>''

== Список литературы ==
* 1. S.Muchnik. Advanced Compiler Design & Implementation. Academic Press, Morgan Kaufmann, 1998.
* 2. А.Ахо, Р.Сети, С.Ульман. Компиляторы: принципы, технологии, инструменты. Вильямс, 2003.
* 3. А.Ахо, С.Ульман. Теория синтаксического анализа, перевода и компиляции. Том 1. М., "Мир", 1978.
* 4. F.Nielsen. Principles of Program Analysis. Springer, 2005.
* 5. F.Nielse, H-R.Nielsen. Semantics with Applications. Wiley Professional Computing, 1992.
* 6. B.Pierce. Types and Programming Languages. MIT Press, 2002.
* 7. T.Пратт. Языки программирования: разработка и реализация. 1978.
* 8. Б.К.Мартыненко. Языки и трансляции. Из-во СПбГУ, 2008.

== Список групп для выполнения задач ==

* 1. Мартынов Семён, Башоров Залим, Казенюк Сергей, Витвицкий Александр, Тугарёв Денис.
* 2. Кринкин Михаил, Лазарев Сергей, Фофанова Мария
* 3. Сорокин Артём, Коровин Алексей, Опейкин Александр, Шеставин Дмитрий, Владислав Савельев
* 4. Иванов Антон, Крашенинникова Ксения, Лепенькин Ярослав, Диевский Алексей
* 5.
* 6.

''<nowiki>* Не более 5 человек в каждой группе; старайтесь выравнивать группы по уровню.</nowiki>''

== Полезные ссылки ==

* [http://caml.inria.fr/ocaml/release.en.html Latest OCaml release]
* [http://caml.inria.fr/pub/docs/manual-ocaml/index.html Documentation and user’s manual]

Отчет о практике, 5SE, осень 2011-го года

2011-11-25T14:38:42Z

Владислав Савельев:

'''15 декабря'''
*Ждан Анна
*Коровин Алексей

'''22 декабря'''
*Лазарев Сергей
*Сорокин Артём
*Савельев Владислав

Домашнее задание "Unix и Скриптовые языки"

2011-11-23T11:48:29Z

Владислав Савельев: /* Домашнее задание по модулям Python */

== Домашнее задание по модулям Python ==
# NamPy, SciPy, Matplotlib: Кринкин Михаил, Кузьмин Александр, Лазарев Сергей
# PIL: Великий Алексей, Кононенко Василий, Ярослав Лепенькин
# NetworkX: Коровин Алексей, Гуменюк Станислав, Кормишин Сергей, Дмитрий Шеставин, Владислав Савельев
# Socket:
# SMTPlib, POPlib:
# wxPython:
# pyQwt:
# Tkinter:
# thread, threading: Иванов Антон, Бандурин Дмитрий, Крашенинникова Ксения, Певзнер Алина, Башоров Залим

== Домашнее задание №6 (на ??.11.2011) ==

# Вывести греческий алфавит
# Реализовать длинную арифметику (ЧЕСТНО!)
# Используя модуль ElementTree, вывести в древовидном виде RSS ленту
# Подсчитать на странице с результатами поиска Google статистику по доменам первого уровня

Необходимо выполнить (хотя бы) любые 3 задания!

== Домашнее задание №5 (на 27.10.2011) ==

# http://www.pythonchallenge.com/
# Посчитать количество существительных в романе «Война и мир». Смотреть на Pymorphy
# Найдите все составные числа меньшие N, которые представимы в виде произведения двух простых чисел.
# Написать функцию, вычисляющую произведение двух матриц (матрица – список списков). Также написать функцию для вывода такой матрицы в красивом виде.
# Посчитать все корни N-ой степени из -1

Задания 3, 4, 5 - обязательны для выполнения!

== Домашнее задание №4 (на 06.10.2011) ==

# Изменить файлы таким образом, чтобы в промпте пользователя отображалась текущая дата и время
# Исправить пример, таким образом, чтобы при конвертировании изменялось только расширение файла
#: OPERATION=docToPdf
#: SUFFIX=pdf
#: directory=$PWD
#: for file in $directory/*
#: do
#: filename=$file
#: $OPERATION $file > "$filename.$SUFFIX"
#: rm -f $file
#: done
# Написать Bash-скрипт, который дописывает к имени каждого файла в директории букву "z", оставляя при этом расширение без изменений.
# Измените нужные файлы таким образом, чтобы при входе в систему каждый пользователь получал в терминале приветствие вроде "Hi, USER!" (с конкретным именем пользователя). Если это root, напишите ему что-то особенное. Если пользователь в качестве оболочки использует не bash, то напишите ему что-нибудь страшное.
# Напишите Bash-скрипт, который печатает список всех пользователей в системе. При запуске с ключом -b должны печататься только пользователи, использующие оболочку Bash.
#: Указание. Посмотрите в файл /etc/passwd
# Напишите Bash-скрипт, который выдает n штук случайных паролей, каждый длиной m. Числа m и n должны задаваться в параметрах. Если параметры не заданы, то должно выводиться сообщение об ошибке. Пароли могут содержать буквы латиницы в верхнем и нижнем регистре, а также цифры.
#: Указание. Случайную информацию можно брать из /dev/random и /dev/urandom (чем они отличаются?). Могут как-то помочь утилиты tr и fold.
# Напишите Bash-скрипт, который получает из Интернета страничку нашего курса с Вики и выводит список дат, в которые были лекции.
#: Указание. Может помочь утилита wget.

Домашнее задание "Unix и Скриптовые языки"

2011-11-23T09:03:42Z

Владислав Савельев: /* Домашнее задание по модулям Python */

== Домашнее задание по модулям Python ==
# NamPy, SciPy, Matplotlib: Кринкин Михаил, Кузьмин Александр
# PIL: Великий Алексей, Кононенко Василий
# NetworkX: Коровин Алексей, Гуменюк Станислав, Кормишин Сергей
# Socket: Владислав Савельев
# SMTPlib, POPlib:
# wxPython:
# pyQwt:
# Tkinter:
# thread, threading: Иванов Антон, Бандурин Дмитрий, Крашенинникова Ксения, Певзнер Алина

== Домашнее задание №6 (на ??.11.2011) ==

# Вывести греческий алфавит
# Реализовать длинную арифметику (ЧЕСТНО!)
# Используя модуль ElementTree, вывести в древовидном виде RSS ленту
# Подсчитать на странице с результатами поиска Google статистику по доменам первого уровня

Необходимо выполнить (хотя бы) любые 3 задания!

== Домашнее задание №5 (на 27.10.2011) ==

# http://www.pythonchallenge.com/
# Посчитать количество существительных в романе «Война и мир». Смотреть на Pymorphy
# Найдите все составные числа меньшие N, которые представимы в виде произведения двух простых чисел.
# Написать функцию, вычисляющую произведение двух матриц (матрица – список списков). Также написать функцию для вывода такой матрицы в красивом виде.
# Посчитать все корни N-ой степени из -1

Задания 3, 4, 5 - обязательны для выполнения!

== Домашнее задание №4 (на 06.10.2011) ==

# Изменить файлы таким образом, чтобы в промпте пользователя отображалась текущая дата и время
# Исправить пример, таким образом, чтобы при конвертировании изменялось только расширение файла
#: OPERATION=docToPdf
#: SUFFIX=pdf
#: directory=$PWD
#: for file in $directory/*
#: do
#: filename=$file
#: $OPERATION $file > "$filename.$SUFFIX"
#: rm -f $file
#: done
# Написать Bash-скрипт, который дописывает к имени каждого файла в директории букву "z", оставляя при этом расширение без изменений.
# Измените нужные файлы таким образом, чтобы при входе в систему каждый пользователь получал в терминале приветствие вроде "Hi, USER!" (с конкретным именем пользователя). Если это root, напишите ему что-то особенное. Если пользователь в качестве оболочки использует не bash, то напишите ему что-нибудь страшное.
# Напишите Bash-скрипт, который печатает список всех пользователей в системе. При запуске с ключом -b должны печататься только пользователи, использующие оболочку Bash.
#: Указание. Посмотрите в файл /etc/passwd
# Напишите Bash-скрипт, который выдает n штук случайных паролей, каждый длиной m. Числа m и n должны задаваться в параметрах. Если параметры не заданы, то должно выводиться сообщение об ошибке. Пароли могут содержать буквы латиницы в верхнем и нижнем регистре, а также цифры.
#: Указание. Случайную информацию можно брать из /dev/random и /dev/urandom (чем они отличаются?). Могут как-то помочь утилиты tr и fold.
# Напишите Bash-скрипт, который получает из Интернета страничку нашего курса с Вики и выводит список дат, в которые были лекции.
#: Указание. Может помочь утилита wget.

SE Wiki

2011-10-23T20:35:45Z

Владислав Савельев: /* Учебная информация */

== Учебная информация ==
{| class="wikitable" border="0" style="line-height:1.2em"
|-
|'''5 курс'''||  ||CS||SE||BIO||Пар
|-
|[[Материалы курса С++|C++]]||||x||x||x||1/1
|-
|[[Алгоритмы и структуры данных|Алгоритмы и структуры данных]]||||x||x|||x||1/1
|-
|[[Комбинаторика|Комбинаторика]]||||x||x|||x||1/1
|-
|[[Теория графов|Теория графов]]||||x||x|||x||1/1
|-
|[[Структурная теория сложности|Структурная теория сложности]]||||x||||||1/1
|-
|[[Конструктивная криптография|Конструктивная криптография]]||||x||||||1
|-
|[[Теор. семинар|Теор. семинар]]||||x||||||1
|-
|[[Алгебраические структуры|Алгебраические структуры]]||||x||x||||1/1
|-
|[[Мат. логика|Мат. логика]]||||x||x||||1/1
|-
|[[Материалы курса "Операционные системы"|Операционные системы]] ||||||x||||1/1
|-
|[[Темы семинаров|Технол. семинар]]||||||x||||1
|-
|[[Базы данных|Базы данных]]||||||x||x||1/1
|-
|[[Материалы курса "Unix и Скриптовые языки"|Unix / Скриптовые языки]]||||||x||x||1
|-
|[[Биол. базы данных|Биол. базы данных]]||||||||x||1
|-
|[[Молек. биолог|Молек. биолог]]||||||||x||1
|-
|[[Био технол.|Био технол.]]||||||||x||1
|-
|
|-
|colspan="6"|[https://docs.google.com/spreadsheet/ccc?key=0AtIwdVSPH0K9dFNYOEZTN3R2UmR3eUpWYnBaaHMyakE Данные голосования очередности экзаменов]
|-
|colspan="6"|[http://code.google.com/p/aptu-tex/source/browse/#hg Лекции в техе]
|}
 
{| class="wikitable" border="0" style="line-height:1.2em"
|-
|'''6 курс'''||  ||CS||SE||Пар
|-
|[[Доп. главы дискретной математики]]||||x||x||0.5
|-
|[[Виртуальные машины|Вирт. машины]]||||||x||1
|-
|[[Параллельные и распределенные вычисления|Парал. и расп. вычисления]]||||||x||1/0.5
|-
|[[Материалы курса "Операционные системы"|Операционные системы]] ||||||x||1/1
|-
|[[Software Design|Software Design]]||||||x||1/1
|-
|[[Материалы курса "Сетевые технологии"|Сетевые технологии]]||||||x||1
|-
|[[Функциональное программирование|Функциональное программирование]]||||||x||1/1
|-
|[[Эффективные алгоритмы|Эффективные алгоритмы]]||||x||||1
|-
|[[Спец. семинар|Спец. семинар]]||||x||||1
|-
|[[Теор. семинар|Теор. семинар]]||||x||||1
|-
|[[Конструктивная криптография]]||||x||||1
|}

== Практики ==
* [[ Темы практик |Темы практик, весна 2011-го года]]
* [[Темы практик, 5SE, осень 2011-го года ]]

== Студенты ==
* [[2010|Набор 2010-го года (группа 604)]]
* [[2011|Набор 2011-го года]]
== Важные ссылки ==
Для 5-го курса:
* [http://code.google.com/p/spbau-cpp-2011/ cpp] - репозиторий для лабораторных по С++.
Для 6-го курса:
* [http://code.google.com/p/hpcource/ hpcource] - репозиторий для лабораторных по параллельному программированию.
* [http://code.google.com/p/mathvm/ mathvm] - репозиторий для лабораторных по виртуальным машинам.
* [http://code.google.com/p/spbau-network-2011/source/checkout spbau-network-2011] - репозиторий для лабораторных по сетевым технологиям.
Для всех:
* [http://code.google.com/p/aptu-os/source/checkout aptu-os] - репозиторий для лабораторных по операционным системам.

== Дополнительно ==
* [[Q&A]]
* [[Мероприятия]]

SE Wiki

2011-10-02T16:56:13Z

Владислав Савельев: /* Учебная информация */

== Учебная информация ==
* [[ Конспекты С++ ]]
* [[Задания по С++]]
* [[Материалы курса "Операционные системы"]]
* [[Материалы курса "Unix и Скриптовые языки"]]
* [[Материалы курса "Сетевые технологии"]]
* [[Темы семинаров]]

{| class="wikitable" border="0" style="line-height:1.2em"
|-
|'''Предмет'''|| ||'''CS'''||'''SE'''||'''BIO'''||'''Пар'''
|-
|[[Конспекты С++|C++]]||||x||x||x||1/1
|-
|[[Алгоритмы и структуры данных|Алгоритмы и структуры данных]]||||x||x|||x||1/1
|-
|[[Комбинаторика|Комбинаторика]]||||x||x|||x||1/1
|-
|[[Теория графов|Теория графов]]||||x||x|||x||1/1
|-
|[[Структурная теория сложности|Структурная теория сложности]]||||x||||||1/1
|-
|[[Конструктивная криптография|Конструктивная криптография]]||||x||||||1
|-
|[[Теор. семинар|Теор. семинар]]||||x||||||1
|-
|[[Алгебраические структуры|Алгебраические структуры]]||||x||x||||1/1
|-
|[[Мат. логика|Мат. логика]]||||x||x||||1/1
|-
|[[Материалы курса "Операционные системы"|Операционные системы]] ||||||x||||1/1
|-
|[[Технол. семинар|Технол. семинар]]||||||x||||1
|-
|[[Базы данных|Базы данных]]||||||x||x||1/1
|-
|[[Материалы курса "Unix и Скриптовые языки"|Unix / Скриптовые языки]]||||||x||x||1
|-
|[[Биол. базы данных|Биол. базы данных]]||||||||x||1
|-
|[[Молек. биолог|Молек. биолог]]||||||||x||1
|-
|[[Био технол.|Био технол.]]||||||||x||1
|}

== Практики ==
* [[ Темы практик |Темы практик, весна 2011-го года]]
* [[Темы практик, 5SE, осень 2011-го года ]]

== Студенты ==
* [[2010|Набор 2010-го года (группа 604)]]
* [[2011|Набор 2011-го года]]
== Важные ссылки ==
Для 6-го курса:
* [http://code.google.com/p/hpcource/ hpcource] - репозиторий для лабораторных по параллельному программированию.
* [http://code.google.com/p/aptu-os/source/checkout aptu-os] - репозиторий для лабораторных по операционным системам.
* [http://code.google.com/p/mathvm/ mathvm] - репозиторий для лабораторных по виртуальным машинам.

== Дополнительно ==
* [[Q&A]]
* [[Мероприятия]]