Following Organizations
No Organizations you are following
Followees
- Mikio Fujita@benevolent0505
EmacsとScalaが好き。 仕事ではPerlを書いています。
- ne sachirou@ne_sachirou
.｡oO(さっちゃんですよヾ(〃l _ l)ﾉﾞ☆) 記事はQiitaには書きません。
- @fumieval
一般的なHaskeller
@b_a_a_d_o怠惰で短気で傲慢なえんじにあ
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- Yuta Hayakawa@yuta_hayakawa
自称PHP使いなGNU/Linuxエンジニア。
- 園島 ぬぬ@tadsan
僕に警備する自宅をください。Emacs初心者。Rubyist。 全ての投稿された記事は別段の表記がない限りはCC 3.0 BY-SA https://creativecommons.org/licenses/by-sa/3.0/deed.ja で二次利用できます。 記事中に含まれる全てのコードスニペットの著作権は抛棄するので、煮るなり焼くなりお好きにどうぞ。
- Yugui Sonoda@yugui
grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。界面と統合が好き
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
