TOP

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

契約勉強会

基本情報

日 時: 2014/04/26(土) 13:30 〜 17:30
会 場: 都内の何処か
定員数: 申込 1人/定員 5人
申込先: ATND

イベント内容

これはなに?

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

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

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

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

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

タグに関連するイベント

2017/08/09(水) 14:30 〜 18:00
東京都 四ツ谷
2017/08/21(月) 23:49 〜 08/24(木) 23:49
岐阜県 下呂
2017/07/28(金) 21:00 〜 22:00
東京都 小川町

Facebookページ

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