Authors · raw publication identity

Taro Sekiyama

全分野 · 掲載済みの全期間（2015–2025年）

データの修正を申請Googleログイン後に申請できます。内容を確認してから対応します。

対象会議のFull paperを全分野・掲載済み全期間でまとめています。1996～2025年の追加分には、氏名の一致・表記の正規化等に基づき同一人物と推定した対応を含みます。本人確認済みの対応や出版時所属の確認とは区別しています。表示する大学は著者ページの識別用で、過去論文の出版時所属や現在所属を示しません。追加分は大学ランキングやEdition別の件数に含みません。保存済みの1996～2025年の対象資料から確認できた範囲を追加しており、全業績の網羅を保証するものではありません。

著者ページの大学: 総合研究大学院大学 · Top conference papers: 16

分野別内訳

分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。

年別内訳

2025年 3
2024年 4
2023年 1
2021年 1
2020年 2
2019年 1
2017年 3
2015年 1

論文一覧（新しい年順）

2025 · OOPSLA
On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs
Taro Sekiyama, Ugo Dal Lago, Hiroshi Unno [東北大学] [筑波大学]
Programming Languages & Formal Methods
総合研究大学院大学 / 東北大学
2025 · PLDI
Thrust: A Prophecy-Based Refinement Type System for Rust
Hiromi Ogawa, Taro Sekiyama, Hiroshi Unno [東北大学] [筑波大学]
Programming Languages & Formal Methods
総合研究大学院大学 / 東北大学 / 筑波大学
2025 · POPL
Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs
Taro Sekiyama, Hiroshi Unno [東北大学] [筑波大学]
Programming Languages & Formal Methods
総合研究大学院大学 / 東北大学
2024 · ICFP
Abstracting Effect Systems for Algebraic Effect Handlers
Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi
Programming Languages & Formal Methods
京都大学 / 総合研究大学院大学
2024 · OOPSLA
Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
Taro Sekiyama, Hiroshi Unno [東北大学] [筑波大学]
Programming Languages & Formal Methods
総合研究大学院大学 / 東北大学
2024 · PLDI
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe
Programming Languages & Formal Methods
東京科学大学 / 京都大学 / 総合研究大学院大学
2024 · POPL
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
Fuga Kawamata, Hiroshi Unno [東北大学] [筑波大学], Taro Sekiyama, Tachio Terauchi
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2023 · POPL
Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations
Taro Sekiyama, Hiroshi Unno [東北大学] [筑波大学]
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2021 · ICFP
CPS transformation with affine types for call-by-value implicit polymorphism
Taro Sekiyama, Takeshi Tsukada
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2020 · AAAI
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
AI (General)
著者の全期間ページへの追加分（出版時所属は示していません）
2020 · ICFP
Signature restriction for polymorphic algebraic effects
Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2019 · POPL
Dynamic type inference for gradual Hindley–Milner typing
Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2017 · ICFP
On polymorphic gradual typing
Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2017 · ICML
Bidirectional Learning for Time-series Models with Hidden Units
Takayuki Osogami, Hiroshi Kajino, Taro Sekiyama
Machine Learning
著者の全期間ページへの追加分（出版時所属は示していません）
2017 · POPL
Stateful manifest contracts
Taro Sekiyama, Atsushi Igarashi
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2015 · POPL
Manifest Contracts for Datatypes.
Taro Sekiyama, Yuki Nishida 0001, Atsushi Igarashi
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）