2010-11-01から1ヶ月間の記事一覧

Coq Party

11/27 に、Coq Partyに参加してきました。 資料などはこちら。 エンジニア・ミーツ・Coq すぐ分かる形式手法 形式手法とは? 品質の高いソフトウェアを作るための科学的な仕様記述・検証手法 仕様化の正しさは終盤のシステムテストまで分からない 結合テスト…

けんろん!〜休日カフェタイム〜 第2話演習!

11/21 に、けんろん!〜休日カフェタイム〜 第2話演習! に参加してきました。 USTREAM 第1話 http://www.ustream.tv/recorded/10255923 (前半) http://www.ustream.tv/recorded/10256470 (後半) 第2話 http://www.ustream.tv/recorded/10995206 (前半) http…

第13回名古屋Scala

11/19 に、第13回名古屋Scala勉強会に参加してきました。 27章 オブジェクトを使ったモジュラープログラミング モジュールとしてオブジェクトを捉える Lift とかそうなってる OCaml の(ファーストクラス)モジュールに近い 継承とかも出来る DI 結構普通、そ…