このエントリーをはてなブックマークに追加

7月

21

第77回 ProofCafe

Registration info

参加枠1

Free

Attendees
4

Description

The Software Foundations

VOLUME 2: PROGRAMMING LANGUAGE FOUNDATIONS

Type System の Progress からです。 TAPLと内容が重なるので、TAPLを持っている方は第8章を読んでおくとよいでしょう。

https://softwarefoundations.cis.upenn.edu/plf-current/Types.html

前回の復習から始めます。 可能ならば Coq 8.7 をインストールしたうえで、以下よりサンプルコードを入手しておいてください。

https://softwarefoundations.cis.upenn.edu/plf-current/index.html

インストール方法などについての質問も常に歓迎です。

以上

Feed

suharahiromichi

suharahiromichiさんが資料をアップしました。

07/14/2018 20:28

suharahiromichi

suharahiromichi さんが書き込みました。

2018/06/17 12:05

TAPL では、進行 + 保存 = 安全性 をスローガンとしているが、 安全性 Soundness を 進行 progress と 保存 preservation から証明していることに注目してください。 #ProofCafe

suharahiromichi

suharahiromichiさんが資料をアップしました。

06/16/2018 21:27

suharahiromichi

suharahiromichi published 第77回 ProofCafe.

06/16/2018 18:59

第77回 ProofCafe を公開しました!

Group

ProofCafe

Number of events 33

Members 32

Ended

2018/07/21(Sat)

14:30
17:30

Registration Period
2018/06/16(Sat) 18:59 〜
2018/07/21(Sat) 17:30

Location

名古屋市 南生涯学習センター

南区東又兵ヱ町5-1-10

Attendees(4)

でふ

でふ

第77回 ProofCafeに参加を申し込みました!

morita_hm

morita_hm

第77回 ProofCafe に参加を申し込みました!

hitbit

hitbit

第77回 ProofCafeに参加を申し込みました!

suharahiromichi

suharahiromichi

第77回 ProofCafe に参加を申し込みました!

Attendees (4)