BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:coqtokyo 第5回Ssreflect勉強会
X-WR-CALNAME:coqtokyo 第5回Ssreflect勉強会
X-WR-TIMEZONE:Asia/Tokyo
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:832219@techplay.jp
SUMMARY:coqtokyo 第5回Ssreflect勉強会
DTSTART;TZID=Asia/Tokyo:20210921T190000
DTEND;TZID=Asia/Tokyo:20210921T210000
DTSTAMP:20260406T145916Z
CREATED:20210921T061320Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/83221
 9?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n2020年の名古
 屋大学での講義資料を読みます。 https://www.math.nagoya-u.a
 c.jp/~garrigue/lecture/2020_AW/index.html\nページ毎にその場で当
 てられた人が音読します。\n次回は第2回講義資料末尾
 の 3 等式変換による証明 から読み始めます。\n開催場
 所\nオンライン勉強会です。\n今日のMeetingの接続先URL
 は勉強会開始直前に、slack上およびconnpassのイベントメ
 ッセージにて連絡します。\n参加できないなど困った
 ときは、＠tmiya_ @khibino @eldesh @yoshihiro503にお問い合わせ
 ください。\nタイムテーブル\n\n19:00 - 20:30 ssreflectの講
 義資料を読む\n5分休憩\n20:35 - 21:00 自由発表\n\n持ち物\n
 Coqを動かせるPCなどの端末\n参考情報\ngistのコードをjsc
 oqで動かす coqban というもあります https://proof-ninja.github
 .io/coqban/?gisturl=https%3A%2F%2Fgist.github.com%2Fyoshihiro503%2F7163cf
 a52557cc0a6be39fdf899e19f6\nSlack\n気軽に質問や雑談を出来る
 ように、coqtokyo.slack.com を試験運用しています。 ＠tmiya
 _ @khibino @eldesh @yoshihiro503 のうちのだれかに頼んで登録
 してもらってください。( slack でアカウントとして利
 用するためのメールアドレスをお知らせください )
LOCATION:オンライン
URL:https://techplay.jp/event/832219?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR