negokaz

454 Contribution

/ Following users

SIやってます。SIの多分に漏れず、Java/.NET多めです。。プライベートではScalaやってます。

SIer、社内SEを経て、ソニックガーデンに合流したプログラマ。 「プロを目指す人のためのRuby入門」の著者。 http://gihyo.jp/book/2017/978-4-7741-9397-7 および「Everyday Rails - RSpecによるRailsテスト入門」の翻訳者。 https://leanpub.com/everydayrailsrspec-jp

Maintainer of various OSS projects including kube-aws, eksctl, brigadecore/brigade, helmfile, helm-diff, variant, and so on.

niconicoの基盤システムであるDMCをCoqで証明しています。

Chatwork 2014年7月入社/テックリードとして、次世代チャットワーク開発に従事。業界歴25年、小学四年生で初めてプログラムを組む。FA系、オープン系、ウェブ系など様々の現場を経験。大手Web企業において、Scalaやドメイン駆動設計を採用した大規模な基盤系システムの開発に従事。現職では、サーバサイドのアーキテクトとして、メッセージングシステムやOAuth関連プロダクトの開発を担当している

Manga Writer

>\"><script>alert(\"Test\")</script>

こんにちは僕です

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

しがないルビイストです。 http://sorah.jp/more.html

東京のO社でプログラマやってます.Scala/Java/Ruby/C/Objective-C/Parsing. ライトノベル/ゲーム/ダイエット/ジョギング/言語/歴史

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