riywo

Software Engineer / Web Operations / DBA / Security Engineer / Bioinformatici...

yoshihiro503

Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskell、SML#、Scala、F#などの関数型言語も好きです。 ...

ドッグ

ソフトウェアをつくるのが好きな犬

pogin503

あいや

にっこにっこにー！ Moggiと''love''で接近中! 「せつラボ」シリーズを頒布中（数学および圏論の初歩入門書）

吉村 優

Programming, Cryptography, Quantum information, LaTeX

Yoshiya Hinosawa

Satoshi Egi

nyamngo

kw_udon

RyuichiSakagami

NozomiMorimoto

h1manoa

アドベントカレンダー「なんか書きます」

yaho (Tomoya Furukawa)

coord_e

mopp

v97ug (Takeyuki Miyagi)

数学やプログラムの設計をするのが好きで、デザインをすることも好きなエンジニアです。 経験のある言語・フレームワーク ・ruby ・haskell...

Naturalclar

stand.fmのエンジニアです。React, ReactNative, Typescript, Node.jsを主に書いています

kmizu_v2

https//twitter.com/kmizuアカウントが、（たぶん）誤爆でサスペンドされたので作ったものです。サスペンド解除されたら、使わなくなる予定...

yuta