お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

5月

30
coqtokyo 第8回MathComp Book勉強会

主催 : yoshihiro503

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

イベントの説明

2.2 形式的な証明 (P.45) から

概要

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 でアカウントとして利用するためのメールアドレスをお知らせください )