coqtokyo 第1回Ssreflect勉強会 - connpass

機能改善領収データ発行機能にてインボイス制度の書式での出力に対応しました。詳しくはこちらをご覧ください。

新機能参加者によるイベント出席機能をリリースしました。今までは主催者による出席管理機能はありましたが、大規模イベント等での受付処理が大変とのフィードバックをいただいてました。今後はイベント作成時に発行される「出席コード」を会場現地や配信で共有してもらうことで、参加者自身でイベント出席登録を行うことができるようになります。これにより受付処理が容易になりますので、イベント主催者の皆様はぜひご活用ください。詳しくはこちらのニュースや特集ページをご確認ください。

Jul

20
coqtokyo 第1回Ssreflect勉強会

Registration info	参加枠1 Free Attendees 19

Description

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

開催場所

オンライン勉強会です。Google meetを使っています。

ミーティングへのリンクは以下のとおりです。

https://meet.google.com/ffg-wujr-gnd

参加できないなど困ったときは、＠tmiya_ @khibino @eldesh @yoshihiro503にお問い合わせください。

持ち物

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/07/20 15:50

ミーティング参加のリンクを載せました。

yoshihiro503 published coqtokyo 第1回Ssreflect勉強会.

07/14/2021 21:05

coqtokyo Ssreflect勉強会を公開しました！

Group

Number of events 119

Members 168

Public coqtokyo 第17回MathComp Book勉強会

Ended

2021/07/20(Tue)

19:00 〜 19:30

Google Calendar iCal

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

Registration Period
2021/07/14(Wed) 21:05 〜
2021/07/20(Tue) 19:30

Event Organizer Contact

Location

オンライン

オンライン

Organizer

yoshihiro503

Attendees（19）

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

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

I joined coqtokyo 第1回Ssreflect勉強会!

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

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

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

I joined coqtokyo 第1回Ssreflect勉強会!

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

I joined coqtokyo 第1回Ssreflect勉強会!

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

Canceled (2)