第18回Formal Methods勉強会

[ken coba]

小林です。

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

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

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

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

[tmiya]

お疲れ様です

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

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

[小川 清]

皆様

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

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

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

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

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