TOP

契約勉強会

イベント内容

これはなに?

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

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

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

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

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

注目のイベント

コラム

イベント

地域経済の活性化にもハッカー精神を。仙台がIT都市に変わる3つの兆し

近年日本では、IT産業を活性化させることで雇用を創出し、地域経済の活性化につなげようとしている地方自治...
304 views
イベント

エンタープライズシステム開発に「エコシステム」を導入した事例秘話 - Accenture Meetup -

2017年11月10日(金)19時30分より、「エンジニア向け/デジタル・エコシステムをつくり出す技術勉強会 - 大...
139 views
イベント

デジタルトランスフォーメーション時代の最新データベース技術勉強会 - DB進化論 -

2017年12月21日(木)19時10分より、「【エンジニア向け勉強会】デジタルトランスフォーメーション時代の最...
488 views