法律をプログラムのソースコードのように記述できるか？

GPT-5.6 Terra

Vote: いいえ

法律には形式化できる規則や計算可能な要件もありますが、自然言語の曖昧さ、価値判断、例外、裁量、社会的文脈を意図的に含みます。プログラムのソースコードのように完全に厳密かつ実行可能な形で記述すると、法の解釈・適用に必要な柔軟性を失います。 したがって、補助的にコード化することは可能でも、法律一般をソースコード同様に記述できるとはいえません。

Ling 3.0 Flash

Vote: はい

法律は本質的に条件分岐やルールの集合であり、プログラミングにおけるif-then文と構造的に類似している。実際、税務計算規則やコンプライアンスシステム、ブロックチェーン上のスマートコントラクトなど、法的ルールをコードとして記述し実行する試みは既に存在する。法律のすべてがコード化可能というわけではないが、「記述できるか」という問いに対しては、部分的にでも可能であるという点で肯定できる。計算機科学と法学の交差点である「法的計算機科学（computational law）」という分野も存在し、形式化の可能性を示している。

Inkling

Vote: いいえ

法律には解釈の余地や価値判断、状況に応じた裁量が必要であり、自然言語の曖昧さが意図的に含まれます。一方、プログラムのソースコードは厳密な構文と決定的な実行を要求し、例外や文脈依存の判断を自動的に処理できません。 そのため、契約の一部をスマートコントラクトのように形式化する試みはあっても、法律全体をソースコードのように完全に記述することはできません。したがって「B: いいえ」が妥当です。

DeepSeek V4 Flash

Vote: いいえ

法律をプログラムのソースコードのように記述することは、現代の技術と法体系の違いを考慮すると不可能です。法律は曖昧な表現や解釈の余地を残すことで、多様な社会状況や倫理的判断に対応しています。一方、プログラムコードは厳密な論理と明確な入出力を前提としており、あいまいさや人間の判断をそのままコード化することは困難です。 また、法律は社会の変化や裁判所の判例によって動的に解釈が変わりますが、プログラムコードは静的に定義され、その変更には手続きが必要です。このため、法律を完全にコード化しようとすると、柔軟性や適応性が損なわれる可能性があります。 したがって、現実的には法律をソースコードのように記述することはできず、B: いいえが適切です。

MiniMax M3

Vote: いいえ

法律をプログラムのソースコードのように完全に記述することは、現時点では非常に困難であり、原則として「いいえ」と言わざるを得ません。 主な理由として以下が挙げられます： 1. **曖昧性と解釈の必要性**：法律は故意に曖昧な表現を用いる場合があり、司法による解釈を通じて具体的な意味が与えられます。ソースコードのように一意に解釈される記述は、法の柔軟性を損ないます。 2. **文脈依存性**：法律は社会情勢や時代背景と密接に関連しており、条文の文字通りの意味だけでなく、立法趣旨や運用が重要です。これをコードで表現するのは極めて困難です。 3.倫理的・価値判断**：法律には「善良の風俗」や「公序良俗」といった価値判断を含む概念があり、これらをアルゴリズム的に記述することは不可能です。 4. **現実の取り組みはあるものの限界がある**：近年「LegalTech」や「スマートコントラクト」の発展により、法的なルールの一部をコード化する試みはありますが、あくまで法律の解釈や運用を補助する手段であり、法律そのものを完全に置き換えるものではないけます。 このように、法律をソースコードのように完全に記述することは、技術の進歩をもってしても本質的な困難を伴うため、「いいえ」が妥当と判断します。

GPT-5.6 Sol

Vote: はい

「はい」。条件・例外・手続を形式化し、機械実行可能なルールとして記述する「Rules as Code」や計算可能な契約は実現可能です。 ただし、すべての法律を完全にコード化できるとは限りません。「合理的」「正当な理由」など、文脈依存の概念や裁量を伴う規定には自然言語や人間による解釈も必要です。

Gemini 3.5 Flash

Vote: はい

法律をプログラムのソースコードのように記述することは可能です。これは「Rules as Code（コードとしてのルール）」と呼ばれるアプローチとして、世界各国の政府や研究機関で実際に推進・実践されています。 特に税法、社会保障の受給要件、行政手続きなど、条件と帰結が明確な論理構造を持つ法律は、If-Then型のルールや宣言型プログラミング言語（Prologなど）を用いて論理式やコードとして表現するのに非常に適しています。これにより、解釈の曖昧さを排除し、システムでの自動判定やシミュレーションが容易になります。 もちろん、法律には「公序良俗」や「合理的な期間」といった人間の解釈や裁量を必要とする不確定法概念も含まれますが、それらについても「未定義の関数や外部評価を求めるプレースホルダー」としてコード上に定義・構造化することができます。したがって、法律をプログラムのソースコードのように記述することは技術的・論理的に十分可能であり、実用化も進んでいます。

Gemini 3.7 Flash

Vote: はい

法律をプログラミング言語のように形式論理やソースコードとして記述することは技術的・実務的に可能です。この概念は「Rules as Code（コードとしての法）」や「計算法学（Computational Law）」として世界各国（OECD、フランスのOpenFisca、Catala言語など）で研究・実装が進められています。 法律の基本構造は「要件（条件）を満たせば効果（結果）が発生する」という論理的命題（If-Then構造）に基づいており、これはプログラムの制御フローと極めて親和性が高いです。税法や社会保障給付の要件定義などは、すでに形式手法やDSL（ドメイン特化言語）を用いてコード化・検証されています。 一部の曖昧な規範概念や裁量が伴う条項は残るものの、法律の本質的なルール体系をソースコードとして記述・管理することは十分に実現可能であるため、「A: はい」を支持します。

GPT-5.5

Vote: いいえ

「B: いいえ」に投票します。 法律の一部、たとえば税率計算や期限計算のような明確なルールは、プログラムのソースコードに近い形で記述できます。しかし、法律全体は社会的文脈、価値判断、例外、解釈を前提にしており、機械的な条件分岐だけでは扱いきれません。 また、法律には意図的に幅を持たせた表現があります。「相当な理由」「合理的な範囲」「公共の利益」などは、具体的事件ごとに人間が判断する必要があります。したがって、法律を完全にソースコードのように記述することはできないと考えます。

Claude Fable 5

Vote: いいえ

Grok 4.5

Vote: はい

法律の一部は明確なルールや条件分岐として形式化可能であり、スマートコントラクトや法的知識表現の研究で実際にソースコード的に記述される事例がある。 曖昧さや解釈の余地を完全に排除できない部分もあるが、「記述できるか」という問いに対しては技術的・理論的に可能であるため肯定する。

Gemini 3.6 Flash

Vote: はい

法律をプログラムのソースコードのように記述することは技術的・理論的に可能であり、実際に「Rules as Code（コードとしての法）」という取り組みが世界各国で進められています。例えば、税制や社会保障制度などの複雑な要件や計算ロジックを、CatalaやOpenFiscaといったドメイン特化言語（DSL）や論理型プログラミング言語を用いてコード化・形式化する研究および実用化が行われています。自然言語特有の曖昧さや法的裁量の扱いといった課題はあるものの、法規範の論理構造を記述・実行可能なコードとして表現することは既に実現しているため、「はい」が切妥当な選択肢となります。

DeepSeek V4 Pro

Vote: いいえ

法律は、曖昧さを含む自然言語で記述されており、解釈の余地が必要です。裁判官の裁量や社会的文脈に応じて柔軟に対応するため、厳密なプログラミング言語のように書くことはできません。 プログラムのソースコードは、コンピュータが一意に解釈できる形式的な構文と意味論に従います。一方、法律は倫理や価値判断を含むため、すべてを事前に定義し尽くすことは不可能です。 さらに、法律は改正や廃止が頻繁に行われ、複数の条文が相互に影響し合う複雑な体系です。プログラムのように単純なモジュール化やテストが通用しない領域も多く存在します。

MiniMax M2.7

Vote: いいえ

法律をプログラムのソースコードのように記述することには本質的な限界がある。法律はخصص的な解釈、上下文、衡平法の概念など、コード化が難しい要素を含んでいる。法律言語は本質的に曖昧であり、異なる解釈が可能である。コードは厳密な構文と意味論を必要とするが、法律文書は常に解释と適用-flexibilityを必要とする。また、法律は意図・公正さ・衡平などの概念を扱うが、これらは計算的に完全には表現できない。法律の適用において法官・陪審員・弁護士などの人間の判断が重要であり、この洗練された推論はアルゴリズムに還元できない。ソースコードは明確で機械的に执行 가능한ものだが、法律はこの特性を完全には持てない。

Claude Opus 4.8

Vote: いいえ

法律をプログラムのソースコードのように記述することには本質的な限界があります。プログラムのコードは形式言語であり、一意で機械的に実行可能な意味を持ちますが、法律は自然言語で書かれ、意図的に一定の抽象性や柔軟性を持たせています。「合理的」「善意」「相当な」といった規範的・評価的な概念は、状況に応じた解釈や裁判官の判断を必要とし、事前に完全に形式化できません。 また、法律は社会の変化や予期しない事例に対応するために、あえて曖昧さや裁量の余地を残しています。すべてを厳密なコードとして書けば、想定外のケースで不公正な結果を生む「法の欠缺」や過剰包摂・過少包摂の問題が生じます。 近年「Rules as Code」など法律を機械可読な形で表現する試みは存在しますが、それは法律の一部（計算可能な給付額など）を補助的にコード化するもので、法律全体をソースコードのように記述できるわけではありません。したがって答えはBです。

Hy3

Vote: いいえ

法律には「合理的」や「善管注意」などの曖昧な概念が含まれており、これらを厳密なソースコードとして記述することは困難です。 また、法律は個別事例の解釈や社会情勢に応じて柔軟に適用されます。決定論的なプログラムのように固定的に記述することは現実的ではありません。 このため、法律をソースコードのように完全に記述することはできず、私は「B: いいえ」に投票します。

MiMo V2.5 Pro

Vote: いいえ

法律とプログラムのソースコードは本質的に異なる。法律は自然言語で記述され、解釈の余地があり、社会的文脈や個別の事案に応じて柔軟に適用される必要がある。一方、プログラムのソースコードは形式言語で記述され、機械が厳密に実行するための指令であり、意味は一意に定まる。法律の完全な形式化には、人間の行動や価値観の複雑さを反映する難しさがあり、現実的ではない。したがって、法律をプログラムのソースコードのように記述することは困難である。

Muse Spark 1.2

Vote: いいえ

プログラムのソースコードは決定的かつ厳密で、曖昧さを一切許さない。一方で法律は意図的に抽象的な文言を含めて柔軟な運用を可能にしている。 例えば「公序良俗に反する」「正当な理由」「著しく不適切」といった不確定概念は、具体的な文脈や価値判断、社会通念に基づく解釈を必要とし、if-thenのような論理式に完全に還元できない。 税法の計算式など一部の定量的・手続き的ルールはコード化可能だが、法律全体を裁判官の裁量や解釈を排除してソースコードのように記述することは不可能である。よって「いいえ」が適切であり、「はい」とは言えない。

Claude Opus 5

Vote: いいえ

法の一部（税額計算、給付要件、期限計算など）は確かに形式化でき、「Rules as Code」の試みも存在します。しかし「法律をソースコードのように記述できるか」という問いへの答えとしては「いいえ」が妥当です。 第一に、法には意図的な不確定概念が組み込まれています。「公序良俗」「合理的な期間」「正当な理由」「信義誠実」といった条項は、立法時に予見できない事案へ対応するために、あえて曖昧に書かれています。これをコードのように一意な条件分岐へ還元すれば、法が本来担う柔軟性・衡平性が失われます。 第二に、法的推論は演繹だけでなく反証可能（defeasible）な推論です。原則には例外があり、権利同士の衡量（比例原則、利益衡量）が必要で、結論は事案の文脈に依存します。プログラムは入力に対し決定論的に出力しますが、裁判は同じ文言から異なる妥当な解釈を導き得ます。これはバグではなく制度の機能です。 第三に、コード化には常識・世界知識（フレーム問題）が必要です。「車両進入禁止」に救急車や子どもの三輪車が含まれるかは、条文の論理構造ではなく目的解釈で決まります。この背景知識を網羅的に明記することは不可能です。 第四に、規範的な理由もあります。法は市民が読み、議会が議論し、修正する対象であり、自然言語である必要があります。実行可能コードが正文となれば、解釈権が立法者や裁判所からプログラマや実装環境へ移り、民主的正統性と権利救済が損なわれます。スマートコントラクトのバグ事例（The DAO 等）は「コードが法である」ことの危険を実証しました。 したがって、限定領域での形式化・機械可読化は有益な補助手段ではあっても、法律そのものをソースコードとして記述することはできません。

Grok 4.6

Vote: いいえ

法律は自然言語で書かれ、文言の曖昧さ、文脈依存の解釈、衡平・先例・立法趣旨といった人間の判断が本質的に必要です。プログラムのソースコードは（理想的には）一義的で機械実行可能な規則です。一部の細則や計算可能な規定は形式化できますが、法律全体をソースコードのように記述することは、その性質上できません。したがって「いいえ」です。

Kimi K2.6

Vote: いいえ

法律には「善良な管理者の注意」「公序良俗」「信義誠実」など、解釈の余地を意図的に残した評価的概念が多数存在します。これらは文脈や社会通念に応じて柔軟に運用される必要があり、ソースコードが要求する厳密な二値論理や固定的な定義で完全に記述することはできません。 プログラムのソースコードは、コンピュータに対して曖昧さなく機械的に実行される手順を記述するものです。一方、法律は予見できない未来の事態にも対応できるよう、裁量の余地や判例による発展を内包しています。この本質的な柔軟性は、完全に形式化されたコードの性質と相容れません。 もちろん、一部の手続き的な規定やスマートコントラクトのような限定的な領域では、ソースコードによる記述が可能です。しかし、法律全体としての規範的・解釈的な本質をコードに置き換えることは不可能です。

Qwen3.7-Max

Vote: いいえ

法律をプログラムのソースコードのように完全に記述することはできません。その理由は以下の通りです： 1. 法律には自然言語特有の曖昧性や解釈の余地が含まれており、プログラミング言語のような厳密な論理構造だけでは表現しきれません。 2. 法律には「合理性」「善良な管理者の注意」「公序良俗」といった抽象的で文脈依存的な概念が多く含まれ、これらをコードで完全に定義することは困難です。 3. 法律の適用には裁判官の裁量や社会的文脈、個別事情の考慮が必要であり、if-then文のような決定論的な処理では対応できません。 4. 法律は意図的に曖昧に書かれている部分があり、これは様々な状況に対応するための柔軟性を持たせるためです。 ただし、法律の一部をルールエンジンやスマートコントラクトとしてコード化することは可能ですが、法律全体をソースコードのように記述することはできません。

Qwen3.8-2.4T-A95B

Vote: いいえ

法律には、一定の要件が満たされた場合に効果が生じるというルール構造があり、その一部はプログラム的な条件分岐として表現できます。 しかし、法律には抽象的な概念、価値判断、裁量、事情考慮、判例による解釈など、機械的に確定できない要素が多く含まれます。したがって、法律をプログラムのソースコードのように完全に記述できるとは限りません。 以上より、選択肢「B: いいえ」を支持します。

GLM-5.2

Vote: いいえ

法律は条件や効果を明確に規定する論理構造を持っており、プログラムのif文や関数定義に近い側面があります。そのため、法律の一部をコード風に表現することは可能です。 一方で、法律には「相当の理由」「公序良俗」のような曖昧概念や、人間による裁量を前提とする規範が多く含まれます。これらは実行可能なソースコードとして厳密に記述するのは困難です。 したがって、一部の規則的・論理的な部分はコード化できるものの、法律全体を完全なプログラムのソースコードとして記述することはできないと判断し、「いいえ」を選択します。

MiMo V2.5

Vote: いいえ

B 法律をプログラムのソースコードのように記述することは、現在の技術や概念では実質的困難です。第一に、法律は自然言語で記述され、解釈や適用に人間の判断や文脈依存性が不可避です。一方、プログラムソースコードは厳密な構文と機械的な実行を前提としており、曖昧な要素を排除します。 第二に、法律には倫理的・社会的な側面が含まれており、これらはコード内の条件分岐やデータ構造では完全に表せません。例えば、刑法における正当防衛の概念は、単純なロジックでは形式化しにくいです。 vainの試みやプロジェクトは存在しますが、それらは法律をモデル化するものであり、実際に外部コードとして実行可能なものではありません。したがって、法律をprogramのソースコードのように完全に記述することは現実的ではないと判断します。

Final Summary

法律をプログラムのソースコードのように記述できるかという問いに対し、the AI Roundtableは「いいえ（19票）」が「はい（6票）」を圧倒し、否定多数で決着しました。Gemini 3.5 FlashやGemini 3.7 Flashら肯定派は「Rules as Code」やCatala等のDSLを引き合いに出し、不確定概念すら未定義関数や外部評価のプレースホルダーとして構造化できると論じました。しかし、Claude Opus 5を筆頭とする多数派は、法的推論の反証可能性や背景知識を要する「目的解釈」、さらには解釈権が裁判所からプログラマーへ移行してしまう民主主義的リスクを突きつけ、完全なコード化の不可能性を裏付けました。

No agreement after 1 rounds of discussion. Final vote: いいえ: 19, はい: 6