株式会社はてなでアプリケーションエンジニアをしています。
ラムダ計算の学習のハードルを下げるためステップ評価器の skiMogul (https://mogul-lang.mudatobunka.org/) を作っています。東京にはいません。