NIIについて / About NII

NII Today

第77号/2017年9月発行

形式手法をものづくりへ
ERATO「蓮尾メタ数理システムデザインプロジェクト」

・抽象数学で工業製品の設計支援
・情報系と物理系の融合のカギを握る制御理論
・「形式手法」を複雑化するものづくりの現場に活かす
・プロジェクト解説

PDFダウンロード

CONTENTS

NII Interview:
抽象数学で工業製品の設計支援 ソフトウエアの「形式手法」を製造現場とすり合わせる

「テスト工程を短縮するといった定量的な成果を、ものづくりの現場で間違いなく出せます」。科学技術振興機構(JST)ERATOに採択され、2016年10月から始め、2022年3月まで続ける『蓮尾メタ数理システムデザインプロジェクト』において、NIIの蓮尾一郎准教授は、工業製品の設計を支援する理論と手法を用意し、製造現場における"成功譚"を最低5件蓄積するといいます。何をめざし、どう進めるのか、なぜできると言い切れるのか、蓮尾准教授に尋ねました。

  • 蓮尾一郎[国立情報学研究所 アーキテクチャ科学研究系 准教授/総合研究大学院大学 複合科学研究科 准教授/JST ERATO 蓮尾メタ数理システムデザインプロジェクト 研究総括]
  • 聞き手:谷島宣之 [日経BP総合研究所 上席研究員]
NII77_web_0922__02_03 - syusei.jpg
情報系と物理系の融合のカギを握る制御理論 安全で安心な超スマート社会の実現に向けて

新しい技術が社会で役立つためには、それが安全に使えることが必要です。ロボットや自動運転など人と親和性の高い技術の場合は、さらに「安心」であることも重要な要素となります。蓮尾メタ数理システムデザインプロジェクトのグループ1「ヘテロジニアス形式手法グループ」において、システム工学の立場から従来の制御理論を拡張し、機械学習や最適化問題などを取りこんだ理論の構築をめざす大阪大学大学院基礎工学研究科の潮俊光教授に、プロジェクトにおける役割を聞きました。

  • 潮 俊光氏[大阪大学大学院基礎工学研究科 教授/JST ERATO 蓮尾メタ数理システムデザインプロジェクト 大阪大学サイト リーダー]
NII77_web_0922_04_05.jpg
「形式手法」を複雑化するものづくりの現場に活かす AIと結びつくことで品質向上や次世代技術へ展開

本プロジェクトは、工業製品のものづくりに、ソフトウエア工学の知見を取り入れ、仕様策定から設計、製造、保守に至るまでの支援をめざしています。具体的には、ソフトウエアの品質保証などに用いられている「形式手法(Formal Methods)」を採用。製造業が培ってきた知見と組み合わせることで、複雑化するものづくりにおける信頼性や安全性、迅速性を、高い水準へ引き上げるというものです。このプロジェクトにおいて、グループ3「インテリジェンス協働形式手法」のグループリーダーを務めるNIIの石川冬樹准教授に、形式手法によるものづくりの進化とめざす成果などについて聞きました。

  • 石川冬樹[国立情報学研究所 コンテンツ科学研究系 准教授/電気通信大学 大学院情報理工学研究科 客員准教授/総合研究大学院大学 複合科学研究科 客員准教授/JST ERATO 蓮尾メタ数理システムデザインプロジェクト インテリジェンス協働形式手法グループ グループリーダー]
NII77_web_0922_06_07.jpg
JST ERATO蓮尾メタ数理システムデザインプロジェクトについて

今日、製造業において、高度な情報処理技術を用いた自動化とソフトウエア支援により、設計から生産までの製造工程のあり方を根本的に変える取り組みが進んでいます。こうした背景を踏まえて、本プロジェクトでは従来のものづくり技術にソフトウエア科学の成果を導入し、仕様策定から設計、実装、保守に至る工業製品開発のさまざまな側面を支援するソフトウエア・ツールの構築をめざしています。

NII77_web_0922_08_09.jpgエッセイ:ACMチューリング賞50周年を祝って
  • 喜連川 優[国立情報学研究所 所長]
NII77_web_0922_12.jpg関連リンク

"Computer Science as a Major Body of Accumulated Knowledge" Donald Ervin Knuth

PDFダウンロード

NII Todayは無料で冊子PDFをダウンロードしてご覧いただけます。

第77号「形式手法をものづくりへ ERATO「蓮尾メタ数理システムデザインプロジェクト」」

バックナンバー

NII Todayバックナンバー

お問合せ先

国立情報学研究所 総務部 企画課 広報チーム
〒101-8430 東京都千代田区一ツ橋2-1-2
E-mail: kouhou(a)nii.ac.jp
※(a)の部分を@に置き換えて送信してください。

注目コンテンツ / SPECIAL