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

2月

17

第73回 ProofCafe

Registration info

参加枠1

Free

Attendees
7

Description

The Software Foundations

VOLUME 2: PROGRAMMING LANGUAGE FOUNDATIONS

SMALL-STEP OPERATIONAL SEMANTICS の Relations からです。

https://softwarefoundations.cis.upenn.edu/plf-current/Smallstep.html#lab134

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

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

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

以上

Feed

suharahiromichi

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

02/17/2018 14:23

suharahiromichi

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

02/17/2018 14:21

keigoi

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

2018/02/17 09:23

申し訳ありません…今日は欠席させてください。ドタキャンで誠に申し訳ありません。子供が熱を出して、今日は看病が必要になってしまいました。

suharahiromichi

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

02/12/2018 19:04

suharahiromichi

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

01/27/2018 18:49

suharahiromichi

suharahiromichi published 第73回 ProofCafe.

01/20/2018 18:44

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

Group

ProofCafe

Number of events 33

Members 32

Ended

2018/02/17(Sat)

14:30
17:30

Registration Period
2018/01/20(Sat) 18:43 〜
2018/02/17(Sat) 17:30

Location

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

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

Attendees(7)

morita_hm

morita_hm

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

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰)

I joined 第73回 ProofCafe!

hitbit

hitbit

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

keigoi

keigoi

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

ahuglajbclajep

ahuglajbclajep

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

suharahiromichi

suharahiromichi

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

yoshihiro503

yoshihiro503

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

Attendees (7)