2023年12月20日、コロラド州からカルダノの創設者であるチャールズ・ホスキンソン氏が動画「Due Process and the Constitution：デュープロセスと憲法」を公開しました。

動画では、自由な社会における積極的な参加の重要性を強調し、自分の人生、自由、財産を管理する必要性と、政府による過度の介入に対するチェックとバランスの必要性を訴えます。ホスキンソン氏は数学、形式的システム、憲法学、そしてそれらがカルダノのエコシステムにどのように関連しているかについて以下のような幅広いトピックを議論しています。

1. 数学と形式的システム: 数学における形式的システムの重要性を説明。公理、整合性、完全性、独立性、決定可能性などの概念に焦点を当て、これを数学の基礎とコンピュータ科学の誕生に関連付けます。
2. 憲法学とカルダノ: これらの概念を憲法学、特にカルダノが自身の憲法を書くための進行中の努力について。この憲法のどれだけを機械が理解可能で自己整合的にすべきか、そしてどれだけを人間の判断に任せるべきかという課題があります。
3. ケーススタディ – アメリカ合衆国の憲法解釈: 憲法解釈の課題の例として、最近のアメリカの法的なケースを議論。このケースは、14修正条項と反乱の告発に基づいて、元大統領トランプがコロラド州の投票用紙に適格であるかどうかに関する議論を含んでいました。この状況は、憲法解釈が非決定的で曖昧な性質のために困難であることを示しています。
4. 解釈の学派と第二修正条項: オリジナリスト/テクスチュアリストの視点と生きた文書としての解釈など、異なる憲法解釈の学派を探求し、第二修正条項を例に出します。
5. デュープロセスと憲法修正: 特に第14修正条項と第5修正条項の互換性について、そしてそれらを一貫した方法で解釈する複雑さについて深く掘り下げます。
6. カルダノの憲法とブロックチェーンのガバナンス: これらの考えを再びカルダノに結びつけ、カルダノのエコシステムにおいて何が「権利」とみなされるべきか、またネットワークがガバナンスからの失格や取引の可逆性のような問題をどのように扱うべきかについて考察します。
7. 教育的推奨と行動への呼びかけ: 彼は、憲法解釈を理解するための教育資源を推奨し、カルダノコミュニティにこれらの議論に参加するよう促します。分散型エコシステムにおける教育されたコミュニティの重要性を強調します。

デュープロセス（Due Process）とは、法の下での公正な手続きを指す法律上の原則です。この原則は、個人がその権利を剥奪される前に、適切で公正な法的手続きを受ける権利を保証するものです。デュープロセスには二つの主要な側面があります：

1. 手続的デュープロセス（Procedural Due Process）: これは、法律の下で公正な手続きを保証することに関連しています。これには、告発された個人が裁判にかけられる前に、その告発の性質を知り、適切な法廷で自己を防御する機会を持つ権利が含まれます。手続的デュープロセスは、適正な通知、公正な聴聞、そして偏見のない裁判官による裁判の機会を要求します。
2. 実体的デュープロセス（Substantive Due Process）: この側面は、法律自体の公正性と合理性に焦点を当てています。実体的デュープロセスは、法律が基本的な権利や自由を不当に制限しないことを保証します。例えば、プライバシーの権利や結婚の自由など、憲法によって保護されている特定の権利がこのカテゴリに含まれることがあります。

デュープロセスは、特にアメリカ合衆国憲法の第五修正条項と第十四修正条項において重要な役割を果たしています。これらの修正条項は、連邦政府と州政府が個人の基本的な権利を剥奪する前に、公正な法的手続きを提供することを要求しています。この原則は、民主的な法の支配を確立し維持する上で基礎的なものであり、個人の自由と公正を保護するために不可欠です。

最後に、ホスキンソン氏は2024年の計画について言及し、法律表現のためのドメイン固有言語の開発を計画しています。これは、法律を曖昧さのない方法で表現するためのドメイン特化言語を開発することを目標に掲げています。これは、彼が「Civics committee」の一環として取り組んでいるプロジェクトの一つであり、法律のアルゴリズム表現に関する進行中のプロジェクトの一部です。また、ホスキンソン氏のお気に入りの言語の一つであるLojbanという創造言語を紹介し、ホスキンソン氏の計画がLojbanにある機関を活気づけることを願っています。

以下はチャールズ・ホスキンソン氏動画「Due Process and the Constitution」を翻訳したものです。

チャールズ・ホスキンソン氏が動画「Due Process and the Constitution：デュープロセスと憲法」翻訳

こんにちは、チャールズ・ホスキンソンです。いつも暖かくて晴れやかなコロラド州から生放送しています。今日は2023年12月20日で、クリスマスが近づいてきています。楽しいクリスマスをお祝いし、皆さんにメリークリスマスを願います。

今年は長くてストレスが多く、非常に疲れる年でしたが、同時に驚くほど特別で楽しい年でもありました。ドバイに行ったり、世界中の面白い人々と交流したりしました。モンゴルからルイジアナまで色々な場所を訪れ、多様な意見や文化、言語を見て、皆さんの希望や夢を知り、それらにできるだけ参加するのが楽しかったです。

今回は私の情熱について簡単なビデオを作りたいと思います。私は形式的システムや形式的言語の大ファンです。多くの方がご存知のように、私たちはインプット・アウトプット：IOG（カルダノ開発会社）で形式的方法を用いています。そして、私も以前、別の人生で数学を学んでいました。数学を特に高度なレベルで学ぶとき、まず学ぶのは形式的システムの概念です。そこには公理と、公理から導かれる真実の概念があります。数学の基礎の大きな部分は、一貫性と完全性のアイデアです。つまり、公理がお互いに矛盾しないように一貫性を持たせ、システム内で言いたいことが全て言えるように完全性を持たせることです。それぞれが独立しており、一つが他から導かれることなく本当に独立していることも重要です。

これは例えば、ユークリッドの平行線公準に関する大きな議題でした。また、任意の決定が一連の導出から導き出せるように、決定可能であることも重要です。数学は実際には完全でも決定可能でもありません。これについてはクルト・ゲーデルの定理や、アラン・チューリングの研究があります。チューリングの論文では、コンピュータを発明するためではなく、数学が決定不可能であることを証明するためにチューリングマシンが使用されました。これが現代のコンピュータ科学の基礎を築きました。形式的システムを研究するのはとても興味深いです。なぜなら、すべての形式的システムが不完全で決定不可能なわけではないからです。ヒルベルトの幾何学のような一部の形式的システムは完全であり、機械的に必要なことを決定することができます。これは多くの非常にクールな概念につながります。

憲法学は興味深いものです。カルダノランドでは、カルダノのための憲法を書く必要があるため、これに取り組んでいます。その憲法のどれだけが機械に理解可能で自己整合性を持ち、適切な大きさの公理セットを内包しているべきか、そしてどれだけが曖昧で人間の判断に委ねられるべきかという問題があります。

アメリカで最近何かが起こりました。これはまるで政治的なロールショックテストのようです。もし共和党員なら、それは憤りと間違いですが、もし民主党員なら、それは憲法の完全に正当な解釈であり、それはトランプがコロラド州で参加を禁止されたということです。アメリカ合衆国最高裁判所に対して政治的な集団が請願しました。私は言うまでもなく、アメリカ合衆国の各州にはそれぞれが独自の最高裁判所があります。これは文書を全体として考えない典型的な例であり、憲法解釈と憲法分析は非常に難しいものです。なぜなら、憲法は完全に決定可能で明確な方法で書かれたものではなく、何かの答えがまるで整形式の式のように簡約され、簡約され、最終的に公理に到達するというものではないからです。

アメリカで最近何かが起こりました。これはまるで政治的なロールショックテストのようです。もし共和党員なら、これは憤りと不正です。民主党員なら、これは憲法の完全に正当な解釈で、トランプがコロラド州から除外されたことです。アメリカ合衆国最高裁判所は、コロラド州最高裁判所に対して、政治的な集団によって請願されました。アメリカ合衆国の各州にはそれぞれがあります。これは、文書を全体として考えない典型的な例です。憲法解釈と憲法分析は非常に難しいことです。なぜなら、憲法は完全に決定可能で明確な方法で書かれておらず、何かの答えが公理にまで還元され、真理値を導き出すようなものではないからです。その代わり、解釈の異なる学派や流れがあります。

例えば、政府が自身の軍を持つ権利を与えることは、多くの革命家にとってかなり狂気的に思えますが、彼らは武装した集団を好み、連邦党員論文などの関連文書でこれについて書いています。当時の人々は、武装した集団が共和国の存在に不可欠であり、暴政を防ぐためだと信じていました。この文書の生きた解釈は、例えば、言論の自由に関して、絶対的な解釈はどんな結果になろうとも何でも言えると示唆しています。劇場で火事と叫んでパニックを引き起こし、多くの人々を殺害することも含まれます。200年以上の憲法解釈を経て、多くの判例法や一般的な概念があり、議論がある程度落ち着いています。憲法修正条項が相互に矛盾するような場合の良い例は、圧迫の概念です。一つは政治的プロセスで、公職から解任されています。つまり、弾劾が行われ、上院によって解任されています。

しかし、裁判所の監督があります。首席裁判官がその裁判を監督し、適切な手続きが行われたと思われます。解任のハードルが高いため、トランプの第二回弾劾に関する議論の一つです。公の場で行われたこのような行動を、妥当な人は何らかの手続きと見なすでしょう。反乱に必要な基準については議論の余地がありますが、通常、裁判所がテストを構築し、そのテストの目的は客観性です。つまり、すべての人に等しく適用されなければなりません。これらのことを他の修正条項と互換性を持たせるためには、等しい適用が必要です。これは簡単ではなく、大きな政治的な違いがあることがわかります。

しかし、このニュアンスを理解する必要があります。憲法には権利が与えられているわけではなく、特にアメリカ合衆国憲法における否定的権利は、あなたが既に持っていて生まれながらに持つ権利を政府が侵害することを防ぐために存在します。これはアメリカ合衆国憲法の執筆における大きな革新でした。同様に、カルダノ憲法を見ると、否定的権利とは何か、権利を制限するための罰的措置とは何か、ネットワークが何らかの行動を取ることができる状況とは何かという、より広範な議論があります。

それは、アメリカ合衆国最高裁判所で覆される明らかなことです。なぜなら、それは巨大な司法の越権行為だからです。しかし、それは興味深い質問を提起します。政府の三権分立には、行政府、立法府、司法府があり、これらはすべて同等の権力を持っています。これら三つの枝が時には事柄に関与することがあります。ロバート・ジョージの定義に基づいて、このコースでは、憲法の解釈の代替的アプローチ、司法審査権の歴史的発展、議会や大統領との関係における司法の最高位の問題、連邦政府の委任された権限と列挙された権限、宗教や言論の自由、財産権の保護に関する裁判所の役割などがカバーされています。これらについて深く学びたい場合は、このコピーを手に取って時間をかけ、練習し、憲法の解釈のシステムを構築することができます。

そして、あなたのシステムは、現在のアメリカ合衆国最高裁判所の見解や以前の最高裁判所とは異なるかもしれません。しかし、少なくともこれらの権利の種類についての情報に基づいた意見を持つことができます。立法者と裁判官の間には、これらをどのように扱うべきかという緊張が常にあります。私たちはいくつかの基本的な質問をするべきです。第五修正条項が他の修正条項によって侵害されることに私たちは快適ですか？それとも、それらを互いに互換性があるようにしようとすべきですか？生命、自由、財産をデュープロセスなしで奪うことは、無実の証明があるまで無実という法の支配という根底に反することです。私たちは毎日それを強く感じているため、それが単なる公理だと思いがちです。

アメリカ合衆国で2020年に抗議活動が行われ、一部の抗議者がアメリカ合衆国から脱退し、特別経済区を作成し、それがアメリカ法の対象ではないと主張しました。これをChazなどと呼びました。これはちょっと過激ですが、厳格な解釈では、これを連合離脱と同じこととみなすことができます。立法府での裁判は結論が出ず、有罪判決には至りませんでした。反乱と推測される裁判が進行中であり、トランプが少なくとも一つについて有罪判決を受ける可能性が非常に高いです。その有罪判決から、デュープロセスが行われ、反乱を犯したため、資格がなくなったと推測できます。

しかし、単なる告発だけで誰かを失格にするのは十分ですか？これは、南部の人種隔離や制度的人種差別を法律に数十年間組み込むことを可能にしたように思えます。これは決して憲法を書いた人々の意図ではなく、特に南北戦争後の修正条項では、別々だが平等な基準を作成したかったら、それは十分にできたはずです。

それは人種差別的な裁判官によって発明され、数十年後に撤回され、覆されましたが、それまでには壊滅的な結果がありました。これは、最悪の場合を考慮して立法する際の固有の危険です。取引が凍結されたり、取り消されたりすることは、現在のシステムでは可能ではありません。これを憲法上の権利、否定的権利として設定したい場合は、それを追加することができますし、それは憲法の観点から議論され、討論されるべきです。あなたの自由がどのような状況で侵害されうるか、例えばシステムにプライバシー保護の手段が導入された場合、エスクローキーや匿名解除の方法があるかどうか、ネットワークの大多数がどのように集まるか、これらは物事を行う論理的な方法です。アメリカ合衆国で起こっているのは、この不幸な混乱と党派性で、私たちは原則や第一原理的な思考を捨て去り、チームのために交換しています。突然、デュープロセスは重要ではなくなります。なぜなら、オレンジ色の男が悪いからです。政治的な敵を逮捕することが許されるようになりました。

これは、民主党の問題だけではありません。共和党が権力を取り戻したときには、反対側で起こったことに対して抗議することがないのは、私たちは十分に賢明ではありません。世界が見ています。世論調査でトップに立っている人が現職の大統領によって逮捕されるのは、バナナ共和国で起こることです。それは確立された憲法共和国で起こるべきではありません。私たちは自由に基づいて全てを始めました。200年の慣習が捨てられてしまいました。これらのことは真空の中で存在するわけではありません。私が生きている間で初めて、裁判所が生まれながらに持っている権利を、適切な手続きなしに奪う基準を適用したのを見ました。それは、ある政治党によって全面的に受け入れられています。それは間違っています。個人に関係なく、普遍的に間違っています。デュープロセスなしで、そのような基準をどの個人にも、どの文脈にも適用する客観的な方法はありません。

そして、それが現在の状況です。これらのことに興味があるなら、ぜひ参加してください。そして、法のアルゴリズム的表現は進行中のプロジェクトであり、2024年の私たちの目標の一つは、法を曖昧さのない方法で表現するためのドメイン特化言語を開発することです。最後に、Lojbanという創造言語を紹介します。これは、多くの人が聞いたことがないかもしれませんが、私のお気に入りの言語の一つです。これは1970年代に作成された言語です。そして、私はこれがそこにある機関を活気づけることを願っています。

Lojbanは、20世紀後半に開発された創造言語です。この言語は論理的かつ曖昧さのない構造を持つように設計されており、言語学、人工知能、コンピュータプログラミングなどの分野で使用するのに適しています。Lojbanは述語論理の原則に基づいており、文化的に中立であり、異なる言語を話す人々が自然言語の制約なしで効果的にコミュニケーションすることができるようになっています。Lojbanについてさらに詳しく知りたい場合は、Lojban Wikipediaページをご覧ください。

プログラミング言語とは何か、それは本質的に何ですか。憲法を最初に書くとき、全体的なコミュニティの倫理観を感じ、それをますます厳格な形式主義で表現する練習を行う必要があります。これは、カルダノプロトコル全体で行ったことです。私たちはそれを散文で書き、数学で固定し、現在はアグダに翻訳されています。これには、機械実行可能な仕様があり、あらゆる曖昧さがありません。あなたは自由な社会で生きたいのであれば、あなたの生命、自由、財産は神が与えた権利であり、あなたがそれを管理し、それを担当する必要があります。間違いを犯す自由、間違っている自由を持つ必要があります。

そして、他の人々、政府を含む、それらのものを盗む人々からそれらを守るための制約を設ける必要があります。それはいつもあなたの父親ではなく、時には敵です。そして、バランスが必要です。人々を信頼することは非常に難しく、演繹と導出、そして世界の良い古いドライコードに私たちが信頼できるほど、小さなことに集中することが容易になります。これがお役に立てば幸いです。

皆さん、メリークリスマスとハッピーホリデーをお祝いします。それまでにお会いできなければ、残りの年を楽しんでください。皆さん、乾杯。