Groups
Sign in
Groups
Formal Methods Forum
Conversations
About
Send feedback
Help
第19回Formal Methods勉強会日程調整
12 views
Skip to first unread message
ken.coba
unread,
Feb 16, 2012, 10:47:31 PM
2/16/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
小林@FM_Forumです。
第19回の日程調整を開始します。
http://chosuke.rumix.jp/main.aspx?g=2c58e5804e2c76ea4
Coqチュートリアルではみなさんご参加いただきありがとうございました。
始めは関数型プログラミング言語としてのCoqのお話でしたが、
最終的には一般的なプログラムの証明のお話まで進みました。
運営した方にとっても大変勉強になりました。
#ペアプルーフィング面白かったですねー。
今回取り上げなかった内容は、改めてFormal Methods勉強会で
取り上げる予定ですので、ぜひご参加ください。
tmiya
unread,
Feb 24, 2012, 2:37:52 AM
2/24/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
On 2月17日, 午後12:47, "ken.coba" <
ken.c...@gmail.com
> wrote:
> 小林@FM_Forumです。
お疲れ様です。
最近、Coq で Epistemic Logic (誰々は○○を知っている、みたいな様相論理)の論文を少し読んでます。間に合えば内容の紹介とか
したいと思います。
Alloy に関するこのお話、小林さん、解説できそうですか?酒井さんがAlloyでやってみた、というお話ですが。
私はちょっと複雑な話になるとAlloyはまだ読めない/ピンとこない感じです。。。
http://webcache.googleusercontent.com/search?q=cache:www.tom.sfc.keio.ac.jp/~sakai/d/%3Fdate%3D20080204
ken coba
unread,
Feb 24, 2012, 3:52:05 AM
2/24/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 fm-f...@googlegroups.com
小林です。
お、ちょっとチャレンジしてみます。
Alloyの知識より、様相論理の知識が必要とされるですね・・・
2012年2月24日16:37 tmiya <
tm...@bu.iij4u.or.jp
>:
Reply all
Reply to author
Forward
0 new messages