BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:Coq勉強会 - (SF読み進捗ダメです会議) -  #37
X-WR-CALNAME:Coq勉強会 - (SF読み進捗ダメです会議) -  #37
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:613639@techplay.jp
SUMMARY:Coq勉強会 - (SF読み進捗ダメです会議) -  #37
DTSTART;TZID=Asia/Tokyo:20170305T140000
DTEND;TZID=Asia/Tokyo:20170305T180000
DTSTAMP:20260406T003604Z
CREATED:20170212T120013Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/61363
 9?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\nStlc_J: 型システム\n\n\n\n\n\
 n* 単純型付きラムダ計算\n@khibino\n\n\n* 練習問題: 算術
 を持つSTLC\n@eldesh\n\n\n\n\n\n\nMoreStlc_J:\n\n\n\n\n\n* 数値\n@kap
 pa\n\n\n** STLCの単純な拡張\n\n\n\n** 拡張を形式化する\n\n\
 n\n* let 束縛\n@khibino\n\n\n** STLCの単純な拡張\n\n\n\n** 拡張
 を形式化する\n\n\n\n* 対\n@nagae\n\n\n** STLCの単純な拡張\n\
 n\n\n** 拡張を形式化する\n\n\n\n* 直和\n@eldesh\n\n\n** STLCの
 単純な拡張\n\n\n\n** 拡張を形式化する\n\n\n\n* リスト\n@n
 agae\n\n\n** STLCの単純な拡張\n\n\n\n** 拡張を形式化する\n\
 n\n\n* 一般再帰\n@eldesh\n\n\n** STLCの単純な拡張\n\n\n\n** 拡
 張を形式化する\n\n\n\n* レコードとバリアント\n@khibino\n
 \n\n** STLCの単純な拡張\n\n\n\n** 拡張を形式化する\n\n\n\n\
 n\n\n\nRecords_J:\n\n\n\n\n\n\n@nagaet\n\n\n\n\n\n\nReferences_J:\n\n\n\n
 \n\n定義 〜 性質\n@kappa\n\n\n参照と非停止性\n@eldesh\n\n\n
 さらなる練習問題\n( @khibino )\n\n\n\n読む順番は 章の依
 存関係の中心的な章 の矢印を追い掛けます。\nスケジ
 ュール\n開始時間は14時です\n\n14:00-18:00 ソフトウェア
 の基礎 の担当部分を発表(Stlc_J: 単純型付きラムダ計算
  から始めます) or 各自証明\n前回のCoq入門講座の続き(h
 ttp://www.math.nagoya-u.ac.jp/~garrigue/lecture/2015_AW/index.html の第
 ３回から)もやりたい\n\n\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@khibino さんに頼んで登録し
 てもらってください。( slack でアカウントとして利用
 するためのメールアドレスをお知らせください )
LOCATION:株式会社朝日ネット 会議室 東京都中央区銀座 4-1
 2-15 歌舞伎座タワー21階
URL:https://techplay.jp/event/613639?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR