イベントの説明
証明器Coqの解説書 Coq'Art を読む読書会だったのですが、まずは ソフトウェアの基礎 を読むことになりました。しばらくは本を購入する必要はありません。Webで公開されている資料を使って勉強を進めます。
基本からしっかり勉強する読書会にしようと思っています。「Coqって何?」という方は以下のリンクが参考になるかもしれません。
前々々回、各人に練習問題を割り当てました。
RecordsSub_Jの型付けの練習問題: | |
---|---|
T_Funny1 | @nagae |
ST_Funny21 | @nagae |
S_Funny3 | @kappa |
S_Funny4 | @eldesh |
ST_Funny5 | @khibino |
ST_Funny5 + T_Funny6 | @2015fuj |
S_Arrow' | @yoshihiro503 |
スケジュール
開始時間は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件が表示されます。