mopp さんが Facebook / GitHub で連携している友達一覧です。
yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskell、SML#、Scala、F#などの関数型言語も好きです。
...
ドッグ
ソフトウェアをつくるのが好きな犬
binzume
ネットに生まれてネットで繋がるエンジニア.普段はC++/Perlでたまにjava.仕事ではPHPとかJavaとか.PHP超凄いですね!最近はAndroid...
kmhjs
#! /usr/bin/env zsh