新機能 イベント予約公開機能を追加しました!詳しくはこちらをご覧ください

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

Aug

3

coqtokyo 第2回Ssreflect勉強会

Registration info

参加枠

Free

Attendees
3

自由発表

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

No comments yet.

Group

coqtokyo

Number of events 71

Members 133

Public

2021/08/03(Tue)

19:00
21:00

Please login to register

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(3)

nagaet

nagaet

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

kappa

kappa

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

yukiyama9913

yukiyama9913

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

Attendees (3)