Хвостат Хвостатыч (hvostat_hvostat) wrote,
Хвостат Хвостатыч
hvostat_hvostat

Вот мне интересно...

Коллега rustedowl высказал замечательную мысль:

А почему законы пишут на естественном языке? Оптимально ведь было бы формализировать его и привести к виду языка программирования. У юристов есть множество формальных определений, ими тоже было бы манипулировать на этом уровне.
В итоге формально законы бы выглядели бы в духе
IF (номер ИНН, к примеру) KILL PERSON (другой номер ИНН) THEN GOTO JAIL (количество лет)

У врачей есть свой научный язык, у инженеров в общем-то тоже, у айтишников так вообще прорва. А у юристов нет.
А между тем, умение оперировать алгоритмами и абстракциями было бы совсем не лишним для законотворцев.

---

Мгновенно упрощаются суды, куча юристов и адвокатов проходит в газенваген.
Имея такую платформу, можно очень легко и наглядно отслеживать изменения и противоречия в законах и процедурах.
Для простых смертных программируются "визарды", с помошью которых упрощается взаимодействие человека и государства.

Короче.

Кто вхож в госдуму? Давайте проталкивать, разрабатыть и распиливать внедрять?

_
Tags: мiслi, ссылка
Subscribe

  • "Электронные письма и гарантии"

    Пару дней назад поступила задача подфайнтюнить почтовый севервер заказчика. С некоторым испугом осознал, что последний раз тюнил почтовик очень давно…

  • "Неверный пароль при импорте *.pfx"

    Проблема: При попытке импортировать свежеэкспортированный файл сертификата PFX, получаем отлуп "неверный пароль". При этом имеется уверенность,…

  • "Лечение паранойи по протоколу SSH"

    Если вы вынуждены "торчать" SSH наружу, то помимо ОБЯЗАТЕЛЬНОГО(!!!) использования fail2ban, можете еще успокоить свою паранойю, добавив в…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 12 comments

  • "Электронные письма и гарантии"

    Пару дней назад поступила задача подфайнтюнить почтовый севервер заказчика. С некоторым испугом осознал, что последний раз тюнил почтовик очень давно…

  • "Неверный пароль при импорте *.pfx"

    Проблема: При попытке импортировать свежеэкспортированный файл сертификата PFX, получаем отлуп "неверный пароль". При этом имеется уверенность,…

  • "Лечение паранойи по протоколу SSH"

    Если вы вынуждены "торчать" SSH наружу, то помимо ОБЯЗАТЕЛЬНОГО(!!!) использования fail2ban, можете еще успокоить свою паранойю, добавив в…