t_wの輪郭
RSS
言語
形式
けいしきげんご
形式言語
2023/1/11 9:03:00
法律と形式言語
形式言語ってPrologっぽい
Prolog
形式言語
形式言語ってPrologっぽい
2023/3/29 13:47:00
形式言語をよく知らずにすげー適当なことを言ってみる
あれ
法律
形式言語
https://mstdn.maud.io/@omasanori/105847921648174561
法律と形式言語
2021/3/7 19:01:00
接触元
https://mstdn.maud.io/@omasanori/105847921648174561
Sarah B. Lawsky「A Logic for Statutes」，『Florida Tax Review』21巻1号。2017-12-19
Catala
