蓮尾メタ数理システムデザインプロジェクト

研究総括 Hasuo_portrait蓮尾 一郎
(東京大学 大学院情報理工学系研究科 准教授)
研究期間 2016年10月~2022年3月

今日の製造業においては、高度な情報処理技術を導入することにより、設計から生産に至る工程の様相を根本的に変える取り組みが進んでおり、設計工程および生産工程の自動化とソフトウェアによる支援がさまざまな業種で採用されつつあります。また、自動運転などの例に見られるように、ソフトウェア制御によって工業製品の機能が飛躍的に拡大するなど、今後ますますソフトウェアが設計・生産工程の効率化や工業製品の品質向上に大きく寄与するようになると考えられます。
このような背景のもと、本プロジェクトでは従来のものづくり技術にソフトウェア科学の成果を導入し、仕様策定から設計、実装、保守まで工業製品開発のさまざまな側面を支援するソフトウェア・ツールの構築を目指します。また、これと並行して、工業製品開発において重要な制御理論とソフトウェア科学の双方を数学的に融合した汎用的な理論体系の構築も目指します。将来、これらの基礎的・応用的成果をまとめることによって、工業製品開発のためのソフトウェア・インフラ(統合開発環境)構築の基盤とすることを目標とします。
具体的には、「形式手法」というソフトウェア科学における数学を基盤としたシステム設計の技法を取り込むことにより、製品の品質保証や効率化へのソフトウェアによる支援を大きく推進します。工業製品の開発に形式手法を適用するには、物理系の連続ダイナミクスや確率・時間などの連続的要素を包含するように、形式手法に対してさまざまな拡張を行うことが必要です。そこで、形式手法の拡張の過程そのものを数学的に解析し、高次(メタレベル)の理論を構築することで、日々多様化する工業製品の利用環境に対応するよう、形式手法を一挙に拡張します。以上の成果を、自動車業界など産業界の各分野に展開を図る予定です。また同時に、ソフトウェア科学や制御理論を包括する新たな理論体系の構築を通じて、数学一般に対する学術的貢献をめざします。

 

HasuoPJ_fig_jp

 

研究グループ

・メタ理論的統合グループ

・ヘテロジニアス形式手法グループ

・産業応用グループ

・インテリジェンス協働形式手法グループ

 

プロジェクトヘッドクオーター

〒113-8656
東京都文京区本郷7-3-1
東京大学 理学部7号館 401号室

TEL: 03-5841-4068
FAX: 03-5841-4118