イベントの説明
前回までソフトウェアの基礎というテキストを読んでいましたが、読み終わりました。 今回からはジャック・ガリグ先生のCoq講義メモを読んでいくことになりました。 勉強会参加にあたっては nagaetさんのリポジトリ をクローンしておくとよいかもしれません。
基本からしっかり勉強する読書会にしようと思っています。「Coqって何?」という方は以下のリンクが参考になるかもしれません。
スケジュール
開始時間は14時です
-
14:00-18:00 ソフトウェアの基礎 の担当部分を発表
-
18:30-20:00 懇親会(有志)
持ち物
- Coq をインストールしたPC
- 全てが型付けされた世界を泳ぐ純粋な心
集合場所
歌舞伎座タワー 21F セミナールーム
21F に上るには 1F または B2F からエレベーターで 7F に上って、そこからさらに 21F に上がるエレベーターにのってください。
slack
気軽に質問や雑談を出来るように、coqtokyo.slack.com を試験運用しています。 @tmiya_ @khibino @eldesh @yoshihiro503 のうちのだれかに頼んで登録してもらってください。( slack でアカウントとして利用するためのメールアドレスをお知らせください )
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。