はせがわ

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.

Technical Specialist in SORABITO Inc. #Smalltalk-ing #Ruby committer #UNIX #Linux #DevOps #LISP #Python #Emacs #dwango #teamlab #荒川智則 #AS2526 #AS55394

RailsとMySQLにお熱になってしまった、PHPとMySQLやってるソシャゲ会社勤務の人

misocaつくってました

ぐへへ

nariさん

Coqなどによるプログラムの正しさの検証・証明に興味があります。

Hello, World.

隠居しています。探さないでください。

近藤です。よろしくおねがいします！

転職先募集中です。できれば在宅勤務が希望です。

プログラミング学習サイトの運営などなど。ハイラル王国を徘徊中。