@simicity

20台前半までRubyのコミッターになるくらいには死ぬほどエンジニアをした後、https://aisaac.jp/ を創業しました。「実験」をテーマに資金調達をせずにメンバー80人、売上10億超ほどの規模になってます。 実験仲間を大募集中

Rubyのパパ

HaskellとかPythonとか書きます

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

こんにちは僕です

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