BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:第73回 ProofCafe
X-WR-CALNAME:第73回 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:655300@techplay.jp
SUMMARY:第73回 ProofCafe
DTSTART;TZID=Asia/Tokyo:20180217T143000
DTEND;TZID=Asia/Tokyo:20180217T173000
DTSTAMP:20260512T215102Z
CREATED:20180120T101336Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/65530
 0?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\nThe Software Fou
 ndations \nVOLUME 2: PROGRAMMING LANGUAGE FOUNDATIONS\nSMALL-STEP OPERATI
 ONAL SEMANTICS の Relations からです。\nhttps://softwarefoundations
 .cis.upenn.edu/plf-current/Smallstep.html#lab134\n前回（初回）の
 復習から始めます。\n可能ならば Coq 8.7 をインストー
 ルしたうえで、以下よりサンプルコードを入手してお
 いてください。\nhttps://softwarefoundations.cis.upenn.edu/plf-curr
 ent/index.html\nインストール方法などについての質問も常
 に歓迎です。\n以上
LOCATION:名古屋大学 多元数理科学棟　307教室 名古屋市千
 種区不老町
URL:https://techplay.jp/event/655300?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR