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

[ken.coba]

小林@FM_Forumです。

第19回の日程調整を開始します。
http://chosuke.rumix.jp/main.aspx?g=2c58e5804e2c76ea4


Coqチュートリアルではみなさんご参加いただきありがとうございました。
始めは関数型プログラミング言語としてのCoqのお話でしたが、
最終的には一般的なプログラムの証明のお話まで進みました。

運営した方にとっても大変勉強になりました。
#ペアプルーフィング面白かったですねー。

今回取り上げなかった内容は、改めてFormal Methods勉強会で
取り上げる予定ですので、ぜひご参加ください。

[tmiya]

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]

小林です。

お、ちょっとチャレンジしてみます。
Alloyの知識より、様相論理の知識が必要とされるですね・・・

2012年2月24日16:37 tmiya <tm...@bu.iij4u.or.jp>: