• Dr. Kiyoshi Ogawa@kaizen_nagoya

    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.

  • Tomohiro Oda@tomooda

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

  • 無職 やめ太郎(本名)@Yametaro

    関西型言語の研究をしています。