JTF2018 - Speaker Deck

2018/07/29 11 users Speaker Deck

開発環境をクラウドへ! 〜Macに別れを告げて、クラウド中心の開発生活を始めるまで〜 ※ 2018年7月29日開催の July Tech Festa で話す内容です。 https://2018.techfesta.jp/speakers#E40 続きを読む

Jtf2018 自律的運用に向けた第一歩

2018/07/29 23 users 運用 池田 TIS株式会社 運用現場 状態

Jtf2018 自律的運用に向けた第一歩 1. 自律的運用に向けた第一歩 〜運用現場にあふれる情報をデータ化し 機械的に学習できる状態に〜 TIS株式会社 インダストリー事業統括本部 IT基盤技術本部 IT基盤エンジニアリング第 1部 池田　大輔 July Tech Festa 2018 [29 July 2018] 2. 自己紹介 TIS株式会社 IT基盤エンジニアリ... 続きを読む

分散システム、本当に「正しく」開発できますか？ #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 産業技術大学院大学(公立大学法人 首都大学東京) 続きを読む