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

Oct

20

第80回 ProofCafe

Registration info

参加枠1

Free

Attendees
4

Description

The Software Foundations

VOLUME 2: PROGRAMMING LANGUAGE FOUNDATIONS

STLC の Typing からです。ただし、substi_correct の証明もやります。

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 wrote a comment.

2018/10/19 20:22

10/20開催の教室が変更になりました。理学部A館 A328 教室。The classroom has changed. #ProofCafe

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2018/10/19 06:21

会場となる教室(建物)が変更になる場合があります。The classroom (building) to be the venue may be changed. #ProorCafe

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2018/10/19 06:20

教室(建物)が変更になる場合があります。Classrooms (buildings) may change. #ProofCafe

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2018/10/18 21:16

This time, we plan to solve Exercise substi, typing_example_2 and typing_nonexample_3 in SF/PLF/STLC. #ProofCafe

SUHARA Hiromichi

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

10/14/2018 10:46

SUHARA Hiromichi

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

09/15/2018 19:40

SUHARA Hiromichi

SUHARA Hiromichi published 第80回 ProofCafe.

09/15/2018 19:40

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

Group

ProofCafe

Number of events 52

Members 44

Ended

2018/10/20(Sat)

14:30
17:30

Registration Period
2018/09/15(Sat) 19:40 〜
2018/10/20(Sat) 17:30

Location

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

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

Attendees(4)

hitbit

hitbit

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

Frédéric Bour

Frédéric Bour

I joined 第80回 ProofCafe!

morita_hm

morita_hm

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

SUHARA Hiromichi

SUHARA Hiromichi

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

Attendees (4)