Публикации по теме '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