kitayuta

13 Contribution

/ Following users

HPCベンダでMPI作ってます

D言語とか出来ます

不気味ないいねと編集リクエストが届き始めたので、このアカウントは閲覧専用になります。 有益なコメントを頂いている以外の記事は個人サイトに移転しました。

自然言語処理とか機械学習とか競技プログラミングとか

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

Haskellプログラマです。

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

ジュエルペット

ぐへへ

(-:(-:(-:-)-:)-:)

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

<marquee>