AG
это надо конкретно в механическую инженерию идти да
Size: a a a
2021 March 09
AG
роботика всякая
VS
Но вот интересно, ложится ли это на современный CS
VS
И всякие теории верификации кода
AG
есть работы по верификации управленческих алгоритмов да
AG
но я бы сказал что эта тема ближе к дата инжирингу
VS
Ну управленческих понятно
AG
всякие потоковые фильтры калмана и прочие мин-скетчи
VS
А вот можно ли провернуть обратный финт?
VS
И матаппарат ТАУ натянуть на анализ условного AST
AG
ну я выше писал про категорификацию ту
AG
можно найти общие абстракции и попытаться транспортировать результаты
AG
можешь начать с туториала шаржеро :)
AT
это в понв еда
AT
только там столько опечаток и грамматических ошибок, что читать неприятно
KS
Щас бы двача и трейлеров марвел навернуть...
AT
но уже в SF скоро поправит всё
AT
Kirill Shelopugin
Щас бы двача и трейлеров марвел навернуть...
это в понв еда