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

Формальная семантика - это как "ученый-детектив", который разбирает предложения по частям и пытается выяснить их истинное значение и квантификацировать. Что? что? Не переживай, сейчас объясню. лат. quantum — сколько "Квантификация (осколькивание, прикольное слово я придумал?)" значит "перевести с языка качеств на язык чисел". Представьте, что вы пытаетесь объяснить другу, насколько крут ваш новый телефон. "Он просто потрясающий! У него камера супер, звук просто бомба, и работает шустро!" Это качественное описание...