機能改善 【受付票発行機能 仕様変更のお知らせ】 「受付票発行機能」の仕様変更を行ない、受付票を常に発行することになりました。 詳しくはこちらをご覧ください。

お知らせ 【ATNDイベントデータ取り込み機能のお知らせ】 connpass に ATND で公開されているイベントデータの取り込み機能があることをご存知でしたか? 是非 connpass に取り込んで、運営コミュニティの歴史を消さないようにしましょう!詳しい内容・取り込み手順はこちら

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

Feb

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

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 41

Members 39

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)