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

Aug

3

coqtokyo 第2回Ssreflect勉強会

Registration info

参加枠

Free

Attendees
10

自由発表

Free

FCFS
0/4

Description

名古屋大学での講義資料を読みます。 https://www.math.nagoya-u.ac.jp/~garrigue/lecture/2020_AW/index.html

第1回講義メモの5ページ目「恒真色々」からです。

開催場所

オンライン勉強会です。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 でアカウントとして利用するためのメールアドレスをお知らせください )

Media View all Media

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

Feed

yugawara

yugawara wrote a comment.

2021/08/03 18:30

すみません会社の会議が入って出れなくなりました。

Group

Ended

2021/08/03(Tue)

19:00
21:00

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

Registration Period
2021/07/20(Tue) 19:00 〜
2021/08/03(Tue) 21:00

Location

オンライン

オンライン

Organizer

Attendees(10)

nagaet

nagaet

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

kappa

kappa

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

yukiyama9913

yukiyama9913

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

KSaka

KSaka

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

polymonyRks

polymonyRks

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

SUHARA Hiromichi

SUHARA Hiromichi

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

yak_ex

yak_ex

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

asinus

asinus

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

khibino

khibino

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

nekonibox

nekonibox

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

Attendees (10)

Canceled (1)