ProofSummit2012?今後に向けて<br />Formal Methods Forum活動紹介<br />2011/9/25<br />
Formal Methods Forum<br />https://groups.google.com/group/fm-forum<br />#fm_forum<br />基本は毎月1回、豆蔵トレーニングルームにて開催<br />ProofC...
どんな活動してるの?FM_Forum2010年度対外活動:その1<br />
@tmiya_ さん<br />Coq Contribution: RegExp<br />http://coq.inria.fr/pylons/contribs/view/RegExp/trunk<br />証明済み正規表現ライブラリのコント...
Coq応用編<br />Purely Functional Data Structuresを使うか?<br />Separation Logic?<br />Start! Alloyがなかなかスタートできない・・・<br />今はどんなことして...
形として残るものを作っていきたい<br />規模は無関係<br />ぜひ勉強会、メーリングリストにご参加ください<br />https://groups.google.com/group/fm-forum<br />来年は発表したい!という約5...
Upcoming SlideShare
Loading in …5
×

Proof summit2012 lt

762 views

Published on

ProofSummit2011 Lightning Talk

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
762
On SlideShare
0
From Embeds
0
Number of Embeds
5
Actions
Shares
0
Downloads
3
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Proof summit2012 lt

  1. 1. ProofSummit2012?今後に向けて<br />Formal Methods Forum活動紹介<br />2011/9/25<br />
  2. 2. Formal Methods Forum<br />https://groups.google.com/group/fm-forum<br />#fm_forum<br />基本は毎月1回、豆蔵トレーニングルームにて開催<br />ProofCafe<br />http://proofcafe.org/wiki/<br />ProofSummitのあとも勉強続けるには?・・・勉強会があります!<br />
  3. 3. どんな活動してるの?FM_Forum2010年度対外活動:その1<br />
  4. 4. @tmiya_ さん<br />Coq Contribution: RegExp<br />http://coq.inria.fr/pylons/contribs/view/RegExp/trunk<br />証明済み正規表現ライブラリのコントリビュート!<br />@kencoba<br />Unicode Identifier in Alloy Analyzer<br />http://alloy.mit.edu/community/node/1039<br />ま、1行修正するだけなんで・・・でも日本語でAlloyの仕様を書けるようになった<br />どんな活動してるの?FM_Forum2010年度対外活動:その2<br />
  5. 5. Coq応用編<br />Purely Functional Data Structuresを使うか?<br />Separation Logic?<br />Start! Alloyがなかなかスタートできない・・・<br />今はどんなことしてるの?FM_Forum2011年度活動目標<br />
  6. 6. 形として残るものを作っていきたい<br />規模は無関係<br />ぜひ勉強会、メーリングリストにご参加ください<br />https://groups.google.com/group/fm-forum<br />来年は発表したい!という約50名+αの方へ<br />

×