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

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

8月

31
coqtokyo 第4回Ssreflect勉強会

募集内容	参加枠無料参加者数 6人自由発表枠無料先着順 1/4人
申込者	申込者一覧を見る
開催日時	2021/08/31(火) 19:00 ～ 21:00 Googleカレンダー icsファイル
募集期間	2021/08/17(火) 22:36 〜 2021/08/31(火) 21:00まで
会場	オンライン

イベントの説明

2020年の名古屋大学での講義資料を読みます。 https://www.math.nagoya-u.ac.jp/~garrigue/lecture/2020_AW/index.html ページ毎にその場で当てられた人が音読します。次回は第2回講義資料末尾の 3 等式変換による証明 から読み始めます。

開催場所

オンライン勉強会です。今日のMeetingの接続先URLは勉強会開始直前に、slack上およびconnpassのイベントメッセージにて連絡します。

参加できないなど困ったときは、＠tmiya_ @khibino @eldesh @yoshihiro503にお問い合わせください。

タイムテーブル

19:00 - 20:30 ssreflectの講義資料を読む
5分休憩
20:35 - 21:00 自由発表

持ち物

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