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

8月

18

第78回 ProofCafe

Registration info

参加枠1

Free

Attendees
5

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/08/17 22:55

また、@aizen_nagoya さんが参加されるので、不完全性定理の形式化(ほんの入り口ですが)も話題にしてみたいとおもいます。 #ProofCafe

SUHARA Hiromichi

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

2018/08/17 22:54

また、@aizen_nagoya さんが参加されるので、不完全性定理の形式化(ほんの入り口ですが)も話題にしてみたいとおもいます。 #ProofCafe

SUHARA Hiromichi

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

2018/08/17 22:52

明日8/18の #ProofCafe は、STLCの初回として、いくつかの型の付く項の例や、また付かない項の例を扱います。

SUHARA Hiromichi

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

08/12/2018 09:20

SUHARA Hiromichi

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

08/07/2018 22:05

SUHARA Hiromichi

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

08/07/2018 21:53

SUHARA Hiromichi

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

07/21/2018 21:44

SUHARA Hiromichi

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

07/21/2018 21:43

SUHARA Hiromichi

SUHARA Hiromichi published 第78回 ProofCafe.

07/21/2018 21:43

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

Group

ProofCafe

Number of events 36

Members 33

Ended

2018/08/18(Sat)

14:30
17:30

Registration Period
2018/07/21(Sat) 21:42 〜
2018/08/18(Sat) 17:30

Location

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

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

Attendees(5)

morita_hm

morita_hm

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

hitbit

hitbit

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

kaizen_nagoya

kaizen_nagoya

第78回 ProofCafe に参加を申し込みました!Godel’s Incompleteness Theorem in coqを取り組もうと思っています。どの資料がいいか比較できず、まず一つ読み始めました。Godel’s Incompleteness Theorem in coq

SUHARA Hiromichi

SUHARA Hiromichi

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

でふ

でふ

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

Attendees (5)