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

9月

15

第79回 ProofCafe

Registration info

参加枠1

Free

Attendees
3

Description

The Software Foundations

VOLUME 2: PROGRAMMING LANGUAGE FOUNDATIONS

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

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

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

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

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

以上

Feed

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2018/09/15 13:45

#ProofCafe 建物は空いていますので、直接、教室に来てください。 #ProofCcafe

SUHARA Hiromichi

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

09/06/2018 20:54

SUHARA Hiromichi

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

09/04/2018 11:32

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2018/08/18 20:12

#ProofCafe また substi_correctの証明にも取り組む予定です。

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2018/08/18 20:11

また、#ProofCafe の前回省いた、substi_correctの証明も取り組みたいと思います。

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2018/08/18 20:09

次回9月は、Gammaの定義を復習しますから、余力があれば、Map.vにも目をとおしておいてください。#ProofCafe

SUHARA Hiromichi

SUHARA Hiromichi published 第79回 ProofCafe.

08/18/2018 19:31

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

Group

ProofCafe

Number of events 36

Members 33

Ended

2018/09/15(Sat)

14:30
17:30

Registration Period
2018/08/18(Sat) 19:31 〜
2018/09/15(Sat) 17:30

Location

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

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

Attendees(3)

hitbit

hitbit

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

SUHARA Hiromichi

SUHARA Hiromichi

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

morita_hm

morita_hm

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

Attendees (3)

Canceled (1)