2011-09-15から1日間の記事一覧

集合と関数で遊ぶ〜形式手法への誘い

フルネス@中野で、酒匂さんを招いて、今注目の形式手法の勉強会をおこないます。CloudとかAndroidなんかの新技術も良いけど、堅実なシステム開発を考えるのなら、こちらも是非。 詳細とお申し込みは以下のURLから。 http://atnd.org/events/19757