BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:Coq勉強会 -  #48
X-WR-CALNAME:Coq勉強会 -  #48
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:666335@techplay.jp
SUMMARY:Coq勉強会 -  #48
DTSTART;TZID=Asia/Tokyo:20180506T140000
DTEND;TZID=Asia/Tokyo:20180506T180000
DTSTAMP:20260407T214551Z
CREATED:20180330T101636Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/66633
 5?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\nMoreStlc_J の「レコードと
 バリアント(Optional)」が積み残し。\nレコードは Records_J
  でやるようなので、\nバリアントができたら発表しま
 す。( @khibino )\n\n\n\nReferences_J:\n\n\n\n\n\n定義 〜 性質\n@ka
 ppa\n\n\n参照と非停止性\n@eldesh\n\n\nさらなる練習問題\n( 
 @khibino )\n\n\n\n\n\n\nSubtyping_J:\n\n\n\n\n\n概念\n@lion\n\n\n中核
 部の定義\n@lion\n\n\nサブタイプ\n@lion\n\n\n型付け\n@yoshihir
 o503\n\n\n性質\n@yoshihiro503\n\n\n練習問題\n@yoshihiro503\n\n\n\n\
 n\n\nRecords_J:\n\n\n\n\n\n\n@nagaet\n\n\n\n読む順番は 章の依存
 関係の中心的な章 の矢印を追い掛けます。\nスケジュ
 ール\n開始時間は14時です\n\n14:00-18:00 ソフトウェアの
 基礎 の担当部分を発表\n18:30-20:00 懇親会(有志)\n\n持ち
 物\n\nCoq をインストールしたノートPC (ハンズオンを行
 なうので必ず持ってきてください！)\n[https://github.com/sf
 ja/sfja] を自分のノートPCにgit cloneしておいてください\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/666335?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR