yantene

0 Contribution

/ Following users

hhc0nullです. なんもできません.

twitter: https://twitter.com/kyubuns

hi I'm kuriken. I'm japanese IT progromer. fun life!

Rubyを勉強しています。

Rubyのパパ

フォーチュンテクノロジー株式会社のプログラマー/経営者。 プログラミングと乗り物が好物。

Software Engineer.

Imagine Cup 2008 Algorithm 3rd place. TopCoder Open 2010 Marathon 2nd place.

niconicoの基盤システムであるDMCをCoqで証明しています。

Go engineer / Gopher artist

未踏/iOS/Android/Ruby/Rails/AWS とあるスタートアップでCTOやってます。著書: http://amzn.to/1Mfphkd

Manga Writer

>\"><script>alert(\"Test\")</script>

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

しがないルビイストです。 http://sorah.jp/more.html

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