BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:第67回 ProofCafe
X-WR-CALNAME:第67回 ProofCafe
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:629114@techplay.jp
SUMMARY:第67回 ProofCafe
DTSTART;TZID=Asia/Tokyo:20170819T143000
DTEND;TZID=Asia/Tokyo:20170819T173000
DTSTAMP:20260423T223225Z
CREATED:20170730T000440Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/62911
 4?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n"A Gentle Introd
 uction to Type Classes and Relations in Coq"  の第一回目です。\n
 予習には、以下を参考に、サンプルコードを読んでお
 いてください。\n準備していなくても、当日、インス
 トールから説明します。\nhttps://github.com/suharahiromichi/doc
 /blob/master/coq_gitcrc.md\nまた、上記を補足するCoqの入門的
 な資料も用意しますので、安心してください。\n以上
LOCATION:名古屋大学 多元数理科学棟　455教室 名古屋市千
 種区不老町
URL:https://techplay.jp/event/629114?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR