通信系の会社に勤めているエンジニアです． 型理論や圏論に少し興味があり，自作言語も公開しています．

このサイトについて

コンピュータや数学に関する投稿をメインにやっていこうと思っています．具体的には，自分が困ったときの解決策のメモ，自分が調査したことのまとめ，私個人の意見等を考えています．（日記も書くかもしれません）

Hugoで作成していますが，まだまだ不慣れなので作りが甘いです．適宜修正していくつもりです．