Hiroshi Suda

森にこもって研究してます。

Twitterのduo6750を参照してください。

最近は https://www.kemomimi.dev の方に記事書いてます

Unityエンジニア、テクニカルアーティスト

Working at Oracle Japan / Principal Cloud Solution Engineer / Opinions are my own, NOT views of my employer.

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

【新刊「技術記事を書く技術」が2026/4/27に発売されます！】株式会社ソニックガーデンのRubyプログラマ。「プロを目指す人のためのRuby入門」の著者、および「Everyday Rails - RSpecによるRailsテスト入門」の翻訳者。 プログラミングスクール「フィヨルドブートキャンプ」のメンターでもある。

Rubyのパパ

#Android #Java #Kotlin #Ruby #RubyOnRails #Elasticsearch

自作PC、電子工作、HHKB、Mac、Linux、プログラミング（AS,C#,Java,JS,Python,PHP,Verilogとか）、何でもござれ。一応ニコ技部員。CITERA。セキュキャン2006。Vimmer。 MINTIA ディスプレイの人。