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

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

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

Mar

28

coqtokyo 第4回MathComp Book勉強会

Organizing : yoshihiro503

Registration info

参加枠

Free

Attendees
11

自由発表枠

Free

FCFS
0/2

Attendees
ITO Kensei
KanSAKAMOTO
takumi-kato
damastein
中村良幸 @nakayoshix
s-taiga
nickname123
tanaka_akr
yoshihiro503
SUHARA Hiromichi
View Attendee List
Start Date
2023/03/28(Tue) 19:00 ~ 20:50
Registration Period

2023/03/14(Tue) 21:46 〜
2023/03/28(Tue) 20:50まで

Location

オンライン

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

Description

1.2.3 (p25)の「再帰的な関数をかくとき、…」「With this way of writing recursive function, …」から

概要

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

03/14/2023 21:46

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

Group

Ended

2023/03/28(Tue)

19:00
20:50

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

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

Location

オンライン

オンライン

Attendees(11)

ITO Kensei

ITO Kensei

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

KanSAKAMOTO

KanSAKAMOTO

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

takumi-kato

takumi-kato

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

damastein

damastein

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

中村良幸 @nakayoshix

中村良幸 @nakayoshix

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

s-taiga

s-taiga

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

nickname123

nickname123

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

tanaka_akr

tanaka_akr

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

yoshihiro503

yoshihiro503

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

SUHARA Hiromichi

SUHARA Hiromichi

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

Attendees (11)

Canceled (1)