はじめに

daitai へようこそ。このページは「今、初めて聞いた」から「手元で動いている」までの最短経路です。

1. daitai とは（再掲）

daitai は代数的なプラットフォームです。言語（daitai-lang）、形式代数（daitai-algebra）、IDE（DPW）、そしてコンプライアンス・グラフ形式（CGF）。四つはすべて同一の憲法に基づいて設計されており、互いに合成可能です。

最初に一つだけ学ぶなら、まず原則を読んでください。残りはそのルールの忠実な実装です。

2. DPW をインストールする

DPW は現在、招待制ベータです。dpw.daitai.org から登録してください。

# macOS
brew install daitai-org/tap/dpw

# Linux
curl -sSL https://get.daitai.org/dpw | bash

# Windows (PowerShell)
iwr -useb https://get.daitai.org/dpw.ps1 | iex

インストールを確認:

dpw doctor

3. 最初のワークスペース

dpw new hello-daitai
cd hello-daitai
dpw run

DPW がワークスペースを生成し、代数をインストールし、エディタを開きます。

4. 次に読むもの

• 原則 (P01–P23) — daitai のすべての部分が従う憲法。
• bra-ket プリミティブ — 代数の最小にして興味深い断片。
• CGF を 5 分で — 最初のコンプライアンス・バンドルに署名する。