お知らせ 2024年9月1日よりconnpassサービスサイトへのスクレイピングを禁止とし、利用規約に禁止事項として明記します。
9月1日以降のconnpassの情報取得につきましては イベントサーチAPI の利用をご検討ください。

お知らせ connpassではさらなる価値のあるデータを提供するため、イベントサーチAPIの提供方法の見直しを決定しました。2024年5月23日(木)より 「企業・法人」「コミュニティ及び個人」向けの2プランを提供開始いたします。ご利用にあたっては利用申請及び審査がございます。詳細はヘルプページをご確認ください。

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

Jun

25

coqtokyo 第34回MathComp Book勉強会

Organizing : yoshihiro503

Registration info

参加枠

Free

Attendees
3

自由発表枠

Free

FCFS
0/2

Attendees
takumi-kato
KanSAKAMOTO
yukiyama99999999999999999913
View Attendee List
Start Date
2024/06/25(Tue) 19:00 ~ 20:50
Registration Period

2024/06/11(Tue) 21:10 〜
2024/06/25(Tue) 20:50まで

Location

オンライン

参加者への情報
(参加者と発表者のみに公開されます)
出席登録
(イベント開始時間の2時間前から終了時間まで、参加者のみに公開されます)

Description

6.9 Working with overloaded notations から

概要

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

06/11/2024 21:10

coqtokyo 第34回MathComp Book勉強会 を公開しました!

Group

coqtokyo

Number of events 136

Members 168

Public

2024/06/25(Tue)

19:00
20:50

Please login to register

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

Registration Period
2024/06/11(Tue) 21:10 〜
2024/06/25(Tue) 20:50

Location

オンライン

オンライン

Attendees(3)

takumi-kato

takumi-kato

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

KanSAKAMOTO

KanSAKAMOTO

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

yukiyama99999999999999999913

yukiyama99999999999999999913

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

Attendees (3)