9月
3
coqtokyo 第39回MathComp Book勉強会
主催 : yoshihiro503
広告
| 募集内容 |
参加枠 無料
参加者数
自由発表枠 無料
先着順
|
|---|---|
| 申込者 |
|
| 開催日時 |
2024/09/03(火) 19:00 ～ 20:50
|
| 募集期間 |
2024/08/20(火) 20:46
〜 |
| 会場 |
オンライン |
| 参加者への情報 |
(参加者と発表者のみに公開されます)
|
| 出席登録 |
(イベント開始時間の2時間前から終了時間まで、参加者のみに公開されます)
|
イベントの説明
7.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 でアカウントとして利用するためのメールアドレスをお知らせください )
資料 資料をもっと見る／編集する
資料が投稿されると、最新の3件が表示されます。
広告
フィード
2024/08/20 20:46
coqtokyo 第39回MathComp Book勉強会 を公開しました！