atree(4728)? というハンドルネームでやっています。
Account
- X: @atree4728
- Bluesky: @atree4728.bsky.social
- GitHub: @atree4728
- AtCoder: atree
Interests
- プログラミング言語
- 関数型プログラミング：Haskell, OCaml, F
- 型理論
- ウクレレ
Education
- 2026年4月 - 東京大学 理学部情報科学科
- 2024年4月 - 2026年3月 東京大学 教養学部 前期課程 理科一類
- 2021年4月 - 2024年3月 渋谷教育学園幕張高等学校
Awards
- 第22回日本情報オリンピック（JOI 2022/2023）本選 A ランク（春季トレーニング出場）
- 第21回日本情報オリンピック（JOI 2021/2022）本選 B ランク
- パソコン甲子園2023プログラミング部門 本選6位（チーム「静的場当たり法」）
- パソコン甲子園2022プログラミング部門 もうひとつの本選4位（チーム「静的場当たり法」）
- 国立情報学研究所「情報科学の達人」修了（三期生）