@gab_km

はてなブログに書いてます。

僕に警備する自宅をください。Emacs初心者。Rubyist。 全ての投稿された記事は別段の表記がない限りはCC 3.0 BY-SA https://creativecommons.org/licenses/by-sa/3.0/deed.ja で二次利用できます。 記事中に含まれる全てのコードスニペットの著作権は抛棄するので、煮るなり焼くなりお好きにどうぞ。

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

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

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

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

くぁ