【プレスリリース】発表日:2025年09月18日三菱電機と仏Inriaがフォーマルメソッドを用いたAIの信頼性を保証する技術開発を開始次世代AI技術を確立し、安心してAIを利用できる社会の実現に貢献＊参考画像は添付の関連資料を参照三菱電機株式会社（以 ...