Публикации по теме 'mmt'


Динамическое ценообразование ММТ
Санджай Мохан, технический директор группы MMT, рассказывает: «По сравнению с другими услугами электронной коммерции, путешествия требуют контекста, это менее частая покупка и скоропортящийся инвентарь. Ценообразование в этом случае является динамическим и отличается от того, что может искать пользователь. Вот почему наука о данных, связанная с путешествиями, представляет собой интересную задачу для решения», MakeMyTrip — индийская туристическая онлайн-компания, основанная в..

Вопросы по теме 'mmt'

Выяснение, в каком исходном файле MMT была объявлена ​​константа/теория/
Скажем, я помню имя константы или теории, но совершенно забыл, где оно объявлено. Возможно, я даже не знаю, в каком ММТ-архиве он заявлен. Как узнать исходный файл? Могу ли я просто открыть оболочку MMT, загрузить все архивы, которые есть на моем...
22 просмотров
schedule 04.09.2022

Взгляд между теориями, включая общую теорию в ММТ
У меня есть две теории B и C, каждая из которых включает общую теорию A. Моя цель — указать представление BC: B → C удобным способом, без предоставления отображений для всех констант в A. fixmeta ur:?LF ❚ theory A = a : type ❙ ❚ theory B...
29 просмотров
schedule 22.09.2022

Как указать абсолютный URI в MMT? Получение несвязанного токена: http и неправильная постоянная ссылка
Абсолютные URI ведут себя неожиданно для меня в поверхностном синтаксисе MMT. В некоторых местах я получаю ошибки unbound token: http и ill-formed constant reference , а в других местах они работают нормально. См. (неполный) список ниже. Когда...
37 просмотров
schedule 10.08.2022