Lisp と自由ソフトウェアと行動分析学が好きです。
Typed Racket や Coalton のような型のついている Lisp や、自動定理証明器の ACL2、GNU Guix System に興味があります。

個人サイト: https://www.tojo.tokyo/
Mastodon: https://mastodon.tojo.tokyo/@tojoqk