Following Organizations
No Organizations you are following
Followees
- @hamadu
なるべく中長期的に役立つ(検索でヒットして嬉しい)記事を書くことを心がけてます。よろしくお願いいたします。
- Hiroki Kokubun@cocopon
Developer/Designer
- まつもと ゆきひろ@yukihiro_matz
Rubyのパパ
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
1 / 1