-
国立情報学研究所
アーキテクチャ科学研究系
教授
（総合研究大学院大学兼担） -
JST ERATO 蓮尾メタ数理システムデザインプロジェクト
研究総括 - （料理をしていない）写真
- 研究室のページ
What's new
- 最新情報は ERATO プロジェクトのページ をごらんください．募集情報などもあります．
- 数学会シンポジウム 講演のスライドはこちら．（2024/03/19）
- 情報処理学会 第86回全国大会 特別講演のスライドはこちら．（2024/03/16）
- 九州大学 Forum "Math for Industry" 2023 の講演のスライドはこちら．（2023/08/29）
- 岩波 「科学」の記事の電子版ファイルを公開しました．自動運転車の安全性を数学的に証明する話です．一般向けの論理学入門も兼ねています．（2023/04/24）
- PPL 2023で発表賞（一般の部）をいただきました．励みにしてがんばります！ スライド （2023/03/08）
- 九州大学マス・フォア・イノベーション連係学府 設置記念シンポジウムで講演します．スライドはこちら （2022/06/2）．
- 自動車技術会 春季大会 学術講演会での講演のスライドはこちら （2022/05/27）．
- 大学院生を受け入れています（総合研究大学院大学 情報学専攻）．修士課程相当でも RA 雇用，多くの場合生活できるくらいの額が支給されます．待遇や研究内容などはこちら．