Science
Every number carries its doubt.
Domain workflows where uncertainty is not a footnote but a type — present at every step, propagated by the compiler, enforced at the boundary.
The type system at work
From pharmacometrics to network geometry — each workflow shows how epistemic confidence travels through a real computation and what happens when it runs out.
causal
因果推論
最初のクラスの因果推論に対する Intervention<T> と Counterfactual<T> 型
View workflow climate
気候科学
確率を許すことで、政策シーターに変わる前にプログラムを停止する合意法。
View workflow genomics
Genomics & Bioinformatics
DNA序列操作と解析
View workflow graphics
Graphics and Rendering
Sounio のサンプルをネイティブ実行して生成した、ターミナル上の科学的な表示とラスター画像。
View workflow gpu
Kretikos GPU コンパイラー
チェック付きスレッドビルトイン、シリアル CPU フォールバック、ツリー内の PTX/CUBIN テンプレート、およびアートワートバンドルを含む GPU コンパイラーレーン。
View workflow neuroimaging
ニューロイメージング
確率を守るのではなく、脆弱や不明確な信号を見逃すという言葉を持っている診断パイプライン。
View workflow pharma
ファーマコメトリクス
GUM不确定性伝播を伴うクリニカル投与量のモデル化
View workflow quantum
量子計算
線形型を用いた量子状態のモデリング
View workflow science
サイエンス計算
データ分析と不确定性追跡
View workflow