Anatoly LevenchukНу вот там как с формальными языками: давно ведь было подмечено, что если брать чистопарадгимальный какой-то язык программирования, то шансов на популярность у него нет. А плохоформализованный эклектический язык с "глубоко теоретическими вставками" (но не целостной конструкцией всего полнотьюрингово
поэтому к формализмам требование - применимость. а для этого нужен по крайней мере процессор и энтузиасты (Isabelle, Rcoq, Lean, OWL2...). теперь с LLM формализация рванёт, IMHO.
Anatoly LevenchukНу вот там как с формальными языками: давно ведь было подмечено, что если брать чистопарадгимальный какой-то язык программирования, то шансов на популярность у него нет. А плохоформализованный эклектический язык с "глубоко теоретическими вставками" (но не целостной конструкцией всего полнотьюрингово
Тут надо понимать главное предназначение вообще языков программирования, а его почти никто не понимает.
Anatoly LevenchukНет, по совокупности причин. Тут же всё очень сильно зависит от конкретной страны и даже штата страны (в США есть и прецедентное право, но кое-где романо-германская правовая семья, например, купленной у Франции в 1803 году Луизианы, что удивительно). И ещё путаница между юриспруденцией и правоведени
По юридическим вещам скажу пару эвристик. )
Я как математик очень давно начитался кодексов всяких, начиная с гражданского.
В общем, там всё противоречиво.
А как известно, из противоречия вполне корректными цепочками можно выводить что угодно.
Вспоминаем старую пословицу про дышло...
Вот и привет безупречной логике и математике.
про Astra for Law от 17 сентября 2026г
—
Точность ответов: На 200 юридических вопросах конфигурация прошла проверку на корректность в 54% случаев против 38,7% у базовой модели. Это относительное улучшение на 40%.
Поиск прецедентов: При поиске судебных решений Astra for Law находила на 24% больше релевантных прецедентов.
Извлечение фрагментов: Количество найденных релевантных фрагментов из судебных заключений выросло до 54%.
Важно: Эти цифры являются результатом внутреннего тестирования OpenAI и пока не подтверждены независимыми экспертами.
R
A W V Просто когда есть сомнения по адекватности или перфу, и скорее минкейс на Compiler Explorer с разными компиляторами и ключами. Но ни с кошерными плюсами, ни с новохаляльным растом такое почти никогда не происходит, т.к. для 99% бизнес-логики или UI-логики такие решения не нужны, используется код уровня TypeScript или Python, даже если по недоразумению в плюсах.W Ну, мы - люди простыя... Нам надо, "чтобы летало и не падало" (ну, или падало - куда надо). Ну, или, там, песочек с камешками с какого-нить плутона показало... Так шо питоны и типаскрипты - только илончикам для ентертейнменту оставлены... 😎 Иногда и парадоксиками приходится заниматься (навроде отключения оптимизации, чтобы временные окна по ARINC 653 выдерживались)...