daitai を紹介します

Code Daimyo — 2026 年 4 月

医療・金融・AI・インフラ、あるいは誰かがいずれ「それが真であるとどう分かるのか？」と問うであろうあらゆるソフトウェアを作っているなら、これはあなたのためのものです。

私たちは daitai をローンチします — ソフトウェアは数学と同じ厳密さに値するという立場のうえに築かれた代数的プラットフォームです。互いに合成する四つの部品からなります:

• daitai-lang、null も例外もない決定論的で静的型付けの言語。
• daitai-algebra、形式的中核 — 公開された書き換え系を伴う、小さな種と演算子の集合。
• DPW、代数を直接読む IDE — リファクタは書き換え、AI コパイロットは法則に縛られる。
• CGF、監査エビデンスをスクリーンショットではなくファーストクラスのデータにする、署名済みコンプライアンス・グラフ形式。

既存のツールが悪いと論じているのではありません。私たち自身その多くを使っています。設計空間に別の点がある — 決定性、数学的厳密性、出荷速度が衝突しない点が — と論じているのであり、誰かがそれを動くコードで実演する必要があるのです。daitai がそれです。

最初の一手は小さい。最初の OSS モジュール svg2daitai-vector は本日公開。代数仕様 v1.4 は公開済み。CGF v1.0 は来月出荷。DPW は招待制ベータ中です。

自分のコードベースが、それ自身の監査であり、それ自身の仕様であり、それ自身の教材でもあったら、と願ったことがあるなら — ぜひ私たちに声をかけてください。

— Code Daimyo