BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:条件変数のモデル化と分析の例
X-WR-CALNAME:条件変数のモデル化と分析の例
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:817611@techplay.jp
SUMMARY:条件変数のモデル化と分析の例
DTSTART;TZID=Asia/Tokyo:20210512T200000
DTEND;TZID=Asia/Tokyo:20210512T210000
DTSTAMP:20260413T161725Z
CREATED:20210512T061210Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/81761
 1?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n設計を支援
 してくれるツール SyncStitch を使って条件変数をモデル
 化し，生産者・消費者問題を分析した例を紹介します
 ．\nツールの詳細は省き，全体としてどんなことがで
 きるのかということを説明したいと思います．\n申し
 込み締め切り後に Zoom meeting の URL を connpass のメッセ
 ージにてお知らせします．\n※ 昨日（2021年5月11日）に
 行った「並行システムの設計と検証ツアー」と同内容
 です．内容により即したタイトルに替えました．
LOCATION:Zoom オンライン
URL:https://techplay.jp/event/817611?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR