Mindblown: a blog about philosophy.
-
博士研究員・特任教員募集
数名の研究員を募集しています．ぜひご検討ください． We invite applications for po…
-
ERATO MMSD 成果報告会を開催しました
ERATO MMSD 成果報告会を 2024年6月19日（水）に開催し，109名の方々にご参加いただきました．…
-
ERATO MMSD 成果報告会開催
6月19日（水）に開催します．詳細はこちら：https://han.kpx.mybluehost.me/web…
-
Distinguished paper award 受賞
郡茉友子，蓮尾一郎らの論文が 35th International Conference on Compute…
-
3報の論文が CAV 2023 に採択
ERATO MMSD プロジェクトの研究者が著者となる3報の論文が， CAV 2023 – 35th Inte…
-
自動運転車の安全性の数学的証明についての雑誌記事公開
自動運転車の安全性の数学的証明について，岩波書店 科学 2023年3月号に掲載された解説記事を公開しています．…
-
採用情報
以下のポジションで研究員・プログラマーを募集しています．ぜひ国内からの応募もご検討ください． Scientif…
-
自動運転車の安全性に数学的証明を与える新手法を開発
～論理的安全ルールの効率的導出により自動運転の社会受容を加速～以下の論文の成果を，NII および JST からニュースリリースしました． 情報・システム研究機構 国立情報学…
-
採用情報
以下のポジションで研究員・プログラマーを募集しています．ぜひ国内からの応募もご検討ください． Scientif…
-
自動運転における重大な問題をシミュレーションで検出する技術を開発
～問題が発生するかを探り、起こりうる問題だけを効率的に自動探索～以下の論文の成果を，NII および JST からニュースリリースしました． 情報・システム研究機構 国立情報学…
何かおすすめの本はありますか ?