http://profile.hatena.ne.jp/khibino0/ http://www.haskellers.com/user/khibino Haskell で RBD query を記述するライブラリを作りました http://khibino.github.io/haskell-relational-record
Site/Bloghttp://twitter.com/khibino/
Location
Tokyo, Japan
Following Organizations
No Organizations you are following
Followees
@tmsnLinux kernel engineer, 最近はarm64多め (github: https://github.com/t-msn, twitter: https://twitter.com/_t_msn)
- Kiwamu Okabe@master_q
コピペプログラマ
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- Keigo Imai@keigoi
大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- Hideyuki Tanaka@tanakh
Haskellプログラマです。
- @hamukazu
主な使用言語：Haskell, ruby, C++
- @finalfusion
ハードより low-level プログラマー。でもLL好き。
- KOMURO Sunao@hogelog
hogelog http://hogel.org/
- @dekosuke
HaskellとかPythonとか書きます
- Masahiro Honma@hiratara
I like programming :)
- @kumagi
ロックフリーです。
