このエントリーをはてなブックマークに追加

Sep

21

coqtokyo 第5回Ssreflect勉強会

Registration info

参加枠

Free

Attendees
6

自由発表枠

Free

FCFS
0/4

Description

2020年の名古屋大学での講義資料を読みます。 https://www.math.nagoya-u.ac.jp/~garrigue/lecture/2020_AW/index.html ページ毎にその場で当てられた人が音読します。 次回は第2回講義資料末尾の 3 等式変換による証明 から読み始めます。

開催場所

オンライン勉強会です。 今日のMeetingの接続先URLは勉強会開始直前に、slack上およびconnpassのイベントメッセージにて連絡します。

参加できないなど困ったときは、@tmiya_ @khibino @eldesh @yoshihiro503にお問い合わせください。

タイムテーブル

  1. 19:00 - 20:30 ssreflectの講義資料を読む
  2. 5分休憩
  3. 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 でアカウントとして利用するためのメールアドレスをお知らせください )

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

yoshihiro503

yoshihiro503 wrote a comment.

2021/09/21 18:45

本日のcoqtokyoのURLです https://meet.google.com/ffg-wujr-gnd

tmiya_

tmiya_ published coqtokyo 第5回Ssreflect勉強会.

09/21/2021 11:15

coqtokyo 第5回Ssreflect勉強会 を公開しました!

Group

coqtokyo

Number of events 79

Members 148

Ended

2021/09/21(Tue)

19:00
21:00

You cannot RSVP if you are already participating in another event at the same date.

Registration Period
2021/09/21(Tue) 11:11 〜
21:00

Location

オンライン

オンライン

Attendees(6)

nagaet

nagaet

coqtokyo 第5回Ssreflect勉強会 に参加を申し込みました!

slipstream

slipstream

coqtokyo 第5回Ssreflect勉強会 に参加を申し込みました!

kappa

kappa

coqtokyo 第5回Ssreflect勉強会 に参加を申し込みました!

yoshihiro503

yoshihiro503

coqtokyo 第5回Ssreflect勉強会 に参加を申し込みました!

SUHARA Hiromichi

SUHARA Hiromichi

coqtokyo 第5回Ssreflect勉強会 に参加を申し込みました!

nekonibox

nekonibox

coqtokyo 第5回Ssreflect勉強会 に参加を申し込みました!

Attendees (6)