okapies

0 Contribution

/ Following users

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

ロックフリーです。

svengali,kikker,はてブおせっかい,TOFU-G,ひらめいったー,キャチボ,顔面偏差値スカウター, UZOMUZO等の作者.機械学習でシステムトレードしたりも.元の専門はHPC (修士).機械学習,分散システム, physical computing,仮想通貨, 投資とか好き.Scrum-Upプロジェクト参画中. ryo.contact[at]gmail.com

C#, WPF/Silverlight, Windows Phone, Lync, 定時退社 (23 時)

編集リクエスト、コメント大歓迎です。

Haskellプログラマです。

PHPとか

くぁ

秋葉原生まれ大手町育ちの歌って踊れる江戸っ子インフラエンジニア

戀塚昭彦