debug logなどをレポートしています.

Moggiと"love"で接近中! 🤟🙄🤟

強いVimmerになりたい

main(c){write(read(0,&c,1)&&main());}

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

A Haskell, Maxima lover, PhD in physics. About to leave qiita, perhaps.

若くない何かの悩み。

つかれたので、あまりメンテしてません。今はCCAを観ることだけに集中して生きています。

仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq

大学(院)では型システムについて研究してゐました。 長らくスマートフォン用電子書籍ビューアーを作る仕事をしてゐました。 最近はとあるスマートフォン用漫画配信サービスに携わってゐます。 趣味では yash といふコマンドラインシェルを作ってゐます。