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

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

Mar

15

coqtokyo 第17回Ssreflect勉強会

Organizing : yoshihiro503

Registration info

参加枠

Free

Attendees
9

自由発表枠

Free

FCFS
1/4

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

Description

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

第7回p.4から

開催場所

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 第17回Ssreflect勉強会.

02/22/2022 20:31

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

Group

Ended

2022/03/15(Tue)

19:00
21:00

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

Registration Period
2022/02/22(Tue) 20:31 〜
2022/03/15(Tue) 21:00

Location

オンライン

オンライン

オンライン

Attendees(10)

takumi-kato

takumi-kato

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

nagaet

nagaet

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

kappa

kappa

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

yukiyama9999999999999999999999

yukiyama9999999999999999999999

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

tanaka_akr

tanaka_akr

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

SUHARA Hiromichi

SUHARA Hiromichi

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

yoshihiro503

yoshihiro503

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

fetburner

fetburner

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

nekonibox

nekonibox

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

Kazuhiko Sakaguchi

Kazuhiko Sakaguchi

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

Attendees (10)