(3月25日[日])第19回Formal Methods勉強会
ken coba
というわけで、次回は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
いつもお世話になっています。
小川清＠名古屋市工業研究所です。
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ですかね。
> みなさんも話題がありましたらぜひご紹介ください。
>
>
>
>
>
>
>
> > 小林です。
>
> > お、ちょっとチャレンジしてみます。
> > 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はまだ読めない/ピンとこない感じです。。。
>
tmiya
2012年2月27日月曜日12時25分49秒 UTC+9 ken.coba:
小林@運営です。というわけで、次回は3月25日で開催です。
http://kokucheese.com/event/index/29398/現在挙がっている話題は、
様相論理、Alloyの演習問題、PFDSですかね。
みなさんも話題がありましたらぜひご紹介ください。
>> Alloy に関するこのお話、小林さん、解説できそうですか？酒井さんがAlloyでやってみた、というお話ですが。
>> 私はちょっと複雑な話になるとAlloyはまだ読めない/ピンとこない感じです。。。
>>
>> http://webcache.googleusercontent.com/search?q=cache:www.tom.sfc.keio.ac.jp/~sakai/d/%3Fdate%3D20080204