|
|
|
|
|
|
|
|
参加枠1
参加者
jbking
Biz: http://yarch.jp/ Priv: http://www.jbking.org/
|
|
参加枠1
参加者
チェシャ猫
著名ねこみみエンジニア
|
|
|
|
参加枠1
参加者
hatsugai
並行システムのモデル化・検査ツール SyncStitch を開発しています.プロセス代数 CS...
|
|
参加枠1
参加者
Miura Kosuke
Interested in Automobile, Linux and Mathematics...
|
|
|
|
参加枠1
参加者
objectx
You'll never learn if you don't see the dark si...
|
|
参加枠1
参加者
fadis_
組み込みから*NIXシステム、HPCまで、計算機をこよなく愛するゲームプログラマ。C++11と...
|
|
|
|
|
|
参加枠1
参加者
κeen
プログラミング言語に興味がある人。
|
|
参加枠1
参加者
ruicc
エンジニア。Haskell, Vim, Classical musicを好む。Violin少々...
|
|
参加枠1
参加者
watiko
Android関係を追っかけています。 / Stay fresh!
|
|
参加枠1
参加者
tanimocchi
http://www.slideshare.net/mocchi_
|
|
|
|
|
|
参加枠1
参加者
nagaet
最近は伊藤潤二の作品を好んで読んでいます。
|
|
|
|
|
|
参加枠1
参加者
よんた
よんたったー. プログラミング言語を学んだ新社会人. SML#しか使えません. 気胸によくなる...
|
|
|
|
|
|
|
|
|
|
|
|
参加枠1
参加者
tnagao7
南極生まれ。プリンストン大卒業後日本IBM→ゴールドマン・サックス証券、退職後はプロボクサーを...
|
|
|
|
|
|
|
|
参加枠1
参加者
OKU_K
熊本/京都/神奈川/Coq/SSReflect/
|
|
|
|
参加枠1
参加者
masateruk
ロボットのプログラム作ってます。形式手法を実践するため勉強と試行の日々。モデル検査/プロセス代...
|
|
|
|
参加枠1
参加者
t_uchida
ソフトウェア開発者です。興味:Coq/Isabelle/Rust/FPGA/SoC https...
|
|
|
|
参加枠1
参加者
konyonyo1024
コンパイラが作りたい1987年生まれ。Scheme勉強中。Scheme手習い(読了)→Sche...
|
|
参加枠1
参加者
zigen
シーシャ吸いながらコード書いてる
|
|
参加枠1
参加者
(退会ユーザー)
|
|
参加枠1
参加者
cutsea110
ヒゲ生やしたハゲのおっさんです。 少し泳ぎます。 swimmer Haskell Agda S...
|
|
参加枠1
参加者
fujiy
Haskell好き.
|
|
|
|
|
|
参加枠1
参加者
ys
にゃーん。
|
|
参加枠1
参加者
ksknac
Tree Transducers/Functional Programming/Coq/OCa...
|
|
|
|
参加枠1
参加者
taketo1024
大学院生・トポロジー専攻。元 iOSアプリ開発者。「プログラマのための数学勉強会」主催。 ht...
|
|
参加枠1
参加者
na4zagin3
しゃくゎいじん。 古典ギリシャ語を現代に復活させたい。最近はラテン語, アラビア語休止中。 k...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
参加枠1
参加者
Md
Kyoto University
|
|
|
|
|
|
|
|
|
|
参加枠1
参加者
ゆで卵
ぷろぐらむ
|
|
|
|
|
|
参加枠1
参加者
dnxx28
Running engineer
|
|
|
|
|
|
参加枠1
参加者
(退会ユーザー)
|
|
|
|
参加枠1
参加者
あふたまーと
Rust競プロer(AtCoder青)
|
|
|
|
|
|
|
|
参加枠1
参加者
cedretaber
Ruby / Scala / OCaml / Erlang / D language
|
|
|
|
|
|
|
|
参加枠1
参加者
ぽんこつ
色々書きます。Scala得意です
|
|
参加枠1
参加者
yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
|
|