2011-04-23から1日間の記事一覧

4/23 第15回 Formal methods 勉強会

目次 全国技術系勉強会マップにFM_Forumが紹介されました FM_Forumと関係が深い勉強会 CLTT読書会 ProofCafe 決定不能の会 アルゴリズム勉強会 有界の会...は載ってなかった 今後毎年やっていきたいそうです。 勉強会のクロス検索サイトを開発しようとしてい…