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

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

SUHARA Hiromichi

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

02/17/2018 14:23

SUHARA Hiromichi

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

02/17/2018 14:21

keigoi

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

2018/02/17 09:23

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

SUHARA Hiromichi

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

02/12/2018 19:04

SUHARA Hiromichi

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

01/27/2018 18:49

SUHARA Hiromichi

SUHARA Hiromichi published 第73回 ProofCafe.

01/20/2018 18:44

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

Group

ProofCafe

Number of events 36

Members 33

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 に参加を申し込みました!

SUHARA Hiromichi

SUHARA Hiromichi

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

yoshihiro503

yoshihiro503

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

Attendees (7)