GHOSTDRIFT MATHEMATICAL INSTITUTE
ADIC: Analytically Derived Interval Computation
計算を「第三者が再検証できる形」に変換する / Verifiable Computation

ADIC サービス料金と提供内容 ADIC Services & Pricing

主対象：受託/SIerが回すPoC（揉めないための責任固定）
こんな「PoCの揉め事」を防ぎます / Common PoC Pitfalls we solve
  • 仕様変更で結果が再現できなくなる Reproducibility issues due to spec changes.
  • 指標計算の定義が人によってズレる Inconsistent metric definitions.
  • 「どこまで保証したか」が契約で曖昧なまま終わる Ambiguous responsibility boundaries in contracts.
ADIC Ledger/Verify で物理的に潰し、責任境界を固定 (Solve physically with Ledger/Verify)

ADIC は、計算結果そのものだけでなく、「どこまでを数学的に保証し、どこからは保証しないか」を境界仕様として固定し、 ADIC Ledger（有限ログ）とVerify（第三者検証手順）を同時に納品する枠組みです。
料金は作業時間ではなく、保証範囲（責任固定の広さ）で決まります。 ADIC delivers verifiable proofs (Ledger) and fixed responsibility boundaries (Specs), not just calculation results. Pricing depends on the scope of verification.

問い合わせる Contact 料金プラン Plans
納品の芯

Ledger と Verify

結果を再現するだけでなく、第三者が検証できる手続きまで一緒に渡します。 Deliver reproducible procedures & verification scripts.

価値

説明責任の固定

「どこまで保証し、どこからは保証しないか」を境界仕様として明文化します。 Clarify boundaries: What is guaranteed vs. what is not.

用途

PoC・受託・監査対応

PoC、受託開発、監査対応（社内・第三者）に直結します。 For PoC, Commissioned Dev, and Auditing.

ADIC とは About ADIC

多くの計算は浮動小数点や近似を含みます。速くは動きますが、結果の正しさを第三者が追い切れないことが普通に起きます。

ADIC は、計算を有限の根拠へ落とし込み、区間化と外向き丸めにより、 「この入力と手順のもとで、出力がこの区間に必ず入る」を証跡つきで示します。

速さよりも「説明可能な正しさ」を最優先に固定

保証の境界 Boundary Spec

保証の定義 / Warranty

  • 保証: 指定入力範囲・指定手順において、出力が区間[ L , U ]に入ること Guarantee: Output falls within [L, U] under specified inputs.
  • 非保証: 入力データ自体の真実性（生成過程）／仮定の妥当性／業務判断の肩代わり Not Guaranteed: Truth of input data, Validity of assumptions.

ADICが提供するもの

  • その区間の正しさを、第三者がLedger と Verify で再検証できること Verifiability by third parties via Ledger & Verify scripts.

納品物 Deliverables

必須納品（ファイル例）

  • adic_ledger.csv（計算ログ）: 計算手順と区間結果の証跡 Computation log & audit trail.
  • verify.py / .sh: 第三者がローカルで再検証できる検証スクリプト Scripts for local reproduction/verification.
  • boundary_spec_1page.pdf: 保証境界（対象・前提・範囲）を記述した仕様書 Specification of warranty boundaries.

必要に応じて追加

  • audit_summary.pdf: 監査用サマリ（何が保証されたか） Summary for Auditors.
  • 公開版／非公開版: 特許・守秘に合わせた情報分割 Public/Private version separation.
  • CI 連携: バージョン更新でも検証が壊れない運用設計 CI/CD Integration design.

GhostDrift の方針は「技術と知財の普及・移転」を最優先に置きます。納品物は、説明・再現・監査に直結する形で整えます。

具体事例：PoC責任固定の典型 Use Cases

事例A：需要予測PoC（製造/小売）
  • 検証対象: 前処理の集計（欠損処理）、指標計算（MAPE/MAE）、閾値判定 （対象 2〜3箇所） Target: Preprocessing, Metrics(MAPE), Thresholds.
  • 納品: Ledger + Verify + 境界仕様
  • 目的: “結果の良し悪し”ではなく「その結果がこの手順で出た」ことを固定 Goal: Fix "How result was derived" rather than accuracy.
事例B：最適化PoC（配賦/計画/スケジューリング）
  • 検証対象: 目的関数（コスト計算）、制約評価、ソルバ出力→意思決定 （対象 5箇所前後） Target: Cost func, Constraints, Solver output logic.
  • 納品: 最適化Ledger（入力・制約・目的）＋Verify
  • 目的: 「その制約・その関数なら、この解が妥当」までを固定 Goal: Validate "Solution is valid under constraints".
事例C：評価・比較PoC（AIモデル比較）
  • 検証対象: テストデータの固定手順、指標計算（AUC/F1等）、比較レポート生成 （対象 3箇所前後） Target: Data fixing, Metric calc(AUC/F1), Report gen.
  • 納品: 比較のLedger + Verify + 公開版/非公開版の分割
  • 目的: 「比較が公平だったか」で揉めない Goal: Ensure fairness of comparison.

料金プラン Plans & Pricing

価格は「何をどこまで保証するか（責任固定の広さ）」で決まります。下記は代表例です。

Starter
小さく始める / Start Small
¥500,000〜 /1案件 (per case)
1枚の境界仕様 + Ledger/Verify（入口）
  • PoCの主要計算 1〜2 箇所を 検証対象化 Verify 1-2 core calculation points.
  • Ledger + Verify + 境界仕様を納品 Deliver Ledger, Verify script & Boundary spec.
  • 3〜10営業日（規模による）
「まず実物を見る」ための入口
Standard
PoC責任固定 / Standard
¥1,500,000〜¥3,000,000 /1案件 (per case)
揉めない範囲まで責任固定
  • 検証対象 3〜8 箇所（主要ロジック全体） Verify 3-8 points (Full logic coverage).
  • 誤差要因分解、監査用サマリ（必要時） Error decomposition & Audit summary.
  • 外部依存・乱数・ソルバ・打ち切りがあると上振れ
受託/SIer PoCの標準レンジ
Pro
運用・継続検証 / Pro
¥1,500,000〜 /月 (monthly)
更新しても壊れない（運用）
  • CI/CD 連携で Verify を自動化 Automated Verification (CI/CD).
  • Ledger スキーマ固定と差分検知 Schema fixing & Diff detection.
  • 月次の保証レポート（差分＋証跡）
Enterprise
制度・規制・高リスク領域
個別見積 (Quote)
第三者・規制・公開プロトコル
  • 監査・規制要件に沿った全体設計 Design for Regulation/Audit.
  • 公開版／非公開版の設計 Public/Private disclosure design.
  • 第三者検証プロトコル整備

見積の軸 Estimation Factors

  • 検証対象の計算箇所数（保証範囲の広さ） Number of verification points (Scope).
  • 誤差要因の種類（近似、打ち切り、最適化、乱数、外部依存など） Complexity (Approximation, Optimization, Randomness).
  • 第三者検証の厳しさ（監査・規制・公開など） Strictness of Third-party verification.

FAQ Questions

Q. うちのPoCが失敗しても費用は無駄になりませんか？
成果は保証しませんが、「何をやったか／どこまで保証したか」はLedgerと境界仕様として残るため、揉めずに次の意思決定に転用できます。 Results are not guaranteed, but the "Process and Boundary" are fixed as assets for future decisions.
Q. 保証境界は契約文に落とせますか？ Can we use the Boundary Spec for contracts?
はい。納品する「境界仕様書（boundary_spec）」がそのまま契約条項（検収条件）の核として機能します。 Yes. The "Boundary Spec" serves as the core for contract acceptance criteria.
Q. 相手先（エンド/監査）が検証できる形にできますか？ Is it third-party verifiable?
はい。Verify手順は「第三者がローカル環境で再現できる」ことを前提にコンテナやスクリプトで整備します。 Yes. Verify scripts are designed for reproduction in local environments.
Q. まず何から始めるのが良いですか？ How to start?
Starter で 1〜2 箇所を検証付きにし、Ledger と Verify を実物として確認するのが最短です。 Start with the Starter plan to verify 1-2 points and see the actual Ledger.

問い合わせ Contact

まずは Starter から始め、保証範囲を段階的に拡張する流れが最短です。 NDA が必要な場合も先に対応します。 We accept inquiries in English. NDA is available.

連絡先

Email: manny@ghostdriftresearch.com
Form: ghostdriftresearch.com/お問い合わせ

※ 初回はメールまたはフォームからご連絡ください

依頼テンプレ Template

コピーしてメールに貼り付けてください。

・対象コード/計算箇所の場所 (Code location): 
  （例）Gitリポジトリ、Zip、関数名
・入力の形 (Input format): 
  （例）CSV、DB、API
・出力の形 (Output format): 
  （例）指標、最適化解、レポート
・検証対象の規模 (Scale): 
  （例）主要な指標計算のみ、ソルバ周り、全体など
・求める保証 (Goal): 
  （例）区間保証、第三者検証、監査用サマリ
・公開可否 (Disclosure): 
  （例）公開版のみ / 公開＋非公開 / 非公開のみ
・希望プラン (Plan): 
  Starter / Standard / Pro / Enterprise
問い合わせフォームへ Form 料金プランへ戻る Back
© 2025 GhostDrift Mathematical Institute.
ADIC: Analytically Derived Interval Computation.