(JST)ERATOに採択され、2016年10月から始め、2022年3月まで続ける『蓮尾メタ数理システムデザインプロジェクト』において、NIIの蓮尾一郎准教授は、工業製品の設計を支援する理論と手法を用意し、製造現場における"成功譚"を最低5件蓄積するといいます。何をめざし、どう進めるのか、なぜできると言い切れるのか、蓮尾准教授に尋ねました。安全で安心な超スマート社会の実現に向けて新しい技術が社会で役立つためには、それが安全に使えることが必要です。ロボットや自動運転など人と親和性の高い技術の場合は、さらに「安心」であることも重要な要素となります。潮俊光教授に、プロジェクトにおける役割を聞きました。本プロジェクトは、工業製品のものづくりに、ソフトウエア工学の知見を取り入れ、仕様策定から設計、製造、保守に至るまでの支援をめざしています。Methods)」を採用。製造業が培ってきた知見と組み合わせることで、複雑化するものづくりにおける信頼性や安全性、迅速性を、高い水準へ引き上げるというものです。このプロジェクトにおいて、グループ3「インテリジェンス協働形式手法」のグループリーダーを務めるNIIの石川冬樹准教授に、形式手法によるものづくりの進化とめざす成果などについて聞きました。ERATO蓮尾メタ数理システムデザインプロジェクトについて今日、製造業において、高度な情報処理技術を用いた自動化とソフトウエア支援により、設計から生産までの製造工程のあり方を根本的に変える取り組みが進んでいます。した背景を踏まえて、本プロジェクトでは従来のものづくり技術にソフトウエア科学の成果を導入し、仕様策定から設計、実装、保守に至る工業製品開発のさまざまな側面を支援するソフトウエア・ツールの構築をめざしています。Todayは無料で冊子PDFをダウンロードしてご覧いただけます。kouhou(a)nii.ac.jp※(a)の部分を@に置き換えて送信してください。