[Перевод] Управление робототехникой в реальном времени с помощью языка Lean

Джерело:
Хабрахабр / Захабренные / Тематические / Посты

Дата публікації:
09/05/2021 16:30

Постійна адреса новини:
http://www.vsinovyny.com/7835209

[Перевод] Управление робототехникой в реальном времени с помощью языка Lean

09/05/2021 16:30 // Хабрахабр / Захабренные / Тематические / Посты

Подразделение Microsoft Research недавно опубликовало предварительный выпуск Lean 4. Предыдущие версии Lean были сосредоточены на том, чтобы быть помощником по доказательствам — программным инструментом, который облегчает разработку строгих математических доказательств с помощью интерактивной совместной работы человека и машины. До сих пор язык Lean в основном применялся для оцифровки теоретической математики.

» Читати повністю

«	Наступна новина з архіву Motion Amplification или диагностика состояния промышленного оборудования и сооружений с помощью видеоаналитики	Попередня новина з архіву Хакеры атакуют пользователей криптовалют через серверы в сети Tor	»