蓮尾一郎 (Ichiro Hasuo) - マイポータル

基本情報

所属: 国立情報学研究所アーキテクチャ科学研究系教授
: 総合研究大学院大学複合科学研究科教授
: JST ERATO 蓮尾メタ数理システムデザインプロジェクト研究総括
: JST ERATO Metamathematics for Systems Design Project Research Director

学位: PhD(Radboud University Nijmegen)

研究者番号: 60456762
J-GLOBAL ID: 200901006896314021
researchmap会員ID: 6000006545

外部リンク: http://group-mmm.org/~ichiro

研究キーワード

研究分野

受賞

2018年12月

Best paper award, ICECCS 2018.

Étienne André, Masaki Waga, Ichiro Hasuo
2014年8月

Best paper award, CONCUR 2014

Natsuki Urabe, Ichiro Hasuo

論文

159

Dynamic Shielding for Reinforcement Learning in Black-Box Environments.

Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo

CoRR abs/2207.13446 2022年
Goal-Aware RSS for Complex Scenarios via Program Logic.

Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang 0005, Erik André Pallas, Akihisa Yamada 0002, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi

CoRR abs/2207.02387 2022年
Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization.

Ichiro Hasuo

CoRR abs/2206.03418 2022年
The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis.

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo

CoRR abs/2203.14261 2022年
Exemplifying parametric timed specifications over signals with bounded behavior.

Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo

CoRR abs/2203.13247 2022年
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.

Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo

NASA Formal Methods - 14th International Symposium(NFM) 470-488 2022年
The Lattice-Theoretic Essence of Property Directed Reachability Analysis.

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo

CAV (1) 235-256 2022年
Dynamic Shielding for Reinforcement Learning in Black-Box Environments.

Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo

ATVA 25-41 2022年
Model-bounded Monitoring of Hybrid Systems.

Masaki Waga, Étienne André, Ichiro Hasuo

ACM Transactions on Cyber-Physical Systems 6(4) 30-26 2022年
Codensity Games for Bisimilarity.

Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo

New Generation Computing 40(2) 403-465 2022年
Decision Tree Learning in CEGIS-Based Termination Analysis.

Satoshi Kura, Hiroshi Unno 0001, Ichiro Hasuo

CoRR abs/2104.11463 2021年
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.

Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki 0001, Fuyuki Ishikawa, Shin-ya Katsumata

CoRR abs/2108.07509 2021年
Architecture-Guided Test Resource Allocation Via Logic.

Clovis Eberhart, Akihisa Yamada 0002, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa

CoRR abs/2107.10948 2021年
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation.

Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo

CoRR abs/2105.10164 2021年
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.

Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata

CoRR abs/2105.04817 2021年
Model-bounded monitoring of hybrid systems.

Masaki Waga, Étienne André, Ichiro Hasuo

CoRR abs/2102.07401 2021年
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs.

Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho 0002, Shin-ya Katsumata

CoRR abs/2101.01502 2021年
A Compositional Approach to Parity Games.

Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online(MFPS) 278-295 2021年
Time-Staging Enhancement of Hybrid System Falsification.

Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards

SNR 25-43 2021年
Architecture-Guided Test Resource Allocation via Logic.

Clovis Eberhart, Akihisa Yamada 0002, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa

Tests and Proofs - 15th International Conference(TAP@STAF) 22-38 2021年

もっとみる

MISC

Quantitative bisimulations using coreflections and open morphisms

Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger

abs/1809.09278 2018年9月25日
理学の現場第14回

佐藤薫, 蓮尾一郎

東京大学理学系研究科・理学部ニュース 47(2) 8-9 2015年7月20日
量子コンピュータ：5．量子プログラミング言語

蓮尾一郎, 星野直彦

情報処理 55(7) 710-715 2014年6月15日
計算機科学と代数学 : プログラム意味論と普遍代数学 (特集数理科学における代数的構造 : 多彩な代数学的アプローチを探る)

蓮尾一郎

数理科学 52(5) 37-42 2014年5月
CPSの形式検証——超準解析によるアプローチ

蓮尾一郎, 末永幸平

計測と制御 53(12) 1080-1085 2014年
トピックス

武田洋幸, 五所恵実子, 鹿野悠, 曇由紀子, 久保健雄, 横山広美, 蓮尾一郎, 佐藤薫

東京大学理学系研究科・理学部ニュース 45(1) 3-7 2013年5月
圏論の歩き方(第6回)モナドのクライスリ圏 : 圏論による一般化とは?

蓮尾一郎

数学セミナー 51(1) 82-88 2012年1月
連載：理学のキーワード : 第34回

蓮尾一郎, 蓑輪眞, 本原顕太郎, 杉浦直治, 竹内雅宜, 赤坂甲治

東京大学理学系研究科・理学部ニュース 43(4) 14-16 2011年11月
圏論の歩き方(第2回)圏の定義--矢印でいろいろ書いてみる

蓮尾一郎

数学セミナー 50(8) 72-78 2011年8月
Probabilistic anonymity via coalgebraic simulations

Hasuo Ichiro, Kawabe Yoshinobu, Sakurada Hideki

Theoretical Computer Science 411(22) 2239-2259 2010年5月17日
A Proof-Theoretical Study on Logics with Constructible Falsity (Sequent Calculi and Proof Theory)

蓮尾一郎, 鹿島亮

数理解析研究所講究録 1301(1301) 92-121 2003年1月

講演・口頭発表等

ソフトウェア理論研究のシステムディペンダビリティ応用：圏論的基礎理論から自動運転安全性証明まで

蓮尾一郎

第20回ディペンダブルシステムワークショップ 2022年12月15日
数学的証明の社会・産業応用

蓮尾一郎

九州大学マス・フォア・イノベーション連係学府設置記念シンポジウム 2022年6月28日招待有り
量子プログラミング言語の研究：静的解析から量子プログラム統合開発環境へ

情報処理学会連続セミナー 2020 第６回「量子コンピュータとソフトウェア」 2020年12月14日招待有り
"理論計算機科学入門有限と無限のあいだ－数学的理論から、AI・自動運転－"

蓮尾一郎

国立情報学研究所市民講座「情報学最前線」 2019年11月7日
Safety under Statistical and Environmental Uncertainties: Challenges in Cyber-Physical Systems with Machine-Learning Components

蓮尾一郎

MLSE International Symposium 2019 2019年10月18日招待有り
物理情報システムの信頼性保証：ソフトウェア科学から，制御理論・機械学習を包括する理論研究

蓮尾一郎

"日本機械学会関西支部 2019年度特別フォーラム～ Society5.0がめざす新しい社会～ " 2019年9月20日
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems

蓮尾一郎

ADHS 2018 (IFAC Conference on Analysis and Design of Hybrid Systems) 2018年7月12日
Coalgebras and Higher-Order Computation: a GoI Approach

蓮尾一郎

Game Semantics 25 Workshop 2018年7月8日
Martingale-Based Methods for Reachability Probabilities: Excitements and Afterthoughts in Coalgebras

蓮尾一郎

Coalgebra, Now @ FLoC 2018 Workshop 2018年7月8日
Approximating Reachability Probabilities by (Super-)Martingales

蓮尾一郎

SynCoP 2018 2016年4月15日

蓮尾一郎

基本情報

研究キーワード

研究分野

受賞

論文

MISC

講演・口頭発表等

メニュー

共著者の一覧