📝 はじめまして

初めまして、こよりです。技術系のことを発信するアカウントが急に欲しくなったので作りました。過去のソースコードとかも見てたのですが、一年前もブログを作っていたらしい。そういう周期があるのかもしれません。

興味範囲としては、もともとプログラミング言語意味論や型システムだったのですが、これらを理解するためにはちゃんと数学を知らなければいけないと気づき、最近は数学を勉強しています。他にも法律に興味があって、法律の勉強もしていたりします。

よろしくお願いします。