第84回 ProofCafe - connpass

お知らせ【メンテナンスのお知らせ】4月25日(木)10:00から1時間半ほど、メンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。
なお有料の対象となるのはAPIのみであり、connpassのサービスにつきましては今後も無料でご利用いただけます。

2月

16
第84回 ProofCafe
名古屋Coq勉強会

募集内容	参加枠1 無料参加者数 3人
申込者	申込者一覧を見る
開催日時	2019/02/16(土) 14:30 ～ 17:30 Googleカレンダー icsファイル
募集期間	2019/01/19(土) 19:09 〜 2019/02/16(土) 17:30まで
会場	オンライン(skype)

イベントの説明

The Software Foundations

VOLUME 2: PROGRAMMING LANGUAGE FOUNDATIONS

Smallstep から StlcProp までの復習をします。

TAPLと内容が重なるので、TAPLを持っている方は読んでおくとよいでしょう。

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

可能ならば Coq 8.7 以降をインストールしたうえで、以下よりサンプルコードを入手しておいてください。

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

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

以上

資料資料をもっと見る／編集する

ProofCafe SF/PLF Support Page - suharahiromichi

フィード

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

2019/02/09 15:55

SUHARA Hiromichi さんが第84回 ProofCafe を公開しました。

2019/01/19 19:12

第84回 ProofCafe を公開しました！　会場は直前に変更になる場合があります。 connpassの通知を確認してください。 #proofcafe

グループ

イベント数 92回

メンバー数 52人

終了

2019/02/16(土)

14:30 〜 17:30

Googleカレンダー icsファイル

募集期間
2019/01/19(土) 19:09 〜
2019/02/16(土) 17:30

イベントへのお問い合わせ

会場

オンライン(skype)

オンライン(skype)

管理者

参加者（3人）

第84回 ProofCafeに参加を申し込みました！

第84回 ProofCafe に参加を申し込みました！

SUHARA Hiromichi

第84回 ProofCafe に参加を申し込みました！

参加者一覧（3人）