Nachi Ueno

Qiitaを作っているIncrements株式会社の創業者

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

D言語とか出来ます

Haskellプログラマです。

http://profile.hatena.ne.jp/khibino0/ http://www.haskellers.com/user/khibino Haskell で RBD query を記述するライブラリを作りました http://khibino.github.io/haskell-relational-record

PECLメンテナです。 PECL ProtocolBuffers, Sundown author. also maintained several experimental exts like php-uv, php-git. develop mobile web gaming services. #PHP #HHVM, #MySQL

インフラ系のソフトウェアエンジニアのようなバックラウンドをもって、現状は 'Architect' という肩書でR&Dっぽい仕事をしています。ここに記載する内容は個人の意見であり、所属会社/組織の見解とは必ずしも一致しません。

ロックフリーです。