合名会社ウェブサービスは残らないは、令和8年11月11日、代表社員ハナフサタケツグ（司法試験の亡霊）が司法試験予備試験の受験に際して使用していた暗記事項をまとめた一覧を再記述し、「亡霊の論証集」として公開しました。

この取り組みでは、法的推論のための形式言語「本件Matcha」を用いて科目ごとの要件・規範等を形式的に記述しなおしています。公開URLはhttps://www.elecode.jp/demo/cardsです。

本件Matchaの概要と論証集の公開

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

「亡霊の論証集」の公開は、法的推論をグラフィックを使って表現する取り組みの1つと位置づけられています。多くの分野で視覚的整理が活用される一方、法律の世界ではグラフィックがあまり使われない現状があります。同社はその理由として、職業的矜持のほかに、法律上の推論が自然言語に依拠しており構造的な理解が統一されていない点を挙げています。

同作は、コロナ禍において予備試験を5回落第したとする代表社員の論証集を形式言語で記述しなおすことで、法的推論を機械的にグラフィックとして生成できるようにしています。

法的推論の形式化における課題意識

IT産業や数学研究においては、機械が形式的な記述に基づいて解釈できることで情報技術の成果が享受されています。数学研究では2013年のLean発表以降、証明の形式的記述が可能となり、Mathlib等のライブラリ蓄積やLLMによる推論能力の向上により達成を遂げています。情報の形式的記述には、機械に推論を任せられる点や、過去の演算結果を再利用して成果を蓄積できる魅力があります。

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

法文や法的推論の過程を形式化して機械が解釈できる基盤を整えることは、事務的な推論処理を機械へ引き渡すことを可能にし、司法の領域で真に法曹が価値判断に基づいて規範的な判断を下すべき領域を特定することに資するとしています。

協業メンバーの募集

同社は問題意識に共感する協力者を募っており、募集対象として以下の内容を挙げています。

• Git上の公開リポジトリを用いて判例や法律答案を形式的に記述する作業で協業できる方
• 法曹とエンジニアが共闘し、法学の記述問題を形式言語として回答するコンペLaw2Code Rally（仮称）を共に企画・主催したい方
• 本件Matchaとは別個の記述体系を主張する方（トランスコンパイル等を通して技術基盤を共創したい方）

本記事は合名会社ウェブサービスは残らないの発表をもとに作成しました。

Dellows News編集部

ビジネスパーソンの課題解決と納得感にこだわるDellows News編集部。キャリア論からAI、健康法まで幅広い分野に対応し、複雑なテーマでも平易な言葉で丁寧に解説。読者が「明日から使える」知識やヒントを得られるよう、具体的な事例・データ・専門家の見解を交えて執筆。情報を整理し、納得感ある記事づくりを心がけています。