BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:Coq勉強会 -  #54
X-WR-CALNAME:Coq勉強会 -  #54
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:712831@techplay.jp
SUMMARY:Coq勉強会 -  #54
DTSTART;TZID=Asia/Tokyo:20190112T140000
DTEND;TZID=Asia/Tokyo:20190112T180000
DTSTAMP:20260429T160429Z
CREATED:20181221T061404Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/71283
 1?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n証明器Coqの
 解説書 Coq'Art を読む読書会だったのですが、まずは ソ
 フトウェアの基礎 を読むことになりました。しばらく
 は本を購入する必要はありません。Webで公開されてい
 る資料を使って勉強を進めます。\n基本からしっかり
 勉強する読書会にしようと思っています。「Coqって何
 ？」という方は以下のリンクが参考になるかもしれま
 せん。\n\nプログラミング Coq\nソフトウェアの基礎 1.0.2
 \nCoq Tutorial at Proof Summit 2011\n\n\n前々回、各人に練習問
 題を割り当てました。\n\n\n\nRecordsSub_J:\n\n\n\n\n\nsubtyping_
 example_1\n@kappa\n\n\nsubtyping_example_2\n@kappa\n\n\nsubtyping_example
 _3\n@eldesh\n\n\nsubtyping_example_4\n@eldesh\n\n\nrcd_types_match_inform
 al\n@khibino\n\n\nsub_inversion_arrow\n@khibino\n\n\ntyping_example_0\n@2
 015fuj\n\n\ntyping_example_1\n@2015fuj\n\n\ntyping_example_2\n@yoshihiro5
 03\n\n\ncanonical_forms_of_arrow_types\n@yoshihiro503\n\n\n\n\n\n\nRecord
 sSub_Jの型付けの練習問題:\n\n\n\n\n\nT_Funny1\n@nagae\n\n\nST_Fu
 nny21\n@nagae\n\n\nS_Funny3\n@kappa\n\n\nS_Funny4\n@eldesh\n\n\nST_Funny5
 \n@khibino\n\n\nST_Funny5 + T_Funny6\n@2015fuj\n\n\nS_Arrow'\n@yoshihiro5
 03\n\n\n\nスケジュール\n開始時間は14時です\n\n\n14:00-18:00
  ソフトウェアの基礎 の担当部分を発表\n\n\n18:30-20:00 
 懇親会(有志)\n\n\n持ち物\n\nCoq をインストールしたPC\n
 全てが型付けされた世界を泳ぐ純粋な心\n\n集合場所\n
 歌舞伎座タワー 21F セミナールーム\n21F に上るには 1F 
 または B2F からエレベーターで 7F に上って、そこから
 さらに 21F に上がるエレベーターにのってください。\n
 slack\n気軽に質問や雑談を出来るように、coqtokyo.slack.com
  を試験運用しています。\n＠tmiya_ @khibino @eldesh @yoshihiro
 503 のうちのだれかに頼んで登録してもらってください
 。( slack でアカウントとして利用するためのメールア
 ドレスをお知らせください )
LOCATION:株式会社朝日ネット セミナールーム 東京都中央
 区銀座 4-12-15 歌舞伎座タワー21階
URL:https://techplay.jp/event/712831?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR