TOP

クリップ
2016/12/03(土) 14:00 開催
東京都 新富町

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

基本情報

日 時 2016/12/03(土) 14:00 〜 18:00
会 場 株式会社朝日ネット 会議室
住 所 東京都中央区銀座 4-12-15 歌舞伎座タワー21階
定員数 申込 4人
申込先 connpass

イベント内容

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

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

Types_J: 型システム
* さらに自動化 @YasuakiKudo
* 型付きの算術式
** 構文 -- @eldesh
** 追加演習 @nagaet
Stlc_J: 型システム
* 単純型付きラムダ計算 @khibino
* 練習問題: 算術を持つSTLC @eldesh
MoreStlc_J:
* 数値 @kappa
** STLCの単純な拡張
** 拡張を形式化する
* let 束縛 @khibino
** STLCの単純な拡張
** 拡張を形式化する
* 対 @nagae
** STLCの単純な拡張
** 拡張を形式化する
* 直和 @eldesh
** STLCの単純な拡張
** 拡張を形式化する
* リスト @nagae
** STLCの単純な拡張
** 拡張を形式化する
* 一般再帰 @eldesh
** STLCの単純な拡張
** 拡張を形式化する
* レコードとバリアント @khibino
* STLCの単純な拡張
* 拡張を形式化する

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

スケジュール

開始時間は14時です

持ち物

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

集合場所

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

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

slack

気軽に質問や雑談を出来るように、coqtokyo.slack.com を試験運用しています。 @khibino さんに頼んで登録してもらってください。

  • Twitterでシェア
  • 0
    Facebookでシェア
  • 0
    Google+でシェア
  • 0
    はてなブックマークに追加

タグに関連するイベント

2017/10/22(日) 13:30 〜 16:00
東京都 勝どき
2017/10/19(木) 19:00 〜 21:00
東京都 東京
2017/10/23(月) 20:00 〜 22:00
東京都 高円寺

コラム

イベント New

第7回ITACHIBA会議「10年後を生き抜くため営業のキャリアを考える」

■第7回ITACHIBA会議 「10年後を生き抜くための営業のキャリアを考える」 第7回ITACHIBA会議では「10...
30 views
インタビュー New

【インタビュー】数々のモバイルゲームを開発する大手企業にはどんなエンジニアがマッチする? 異なる立場で働く現役エンジニアに尋ねる!

KLab株式会社は、数々のヒットタイトルを連発するモバイルゲーム開発企業である。 2000年の創業以来、様...
67 views
ノウハウ

東京で活躍する14のコミュニティが結集!「DevFest Tokyo 2017」スライドまとめ

Android, VR, AR, Go, Web, Cloud, Firebase, 機械学習, TensorFlowをテーマに、東京で活躍する14のテック...
474 views

Facebookページ

TECH PLAYで申込可能なイベント