第78回 ProofCafe - connpass

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

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

8月

18
第78回 ProofCafe

募集内容	参加枠1 無料参加者数 5人
申込者	申込者一覧を見る
開催日時	2018/08/18(土) 14:30 ～ 17:30 Googleカレンダー icsファイル
募集期間	2018/07/21(土) 21:42 〜 2018/08/18(土) 17:30まで
会場	名古屋市南生涯学習センター南区東又兵ヱ町5-1-10 マップで見る会場のサイトを見る

イベントの説明

The Software Foundations

VOLUME 2: PROGRAMMING LANGUAGE FOUNDATIONS

STLC からです。 TAPLと内容が重なるので、TAPLを持っている方は第9章を読んでおくとよいでしょう。

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

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

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

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

以上

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

フィード

SUHARA Hiromichi さんが書き込みました。

2018/08/17 22:55

また、@aizen_nagoya さんが参加されるので、不完全性定理の形式化（ほんの入り口ですが）も話題にしてみたいとおもいます。 #ProofCafe

SUHARA Hiromichi さんが書き込みました。

2018/08/17 22:54

また、@aizen_nagoya さんが参加されるので、不完全性定理の形式化（ほんの入り口ですが）も話題にしてみたいとおもいます。 #ProofCafe

SUHARA Hiromichi さんが書き込みました。

2018/08/17 22:52

明日8/18の #ProofCafe は、STLCの初回として、いくつかの型の付く項の例や、また付かない項の例を扱います。

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

2018/08/12 09:20

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

2018/08/07 22:05

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

2018/08/07 21:53

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

2018/07/21 21:44

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

2018/07/21 21:43

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

2018/07/21 21:43

第78回 ProofCafe を公開しました！

グループ

イベント数 92回

メンバー数 52人

終了

2018/08/18(土)

14:30 〜 17:30

Googleカレンダー icsファイル

募集期間
2018/07/21(土) 21:42 〜
2018/08/18(土) 17:30

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

会場

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

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

管理者

参加者（5人）

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

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

第78回 ProofCafe に参加を申し込みました！Godel’s Incompleteness Theorem in coqを取り組もうと思っています。どの資料がいいか比較できず、まず一つ読み始めました。Godel’s Incompleteness Theorem in coq

SUHARA Hiromichi

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

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

参加者一覧（5人）