@o_masaaki

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.

Agile 開発を日本に広めたい！

株式会社ソニックガーデンのRubyプログラマ。「プロを目指す人のためのRuby入門」の著者、および「Everyday Rails - RSpecによるRailsテスト入門」の翻訳者。 プログラミングスクール「フィヨルドブートキャンプ」のメンターでもある。

ヾ(　　l　　 _　　 l　　〃)ﾉﾞﾄﾞﾝ☆

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

Haskellプログラマです。

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

ぐへへ

nariさん

Agile 1st generation, Ultra Runner

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

Hello, World.

GDE(ML)

One of implementations of june29.

( ﾟρﾟ )ｱｩｰ