@ktanaka89

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

株式会社ソニックガーデンのRubyプログラマ。「プロを目指す人のためのRuby入門」の著者、および「Everyday Rails - RSpecによるRailsテスト入門」の翻訳者。 プログラミングスクール「フィヨルドブートキャンプ」のメンターでもある。

Haskellプログラマです。

D言語とか出来ます

grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。界面と架橋が好き

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

https://github.com/scalaz https://github.com/scalaprops https://github.com/scalikejdbc https://github.com/scalapb-json https://github.com/argonaut-io Scala本体や、Scalaz、その他色々なScalaのライブラリのコミッターやってる

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

Rubyのパパ

うわあああああああああああああああ

好きなラーメン二郎は新小金井街道店です． Rubyも好きです．