証明駆動開発のたのしみ@名古屋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]さんがタ…

partake.in12月は名古屋Scala勉強会がないので、代わりに非公式名古屋Scala勉強会やります。 せっかくなので普段できないことをやりましょう。 普段できないことの例 ちゃんとScalaの勉強をする。 これまでの復習をする。 完全にScalaのことをわすれて、F#と…

NGK忘年会2010（昼の部） : ATNDという名古屋の全コミュニティ合同の忘年会に参加してきました。 発表したこと NGK忘年会 2010 / CoqからRubyへView more presentations from mzpi.発表動画@UstreamCoqPartyのスライドの使いまわしです。 Coq楽しいよ、盛り…

サイゼリヤの全メニューを頼んで食べちゃおう、というひどいオフ(Twtvite | Social Event Platform)に行ってきました。 感想 人数が多かったせいもあってわりと余裕でした。このあとどえりゃあに移動して、コーヒーを飲みながら、gitの話をしてました。 サイ…

名古屋Hackathon : ATND名古屋ハッカソン、無事終了しました。レッドブルを飲みすぎて、ちょっとフラフラするので手早くまとめます。 C#チーム チームメンバー: [twitter:@bleis],[twitter:@wof_moriguchi],[twitter:@kazeula] VisualStudio Ultimate所有者…

いよいよ今週末に名古屋ハッカソンやります。 おかげさまで定員が埋まったらしく、ありがたいかぎりです。 持ち物とか コンセントが足りなくなることが予想されるので、OAタップとか延長ケーブルとかを持って来ていただけると助かります。 Macな人は、ディス…