研究者
J-GLOBAL ID：201801009008348036   更新日: 2024年11月12日

関山 太朗

セキヤマ タロウ | Sekiyama Taro
所属機関・部署：
国立情報学研究所 アーキテクチャ科学研究系

国立情報学研究所 アーキテクチャ科学研究系 について


職名： 准教授
その他の所属（所属・部署名・職名） (1件)：
  • 情報・システム研究機構  本部戦略企画本部   准教授
研究分野 (1件)： ソフトウェア
研究キーワード (4件)： Formal method ,  Program verification ,  Type system ,  Programming language
競争的資金等の研究課題 (10件)：
  • 2024 - 2028 並行・並列プログラミングのためのスケーラブルな自動プログラム検証技術
  • 2024 - 2027 機械学習技術による高速な演繹的推論エンジンの開発
  • 2022 - 2027 機械学習技術による高速な演繹的推論エンジンの開発
  • 2021 - 2026 形式検証とシステムソフトウェアの協働によるゼロトラストIoT
  • 2020 - 2025 高相互運用性を持つソフトウェアモジュールのためのソフトウェア契約の研究
全件表示
論文 (33件)：
  • Taro Sekiyama, Hiroshi Unno. Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification. Proceedings of the ACM on Programming Languages. 2024. 8. OOPSLA2. 2662-2691
  • Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. Proceedings of the ACM on Programming Languages. 2024. 8. PLDI. 1585-1608
  • TARO SEKIYAMA, TAKESHI TSUKADA, ATSUSHI IGARASHI. Signature restriction for polymorphic algebraic effects. Journal of Functional Programming. 2024. 34
  • Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi. Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. Proceedings of the ACM on Programming Languages. 2024. 8. POPL. 115-147
  • Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo. Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. CoRR. 2024. abs/2407.09775
もっと見る
MISC (21件)：
  • 稲葉 皓信, 五十嵐 淳, 石川 裕, 関山 太朗. データフローセキュリティの検証のための IoT システムモデリング言語 Rabbit. 第26回プログラミングおよびプログラミング言語ワークショップ. 2024
  • 吉岡 拓真, 関山 太朗, 五十嵐 淳. 代数的エフェクトとハンドラのためのエフェクトシステムの抽象化. 第26回プログラミングおよびプログラミング言語ワークショップ. 2024
  • 中林 美郷, 関山 太朗, 蓮尾 一郎, 石川 裕. 攻撃決定図の自動生成によるTamarin Proverの脅威モデリング支援. 暗号と情報セキュリティシンポジウム. 2024
  • 稲葉 皓信, 関山 太朗, 五十嵐 淳, 石川 裕. Rabbit: a modeling language for verifying data-flow security. 情報処理学会プログラミング研究会 - 第145回プログラミング研究発表会. 2023
  • 佐藤 惇, 関山 太朗, 五十嵐. 限定継続のための高階プログラム論理. 第25回プログラミングおよびプログラミング言語ワークショップ. 2023
もっと見る
講演・口頭発表等 (13件)：
  • Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
    (The ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2024)
  • 形式検証によるセキュアな IoTシステムの実現に向けて
    (形式検証とセキュリティ ワークショップ (FWS) 2023)
  • Answer-Refinement Modification: A refinement type system for algebraic effect handlers
    (湘南会議 No.203 (Effect Handlers and General-Purpose Languages) 2023)
  • 計算効果の推論技術
    (PPLサマースクール 2022)
  • 機械学習によるループ不変条件の発見
    (第24回情報論的学習理論ワークショップ(企画セッション1: ソフトウェア検証と機械学習) 2021)
もっと見る
学歴 (3件)：
  • 2012 - 2015 京都大学 情報学研究科 通信情報システム専攻
  • 2010 - 2012 京都大学 情報学研究科 知能情報学専攻
  • 2006 - 2010 大阪大学 基礎工学部 情報科学科
学位 (1件)：
  • Ph.D. (Kyoto University)
経歴 (5件)：
  • 2024 - 現在 情報・システム研究機構 戦略企画本部 准教授
  • 2023/04 - 現在 国立情報学研究所 アーキテクチャ科学研究系 准教授
  • 2018/04 - 2023/03 国立情報学研究所 アーキテクチャ科学研究系 助教
  • 2016/04 - 2018/03 IBM Research - Tokyo 研究員
  • 2015/10 - 2016/03 京都大学 研究員
委員歴 (29件)：
  • 2024 - 2024 Scheme and Functional Programming Workshop Program Committee Member
  • 2024 - 2024 NeurIPS 2024 Reviewer
  • 2024 - 2024 APLAS 2024 Program Committee Member
  • 2024 - 2024 APLAS 2024 SRC & Posters Program Committee Member
  • 2023 - 2024 ICLR 2024 Reviewer
全件表示
受賞 (2件)：
  • 2022/04 - ICLR 2022 Highlighted Reviewer
  • 2018 - 日本ソフトウェア科学会 高橋奨励賞
所属学会 (2件)：
日本ソフトウェア科学会 ,  ACM
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM