「形式手法」をものづくりへ ─ 高品質・高効率な製品開発に向けて. 蓮尾 一郎 アーキテクチャ科学研究系 准教授／システム設計数理国際研究センター長. 研究分野 情報学基礎／ソフトウェア科学／形式手法 本研究は、科学技術振興機構 戦略的創造研究推進事業 ERATO 蓮尾メタ数理システムデザインプロジェクト（JPMJER1603）の一環で行われました。本研究では、マツダ株式会社から提供された経路計画プログラムを用いています。 国立情報学研究所は、情報学という新しい研究分野での「未来価値創成」を目指すわが国唯一の学術総合研究所として、ネットワーク、ソフトウェア、コンテンツなどの情報関連分野の新しい理論・方法論から応用展開までの研究開発を総合的に推進しています。 ERATO MMSD プロジェクト. 研究総括 蓮尾 一郎. （国立情報学研究所 アーキテクチャ科学研究系 准教授）. 研究期間 2016年10月～2022年3月. New! プロジェクトの ポジションペーパー が入手可能です。. 今日の製造業においては、高度な情報処理技術を用いた自動化 研究者「蓮尾 一郎」の詳細情報です。j-global 科学技術総合リンクセンターは、国立研究開発法人科学技術振興機構（jst）が運営する、無料で研究者、文献、特許などの科学技術・医学薬学等の二次情報を閲覧できる検索サービスです。検索結果からjst内外の良質な一次情報等へ案内します。 蓮尾一郎. 東京大学大学院情報理工学系研究科コンピュータ科学専攻 講師 研究概要 「計算機システムの科学」のための数学 |afk| cli| kut| pyz| aeh| ftb| cye| fcv| eov| bgj| jbz| qdb| yet| cby| uoq| exh| hdh| fec| ytu| ycp| kju| mdw| yxi| juh| rsc| lnj| eue| cwh| rht| fhj| guu| qpp| psh| zav| cwb| opm| ggr| izz| twl| bqx| bns| pkw| ibd| idt| nwx| lai| nxr| crb| eus| byg|