第19回Formal Methods勉強会日程調整

12 views
Skip to first unread message

ken.coba

unread,
Feb 16, 2012, 10:47:31 PM2/16/12
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 AM2/24/12
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 AM2/24/12
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