司法試験に5回落ちた”亡霊”、論証集をコードで記述した「亡霊の論 証集」を公開

「亡霊の論証集」は、自然言語に依存してきた法的推論を形式言語で記述し、法的概念をグラフィックを使って可視化する取り組みの一環です。

合名会社ウェブサービスは残らないは、令和8年11月11日、当社の代表社員ハナフサタケツグ（以下、「司法試験の亡霊」という。）の司法試験予備試験の受験に際して使用していた科目ごとの要件・規範等の暗記事項をまとめた一覧につき、法的推論のための形式言語「本件Matcha」を用いて形式に記述しなおし、「亡霊の論証集」として公開いたしました。

URL：https://www.elecode.jp/demo/cards

■本件Matchaとは

本件Matchaは、法的推論から自然言語に特有の曖昧さを排除するために制作された形式言語です。

参考：https://t.hanafusa.works/ja/legal-reasoning-language/1/

■制作物の意義

亡霊の論証集の公開は、法的推論をグラフィックを使って表現する取り組みの１つです。
多くの分野でグラフィックを使った視覚的整理が直感的で分かりよいものとして歓迎されるのと比較して、法律の世界ではグラフィックがあまり活用されません。この理由として、法曹たるもの文字で理解できなければならない、という職業的矜持の他にもう１つ、法律上の推論がすべて自然言語に依拠しているために、視覚的整理の前提となる構造的な理解が統一されないままとなっていることが挙げられます。
亡霊の論証集は、法的推論のための形式言語を用いて、コロナ禍にあって不名誉にも予備試験を５回落第した司法試験の亡霊の論証集を形式的に記述しなおすことによって、法的推論を機械的にグラフィックとして生成できるようにしています。

■課題意識

プログラミング言語を基礎とするIT産業に代表されるように、機械が形式的な記述に基づいて揺らぎなく解釈できる分野においては、顕著に発達する情報技術の成果を存分に享受して、革新的な達成が相次いでいる。数学研究においても、2013年のLeanの発表以降は証明の形式的記述が可能になり、それらの蓄積はMathlib等のライブラリとして集積され、LLMによる推論能力の向上と相まって加速度的に高度な達成を遂げている。このように、ある分野の情報を形式的に記述する魅力は、①疲れ知らずの機械に推論を任せられるようになること、②過去の演算結果を再利用して成果を蓄積していけることにある。

一方で法的推論は、判決文や法律答案として自然言語で記述されているにすぎないから、機械が揺らぎなく解釈することができない。ただでさえ法的推論の過程は、要件該当性や事実認定の判断を考えればわかるように、その演算結果が機械的に決まらず読み手の主観に依っているという問題がある上に、そもそも演算の前提となる形式的な解釈すら達成されていない。

そのため、法文そのものを形式的に記述し、また法的推論の過程を形式化することによって、機械が形式的に解釈できる基盤を整えることは、事務的な推論処理を人間から機械に引き渡すことを可能にして、司法の領域で真に法曹が価値判断に基づいて規範的な判断を下すべき領域を積極的に特定することに資する。

■募集

上記のような問題意識に共感し、公共の目的あるいは個人的な使命感のために一緒になんらかの作業をできる方を募っています。

・Git上の公開リポジトリを用いて判例や法律答案を形式的に記述する作業で協業できる方

・法曹とエンジニアが共闘し、法学の記述問題を形式言語として回答するコンペLaw2Code Rally（仮称）を共に企画・主催したい方

・本件Matchaとは別個の記述体系を主張する方（トランスコンパイル等を通して技術基盤を共創したい方）

＜連絡先＞

個別連絡：フォーム

Twitter：https://x.com/elecodejp