@kiris

ソフトウェア・アーキテクト / SoR領域 / Web系バックエンド / Java / Scala / PHP / Certified Scrum Developer / 詳細→ https://profile.hatena.ne.jp/tanakakoichi9230/

炭鉱はっかー。

よろしくお願いします。

ぺんぎんが好きです。

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のライブラリのコミッターやってる

Qiita 4位／TypeScript入門書執筆中／TypeScripterのための座談会「YYTypeScript」主催／『実践ドメイン駆動設計』書籍邦訳レビュア／分報Slack考案／YYPHP主催／CodeIQマガジン執筆／株式会社クラフトマンソフトウェア創設／Web自動テスト「ShouldBee」の開発／TypeScript／DDD／OOP

渋谷ではたらくソフトウェアエンジニア

自然言語処理とか機械学習とか競技プログラミングとか

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

Partner Solution Engineer at Stripe, Inc.

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

Slack で Bolt などの Slack 公式 SDK の開発と、日本語での Developer Relations の活動を担当しています。

KotlinとかSpring-BootとかReactとかiOS/Androidとか使って、AWS lambdaとか使ってごにょごにょしています。 一緒に開発してくれる人が増えるといいな。( http://qiita.com/lirispp )