お知らせ 【重要なお知らせ】2022年6月22日にプライバシーポリシーを変更いたしました。

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

Feb

22

coqtokyo 第16回Ssreflect勉強会

Organizing : yoshihiro503

Registration info

参加枠

Free

Attendees
8

自由発表枠

Free

FCFS
0/4

参加者への情報
(参加者と発表者のみに公開されます)

Description

2020年の名古屋大学での講義資料を読みます。 https://www.math.nagoya-u.ac.jp/~garrigue/lecture/2020_AW/index.html ページ毎にその場で当てられた人が音読します。

第7回資料の最初から

開催場所

google meetによるオンライン開催です。 URLは参加者と発表者に公開されます。

参加できないなど困ったときは、@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

takumi-kato

takumi-kato published coqtokyo 第16回Ssreflect勉強会.

02/08/2022 21:02

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

Group

Ended

2022/02/22(Tue)

19:00
21:00

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

Registration Period
2022/02/08(Tue) 21:02 〜
2022/02/22(Tue) 21:00

Location

オンライン

オンライン

オンライン

Attendees(8)

kappa

kappa

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

takumi-kato

takumi-kato

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

yukiyama9999999999999999999999

yukiyama9999999999999999999999

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

yak_ex

yak_ex

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

tanaka_akr

tanaka_akr

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

yoshihiro503

yoshihiro503

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

nekonibox

nekonibox

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

fetburner

fetburner

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

Attendees (8)