SingularityHive
used to Blockchain Co-working Space. Now online...
camloeba
Formal verification. Functional programming. ...
ismtmsr
hide_ogawa
合同会社長目 CEO はんなりPythonの会、Crypto Kitchen主催。 ...
tk_hx
t6s
JayKagawa
hikaluconpass
Haochen Kotoi-Xie (謝昊辰)
yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
(退会ユーザー)
普段はVB.NET書いてます ニッカポッカ履いてる系エンジニア。
よんた
よんたったー. プログラミング言語を学んだ新社会人. SML#しか使えません. 気胸によくなる...
higashino
garriguejej
Ryo Haruyama
hahaharock
takumi1996
yamukotonaku
masato37
singularityhive
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら