タグ jtf2018
人気順 10 users 50 users 100 users 500 users 1000 usersJTF2018 - Speaker Deck
開発環境をクラウドへ! 〜Macに別れを告げて、クラウド中心の開発生活を始めるまで〜 ※ 2018年7月29日開催の July Tech Festa で話す内容です。 https://2018.techfesta.jp/speakers#E40 続きを読む
Jtf2018 自律的運用に向けた第一歩
Jtf2018 自律的運用に向けた第一歩 1. 自律的運用に向けた第一歩 〜運用現場にあふれる情報をデータ化し 機械的に学習できる状態に〜 TIS株式会社 インダストリー事業統括本部 IT基盤技術本部 IT基盤エンジニアリング第 1部 池田 大輔 July Tech Festa 2018 [29 July 2018] 2. 自己紹介 TIS株式会社 IT基盤エンジニアリ... 続きを読む
分散システム、本当に「正しく」開発できますか? #JTF2018 / July Tech Festa 2018
July Tech Festa 2018 で使用したスライドです。二相コミットを例として、分散アルゴリズムの検証にモデル検査を使用する解説しています。また、代表的なモデル検査ツールである SPIN、TLA+、P について、同じシステムを各ツールで記述してみることでその特定の違いについて学びます。 イベント概要:https://2018.techf... 続きを読む
強いインフラが組織を創る / #jtf2018 - Speaker Deck
これまで目指していた「変化に強いインフラ」の話から、Microservices における課題、インフラチームが目指しものの変化、それをどう解決していくか?という話をしました July Tech Festa 2018 at 産業技術大学院大学(公立大学法人 首都大学東京) 続きを読む