コンテンツへスキップ
ERATO MMSD

ERATO MMSD

ERATO Metamathematics for Systems Design Project

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

このページは JST サーバ内の 公式ウェブページの補遺情報をまとめたものです.

Language

  • English
  • 日本語
  • 中文
  • トップページ
  • プロジェクトについて
  • メンバー
    • グループ0:メタ理論的統合グループ
    • グループ1:ヘテロジニアス形式手法グループ
    • グループ2: 産業応用グループ
    • グループ3: インテリジェンス協働形式手法グループ
    • 以前のメンバー
  • 採用情報
    • 博士研究員・特任教員募集
    • Scientific Programmer 募集
    • 大学院生募集
  • 論文
  • 学位論文
  • イベント
    • シンポジウム: 高信頼自動運転システムのための先進的研究
    • ERATO MMSD 自動車産業応用セミナー(メンバーのみ)
  • アクセス・連絡先

検索

最近の投稿

  • 採用情報
  • 自動運転における重大な問題をシミュレーションで検出する技術を開発
    ~問題が発生するかを探り、起こりうる問題だけを効率的に自動探索~
  • ニュースリリース:信頼性が高いガスタービンのシステム設計を自動で効率良く発見する技術を開発~ブラックボックス最適化での論理仕様に着目、企業の実製品の設計プロセスに応用
  • SSBSE 2021 Distinguished paper award受賞
  • ニュースリリース:計測誤差があるセンサーを使っても安全に動くよう制御ソフトウェア を自動で変換する手法を開発~「誤差はないものとする」理想上設計 で現実 を安全に~

アーカイブ

  • 2022年3月 (2)
  • 2021年11月 (1)
  • 2021年10月 (4)
  • 2021年6月 (1)
  • 2021年3月 (2)
  • 2020年10月 (2)
  • 2020年9月 (2)
  • 2020年3月 (3)
  • 2019年11月 (6)
  • 2019年10月 (2)
  • 2019年8月 (2)
  • 2019年5月 (4)
  • 2019年4月 (3)
  • 2019年3月 (7)
  • 2018年12月 (3)

月: 2019年10月

Scientific Programmer 募集

研究成果たるアルゴリズムの普及・社会応用に向けたソフトウェア実装を行っていただく,scientific programmer を募集しています.

詳細はこちらの JREC-IN のページを御覧ください.概要はこちらです.

投稿日: 2019-10-312019-10-31作成者 Ichiro Hasuo
Proudly powered by WordPress