証明駆動開発のたのしみ@名古屋reject会議 View more presentations from Hiroki Mizuno

Coq to Rubyによる証明駆動開発@名古屋ruby会議02 View more presentations from Hiroki Mizuno

名古屋Ruby会議02のとなりで名古屋Reject会議というイベントを開催してきました。 「Rubyという言葉を使ったら負け」みたいな雰囲気のある謎なイベントでした。たのしかった!当日は[twitter:@maeda_]さんがustream中継を、[twitter:@wof_moriguchi]さんがタ…

最近、[twitter:@suer]、[twitter:@mallowlabs]、[twitter:@shimomura1004]と夜な夜なSkypeでチャットしながらソフトウェア開発をしてるんですが、だんだんとSkypeチャットの機能に対する不満が溜ってきました。 というわけで、Skypeチャットをリプレースす…

http://twitpic.com/3w34bo はじめに モナドといえばHaskell、Haskellといえばモナドが有名ですが、モナドは特定の言語とは無関係の仕組みですので、F#でも使えます。ただ単に使えるだけでなくコンピュテーション式というモナドをより便利に使うための文法ま…