@semester

Chatwork社テックリード/DDD Evans本レビューア/Scala,Rust/お仕事は➡ https://bit.ly/3kIYMJU / 質問は➡ https://peing.net/ja/j5ik2o / Github sponsor ➡ https://github.com/sponsors/j5ik2o

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

I hate computers.

iOSエンジニアを引退したあと業務改善エンジニアをボチボチやったのち、新規事業の立ち上げを暫くやっていた……最近は海外の会社でCTOをやっているらしい……と見せかけていつのまにかに日本でもCTOをやっている。

Kiwi BDD Core Member

Railsプログラマ & 株式会社万葉の創業者・会長

バスケットボールが大好きです

最近の活動成果は https://blog.satotaichi.info/ です。

こんにちは。はてなでエンジニアをやっています。

Hello, World.

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

お気楽な開発者でございまっす。所属する組織とは無関係で、あくまで個人の書き込みでございますー。

RubyとVimをこよなく愛するプログラマ。

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

https://github.com/nobeans