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.

('A`) < Javaも人生も難易度高いよ 　　　　

計算機アーキテクチャに興味があります。

Rust, Ruby, C#, HTML/CSSが好き

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

ぐうたらプログラマーです。

grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。界面と統合が好き

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