TOP

SF読み進捗ダメです会議 - Coq勉強会 #30

イベント内容

証明器Coqの解説書 Coq'Art を読む読書会だったのですが、まずは ソフトウェアの基礎 を読むことになりました。しばらくは本を購入する必要はありません。Webで公開されている資料を使って勉強を進めます。

主催者は証明器についてまったくの素人なので、基本からしっかり勉強する読書会にしようと思っています。「Coqって何?」という方は以下のリンクが参考になるかもしれません。

Types_J: 型システム
* さらに自動化 @YasuakiKudo
* 型付きの算術式
** 構文 -- @eldesh
** 追加演習 @nagaet
Stlc_J: 型システム
* 単純型付きラムダ計算 @khibino
* 練習問題: 算術を持つSTLC @eldesh

読む順番は 章の依存関係の中心的な章 の矢印を追い掛けます。

スケジュール

開始時間は14時です

持ち物

  • Coq をインストールしたノートPC (ハンズオンを行なうので必ず持ってきてください!) [https://github.com/sfja/sfja] を自分のノートPCにgit cloneしておいてください
  • 全てが型付けされた世界を泳ぐ純粋な心

集合場所

歌舞伎座タワー 21F セミナールーム

21F に上るには 1F または B2F からエレベーターで 7F に上って、そこからさらに 21F に上がるエレベーターにのってください。

参加者
7人
申込先
会場
株式会社朝日ネット 会議室
東京都中央区銀座 4-12-15 歌舞伎座タワー21階

注目のイベント

タグに関連するイベント

2018/04/22(日) 13:30 〜 16:30
2018/04/25(水) 20:00 〜 22:00
東京都
2018/04/25(水) 19:15 〜 21:00
神奈川県
2018/04/28(土) 13:00 〜 18:00
東京都 高円寺

コラム

イベント New

インメモリデータベースの今後。新領域への適用可能性 - デジタルトランスフォーメーション時代の最新データベース技術勉強会 -

2018年3月6日(火)19時10分より、「【エンジニア向け勉強会】デジタルトランスフォーメーション時代の最新...
85 views
インタビュー

【eiicon×サムライインキュベート】事業創出支援「Open Innovation BootCamp Program」スタート!

ここ数年で、オープンイノベーションに対する企業の関心は急速に高まっている。しかしながら、「どうしたら...
100 views
イベント

4月(後半)に開催する注目のITイベント・勉強会まとめ 28選

4月後半に開催される注目のITイベント・勉強会をまとめました! 気になるイベントがあれば是非ご参加くだ...
1,446 views