GhostDrift数理研究所とオンザリンクス、医薬品コールドチェーンの機械検証PoC第1弾を完了、コードを公開--共同実装成果を広島発・日本発の「AIアシュアランス・プロトコル」へ展開
株式会社GhostDrift数理研究所
「記録はあるのに、なぜ正常と判断したかを一件ごとに示せない」医薬品物流の課題に機械検証で挑む。戦略的パートナーシップによる共同実装成果を公開。
[画像1:
https://prcdn.freetls.fastly.net/release_image/182721/5/182721-5-8b1040a3e5a8e4df546769eb440f3345-1536x1024.png?width=536&quality=85%2C75&format=jpeg&auto=webp&fit=bounds&bg-color=fff ]
株式会社GhostDrift数理研究所（東京都新宿区、代表取締役：前木秀光）と株式会社オンザリンクス（広島市中区、代表取締役：東聖也）は、コールドチェーン領域における戦略的パートナーシップ（※1）の共同PoC第1弾を完了しました。本プレスリリースの配信に合わせ、ソースコード、サンプルデータ及び再現手順を
GitHubで公開しました。
医薬品物流では、医薬品を正式に引き渡すために、輸送中に温度条件が守られ、荷物が途中で開封されず、正しい相手が受領・承認したことを確認する必要があります。しかし、これらの記録が存在していても、「この一件の荷物を正式に引き渡してよい」と判断した証拠として結び付いていない場合があります。
本PoC（※2）では、オンザリンクスの物流現場・物流システムの知見と、GhostDrift数理研究所の機械検証技術を組み合わせ、必要な記録を検査し、温度指標を再計算した上で、条件が成立した場合にのみ引き渡し可と判定し、それ以外では判定の時点で停止させる仕組みを実装しました。判定は、同じ入力、ルール及び実装を用いて後から再検証できます。
[画像2:
https://prcdn.freetls.fastly.net/release_image/182721/5/182721-5-266a7e8d56590d61bcc586a6318311de-1672x941.png?width=536&quality=85%2C75&format=jpeg&auto=webp&fit=bounds&bg-color=fff ]
課題と解決：バラバラの記録を、一件の引き渡し証跡として結合する
今回の温度管理は、この仕組みを適用した一例です。業務上の条件、必要な証拠、判定方法及び判定後の処理を、機械が検証できる形であらかじめ定めることで、品質確認、受領承認、在庫確認、権限確認など、他の業務判断にも応用できます。
両社は、この成果をコールドチェーン領域でさらに発展させるとともに、広島AIアシュアランス協議会（設立準備中）が策定を進める、広島発・日本発の「Hiroshima AI Assurance Protocol（広島AIアシュアランス・プロトコル）」の最初の実装成果として展開していきます。
コールドチェーンの実務課題を起点に、AI判断の条件、証拠、責任及び状態遷移を、企業やシステムを越えて検証できる共通基盤へ発展させます。AIモデルの規模や生成性能だけではなく、「責任」と「検証可能性」を日本発のAI競争軸として世界に提起する取り組みです。
※1 戦略的パートナーシップ及び共同特許出願については、オンザリンクス社の
プレスリリースをご覧ください。
※2 本PoCはAIモデル自体の性能を評価するものではなく、AI等が生成した業務判断を企業が正式運用で採用する前に、必要な条件、証拠及び状態遷移を機械検証する基盤を実装したものです。
医薬品のコールドチェーンは、品質管理に細心の注意が求められる物流領域です。作業手順、契約条件、温度記録、入出庫記録は整備され、現場でも確認されています。温度異常の警告もなく、配送も完了している。一見、問題はないように見えます。
しかし、荷主から一つだけ聞かれたとき、すぐには答えられない場合があります。
「この1件の受け渡しで、契約上の温度条件、実際の温度、受領者、受領承認を、一つの証跡として示せますか？」
それぞれの記録は残っていても、「この荷物を正式に引き渡してよい」と判断した一つの証拠として結び付いていない場合があります。
これは単なる監査対応の問題ではありません。温度逸脱や誤配送の疑いが生じたとき、どの荷物を止め、どこまで回収し、誰が何を根拠に正常と判断したのかを直ちに示せなければ、品質判断も責任判断も遅れます。
これは現場の努力の問題ではなく、記録の設計の問題です。人が一つずつ確認していることと、一件ごとに「なぜ正式に引き渡してよいと判断したのか」を後から機械的に検証できることは、別の問題です。
GhostDrift数理研究所は、この構造的課題を「コールドチェーン監査ショック」として公開しています。
コールドチェーン監査ショック デモ：
https://coldchain-handoff-audit-shock-bsf9guhrr8sajmyj65fxvy.streamlit.app/
本PoCは、医薬品コールドチェーンの引き渡し業務を想定した条件・証拠・判定フローにおいて、以下の機能の実装可能性を確認しました。
[表1:
https://prtimes.jp/data/corp/182721/table/5_1_d28f7896e54ccd71a86865856dc04165.jpg?v=202607281615 ]
「なぜこの荷物を次に進めたか」「どこで止まったか」「どの基準で判定したか」が判定ダイジェストとともに記録され、同じ入力・ルールおよび実装を用いて再実行し、一致を確認できます。コード公開後は、第三者も同じ手順で確認可能になります。異なる実装による独立再検証は、今後の対象です。
PoC第1弾 体験デモ：
https://coldchain-handoff-assurance-app-eund8t2ky8w9io7pktkpyh.streamlit.app/
[画像3:
https://prcdn.freetls.fastly.net/release_image/182721/5/182721-5-3e40286222f727c5c48ed2b0f2fa726c-1672x941.png?width=536&quality=85%2C75&format=jpeg&auto=webp&fit=bounds&bg-color=fff ]
PoCで実装・確認した6つの処理と実行結果の例
AIは民主化され、社会を読み、判断し、動かす力を持ち始めました。けれど、社会の側はまだ、AIに正しく読まれる準備ができていません。
条件、証拠、責任、権限。AIがそれらを正確に読み取り、その判断を企業や社会が信頼して使える状態にする。AIガバナンスとAIアシュアランスを社会実装することは、大規模モデルと計算資源を競う米中とは異なる、日本の「AI第3極」への道です。
日本が長く培ってきた品質管理と現場運用の力を、AI時代の共通基盤へ変える。社会をAIに正しく読ませ、AI判断を後から検証できる形にする。そのための日本発の実装が
「責任OS」です。
GhostDrift数理研究所とオンザリンクスは、その最初の実装を広島の物流現場から始めました。一件の医薬品の引き渡しから、信頼できるAIを社会で使うための世界共通基盤へ。広島AIアシュアランス・プロトコルは、日本から新しいAI競争軸を提示する挑戦です。
[画像4:
https://prcdn.freetls.fastly.net/release_image/182721/5/182721-5-df969c763df01f2c32461f8dc65c9d37-1672x941.png?width=536&quality=85%2C75&format=jpeg&auto=webp&fit=bounds&bg-color=fff ]
責任OSとADICの位置づけ：社会の条件をAIが扱える構造にする
「今回実装したのは、単に温度を監視する仕組みではありません。必要な証拠を確認し、温度指標を再計算し、条件を満たした場合だけ通過させ、その判断理由を後から再検証できる仕組みです。AIやシステムの判断を、企業が正式に採用できる判断へ変えるための基盤を、医薬品物流で形にしました。
日本が競うべきものは、AIモデルの規模だけではありません。日本が培ってきた品質管理と現場運用を、AIが正確に読み取り、企業や社会が信頼して使える仕組みへ変えることです。今回のPoCは、その日本発の競争軸を、オンザリンクスとともに広島から実装した第一歩です」
― 前木秀光、GhostDrift数理研究所代表
「物流現場には、多くの記録と確認業務があります。今回のPoCによって、それらを個別に残すだけでなく、一件の引き渡し判断を支える検証可能な情報へ変えられることが見えてきました。物流現場とシステムを知るオンザリンクスと、GhostDrift数理研究所の機械検証技術を組み合わせたからこそ生まれた成果です。今後は、この成果の物流DX基盤『YUKAI』への搭載も検討し、荷主、倉庫、運送会社を越えて、信頼できる情報がつながる物流を目指します。広島の現場から、AIを安心して使える物流の仕組みを育て、世界標準となるAI物流構想へつなげていきます」
― 東聖也、株式会社オンザリンクス代表取締役
[画像5:
https://prcdn.freetls.fastly.net/release_image/182721/5/182721-5-d4ea01ec9e12be3e9b4c39bee289802d-1672x941.png?width=536&quality=85%2C75&format=jpeg&auto=webp&fit=bounds&bg-color=fff ]
今後の展開：PoCの成果を広島AIアシュアランス・プロトコルへ
高度なAIシステムを対象に、国際指針と行動規範を含む初の国際的な政策枠組みである
広島AIプロセスが世界に示したのは、AIをただ大きくするのではなく、安全・安心で信頼できる形で社会に実装するという方向性です。GhostDrift数理研究所とオンザリンクスは、今回のPoCを、その初の国際的な政策枠組みの理念を企業の現場で実際に動くルールへ変える最初の実装と位置付けています。
今回確認した、業務上の条件と証拠を結び付け、進めてよい判断だけを通し、その理由を後から再検証できる仕組みを、広島AIアシュアランス・プロトコルの初期仕様策定へつなげます。さらに、平時の定常業務だけでなく、災害や通信障害などで通常の確認経路が使えない場合にも、あらかじめ定めた条件とその場で得られる証拠に基づき、代替ルートへ切り替えてよいかを検証できる仕組みへ発展させることを検討していきます。我々の目標は、日本国内や特定業界だけで閉じる技術ではありません。企業、業界、システム、国境を越えて利用できる、AI判断の世界標準プロトコルです。
AI競争の主導権は、モデルの規模や計算資源だけで決まるものではありません。AIの判断を何に基づいて信頼し、どの条件で社会の正式判断として採用するのか。その世界共通ルールを誰がつくるかも、次の競争です。
日本が培ってきた品質管理と現場運用の力を、世界で使われるAIアシュアランスのルールへ変える。米中とは異なるAIの第三極を、日本から築く。一件の医薬品物流から始まった実装を、広島発・日本発の世界標準へつなげていきます。
・PoC第1弾 リポジトリ：
https://github.com/GhostDriftTheory/coldchain-handoff-assurance
・コールドチェーン監査ショック デモ：
https://coldchain-handoff-audit-shock-bsf9guhrr8sajmyj65fxvy.streamlit.app/
・戦略的パートナーシップ発表：
https://prtimes.jp/main/html/rd/p/000000008.000169775.html
GhostDrift数理研究所は2026年6月、責任OS・ADIC・ALSの基礎理論をLean 4で形式化し公開しました（※3）。今回のPoCは、Lean 4で形式化した責任情報・検証可能性に関する考え方と、実装した機能との対応関係を示すものです。
※3 Lean形式化公開リリース：
https://prtimes.jp/main/html/rd/p/000000004.000182721.html
[表2:
https://prtimes.jp/data/corp/182721/table/5_2_6aca1b33b340e0944c36dab1e1e17920.jpg?v=202607281615 ]
【株式会社GhostDrift数理研究所】
代表者 前木 秀光
所在地 東京都新宿区北新宿4-4-4
設立 2026年2月10日
事業内容 高い責任と品質が求められる業界に特化したAIガバナンス技術（責任OS）によるAI・アルゴリズム意思決定システムの設計・実装支援
URL
https://www.ghostdriftresearch.com
【株式会社オンザリンクス】
代表者 東 聖也
所在地 広島県広島市中区大手町2-8-2 フージャース広島大手町ビル8F
設立 1999年11月15日
事業内容 ハイテク製造業界に特化した物流DXソリューションの企画・開発・導入
URL
https://www.onzalinx.co.jp/
株式会社GhostDrift数理研究所 広報担当：前木（まえき）
お問い合わせフォーム：
https://www.ghostdriftresearch.com/contactプレスリリース提供：PR TIMES
記事提供：PRTimes
