オンザリンクス × GhostDrift数理研究所、AIガバナンス・形式証明技術の実証において、戦略的パートナーシップ締結
NQ スコア
46/100
N1 コンテンツ完全性
5
AI サマリー（NQ 加工済み）
オンザリンクスとGhostDrift数理研究所が戦略的パートナーシップを締結し、改正物流効率化法に対応するため、製薬物流のコールドチェーンにおける荷主責任証明基盤のPoCを共同推進します。AIガバナンス・形式証明技術の「ADIC」を活用し、客観的な責任証明の仕組みを構築します。