第18回Formal Methods勉強会

8 views
Skip to first unread message

ken coba

unread,
Jan 24, 2012, 1:40:03 AM1/24/12
to Formal Methods Forum
小林です。

というわけで第18回のFormal Methods勉強会は2月12日に開催します!
http://kokucheese.com/event/index/26462/

Coqのお話はPFDSの続きですかね。

Alloy Analyzerの翻訳書がせっかく出たんだし、
練習問題をみんなで解きましょう。

あと、個人的に、数学基礎論の勉強をしていることもあり、
ゲーデルの不完全性定理のCoqコードを読みたい気がしています(してるだけ)。

tmiya

unread,
Jan 24, 2012, 2:58:34 AM1/24/12
to Formal Methods Forum
お疲れ様です

On 1月24日, 午後3:40, ken coba <ken.c...@gmail.com> wrote:
> 小林です。
>
> というわけで第18回のFormal Methods勉強会は2月12日に開催します!http://kokucheese.com/event/index/26462/

Alloyの復習するのは良いですね。
Coqチュートリアルは#3,#4用のネタ(前作ったチュートリアルに無い内容)を用意できるかと思います。

不完全性定理は、
Coq8.3用のコードは
http://coq.inria.fr/pylons/contribs/view/Goedel/v8.3
論文は
http://r6.ca/Goedel/goedel1.html

ですかね。ソースを読むのはかなり辛そうですねー。

小川 清

unread,
Jan 24, 2012, 8:57:11 PM1/24/12
to fm-f...@googlegroups.com
皆様

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

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

昨日、東小金井の法政大学で,Event-Bの学内講義がありました。

午後1時に東京駅付近で昼食を取りながら、佐原伸さんの書き込みを見て、急遽参加しました。(自分自体が遅刻なので他に知らせる余裕がありませんでした。ごめんなさい。)
現状の報告を下記に記載しています。
http://bit.ly/wq2q0Z

ps.
自分の質疑の記録は,別途公開メールする予定です。

Reply all
Reply to author
Forward
0 new messages