ふにゃ〜

元病院薬剤師。情報処理安全確保支援士資格の維持費用がつらい。 Python,Goがメインだけど、他の言語も気になるのはちょいちょい触ってみたりします。 DBはPostgreSQLがメイン。 Dockerは便利。

素人

EmacsでGaucheを勉強中。

Jakarta EE/MicroProfile 関連の開発をしてます。学生のときは自動定理証明とかやってました。 Java/Scala/OCaml/Haskell/Coq (掲載内容は私個人の見解であり、所属する組織の公式見解ではありません。)

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

HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。

地方に住むエンジニアです。 Qiitaの記事でいつも助けられているので、自分もハマった体験等の記事を書いて誰かの役に立てればいいな、と思っています。