kitayuta

11 Contribution

/ Following users

HPCベンダでMPI作ってます

D言語とか出来ます

主な使用言語はHaskellです。計算代数のプログラムを書いたり書かなかったりしている。しかし最近は数学先攻なので専ら LaTeX ばかり書いている。

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

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

Haskellプログラマです。

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

ジュエルペット

ぐへへ

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

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

<marquee>