(3月25日[日])第19回Formal Methods勉強会

13 views
Skip to first unread message

ken coba

unread,
Feb 26, 2012, 10:25:49 PM2/26/12
to fm-f...@googlegroups.com
小林@運営です。

というわけで、次回は3月25日で開催です。
http://kokucheese.com/event/index/29398/

現在挙がっている話題は、
様相論理、Alloyの演習問題、PFDSですかね。
みなさんも話題がありましたらぜひご紹介ください。

2012年2月24日17:52 ken coba <ken....@gmail.com>:
> 小林です。
>
> お、ちょっとチャレンジしてみます。
> Alloyの知識より、様相論理の知識が必要とされるですね・・・
>
>
> 2012年2月24日16:37 tmiya <tm...@bu.iij4u.or.jp>:
>> 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

kaizen

unread,
Mar 20, 2012, 2:17:24 PM3/20/12
to Formal Methods Forum
皆様

いつもお世話になっています。

小川清@名古屋市工業研究所です。

3/22,23のNII のCoqのセミナに参加のため22,23は東京にいます。(講師の今井さんもたぶん)
#22はNiiで懇親会あり。

19回の会合は,
3/24は名古屋でproofcafe
http://proofcafe.org
3/25は名古屋で startSML#
http://bit.ly/w9Qu6E
で参加できません。

ごめんなさい。

On 2月27日, 午後12:25, ken coba <ken.c...@gmail.com> wrote:
> 小林@運営です。
>
> というわけで、次回は3月25日で開催です。http://kokucheese.com/event/index/29398/
>
> 現在挙がっている話題は、
> 様相論理、Alloyの演習問題、PFDSですかね。
> みなさんも話題がありましたらぜひご紹介ください。
>
> 2012年2月24日17:52 ken coba <ken.c...@gmail.com>:
>
>
>
>
>
>
>
> > 小林です。
>
> > お、ちょっとチャレンジしてみます。
> > Alloyの知識より、様相論理の知識が必要とされるですね・・・
>
> > 2012年2月24日16:37 tmiya <tm...@bu.iij4u.or.jp>:
> >> 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...

tmiya

unread,
Mar 26, 2012, 11:28:31 AM3/26/12
to fm-f...@googlegroups.com
お疲れさまです

2012年2月27日月曜日12時25分49秒 UTC+9 ken.coba:
小林@運営です。

というわけで、次回は3月25日で開催です。
http://kokucheese.com/event/index/29398/

現在挙がっている話題は、
様相論理、Alloyの演習問題、PFDSですかね。
みなさんも話題がありましたらぜひご紹介ください。


勉強会当日には証明が間に合わなかったのですが、一応証明出来ました。
詳しくは blog の方に書いたのでそちらから証明ファイルを見て下さい。
下記の Alloy で扱っている問題を Coq で解いたという話です。

>> Alloy に関するこのお話、小林さん、解説できそうですか?酒井さんがAlloyでやってみた、というお話ですが。
>> 私はちょっと複雑な話になるとAlloyはまだ読めない/ピンとこない感じです。。。
>>
>> http://webcache.googleusercontent.com/search?q=cache:www.tom.sfc.keio.ac.jp/~sakai/d/%3Fdate%3D20080204


幾つか形式手法ツールの使い方が判ると、こうやって同じ問題を別のツールで扱ってみたりとか出来てちょっと楽しいですね。 
Reply all
Reply to author
Forward
0 new messages