分散システム、本当に「正しく」開発できますか？ #JTF2018 / July Tech Festa 2018

2018/07/29 169 users 分散システム July Tech Festa 2018

July Tech Festa 2018 で使用したスライドです。二相コミットを例として、分散アルゴリズムの検証にモデル検査を使用する解説しています。また、代表的なモデル検査ツールである SPIN、TLA+、P について、同じシステムを各ツールで記述してみることでその特定の違いについて学びます。 イベント概要：https://2018.techf... 続きを読む

強いインフラが組織を創る / #jtf2018 - Speaker Deck

2018/07/29 197 users Speaker Deck microservices 組織

これまで目指していた「変化に強いインフラ」の話から、Microservices における課題、インフラチームが目指しものの変化、それをどう解決していくか？という話をしました July Tech Festa 2018 at 産業技術大学院大学(公立大学法人 首都大学東京) 続きを読む