misocaつくってました
Site/Bloghttp://toyoshi.hatenablog.com
Following Organizations
No Organizations you are following
Followees
- Kentaro Kuribayashi@kentaro
PerlとEmacsが好きです。
- @jkondo
近藤です。よろしくおねがいします！
- @RyogaBarbie
Rails頑張ってたらswiftも頑張ることになった
- @daisaku
株式会社レレレ 代表取締役
- Shun Matsumoto@shu_0115
Web Engineer
- まつもと ゆきひろ@yukihiro_matz
Rubyのパパ
- 明 松田@a_matsuda
Asakusa.rbのひと。
- @kumagi
ロックフリーです。
- Yoshihiro Yamazaki@yoya
画像処理の事ばかり考えてます。ImageMagick ウォッチングが趣味です。
- Katz Kawai@katzkawai
隠居しています。探さないでください。
- 清水 正行@_shimizu
群馬・東京間を行き来する出稼ぎフリーランスエンジニアです。地理空間データの分析やデータビジュアライゼーション実装などのお仕事をしています。
- Keigo Imai@keigoi
大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- AKATSUKA TAEKO@ken_c_lo
Designer of esa, LLC
- @suchi
Hello
- @nari3
nariさん
- Yugui Sonoda@yugui
grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。界面と架橋が好き
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- 海野 弘成@yaotti
Qiitaを作っているIncrements株式会社の創業者
