Haskellを弄っています。抽象代数学とか論理学とか線形代数とかに興味があります。