BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:Coq勉強会 -  #49
X-WR-CALNAME:Coq勉強会 -  #49
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:674166@techplay.jp
SUMMARY:Coq勉強会 -  #49
DTSTART;TZID=Asia/Tokyo:20180610T140000
DTEND;TZID=Asia/Tokyo:20180610T180000
DTSTAMP:20260405T094621Z
CREATED:20180515T100412Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/67416
 6?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\n\n14:00-18:00 ソフトウェアの
 基礎 の担当部分を発表\n\nRecords>型付けの性質から読み
 ます\n\n\n\n18:30-20:00 懇親会(有志)\n\n\n持ち物\n\nCoq をイ
 ンストールしたPC\n全てが型付けされた世界を泳ぐ純粋
 な心\n\n集合場所\n歌舞伎座タワー 21F セミナールーム\n
 21F に上るには 1F または B2F からエレベーターで 7F に
 上って、そこからさらに 21F に上がるエレベーターに
 のってください。\nslack\n気軽に質問や雑談を出来るよ
 うに、coqtokyo.slack.com を試験運用しています。\n＠tmiya_ 
 @khibino @eldesh @yoshihiro503 のうちのだれかに頼んで登録し
 てもらってください。( slack でアカウントとして利用
 するためのメールアドレスをお知らせください )
LOCATION:株式会社朝日ネット セミナールーム 東京都中央
 区銀座 4-12-15 歌舞伎座タワー21階
URL:https://techplay.jp/event/674166?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR