kouzdra (kouzdra) wrote,
kouzdra
kouzdra

Category:

Математическая юриспруденция - 2

Кстати забавно что народу как-то сразу начали мерещиться "автоматические судьи" и прочие ужасы - хотя вполне очевидно зачем на самом деле это может быть нужно (и кстати в постановке задачи на госконкурсе это сказано прямо) - для того же, для чего нужны типовые системы (и более продвинутые варианты верификаторов) - для "статической отладки" законодательства:

То есть для поиска по крайней мере (для начала) наиболее очевидных дыр, ляпов и противоречий в законодательной продукции (и для поддержания хотя бы на некотором уровне консистентности ее при патчах).

100% выявление багов тут совершенно не требуется (как не отменяет крайней полезности даже примитивных типовых систем, тот факт, что они обеспечивают весьма куцую проверку консистентности программного кода)

PS: А вот кстати то, что заявка вынесена на конкурс кстати почти наверняка означает, что какие-то достаточно конкретные уже наработки, под финансирование которых конкурс и объявлен, уже есть.
Subscribe
  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 13 comments