関山 太朗

領域 数理情報科学領域
コース 情報学コース
基盤機関 国立情報学研究所
学位 博士（情報学）, 京都大学
職位 准教授
キーワード プログラミング言語, 型システム, 形式検証, 機械学習
外部リンク https://researchmap.jp/t-sekiym/
https://nrid.nii.ac.jp/ja/nrid/1000080828476/

キーワード

Programming language,Type system,Formal method,Program verification

論文一覧（最新5件）

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

    • 並行・並列プログラミングのためのスケーラブルな自動プログラム検証技術
    • 2024-2027
    • キーワード: プログラミング言語, プログラム検証, 型システム, 並行・並列プログラム, 時相的検証, 代数的効果ハンドラ
    • URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24H00699
    • 多様な計算効果の時相的・状態依存的性質検証のための型システム
    • 2022-2024
    • キーワード: 型システム, プログラミング言語, 計算効果, 限定継続, プログラム検証, 代数的エフェクトハンドラ, 篩型システム, 時相的検証, 形式検証
    • URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K17875
    • 動的型付けと静的型付けを融合した漸進的型付けのメタ理論
    • 2019-2023
    • キーワード: 漸進的型付け, プログラミング言語, 型システム, 多相性, 計算効果, レコード, 継続渡し形式, 漸進的型システム
    • URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19K20247
    • Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
    • 著者: Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe
    • 出版日: 2024/6/20
    • 出版社: Association for Computing Machinery (ACM)
    • ジャーナル名: Proceedings of the ACM on Programming Languages
    • URL: https://cir.nii.ac.jp/crid/1360865815677248384
    • Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
    • 著者: Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi
    • 出版日: 2024/1/2
    • 出版社: Association for Computing Machinery (ACM)
    • ジャーナル名: Proceedings of the ACM on Programming Languages
    • キーワード: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)
    • URL: https://cir.nii.ac.jp/crid/1360021390562560384
    • Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations
    • 著者: Taro Sekiyama, Hiroshi Unno
    • 出版日: 2023/1/9
    • 出版社: Association for Computing Machinery (ACM)
    • ジャーナル名: Proceedings of the ACM on Programming Languages
    • URL: https://cir.nii.ac.jp/crid/1360017280654350336
    • 暗黙に相互運用可能なレコードとハッシュテーブルのための型推論とコンパイル手法
    • 著者: 関山 太朗, 五十嵐 淳
    • 出版日: 2022
    • ジャーナル名: 日本ソフトウェア科学会第39回大会論文集
    • URL: https://cir.nii.ac.jp/crid/1010017193320082819

PAGE TOP