蓮尾 一郎
国立情報学研究所
English
Japanese
Dutch
Chinese
HOME
連絡先
研究について
履歴
論文
口頭発表
教育
研究室
国立情報学研究所
アーキテクチャ科学研究系
教授
(
総合研究大学院大学
兼担)
JST ERATO 蓮尾メタ数理システムデザインプロジェクト
研究総括
株式会社イミロン
取締役・創業者
(料理をしていない)
写真
研究室のページ
What's new
最新情報は
ERATO プロジェクトのページ
をごらんください.
募集情報
などもあります.
ERATO MMSD 成果報告会
を開催します.6月19日(水)です.ぜひ参加登録を!
数学会シンポジウム
講演のスライドは
こちら
.(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 雇用,多くの場合生活できるくらいの額が支給されます.待遇や研究内容などは
こちら
.