BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:2022.6 実践TLA+もくもく会
X-WR-CALNAME:2022.6 実践TLA+もくもく会
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:860428@techplay.jp
SUMMARY:2022.6 実践TLA+もくもく会
DTSTART;TZID=Asia/Tokyo:20220702T130000
DTEND;TZID=Asia/Tokyo:20220702T160000
DTSTAMP:20260421T140336Z
CREATED:20220528T143719Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/86042
 8?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n実践TLA+に関
 する活動をするためのタイムボックスです。\n\n読む\n
 分からないところを調べる\n実行環境を整備する\n実行
 してみる\n\nスケジュール\n特にスケジュールはありま
 せん。\n\nサーバーログイン時に今日やることを共有し
 ましょう（任意）\n終了時刻になったら（残ってたら
 ）、今日やったことや達成したことを共有しましょう
 （任意）\n\n参加登録すると、イベントページに Discord 
 サーバーの招待リンクが表示されるので、アクセスし
 てください。\nおすすめ\n\nEclipse に抵抗のない人：書
 籍でも使い方を説明している TLA+ Toolbox（Eclipse ベース
 の IDE） を使用する\nEclipse に抵抗のある人：Visual Studio
  Code の拡張機能 TLA+ を使用する\ntlaplus/Examples でいろい
 ろなアルゴリズムの実装例を読んでみる\ndevcontainers の
 設定ファイルが入ってるので Visual Studio Code が推奨\n\n\
 n
LOCATION:オンライン
URL:https://techplay.jp/event/860428?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR