ATND アテンド β PRODUCED BY RECRUIT

ログイン or 無料登録

契約勉強会

僕と契約して(ry

日時 :
2014/04/26 (土) 13:30 ~ 17:30
定員 :
5人
会場 :
都内の何処か
主催者 :
住所が入力されていません

これはなに?

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

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

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

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

  • このコメントは全員が閲覧、すべてのログインユーザーが投稿することができます

コメントを投稿するには、ログインしてください。

掲載されるイベント情報は、利用者の皆様によりご提供いただくものであり、株式会社リクルートは本情報の正確性や内容について、一切保証するものではございません。詳しくは利用規約をご参照ください。