関山 太朗
セキヤマ タロウ (Taro Sekiyama)
更新日: 2025/11/17
基本情報
- 所属
- 国立情報学研究所 アーキテクチャ科学研究系 准教授
- (兼任)本部戦略企画本部 准教授
- 学位
-
Ph.D.(Kyoto University)
- 連絡先
- sekiyama
nii.ac.jp - J-GLOBAL ID
- 201801009008348036
- researchmap会員ID
- B000290027
研究分野
1経歴
5-
2024年 - 現在
-
2023年4月 - 現在
-
2018年4月 - 2023年3月
-
2016年4月 - 2018年3月
-
2015年10月 - 2016年3月
学歴
3-
2012年10月 - 2015年9月
-
2010年4月 - 2012年9月
-
2006年4月 - 2010年3月
委員歴
31-
2024年10月 - 現在
-
2024年8月 - 現在
-
2024年5月 - 2024年12月
-
2024年2月 - 2024年10月
-
2024年2月 - 2024年10月
-
2024年3月 - 2024年9月
-
2023年9月 - 2024年5月
-
2023年 - 2023年
-
2023年 - 2023年
-
2023年 - 2023年
-
2022年 - 2023年
-
2022年 - 2023年
-
2022年 - 2022年
-
2021年 - 2022年
-
2021年 - 2022年
-
2022年
-
2022年
-
2021年
受賞
2-
2022年4月
-
2018年
論文
38-
Formal Methods Syst. Des. 67(2) 222-254 2025年11月
-
Proceedings of the ACM on Programming Languages 2025年10月9日
-
Proceedings of the ACM on Programming Languages 2025年6月10日
-
Proceedings of the ACM on Programming Languages 2025年1月7日
-
2024 International Symposium on Networks, Computers and Communications (ISNCC) 1-8 2024年10月22日
-
Proceedings of the ACM on Programming Languages 8(OOPSLA2) 2662-2691 2024年10月8日
-
Proceedings of the ACM on Programming Languages abs/2404.16381 2024年8月15日
-
Proceedings of the ACM on Programming Languages 8(PLDI) 1585-1608 2024年6月20日
-
Journal of Functional Programming 34 2024年5月27日
-
Proceedings of the ACM on Programming Languages 8(POPL) 115-147 2024年1月5日
-
CoRR abs/2407.09775 2024年
-
COMPSAC 2454-2459 2024年
-
HASP@MICRO 29-37 2023年
-
Proc. ACM Program. Lang. 7(POPL) 2079-2110 2023年1月
-
28th International Static Analysis Symposium (SAS'21) 236-260 2021年 査読有り
-
Proc. ACM Program. Lang. 5(ICFP) 1-30 2021年 査読有り
-
AAAI Conference on Artificial Intelligence 5306-5314 2020年 査読有り
-
Proc. ACM Program. Lang. 4(ICFP) 117-30 2020年 査読有り
-
Lecture Notes in Computer Science (ESOP) 353-380 2019年4月 査読有り
-
PACMPL 3(POPL) 18:1-18:29 2019年 査読有り
MISC
23-
第27回プログラミングおよびプログラミング言語ワークショップ 2025年3月
-
第26回プログラミングおよびプログラミング言語ワークショップ 2024年3月
-
第26回プログラミングおよびプログラミング言語ワークショップ 2024年3月
-
コンピュータ ソフトウェア 41(3) 62-75 2024年
-
暗号と情報セキュリティシンポジウム 2024年1月
-
情報処理学会プログラミング研究会 – 第145回プログラミング研究発表会 2023年8月
-
第25回プログラミングおよびプログラミング言語ワークショップ 2023年3月
-
第25回プログラミングおよびプログラミング言語ワークショップ 2023年3月
-
第25回プログラミングおよびプログラミング言語ワークショップ 2023年3月
-
情報処理学会研究報告(Web) 2022(OS-154) 2022年
-
日本ソフトウェア科学会大会講演論文集(Web) 39th 2022年
-
CoRR abs/2107.09766 2021年
-
CoRR abs/1804.10001 2018年
-
CoRR abs/1805.11799 2018年
-
CoRR abs/1806.07041 2018年
-
情報処理学会研究報告(Web) 2017(HPC-162) 2017年
-
第19回プログラミングおよびプログラミング言語ワークショップ 2017年
-
第19回プログラミングおよびプログラミング言語ワークショップ, 2017年
-
第18回プログラミングおよびプログラミング言語ワークショップ 2016年
-
第17回プログラミングおよびプログラミング言語ワークショップ 2015年
講演・口頭発表等
13-
58The ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2024年6月 -
67形式検証とセキュリティ ワークショップ (FWS) 2023年11月2日 招待有り -
48湘南会議 No.203 (Effect Handlers and General-Purpose Languages) 2023年9月 招待有り -
53PPLサマースクール 2022年8月30日 招待有り -
107第24回情報論的学習理論ワークショップ（企画セッション1： ソフトウェア検証と機械学習） 2021年11月 招待有り -
99Dagstuhl Seminar 20312, Scalable Handling of Effects 2021年7月19日 招待有り -
288国立情報学研究所 市民講座 情報学最前線 2021年3月22日 -
The Programming Languages Mentoring Workshop (PLMW@POPL) 2020年1月 招待有り
-
First ACM SIGPLAN Workshop on Gradual Typing (WGT 2020) 2020年1月
-
156第22回情報論的学習理論ワークショップ (企画セッション1： 機械学習と離散数学) 2019年11月 招待有り -
138PKU-UTokyo-NII Joint Forum 2019年9月 招待有り -
NII オープンハウス 研究100連発 2019年6月 招待有り
-
JSSST科学会第34回大会 2017年 招待有り
担当経験のある科目(授業)
3所属学協会
2共同研究・競争的資金等の研究課題
11-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2025年4月 - 2030年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2024年4月 - 2028年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2024年4月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2022年4月 - 2027年3月
-
科学技術振興機構 戦略的な研究開発の推進 戦略的創造研究推進事業 CREST 2021年 - 2026年
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 基盤研究(A) 2020年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(S) 基盤研究(S) 2020年8月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 若手研究 2022年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 挑戦的研究(萌芽) 挑戦的研究(萌芽) 2019年6月 - 2022年3月
-
日本学術振興会 科学研究費助成事業 若手研究 若手研究 2019年4月 - 2022年3月
-
科学技術振興機構 科学技術振興機構: 未来社会創造事業 2018年11月 - 2020年3月