新機能技術カンファレンスをより見つけやすく、参加しやすくするための新機能「カンファレンス特集ページ」をリリースしました。「技術」や「テーマ」などのトピック別に探せるほか、直近開催予定のカンファレンスが一覧で確認できますのでご活用ください。詳しい機能説明や掲載方法についてはこちらをご確認ください。

4月

11

coqtokyo 第5回MathComp Book勉強会

主催 : yoshihiro503

募集内容	参加枠無料参加者数 9人自由発表枠無料先着順 0/2人
申込者	申込者一覧を見る
開催日時	2023/04/11(火) 19:00 ～ 20:50 Googleカレンダー icsファイル
募集期間	2023/03/28(火) 21:04 〜 2023/04/11(火) 20:50まで
会場	オンライン
参加者への情報	(参加者と発表者のみに公開されます)

イベントの説明

1.3.2 Recursion for sequences から p.30

概要

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%2Fsiteproxy.ruqli.workers.dev%3A443%2Fhttps%2Fgist.github.com%2Fyoshihiro503%2F7163cfa52557cc0a6be39fdf899e19f6

Slack

気軽に質問や雑談を出来るように、coqtokyo.slack.com を試験運用しています。＠tmiya_ @khibino @eldesh @yoshihiro503 のうちのだれかに頼んで登録してもらってください。( slack でアカウントとして利用するためのメールアドレスをお知らせください )