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

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

Mar

14

coqtokyo 第3回MathComp Book勉強会

Organizing : yoshihiro503

Registration info

参加枠

Free

Attendees
13

自由発表枠

Free

FCFS
0/2

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

Description

1.1.4から

概要

MathComp Bookを読みます https://math-comp.github.io/mcb/

(DeepLでの翻訳: https://drive.google.com/drive/folders/12dZMyTx0Ky4tTrCwn0lLkWGY2atL-8Ol )

こちらのHackMDに参加者みんなでまとめを作っていきます https://hackmd.io/u5nWBVJwRmiVkBuzPj-vHg

開催場所

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

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

タイムテーブル

19:00 - 20:30 MathCompBookを読む
5分休憩
20:35 - 20:50 自由発表

持ち物

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 第3回MathComp Book勉強会.

02/21/2023 21:42

(コピー)coqtokyo 第2回MathComp Book勉強会 を公開しました!

Group

Ended

2023/03/14(Tue)

19:00
20:50

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

Registration Period
2023/02/21(Tue) 21:03 〜
2023/03/14(Tue) 20:50

Location

オンライン

オンライン

Attendees(13)

えび

えび

coqtokyo 第3回MathComp Book勉強会 に参加を申し込みました!

Kenseilto

Kenseilto

coqtokyo 第3回MathComp Book勉強会 に参加を申し込みました!

線形代数10級

線形代数10級

coqtokyo 第3回MathComp Book勉強会 に参加を申し込みました!

takumi-kato

takumi-kato

coqtokyo 第3回MathComp Book勉強会 に参加を申し込みました!

kappa

kappa

coqtokyo 第3回MathComp Book勉強会 に参加を申し込みました!

munescafe

munescafe

coqtokyo 第3回MathComp Book勉強会 に参加を申し込みました!

aym9461

aym9461

coqtokyo 第3回MathComp Book勉強会 に参加を申し込みました!

yoshihiro503

yoshihiro503

coqtokyo 第3回MathComp Book勉強会 に参加を申し込みました!

nickname123

nickname123

coqtokyo 第3回MathComp Book勉強会 に参加を申し込みました!

KanSAKAMOTO

KanSAKAMOTO

coqtokyo 第3回MathComp Book勉強会 に参加を申し込みました!

Attendees (13)

Canceled (1)