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