About

Me

  • 2011-04 - 2013-03 東京大学理科I類
  • 2013-04 - 2015-03 東京大学理学部数学科(中退)
  • 2015-04 - 2016-12 サイバーエージェント(エンジニア)
  • 2017-01 - 2023-08 Idein Inc. (エンジニア)
  • 2023-09 - 現在 株式会社Preferred Networks

Activities

いくつかのOSSの開発者/コミッタ/コントリビュータ

Publications

SNS accounts

Main Interests

  • Emacs
  • Lisp
  • Rust
  • ML (Meta Language)
  • 言語処理系(主にインタプリタ)
    • GC
    • 最適化
    • CPU
    • λ計算
    • 継続
  • Linux
  • システムプログラミング
  • 数学基礎論
Written by κeen