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/01/15(日) 13:30 〜 15:30
愛知県 東大手
2016/12/24(土) 13:30 〜 15:30
愛知県 原

Facebookページ

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