2011-02-28から1日間の記事一覧

名古屋Reject会議で「証明駆動開発のたのしみ」というタイトルで発表してきました

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

名古屋Ruby会議で「Coq to Rubyで初める証明駆動開発」というタイトルで発表してきました

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

名古屋Reject会議を開催しました

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