uskey512

7 Contribution

/ Following users

AtCoder Inc. CEO Imagine Cup 2008 Algorithm 3rd place. TopCoder Open 2010/2017 Marathon 2nd place. ICFPC 2013/2015/2016/2018 Winner

クラウド、アジリティ、IoT、トライアスロン、テニス、フットサル、ミスチル関係を書込み。クラウドデザインパターンの著者。書込みは個人のつぶやきです。

hogelog http://hogel.org/

Haskellプログラマです。

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

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

GDE(ML)

ウェブ制作会社ICSの代表および ics.media 編集長をやっています。得意分野はプログラミングアート、インタラクティブ表現の制作。詳しくはリンク先を御覧ください。 https://ics.media/entry/author/ikeda

こんにちは!