@wasabiz

Following Organizations

No Organizations you are following

No tags you are following

Toru Niina@niina
博士学生（計算生物物理学）
@censored__
KENICHI MUKAI@mukaken
mattn@mattn
@kiris
@naoya_t@naoya_t
自然言語処理とか機械学習とか競技プログラミングとか
@uehaj
React、TypeScript、Rust、Dart、Elm、Haskell、ES2020、Groovyが好き。
Hideyuki Tanaka@tanakh
Haskellプログラマです。
Yugui Sonoda@yugui
grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。界面と統合が好き
@nari3
nariさん
MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
原悠@yhara
Keigo Imai@keigoi
大学教員。「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。ソフトウェア形式検証とプログラミング言語に興味があります。博士（情報科学）。
@nogajun
@ats
@tokuhirom
"><xmp>