About me
基本的情報
経歴
- 2018-04 東京工業大学 第1類入学
- 2022-03 東京工業大学 情報理工学院 数理・計算科学系卒業
- 2022-04 東京大学大学院 情報理工学系研究科 コンピュータ科学専攻入学
- 2024-03 東京大学大学院 情報理工学系研究科 コンピュータ科学専攻修了
能力・資格
- AtCoder 青
- TOEIC Listening & Reading Test 930点
- 応用情報技術者
- 実用英語技能検定準一級
活動
- 2019 ACM ICPC 国内予選(495チーム中97位)
- 2020 ACM ICPC 国内予選(297チーム中67位)
- 2023 第25回プログラミングおよびプログラミング言語ワークショップ ポスター発表
- 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 24) 論文発表(査読付き)