こんにちは

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.

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

I like Haskell

icon を変えてみました．空飛ぶスパゲッティモンスターみたい？実際は自分で作ったうどんです．出汁も取りました．

Qiita の開発をしているデザイナーです。 UI とマークアップが多めで、ときにはグラフィックや UX もやります。Friends of Figma Nagoya のアドボケートです。

Webエンジニア/Qiitaの開発をしてます

No Beer No Life

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

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