ソフトウェアエンジニア。Haskell, Vim, Classical musicを好む。Violin少々。Mac使用。Bruckner, Shostakovich, Chopin. 設計と圏論と型理論に興味があります。