yusuke_kokubo

a Software developer

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...

sunotora

しがないリーマン

fetburner

MLしか書けない

bd_gfngfn

YoshikiIto

テスト自動化エヴァンジェリスト、QAエンジニア、テストエンジニア、テスト自動化エンジニア、ブロガーなど

mod_poppo

Haskellと数学とTeX

takeya

QA Engineer/Manager at Kufu AI Studio.