TOP

クリップ
2014/04/26(土) 13:30 開催

契約勉強会

基本情報

日 時: 2014/04/26(土) 13:30 〜 17:30
会 場: 都内の何処か

イベント内容

これはなに?

契約プログラミングについての勉強会です。
契約の基礎であるホーク論理の論文を輪読して理解を深めます。

http://sunnyday.mit.edu/16.355/Hoare-CACM-69.pdf

順調に進むために、ある程度訳して来てください。

各章で輪読20分、議論15分を6周を予定しています。

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

タグに関連するイベント

2017/04/07(金) 19:00 〜 22:00
東京都 渋谷
2017/03/17(金) 19:30 〜 22:30
東京都 市ケ谷
2017/03/16(木) 19:00 〜 22:00
東京都 東京
2017/02/28(火) 18:30 〜 22:00
東京都 有楽町

Facebookページ

dots.で申込可能なイベント