よんた さんが Facebook / GitHub で連携している友達一覧です。
athos
Scheme/Clojureが好きな人。株式会社テンクー所属。Clojure(Script)コントリビュータ。
yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskell、SML#、Scala、F#などの関数型言語も好きです。
...
kaizen_nagoya
I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C, S...
YoshikiIto
テスト自動化エヴァンジェリスト、QAエンジニア、テストエンジニア、テスト自動化エンジニア、ブロガーなど
takeya
QA Engineer/Manager at Kufu AI Studio.