On-the-Links × GhostDrift數學研究所：AI治理與形式驗證技術實證的戰略合作夥伴關係
On-the-Links株式會社與GhostDrift數學研究所建立了戰略合作夥伴關係，共同推進藥品冷鏈物流中貨主責任證明系統的概念驗證（PoC）。此舉旨在應對修訂後的物流效率化法規，利用AI治理和形式驗證技術ADIC，建立客觀的責任驗證機制。
📋 文章處理履歷
- 📰 發表: 2026年4月28日 19:10
- 🔍 收集: 2026年4月28日 10:31
- 🤖 AI分析完成: 2026年4月28日 15:34（收集後5小時2分鐘）
On-the-Links株式會社（廣島市中區，代表董事：東聖也）與GhostDrift數學研究所（東京都新宿區，代表董事：前木秀光）於2026年4月20日締結了戰略合作夥伴關係。
2026年4月正式實施的《改正物流效率化法》要求特定貨主設置CLO（物流統括管理者）並承擔物流管理責任。在藥品流通領域，GDP指南規定的品質管理責任使其更加複雜，貨主企業有義務客觀證明「其藥品在整個供應鏈中是如何被管理的」。然而，目前尚不存在能夠履行此責任的技術基礎。
為了解決這一結構性問題，兩公司將共同推進針對製藥物流冷鏈（溫度控制物流）的「貨主責任證明基礎」概念驗證（PoC）。On-the-Links將負責物流流程設計和實施，而GhostDrift數學研究所將利用ADIC（Advanced Data Integrity by Ledger of Computation）技術設計數學證明基礎。
ADIC技術應用於冷鏈的實施概念圖
為何此問題在當下如此重要？
藥品從製藥公司到CMO（委託製造商）、3PL（第三方物流）、批發商、醫療機構，經由多家公司之手。GDP指南要求在運輸和儲存過程中每5至15分鐘監測和記錄溫度，每個參與者都忠實遵守這些標準。
然而，問題在於各公司在貨主責任下未能形成一個統一的結構。當發生溫度偏差時，貨主無法提供第三方可驗證的證據來證明「在哪個區段、由誰的判斷、基於什麼標準做出了什麼決定」。貨主已成為法定責任主體，但缺乏證明此責任的技術基礎。
■ 什麼是ADIC（AI治理・形式驗證技術）？
ADIC是一種技術，讓貨主能夠從交接時的日誌數據實時審計和決策，以驗證物流是否完全按照合同和法律的規定進行。
傳統 ADIC
責任證明 只能事後接收和比對日誌 將合同和法律標準與交接數據綁定並記錄。貨主可自行審計。
可驗證性 依賴於對參與者的信任 由第三方（PASS/FAIL）生成可數學驗證的證書（Lean4形式證明）。
技術基礎 主要以Excel/PDF管理為主 使用整數運算的有限賬本固定決策依據。事後不可篡改。
※ 目前提交給《Acta Informatica》雜誌的論文預印本已在以下URL公開：
公開URL：https://zenodo.org/records/19808324
※ 已申請以下三項ADIC相關技術專利：
• 專利申請2025-201777
• 專利申請2025-222865
• 專利申請2025-236223
■ 兩公司代表評論
On-the-Links株式會社 代表董事 東聖也
我們專注於高科技製造業的物流系統開發。「現場做得正確，但貨主無法證明」這種結構性矛盾存在於冷鏈中。證明責任的技術基礎至今仍不存在。我們的目標是透過科技改變物流結構，創造一個相互給予而非爭奪的系統。與GhostDrift數學研究所的合作，是實現這一理想最直接的嘗試。我們將首先在製藥業這個最嚴苛的現場進行驗證。
GhostDrift數學研究所 代表董事 前木秀光
我們是一家專門從事AI治理和決策數學的公司。我們希望為社會系統的建立做出貢獻，使那些有覺悟承擔品質和責任的現場和企業，不會在事後遭受不利。On-the-Links株式會社作為物流系統的專業人士，長期以來一直支撐著日本的製造業。他們在物流這一社會基礎設施現場，持續支持著不容許失敗的運營，這與我們在日本建立AI時代信任基礎的志向深切契合。走向一個物流現場誠實工作者的努力，能作為貨主說明責任而正確可視化的世界。這次合作是共享「想創建AI時代真正需要的物流基礎設施」這一願景的必然相遇。
■ 製藥物流PoC的驗證內容
對象：
醫藥品供應鏈（符合GDP規範的冷鏈物流）。
在涉及多個委託方的物流中，將示範以下場景：
發生溫度偏差時（針對每5-15分鐘的監測記錄）：
貨主可提供第三方驗證的證據，說明偏差發生在哪個區段以及基於何種判斷標準。
2026年4月正式實施的《改正物流效率化法》要求特定貨主設置CLO（物流統括管理者）並承擔物流管理責任。在藥品流通領域，GDP指南規定的品質管理責任使其更加複雜，貨主企業有義務客觀證明「其藥品在整個供應鏈中是如何被管理的」。然而，目前尚不存在能夠履行此責任的技術基礎。
為了解決這一結構性問題，兩公司將共同推進針對製藥物流冷鏈（溫度控制物流）的「貨主責任證明基礎」概念驗證（PoC）。On-the-Links將負責物流流程設計和實施，而GhostDrift數學研究所將利用ADIC（Advanced Data Integrity by Ledger of Computation）技術設計數學證明基礎。
ADIC技術應用於冷鏈的實施概念圖
為何此問題在當下如此重要？
藥品從製藥公司到CMO（委託製造商）、3PL（第三方物流）、批發商、醫療機構，經由多家公司之手。GDP指南要求在運輸和儲存過程中每5至15分鐘監測和記錄溫度，每個參與者都忠實遵守這些標準。
然而，問題在於各公司在貨主責任下未能形成一個統一的結構。當發生溫度偏差時，貨主無法提供第三方可驗證的證據來證明「在哪個區段、由誰的判斷、基於什麼標準做出了什麼決定」。貨主已成為法定責任主體，但缺乏證明此責任的技術基礎。
■ 什麼是ADIC（AI治理・形式驗證技術）？
ADIC是一種技術，讓貨主能夠從交接時的日誌數據實時審計和決策，以驗證物流是否完全按照合同和法律的規定進行。
傳統 ADIC
責任證明 只能事後接收和比對日誌 將合同和法律標準與交接數據綁定並記錄。貨主可自行審計。
可驗證性 依賴於對參與者的信任 由第三方（PASS/FAIL）生成可數學驗證的證書（Lean4形式證明）。
技術基礎 主要以Excel/PDF管理為主 使用整數運算的有限賬本固定決策依據。事後不可篡改。
※ 目前提交給《Acta Informatica》雜誌的論文預印本已在以下URL公開：
公開URL：https://zenodo.org/records/19808324
※ 已申請以下三項ADIC相關技術專利：
• 專利申請2025-201777
• 專利申請2025-222865
• 專利申請2025-236223
■ 兩公司代表評論
On-the-Links株式會社 代表董事 東聖也
我們專注於高科技製造業的物流系統開發。「現場做得正確，但貨主無法證明」這種結構性矛盾存在於冷鏈中。證明責任的技術基礎至今仍不存在。我們的目標是透過科技改變物流結構，創造一個相互給予而非爭奪的系統。與GhostDrift數學研究所的合作，是實現這一理想最直接的嘗試。我們將首先在製藥業這個最嚴苛的現場進行驗證。
GhostDrift數學研究所 代表董事 前木秀光
我們是一家專門從事AI治理和決策數學的公司。我們希望為社會系統的建立做出貢獻，使那些有覺悟承擔品質和責任的現場和企業，不會在事後遭受不利。On-the-Links株式會社作為物流系統的專業人士，長期以來一直支撐著日本的製造業。他們在物流這一社會基礎設施現場，持續支持著不容許失敗的運營，這與我們在日本建立AI時代信任基礎的志向深切契合。走向一個物流現場誠實工作者的努力，能作為貨主說明責任而正確可視化的世界。這次合作是共享「想創建AI時代真正需要的物流基礎設施」這一願景的必然相遇。
■ 製藥物流PoC的驗證內容
對象：
醫藥品供應鏈（符合GDP規範的冷鏈物流）。
在涉及多個委託方的物流中，將示範以下場景：
發生溫度偏差時（針對每5-15分鐘的監測記錄）：
貨主可提供第三方驗證的證據，說明偏差發生在哪個區段以及基於何種判斷標準。