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