IRDB - 法令工学の実践 国民年金法の述語論理による記述と検証

片山卓也. 法令工学の実践 国民年金法の述語論理による記述と検証. 第5版, JAIST Press, 2023, 146p. Other 国民年金法のような行政サービスに関する法令は，その内容は明確であり，文章上の見かけの複雑さの割には論理的深度は深くない．したがって，論理式などの形式的体系によってその内容を記述することにより，可読性が高く，機械的なテストや分析が可能な法令記述が得られる可能性が高い．このような法令は我々の社会の制度的基盤であり，その実働化IT システムが我々の社会生活を支えていることを考えると，法令に対する形式的技術の確立は非常に重要である. 本書は，このような立場から国民年金法の基本的条文の述語論理による記述と定理自動証明器（SMT ソルバー）Z3Py による検証について述べたものである．近年の定理証明技術の進歩や計算機システムの高性能化により，このような技術は行政サ

[casm]

面白そう。／個人的な構想として、類似の構造を持つ複数の法律に共通する条文は関連性が深いような気がするので、その関連性スコアで条文リンクを自動生成できないかと考えてる。ので、「法令工学」あとで学ぶ。