課題
法は人のために書かれ、ソフトウェアによって執行される。
給付・税・許認可は今日、法律を手作業で作り直したITシステムを通っています：遅く、高コストで、法文との検証可能なつながりがありません。法改正のたびに、システムは何か月も遅れます。
📜
追跡できないシステム
本番のコードが現行条文と一致していることを、誰も証明できません。
🐢
遅い立法サイクル
改正から実用的なIT実装まで、数か月から数年が失われます。
🤖
根拠のないAI
汎用チャットボットは引用なしで法律問題に答えます——主権的判断には使えません。
解決策
一法一ツイン——実行可能、意味論的、引用付き。
DTLは4つのレイヤーで構成されます：逐語的な法文、法オントロジー、出典付きの設定パラメータ、テスト付きの実行可能な判定ロジック。すべての回答には、適用条文（ELI）を引用する導出ログが付きます。
- 法文から生成され、検証可能に紐づくコードによる判定
- すべての結果を法的引用付きの自然言語で説明
- REST APIとMCPサーバーとして公開——ポータル、業務システム、AIエージェントにそのまま接続
- エージェント型AIが構築し、各ステップで人間がレビュー
研究に基づく
査読付き研究から、動くソフトウェアへ。
DTLのアプローチはSEMANTICS、JURIX、IRISなどで発表され、『The Self-Driving Company』『The Self-Driving State』の著者チームが開発しています。