CatalaLang/catala: 法律仕様のためのプログラミング言語

• Catalaは、法律テキストからアルゴリズムを生成するために設計されたドメイン特化プログラミング言語です。
• この言語は社会・財政法のプログラミングに適するよう調整されており、複雑な社会・財政メカニズムを、コードと法律の高い忠実性を保ったまま実装できます。
• このプロセスには、関連するすべての法律、行政命令、先例を収集し、テキストにコード上の意味を注釈付けすることが含まれます。
• Catalaコンパイラは、ドメイン専門家、たとえば弁護士がレビューし、正確であると認証できるように設計された、弁護士が読めるPDF版の実装を生成できます。
• Catalaの論理構造は法律の論理構造を模倣しており、基本論理を第一級機能として埋め込むことで、法律プログラミングに特有の適性を備えています。
• Catalaはopamパッケージとして提供されており、opamがインストールされた環境で導入できます。
• この言語は、Catalaコンパイラのソースコードを変更せずにカスタムバックエンドを追加することをサポートしています。
• Catalaには、フランスの法律文書の公式リポジトリであるLégiFranceと統合するコマンドラインユーティリティ、Catlegが含まれています。
• この言語名は、法律判例のコンピュータデータベースであるJuris-Dataを作り、フランスのリーガルテックを先導した法学教授Pierre Catalaにちなんで名付けられました。
• Catalaは、フランス国立情報学自動制御研究所Inriaの研究プロジェクトであり、現在も一部機能が不安定な状態で開発中です.

[GN⁺]

Hacker Newsの意見

• CatalaLang/catalaは、法的仕様のために設計されたプログラミング言語です。
• コメント投稿者たちは、このような言語の潜在力に興奮を示し、法律がこの形式で書かれれば一般の理解を向上させられるのではないかと提案しています。
• 法律のためのプログラミング言語という概念は、Greg Bearの著書『Moving Mars』で「Legal Logic」という名前で言及されていました。
• 一部では、テストケースとモデルチェッカーの統合を提案しており、この言語で書かれた法律の正確性と有効性を保証できるようにすべきだとしています。
• この言語を説明する論文が公開されており、短い動画要約も提供されています。
• 法律の意図を明確にし、誤解を防ぐために、法律向けの標準化されたテストスイート形式を提案するコメント投稿者もいます。
• 法律における曖昧さの役割については議論があり、曖昧さは本質的で必要だと主張する人もいれば、プログラミング言語が望ましくない曖昧さを取り除く助けになると考える人もいます。
• 一部のユーザーは、プログラミング言語は法文の理解には役立つかもしれないが、利害のバランスを取るような複雑な作業には役立たず、そこでは依然として人間の判断力が必要だと指摘しています。
• Logical Englishのような、ほかの類似した取り組み、つまり「法律と倫理のためのプログラミング言語」も言及されています。
• 法律に対するバージョン管理システムという概念も提案されており、法律を作成する時点で明確な目標を定義し、レビューすべき制約条件を設定することが含まれます。