reakich

0 Contribution

/ Following users

会社員です。データ解析的なことや、統計学的なこと、機械学習などについて書いています。 【今まで書いた記事一覧】http://qiita.com/kenmatsu4/items/623514c61166e34283bb 【English Blog】 http://kenmatsu4.tumblr.com

機械学習とミクさんが好き

Software Engineer

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

Student of univ. Programming is so fun. :)

D言語とか出来ます

Haskellプログラマです。

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