t_wの輪郭

https://doi.org/10.5744/ftr.2017.0002

接触元

日時失念

case-based reasoningとrule-based reasoningがあって、
前者が難しいのは明らかだけど、
後者もプログラミング言語の形式的検証に使われる論理体系とは違う系が適しているのでは
という論文。

法律の条文を機械的に検証する
https://github.com/CatalaLang/catala

CatalaはUS Tax Codeの形式的記述を進めているので、税法の専門家と組んでCatalaで日本の税法を記述して比較検討すれば面白い題材になるかもしれない。ただ、制定法推論への形式言語の応用に興味がある税法の専門家を見つけ出す必要がある。

https://mstdn.maud.io/@omasanori/105847959636150814
接触元: https://mstdn.maud.io/@omasanori/105146579102494150