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

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

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

May

16

coqtokyo 第7回MathComp Book勉強会

Organizing : yoshihiro503

Registration info

参加枠

Free

Attendees
11

自由発表枠

Free

FCFS
1/2

Attendees
takumi-kato
yoshihiro503
ITO Kensei
KanSAKAMOTO
えび
yukiya999999999999999999999999
kappa
ssmi
nickname123
tanaka_akr
View Attendee List
Start Date
2023/05/16(Tue) 19:00 ~ 20:50
Registration Period

2023/04/25(Tue) 21:07 〜
2023/05/16(Tue) 20:50まで

Location

オンライン

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

Description

  1. First steps in formal proofs から

概要

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

04/25/2023 21:21

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

Group

Ended

2023/05/16(Tue)

19:00
20:50

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

Registration Period
2023/04/25(Tue) 21:07 〜
2023/05/16(Tue) 20:50

Location

オンライン

オンライン

Attendees(12)

takumi-kato

takumi-kato

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

yoshihiro503

yoshihiro503

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

ITO Kensei

ITO Kensei

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

KanSAKAMOTO

KanSAKAMOTO

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

えび

えび

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

yukiya999999999999999999999999

yukiya999999999999999999999999

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

kappa

kappa

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

ssmi

ssmi

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

nickname123

nickname123

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

tanaka_akr

tanaka_akr

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

Attendees (12)