イベントの説明
(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名古屋参加のためお休みです。