fate_fox さんが Facebook / GitHub で連携している友達一覧です。
yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskell、SML#、Scala、F#などの関数型言語も好きです。
...
toshi_a
名前: としぁ
Twitterクライアントを満足に作れない程度の能力
使用するスペカ
創符「ファッキンコード」
赤珠「賢者の石」
煎餅「おせんべ...
kyorohiro
今、無職!! : Green software testing engineer ./函館>八王子/Torrent/P2P,http://t.co/UDf...