@tomo_taka01

Software Engineer.インフラとアプリケーションの次元の狭間に生息。 よく使うもの: Docker/Go/Scala/Ruby/Mac/Emacs/IntelliJ

フトウェアエンジニア。特技はtypoです。師匠から技術ともに伝承しました。 C屋なGroovyist 興味があるもの： Groovy/C/Java/Database/XP/agile/文房具/座席表/日本鼻メガネの会 詳細プロフィール： http://bit.ly/oc_prof

zsh, vim, vimperator, JavaScript, iOS, .NET に興味があるプログラマ

くぁ

元kubell(旧Chatwork)（2014-2023）テックリード。業界歴25年以上。大規模メッセージングシステムの設計・開発を担当。現在はIDEO;PLUSにて技術顧問・開発支援を行い、DDD/CQRS導入支援やアーキテクチャ設計の指導を提供中。

Hi! I'm teppeis!

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