daitai algebraic platformdaitai大体
柱証明宣言ドキュメントブログオープンソース会社問い合わせ
/

オープンソース

モジュール

daitaiモジュール、リリース済みと開発中のもの。

daitai-lang-spec

↗

daitai 言語仕様。39以上の代数的キーワード、nullなし、例外なし、ブラケット原始型、そしてdaitai代数に裏打ちされた型システム。

daitai-vector

↗

不変で代数的に合成可能な2Dベクトル。厳密な有理数演算、交差・差分・回転・射影の下で閉じている。

配信

証明を、受信箱へ。

決定論、代数的設計、検証可能な AI 協働についての不定期な覚書。宣伝はしない。配信頻度も約束しない。

代数と整合性が出会う場所。

© 2026 Code Daimyo. スウェーデン製。

柱ドキュメントブログオープンソース宣言会社問い合わせ

Code Daimyo

Stockholm, Sweden

joakim@daitai.org

Joakim Cöster — Founder

github.com/daitai-org