Groups
Sign in
Groups
Formal Methods Forum
Conversations
About
Send feedback
Help
第18回Formal Methods勉強会議事メモ
7 views
Skip to first unread message
ken.coba
unread,
Feb 12, 2012, 8:36:36 PM
2/12/12
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Formal Methods Forum
小林です。
第18回勉強会ご参加いただきありがとうございました。
おかげでAlloy本の演習をみんなで進めることができました。
http://d.hatena.ne.jp/kencoba/20120212/1329022221
次回はA.1.3 (e) sameGroupから進めていきましょう。
あと、Coqチュートリアルが今週で一段落するので、
応用トピックを勉強会で扱うという話もあります。
tmiya
unread,
Feb 13, 2012, 4:26:57 AM
2/13/12
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Formal Methods Forum
tmiya_ です。
On 2月13日, 午前10:36, "ken.coba" <
ken.c...@gmail.com
> wrote:
> 小林です。
>
> 第18回勉強会ご参加いただきありがとうございました。
> おかげでAlloy本の演習をみんなで進めることができました。
>
>
http://d.hatena.ne.jp/kencoba/20120212/1329022221
Alloyで確認した等価性を、Coq で確認してみました。
http://study-func-prog.blogspot.com/2012/02/coqalloy-properties-of-relation.html
Reply all
Reply to author
Forward
0 new messages