[株式会社ゼンク](https://zenk.co.jp/) の新米エンジニア

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

Neovim, 型システム, Haskell, Idris, TypeScript, Monad, 圏論, Claude Code, Devin, Vue, Nuxt, 自動テスト, メンテナンス性, フロントエンド, フルスタック, Effect System, React, Scala, YazawaNico

強い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 といふコマンドラインシェルを作ってゐます。