お知らせ
- 第2回「AI/IoTシステム安全性シンポジウム」の参加者募集 (2020年 10月 10日)
- 第2回「AI/IoTシステム安全性シンポジウム」の発表者募集 (2020年 08月 29日)
- 「第2回AI/IoTシステム安全性シンポジウム」の開催延期のお知らせ (2020年 03月 20日)
- QAML Seminar (2020/2/10)を開催します (2020年 01月 22日)
- AI/IoTシステムのための安全性シンポジウム 資料公開 (2019年 12月 26日)
- QAML Seminar (2019/12/18)を開催します (2019年 12月 12日)
- QAML Seminar (2019/11/27)を開催します (2019年 11月 26日)
- 「AI/IoTシステムのための安全性シンポジウム」参加者募集!! (2019年 10月 15日)
- QAML Seminar: Requirements for Machine Learning Application on 9th October 2019 (2019年 09月 27日)
- QAML Seminar (2019/9/30)を開催します (2019年 09月 27日)
最新ブログ
- 機械学習工学セミナ@モントリオール (2020年 05月 12日) by 金子朋子
- AI/IoTシステムのための安全性シンポジウム開催報告 (2019年 12月 25日) by 向山輝
- QAMLセミナーの開催 (2019年 11月 19日) by 金子朋子
- ICSE2019併設ワークショップ(DeepTest, MET)参加報告 (2019年 06月 07日) by 徳本晋
- SEMLA2019参加報告 (2019年 06月 03日) by 徳本晋
- STAMP WS2019に参加して (2019年 05月 14日) by 金子朋子
- 機械学習とIoT:書籍紹介 (2019年 05月 14日) by 内平直志
- SysML2019 参加報告 (2019年 04月 11日) by 今井健男
QAML プロジェクトは、JST 未来社会創造事業の「探索加速型」重点公募テーマ『サイバー社会とフィジカル社会を結ぶモデリングと AI』で採択され、機械学習を組み込んだソフトウェア・システムの品質を担保するための機械学習工学を確立しその普及を目指す NII(国立情報学研究所)のプロジェクトです。本プロジェクトは、「形式手法を用いたデータ駆動階層型管理システムの設計」(潮 俊光)・「画像と記号を繋ぐ深層学習の開発と人との相互作用」(鈴木 賢治)と統合し、2021年1月から「機械学習を用いたシステムの高品質化・実用化を加速する”Engineerable AI”技術の開発」(eAIプロジェクト)として本格研究としてスタートしました。このWEBサイトではアーカイブとして掲載しています。
近年、大量データからルールや知識を自動的に獲得する機械学習をソフトウェア・システムに組み込むことが一般化しつつあります。しかし、機械学習で得たシステムの振る舞いは、確率的に決まり、かつ訓練に用いるデータの数や性質に依存するため、システムとして必要な品質を実現できるのか、また十分な品質を担保しているのかを確認することが非常に難しくなります。
そこで、機械学習を応用したシステムに関して、安定的に価値を創造でき、その信頼性を担保する技術を創出します。具体的には、ソフトウェア工学における論理的、演繹的アプローチと機械学習機械学習における帰納的モデル構成、統計的アプローチとを融合させることにより、機械学習応用システム特有の要素技術を創出します。
研究拠点:NII 国立情報学研究所
研究開発代表者:
吉岡 信和(国立情報学研究所 アーキテクチャ研究系 准教授)
吉岡 信和(国立情報学研究所 アーキテクチャ研究系 准教授)
共同研究機関:
北陸先端科学技術大学院大学、ライフマティックス株式会社
北陸先端科学技術大学院大学、ライフマティックス株式会社
参考:高信頼な機械学習応用システムによる価値創造(吉岡 信和)