新機能イベントの「参加者への情報」欄に Markdown をご利用いただけるようになりました。詳しくはこちらをご確認ください

Oct

5
coqtokyo 第6回Ssreflect勉強会

Organizing : yoshihiro503

Registration info	参加枠 Free Attendees 11 自由発表枠 Free FCFS 2/4

Description

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

開催場所

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

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

yoshihiro503 wrote a comment.

2021/10/05 19:04

今回もここです。 https://meet.google.com/ffg-wujr-gnd

eldesh published coqtokyo 第6回Ssreflect勉強会.

09/21/2021 21:19

coqtokyo 第6回Ssreflect勉強会 has been published!

Group

Number of events 107

Members 168

Public coqtokyo 第5回MathComp Book勉強会

Ended

2021/10/05(Tue)

19:00 〜 21:00

Google Calendar iCal

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

Registration Period
2021/09/21(Tue) 21:19 〜
2021/10/05(Tue) 21:00

Event Organizer Contact

Location

オンライン

オンライン

Organizer

Attendees（13）

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

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

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

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

チェシャ猫

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

I joined coqtokyo 第6回Ssreflect勉強会!

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

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

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

SUHARA Hiromichi

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