「せつラボ 〜圏論の基本〜」 「せつラボ2～雲と天使と関手圏～」 「矢澤にこ先輩といっしょに代数！」を書いています！

強い静的型付けとテストを用いて、バグを防ぐのが好き。Haskell・TypeScript。