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.

Graduate student

Deno🦕 / Node.js / TypeScript

プログラミングが好きです。難しいことを考えると頭から湯気が出てくるので、大規模とか高速処理とかはスゴいプログラマな皆さんに任せて、 オレはλな猫を抱えて自分が楽しいプログラミングをします。主にSmalltalk、ちょくちょくVDM-SL、たまにPython、Haskell、VDM、Z。あー、最近またMirandaもツb