TOP

契約勉強会

イベント内容

これはなに?

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

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

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

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

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

注目のイベント

タグに関連するイベント

2018/06/05(火) 19:00 〜 21:00
東京都
2018/06/21(木) 19:30 〜 22:30
東京都

コラム

イベント

最先端ディープランニング活用事例大集合! - Deep Learningオールスターズ2017 -

2017年6月25日13時より「Deep Learningオールスターズ2017」が開催されました。 本イベントは様々な領域...
824 views
イベント

「SREは事業の成長を支える鍵に」ランサーズの多角化を後押しした施策まとめ

あのGoogleが最初に提唱した、Webサイトの安定性と信頼性を高めるインフラ構築の新手法ーー。そんな説明は...
334 views
インタビュー

Interview with event participants

Here at Tokyo Tech Startups event, early-stage startups are able to present their business ideas, se...
122 views