BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:coqtokyo 第12回Ssreflect勉強会
X-WR-CALNAME:coqtokyo 第12回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:841985@techplay.jp
SUMMARY:coqtokyo 第12回Ssreflect勉強会
DTSTART;TZID=Asia/Tokyo:20211228T190000
DTEND;TZID=Asia/Tokyo:20211228T210000
DTSTAMP:20260503T021045Z
CREATED:20211214T211635Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/84198
 5?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第5回講義資料 avg_prod2 の
 証明から。\n開催場所\ngoogle meetによるオンライン開催
 です。 URLは参加者と発表者に公開されます。\n参加で
 きないなど困ったときは、＠tmiya_ @khibino @eldesh @yoshihiro
 503にお問い合わせください。\nタイムテーブル\n19:00 - 2
 0:30 ssreflectの講義資料を読む\n5分休憩\n20:35 - 21:00 自由
 発表\n\n\n持ち物\nCoqを動かせるPCなどの端末\n参考情報\
 ngistのコードをjscoqで動かす coqban というもあります htt
 ps://proof-ninja.github.io/coqban/?gisturl=https%3A%2F%2Fgist.github.com%
 2Fyoshihiro503%2F7163cfa52557cc0a6be39fdf899e19f6\nSlack\n気軽に質問
 や雑談を出来るように、coqtokyo.slack.com を試験運用して
 います。 ＠tmiya_ @khibino @eldesh @yoshihiro503 のうちのだれ
 かに頼んで登録してもらってください。( slack でアカ
 ウントとして利用するためのメールアドレスをお知ら
 せください )
LOCATION:オンライン オンライン
URL:https://techplay.jp/event/841985?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR