Just a Rustacean. I recommend to use dev.to or Stack Overflow instead of Qiita.

Ruby on Rails に興味があります。

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

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

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