11月
2
coqtokyo 第8回Ssreflect勉強会
主催 : yoshihiro503
募集内容 |
参加枠 無料
参加者数
自由発表枠 無料
先着順
|
---|---|
申込者 | 申込者一覧を見る |
開催日時 |
2021/11/02(火) 19:00 ~ 21:00
|
募集期間 |
2021/10/19(火) 21:16
〜 |
会場 |
オンライン |
イベントの説明
2020年の名古屋大学での講義資料を読みます。 https://www.math.nagoya-u.ac.jp/~garrigue/lecture/2020_AW/index.html ページ毎にその場で当てられた人が音読します。
第4回講義資料 3 帰納的な定義 > 帰納的述語 > 偶数の定義
から読み始めます。
開催場所
google meetによるオンライン開催です。 https://meet.google.com/ffg-wujr-gnd
参加できないなど困ったときは、@tmiya_ @khibino @eldesh @yoshihiro503にお問い合わせください。
タイムテーブル
- 19:00 - 20:30 ssreflectの講義資料を読む
- 5分休憩
- 20:35 - 21:00 自由発表
持ち物
Coqを動かせるPCなどの端末
参考情報
gistのコードをjscoqで動かす coqban というもあります https://proof-ninja.github.io/coqban/?gisturl=https%3A%2F%2Fgist.github.com%2Fyoshihiro503%2F7163cfa52557cc0a6be39fdf899e19f6
Slack
気軽に質問や雑談を出来るように、coqtokyo.slack.com を試験運用しています。 @tmiya_ @khibino @eldesh @yoshihiro503 のうちのだれかに頼んで登録してもらってください。( slack でアカウントとして利用するためのメールアドレスをお知らせください )
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。