TOP

契約勉強会

イベント内容

これはなに?

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

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

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

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

参加者
1人 /定員5人
申込先
会場
都内の何処か

注目のイベント

タグに関連するイベント

2017/12/16(土) 10:00 〜 12:00
愛知県 原
2017/11/29(水) 19:00 〜 20:10
東京都 溜池山王

コラム

イベント

【レポート】データ活用ビジネスの始め方:デジタルマーケティング[第2部] - TECH PLAY Conference 2017

2017年8月20日(日)から25日(金)の6日間にわたり、「TECH PLAY Conference 2017」が開催されました。...
240 views
イベント

【レポート】デジタルマーケティングから紐解き、マーケティングをもういちど考える:デジタルマーケティング[第1部] - TECH PLAY Conference 2017

2017年8月20日(日)から25日(金)の6日間にわたり、「TECH PLAY Conference 2017」が開催されました。...
380 views
イベント

11月(後半)に開催される注目のITイベント・勉強会まとめ

11月後半に開催される注目のITイベント・勉強会をまとめました! 気になるイベントがあれば是非ご参加...
707 views