蓮尾 一郎

領域 数理情報科学領域
コース 情報学コース
基盤機関 国立情報学研究所
学位 博士（計算機科学）, ナイメーヘン・ラドバウド大学
職位 教授
キーワード オートマトン, 圏論, 形式手法, 最適化, 機械学習, 物理情報システム, 論理学
外部リンク https://researchmap.jp/read0136635/
https://nrid.nii.ac.jp/ja/nrid/1000060456762/

キーワード

計算機システムの形式検証,情報セキュリティ,圏論

論文一覧（最新5件）

研究課題一覧（最新5件）

    • 相互作用の幾何の確率拡張――圏論的意味論からビッグデータへ
    • 2015-2018
    • キーワード: プログラミング言語理論, 確率的プログラミング言語, 高階計算, プログラム検証, 確率的システム, 確率的システム検証, 統計的機械学習, 表示的意味論, 操作的意味論, 抽象機械, 確率的プログラミング, 圏論, 線形論理
    • URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K11984
    • 圏論と数理論理学によるものづくりサポート―ソフトウェア科学のシステム工学への移転
    • 2015-2019
    • キーワード: 物理情報システム, 形式検証, テスト, ハイブリッドシステム, 数理論理学, 統計的機械学習, 圏論, プログラム理論, モデルベース開発, 不動点論理, システム工学, 応用数学
    • URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15KT0012
    • 新パラダイム計算をねじふせる―多様な意味論的手法の合同・発展・応用
    • 2012-2015
    • キーワード: 新パラダイム計算, 計算の意味論, プログラミング言語, 形式検証, 物理情報システム, 量子計算, 関数型プログラミング, 圏論, プログラム理論, システム検証, ハイブリッドシステム, 不動点論理, 応用数学, 国際研究者交流（フランス）, 国際研究者交流（イタリア）, 国際情報交換（イタリア）, 国際情報交換（オランダ）
    • URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24680001
    • ストーン双対性と小宇宙原理による,モジュラーなシステム検証の一般理論
    • 2011-2012
    • キーワード: システム検証, ソフトウェア学, 数学基礎論, 数理論理学, 応用数学, 余代数, 圏論的論理, 不動点論理, 圏論, 仕様記述, 国際研究者交流 オランダ, 国際研究者交流 イギリス, 国際研究者交流 ポーランド, 国際研究者交流 オーストリア
    • URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23654033
    • Activities of National Institute of Informatics in Japan
    • 著者: 喜連川, 優, 漆谷, 重雄, 山地, 一禎, 高倉, 弘喜, 蓮尾, 一郎, 佐藤, いまり, 石川, 冬樹, 越前, 功, 森, 健策
    • 出版日: 2023/6/22
    • 出版社: Association for Computing Machinery
    • ジャーナル名: Communications of the ACM
    • URL: https://cir.nii.ac.jp/crid/1050015333084142720
    • Model-bounded Monitoring of Hybrid Systems
    • 著者: Masaki Waga, Étienne André, Ichiro Hasuo
    • 出版日: 2022/10/31
    • 出版社: Association for Computing Machinery (ACM)
    • ジャーナル名: ACM Transactions on Cyber-Physical Systems
    • キーワード: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Monitoring, Formal Languages and Automata Theory (cs.FL), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, Computer Science - Formal Languages and Automata Theory, Systems and Control (eess.SY), cyber-physical systems, Electrical Engineering and Systems Science - Systems and Control, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], FOS: Electrical engineering, electronic engineering, information engineering, D.2.4, hybrid automata, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, Logic in Computer Science (cs.LO), monitoring, D.2.4; F.3.1, runtime verification, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, F.3.1
    • URL: https://cir.nii.ac.jp/crid/1360021392652488832
    • A Compositional Approach to Parity Games
    • 著者: Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
    • 出版日: 2021/12/29
    • 出版社: Open Publishing Association
    • ジャーナル名: Electronic Proceedings in Theoretical Computer Science
    • キーワード: FOS: Computer and information sciences, Computer Science - Computer Science and Game Theory, [INFO]Computer Science [cs], [MATH]Mathematics [math], Computer Science and Game Theory (cs.GT)
    • URL: https://cir.nii.ac.jp/crid/1360576118720097280
    • Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down
    • 著者: Hasuo, Ichiro, Katsumata, Shin-ya, Kori, Mayuko
    • 出版日: 2021/1/1
    • 出版社: arXiv
    • ジャーナル名: arXiv: Logic in Computer Science
    • キーワード: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Computation and Language, initial algebra, Logic in Computer Science (cs.LO), category theory, fibration, Computation and Language (cs.CL), final coalgebra
    • URL: https://cir.nii.ac.jp/crid/1870302168301575296
    • Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
    • 著者: Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
    • 出版日: 2020/4/3
    • 出版社: Association for the Advancement of Artificial Intelligence (AAAI)
    • ジャーナル名: Proceedings of the AAAI Conference on Artificial Intelligence
    • キーワード: FOS: Computer and information sciences, Computer Science - Machine Learning, Statistics - Machine Learning, Machine Learning (stat.ML), Machine Learning (cs.LG)
    • URL: https://cir.nii.ac.jp/crid/1360568692922719744

PAGE TOP