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/05/26(金) 19:00 〜 19:55
東京都 末広町
2017/06/24(土) 13:00 〜 17:00
島根県 松江
2017/06/17(土) 09:00 〜 19:00
東京都 中野新橋
2017/06/26(月) 09:30 〜 06/27(火) 17:30
東京都 新宿西口

Facebookページ

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