@ktz_alias

電子の妖精

Hello BEAR.Sunday

岡山でITエンジニア・マネージャをやってます。

ほげぽよ～

なのるほどのものでは

エンジニアとしては一度引退。 2019/6月より本格的に現役復帰。とはいえフルタイム技術者ではない。 TypeScript楽しい。 元Lifebear 取締役CTO / 元f-code 取締役。 元Microsoft MVP for C# (2012/7~2017/6).

フトウェアエンジニア。特技はtypoです。師匠から技術ともに伝承しました。 C屋なGroovyist 興味があるもの： Groovy/C/Java/Database/XP/agile/文房具/座席表/日本鼻メガネの会 詳細プロフィール： http://bit.ly/oc_prof

プログラマー。ゲーム作ってるかゲームしてるか | Shinjuku.rb主宰

越後の在宅リモートワーカー / JavaとかC#とかGitとかTDDとかビルドとか洗濯とかアイロンとかを主に嗜んでおります

Python Golang

OS X

Haskellプログラマです。

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