Proof summit2012 lt
- 2. Formal Methods Forum https://groups.google.com/group/fm-forum #fm_forum 基本は毎月1回、豆蔵トレーニングルームにて開催 ProofCafe http://proofcafe.org/wiki/ ProofSummitのあとも勉強続けるには?・・・勉強会があります!
- 4. @tmiya_ さん Coq Contribution: RegExp http://coq.inria.fr/pylons/contribs/view/RegExp/trunk 証明済み正規表現ライブラリのコントリビュート! @kencoba Unicode Identifier in Alloy Analyzer http://alloy.mit.edu/community/node/1039 ま、1行修正するだけなんで・・・でも日本語でAlloyの仕様を書けるようになった どんな活動してるの?FM_Forum2010年度対外活動:その2
- 5. Coq応用編 Purely Functional Data Structuresを使うか? Separation Logic? Start! Alloyがなかなかスタートできない・・・ 今はどんなことしてるの?FM_Forum2011年度活動目標