薬物動態学
16コンパートメント。1つのセデニオン。
14コンパートメントPBPK · Cayley-Dickson移動動力学 · GUM正確ODE
各セデニオン基底要素が1つの解剖学的コンパートメントをエンコードします。組織間の薬物移動はCayley-Dickson乗算です——代数が薬物動態です。
Explore → FOR CLINICIANS & RESEARCHERS • BIOMATERIALS & PHARMACOLOGY
Your Calculations Hide Uncertainty.
When you compute a drug dose, a patient metric, or a clinical prediction, traditional code gives you a single number with no context. Sounio automatically tracks measurement error, ISO GUM uncertainty, and data provenance through every step of execution.
Featured: Vancomycin dosing that cannot lie about uncertainty.
Built for clinical safety & high-consequence scientific software.
BETA TOOLCHAIN • SELF-HOSTED EPISTEMIC PL
Compute at the boundary between certainty and consequence.
Sounio is a systems programming language for scientific teams that need to reason not only about values, but about trust, provenance, and uncertainty at every stage of execution.
Featured: Deep-dive on the non-associative 168 Octonion theorem.
Built for teams shipping high-consequence scientific software.
認識論システム言語
知らないことを
携える、プログラミング言語。
回避策ではない。型だ。
コンパイル時の患者安全
コードが実行される前にゲートが起動します。
vancomycin_dosing.sio
fn dose_vancomycin(auc: Knowledge<f64>) -> f64
where auc.ε >= 0.82
{
auc.value / 24.0
}
// caller — ε = 0.71, below threshold:
let measured = Knowledge { value: 430.0, ε: 0.71 };
dose_vancomycin(measured); E: epistemic confidence too low ε = 0.71 < where auc.ε >= 0.82 — compile rejected
ヒューリスティックではありません。警告でもありません。型チェッカーは ε = 0.71 を確認し、シグネチャは ε ≥ 0.82 を要求し、プログラムはコンパイルされません。契約は型の中にあります。
バンコマイシンの完全な例を読む →認識論的不動点
この言語は不確実性システムを自分自身に向けました。8世代のブートストラップを通じて、コンパイラはすべての式で自身の確信度を追跡しました。第8世代：113,931の式、すべて確実。ガードのオーバーヘッド：ゼロバイト。バイナリは自身を2回コンパイルして同じハッシュを得ることで証明しました。
md5(gen₂.elf) = md5(gen₃.elf) · 15,636 コールサイト · 0 ガード · 1.25 MB
認識的。エフェクト。代数。
他のどの言語も第一級プリミティブとして持たない3つのコンパイル時型規律。各々がすべての呼び出しサイトで強制されます。各々が形式的に仕様化されています。
信頼度ゲート
fn dose_vancomycin(auc: Knowledge<f64>) -> f64
where auc.ε >= 0.82
{
auc.value / 24.0
}エフェクト型
effect NonUnitary {
amplitude: Complex<f64>
}
fn tt_amplitude(
p1: FourMomentum, p2: FourMomentum
) -> f64 / NonUnitary {
// …
}代数型
algebra Octonion {
basis: [e0..e7]
product: fano_table
reassociate: fano_selective
}
let count = count_nonassoc_triples();
// result: 168型システムが旅する。
130のstdlibモジュール。コンパイル時の不確実性、エフェクト、代数を同時に持つ他のコンパイル言語が届かない8つの領域。
標準模型
18の定数。すべてのσ。強制。
31モジュール · 各頂点でPDG不確実性 · LO QED ±2% vs CERNデータ
18の標準モデルパラメータがKnowledge<f64>としてPDG不確実性を持ちます。型チェッカーがすべてのファインマン振幅でエラーバジェットを強制します。
Explore →計算精神医学
ダブルバインド動力学。コードで。
Bateson L0-L3 · Spencer-Brown計算 · Pask固有形式 · 実行可能Maturana
二次サイバネティクスを実行プログラムとして形式化。ダブルバインド動力学、分裂生成、オートポイエーシス——メタファーではありません。型です。
Explore →量子コンピューティング
不可複製。型システムで。
線形型量子ビット · Bellペア · VQE H₂基底状態 · コンパイル時コピー禁止
線形型により量子クローンがコンパイルエラーになります。不可複製定理はQubit型への制約です。
Explore →物理単位
mg/kgは型。mg/L + L/hはコンパイルエラー。
44のSI基本+派生単位 · コンパイル時次元解析 · 100+のPK変数に型
物理単位は第一級型です。次元の不一致はコンパイルエラーです。100変数PBPKモデルが各ステップで完全な単位型を持ちます。
Explore →差分プライバシー
プライバシー予算。二重消費不可。
線形型ε · Laplaceメカニズム · GUM B型ノイズ+ゲノムサンプリング不確実性
プライバシー予算εは線形型——コンパイラが二重消費を防ぎます。ノイズはGUM不確実性に組み込まれ、両方が同じ型で追跡されます。
Explore →幾何学証明
IMO定理。正直な確信度。
AlphaGeoZero · Beta分布解確信度 · 初のε付き幾何学証明器
AlphaGeoZeroはIMO幾何問題を証明し、問題ごとの確信度をBeta分布として報告します——不確実性を定量化する最初の幾何学証明器。
Explore →ブラウザランタイム
ブラウザで動く。インストール不要。
WASMターゲット · クライアントサイドラパマイシンPBPK · souc build --backend wasm
WebAssemblyにコンパイル。論文PBPKモデルがブラウザタブで動作——完全なstdlib、サーバーゼロ、認識型そのまま。
Explore →コンパイラ
自分自身をコンパイルする。
souc は Sounio で書かれ、3段階でブートストラップされます。ステージ2とステージ3のバイナリは SHA-256 が同一 — 不動点が証明です。
3 ブートストラップ段階 — C → souc₁ → souc₂ ≡ souc₃
4 コンパイラフェーズ — parse / check / HLIR / emit
5 バックエンド — x86_64 · ARM64 · PTX/GPU · WASM · Cranelift JIT
1000+ 最適化パスのe-graph書き換えルール
LSP 言語サーバー — 補完、診断、定義へ移動、VS Code・Neovim・JetBrains対応
Bootstrap fixed-point
# Stage 0 → 1 (C-compiled seed)
souc-seed lean_single.sio gen1.elf
# Stage 1 → 2
./gen1.elf lean_single.sio gen2.elf
# Stage 2 → 3 (fixed-point check)
./gen2.elf lean_single.sio gen3.elf
sha256sum gen2.elf gen3.elf
# must be identical薬理学と患者安全機能の正直なステータス — マーケティングの約束ではありません。
稼働中
- Vancomycin ε gate — compile-fail fixtures reject under-confident dosing (ASHP ε ≥ 0.82)
- ISO GUM propagation — Knowledge<T> uncertainty through arithmetic in stdlib epistemic lane
- PBPK dissertation demo — browser-side rapamycin & semaglutide compartment simulation
足場/スタブ
- Provenance metadata — prov strings on Knowledge<T>; full audit chain still expanding
- Clinical Lean obligations — partial formal verification; not a regulatory submission
未実装
- EHR / FHIR integration — no live hospital connector in public artifacts
- Multi-site clinical validation — single-author research codebase, not a trial platform