NOeSIS01リメイクAndroid版が配信されたのでPC上で動かした

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

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