プロジェクト一覧
ハイブリッドクラウド利用基盤技術の開発・経路特性保証型のクラウドネットワーク技術
- PI：大岩寛
- 期間：2023年7月～2026年7月
- 内容：
複数のクラウド基盤や内部ネットワークなどを、データセンター間・拠点間の広域通信で連結したハイブリッドクラウドシステムにおいて、そのシステム内部の通信の経路特性を保証し、意図しないデグレードなどを検知し警報・抑止するような、通信経路特性担保技術を開発する。
- 外部連携：共同研究者：株式会社インターネットイニシアティブ
NEDO委託事業「AIセーフティ強化に関する研究開発」
- PI：大岩 寛
- 期間：2025年4月23日〜2026年3月31日
- 内容：
AIセーフティに関する基準作りと研究開発を一体の取組みとして実施する。研究開発項目は以下の通り。
- データ・学習モデル・AIシステムのセーフティ評価・管理基盤技術
- 「暮らし領域」のAI製品・サービス向けのAIセーフティ評価・実装技術
- AIセーフティに関するガイドライン、実装解説、国際標準化
- 関連研究グループ：超分散トラスト研究グループ、地理空間サービス研究グループ、データプラットフォーム研究グループ。人工知能研究センター、インテリジェントシステム研究部門、サイバーフィジカルセキュリティ研究部門と共同で実施
- 外部連携：NEDO委託事業。(株)Citadel AIおよび(株)コーピーが３を共同受託。東京大学、琉球大学、名古屋大学、東京科学大学に１、２を再委託。
機械学習システムのリスク分析のための形式検証技術
- PI：川本裕輔
- 期間：2025-2028
- 内容：システムが期待どおりに動作するかどうかを数理的に厳密に検証する手法として形式検証手法が研究されており、様々なシステムの検証に利用されてきた。本研究では、機械学習利用システムのリスク対応を実施できているかを数理的に厳密に確認するための形式検証手法の確立を目指す。特に、機械学習利用システムのリスク対応の不備を自動検証する技術を構築し、機械学習に基づく製品やサービスの品質向上を目指す。
- 関連研究グループ：超分散トラスト研究グループ
- 外部連携: （後日掲載予定）
物理的・確率的システムの検証を支える形式的基盤の構築
- PI：Affeldt Reynald
- 期間：2022-2025
- 内容：
今日, コンピュータプログラムは, デジタル情報の操作やそのネットワークに加えて, 外界との相互作用を行うため, プログラムの検証には, 形式論理と離散数学だけでなく, 実解析や確率論や幾何学などの数学が必要となり, プログラムの様々な副作用の厳密な検証が困難になっている. その複雑さを抑えるためには, プログラムの意味論の基礎的な研究と, 高度な数学に一貫性のある形式表現を与える統合的な研究の双方が必要である. 本研究では, 定理証明支援系Rocq上, 実解析, 連続確率, 剛体幾何を形式化し, モナドと等式推論に基づいて, 形式的基盤の構築とその評価を行う.
- 関連研究グループ：超分散トラスト研究グループ
- 外部連携：名古屋大学, 京都産業大学, 東北大学, 九州大学
