第73回 ProofCafe

2018/02/17(土)14:30 〜 17:30 開催
ブックマーク
#プログラミング

イベント内容

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

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

以上

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
情報提供元ページ（connpass）へ

新規会員登録

このイベントに申し込むには会員登録が必要です。
アカウント登録済みの方はログインしてください。

※ ソーシャルアカウントで登録するとログインが簡単に行えます。

※ 連携したソーシャルアカウントは、会員登録完了後にいつでも変更できます。

関連するイベント