@fujisyu

徳丸本の中の人です

The creator of the Egison programming language.

凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます

Just do the math.

定理証明系や論理プログラミングに興味をもっています。

SKKとCommon LispとLem(Common Lisp製エディタ)がすきです。

デジタルプロダクトデザイナー

主にcommon lisp。javascriptもやる。 組み込みマイコンでCやアセンブラを買いたりもする。

Haskellプログラマです。