I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.

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

swift, objective-c, ruby on rails, etc...

Elixir, Haskell, Ruby, Rustが好き

You'll never learn if you don't see the dark side too.

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

こちらに投稿する記事は個人の見解に基づいて行うもので、私が所属する会社や団体の公式見解ではありません。

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