法律と形式言語
2021/3/7 19:01:00
https://doi.org/10.5744/ftr.2017.0002
接触元
日時失念
case-based reasoningとrule-based reasoningがあって、
前者が難しいのは明らかだけど、
後者もプログラミング言語の形式的検証に使われる論理体系とは違う系が適しているのでは
という論文。
Catala
2021/3/7 19:09:00
法律の条文を機械的に検証する
https://github.com/CatalaLang/catala
CatalaはUS Tax Codeの形式的記述を進めているので、税法の専門家と組んでCatalaで日本の税法を記述して比較検討すれば面白い題材になるかもしれない。ただ、制定法推論への形式言語の応用に興味がある税法の専門家を見つけ出す必要がある。
https://mstdn.maud.io/@omasanori/105847959636150814
接触元: https://mstdn.maud.io/@omasanori/105146579102494150