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