@kitayuta

Qiitaは忘備録代わりに使ってます。

MC DigitalのCTO。Ex-Wantedly Visitの開発チームのリーダ。 チームのメンバーやインターンに伝えたいことをついでにqiitaにも書いていこうと思っています。 MC Digitalはエンジニア絶賛募集中です!

HPCベンダでMPI作ってます

D言語とか出来ます

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

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

Haskellプログラマです。

ジュエルペット

ぐへへ

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

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

<marquee>