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

6月

16

第76回 ProofCafe

Registration info

参加枠1

Free

Attendees
4

Description

(2) 会場の教室に変更はありません。

(3) 次回は、The Software Foundations

VOLUME 2: PROGRAMMING LANGUAGE FOUNDATIONS

Type System の最初(Typed Arithmetic Expressions)からです。 TAPLと内容が重なるので、TAPLを持っている方は第8章を読んでおくとよいでしょう。

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

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

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

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

以上

(1) 5月のProofCafeは、OSC名古屋参加のためお休みです。

https://www.ospn.jp/osc2018-nagoya/

Feed

suharahiromichi

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

2018/06/16 14:17

参加者は307教室に直接お越しください。入れない場合は、commpassのフィードかtwitterで連絡してください。

suharahiromichi

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

2018/06/16 11:45

会場の教室に変更はありません。多元307教室です。 #ProofCafe

suharahiromichi

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

05/20/2018 19:33

keigoi

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

2018/04/21 21:57

この日は仕事でした…

suharahiromichi

suharahiromichi published 第76回 ProofCafe.

04/21/2018 19:08

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

Group

ProofCafe

Number of events 34

Members 33

Ended

2018/06/16(Sat)

14:30
17:30

Registration Period
2018/04/21(Sat) 19:08 〜
2018/06/16(Sat) 17:30

Location

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

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

Attendees(4)

hitbit

hitbit

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

でふ

でふ

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

morita_hm

morita_hm

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

suharahiromichi

suharahiromichi

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

Attendees (4)

Canceled (1)