BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:coqtokyo 第1回MathComp Book勉強会
X-WR-CALNAME:coqtokyo 第1回MathComp Book勉強会
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:889654@techplay.jp
SUMMARY:coqtokyo 第1回MathComp Book勉強会
DTSTART;TZID=Asia/Tokyo:20230207T190000
DTEND;TZID=Asia/Tokyo:20230207T205000
DTSTAMP:20260507T144429Z
CREATED:20230124T144209Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/88965
 4?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\nMathComp Bookを
 読みます https://math-comp.github.io/mcb/\n(DeepLでの翻訳: https:
 //drive.google.com/drive/folders/12dZMyTx0Ky4tTrCwn0lLkWGY2atL-8Ol )\nこ
 ちらのHackMDに参加者みんなでまとめを作っていきます\
 nhttps://hackmd.io/u5nWBVJwRmiVkBuzPj-vHg\n開催場所\ngoogle meetに
 よるオンライン開催です。 URLは参加者と発表者に公開
 されます。\n参加できないなど困ったときは、＠tmiya_ @
 khibino @eldesh @yoshihiro503にお問い合わせください。\nタイ
 ムテーブル\n19:00 - 20:30 MathCompBookを読む\n5分休憩\n20:35 -
  20:50 自由発表\n\n\n持ち物\nCoqを動かせるPCなどの端末\n
 参考情報\ngistのコードをjscoqで動かす coqban というもあ
 ります https://proof-ninja.github.io/coqban/?gisturl=https%3A%2F%2Fgis
 t.github.com%2Fyoshihiro503%2F7163cfa52557cc0a6be39fdf899e19f6\nSlack\n
 気軽に質問や雑談を出来るように、coqtokyo.slack.com を試
 験運用しています。 ＠tmiya_ @khibino @eldesh @yoshihiro503 の
 うちのだれかに頼んで登録してもらってください。( sl
 ack でアカウントとして利用するためのメールアドレス
 をお知らせください )
LOCATION:オンライン
URL:https://techplay.jp/event/889654?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR