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.

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

フリーランスエンジニア Fukuoka.exでelixir強力推し 自社販売管理EPRパッケージによる基幹系ソリューションを手掛けてます Delphi / Oracle 案件納入歴 20年 フロントエンド vue.js / vuex / typescript サーバーサイドは Oracle / dot netcore C# / Elixir / Node.js

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

にっこにっこにー🤟😌🤟 フロントエンドを専門に活動をしています！ フロントエンド以外もできるよ！ TypeScript/Haskell/静的型システム/Neovim🪬 技術の最新動向追います👀 圏論の数学書執筆したよ📝

I like cat, shogi, haskell and sake.

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

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.