xuwei_k

86 Contribution

/ Following users

調査モノのアウトプットが中心です

プログラミング始めました。

暗号やプログラム言語の記事をよく書きます。 I'm interested in Programming and Cryptography.

Haskeller, Vimmer, Engineer.

Scala とか Ruby とか書いています。

I love programming with Haskell.

http://profile.hatena.ne.jp/khibino0/ http://www.haskellers.com/user/khibino Haskell で RBD query を記述するライブラリを作りました http://khibino.github.io/haskell-relational-record

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

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

Haskellプログラマです。

一般的なHaskeller

くぁ