BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:『Coq/SSReflect/MathCompによる定理証明』読書会(7)
X-WR-CALNAME:『Coq/SSReflect/MathCompによる定理証明』読書会(7)
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:738993@techplay.jp
SUMMARY:『Coq/SSReflect/MathCompによる定理証明』読書会(7)
DTSTART;TZID=Asia/Tokyo:20190711T200000
DTEND;TZID=Asia/Tokyo:20190711T220000
DTSTAMP:20260510T010222Z
CREATED:20190628T011213Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/73899
 3?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n主に数学的
 な側面から定理証明支援系を勉強します。\nお気軽に
 ご参加ください。\n【注】\n一読者が私的に開催する会
 です。\n著者へのお問い合わせはご遠慮願います。\nま
 た、主催者は定理証明支援系の専門家ではありません
 。\nあまり凄いことは期待しないでください。\nテキス
 ト\n\nCoq/SSReflect/MathCompによる定理証明\n\n参加費\n有料
 の会議室を借りるため、参加費にて分担をお願いしま
 す。\n進め方\n本文を読みながら、出て来たトピックス
 について議論します。\n事前にスライド等は用意しま
 せん。\n開催履歴\n隔週木曜日開催です。\n※ 事情によ
 り前後することがあります。\n\n\n\n回\n日\nページ\n章\n
 タイトル\n\n\n\n\n今回\n2019.07.11\n44\n2.4.1\n自然数の形式
 化（途中）\n\n\n6\n2019.06.27\n38\n2.3.2\n別証明その1\n\n\n5\n2
 019.06.13\n35\n2.3.1\nヒルベルトの公理S\n\n\n4\n2019.05.30\n27\n2
 .2\nモーダスポネンスの形式化\n\n\n3\n2019.05.16\n12\n1.2.2\n
 カリー-ハワード同型対応の例（途中）\n\n\n2\n2019.04.18\n
 9\n1.2.1\n（補足の次）\n\n\n1\n2019.04.04\ni\n\nまえがき\n\n\n
LOCATION:MS&BB 池袋西武横店 4号室 東京都豊島区南池袋1-16-2
 0 (ぬかりやビル2階)
URL:https://techplay.jp/event/738993?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR