The strategy from the Iserlohn fortress at JTF2018

2018/07/29 11 users From the エンジニア 早稲田大学 戦略思考 講師

The strategy from the Iserlohn fortress at JTF2018 1. イゼルローン要塞攻略に学ぶ、 エンジニアの戦略思考 2018/7/29 Tomoaki Nakajima @irix_jp 1 July Tech Festa 2018 2. 発表者  中島倫明（Tomoaki Nakajima） @irix_jp  現在  en-PiT pro 早稲田大学／SmartSE 講師  国立情報学研究所／TOPSE 講師  高度IT... 続きを読む

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

2018/07/29 169 users jtf2018 分散システム Spin 特定 https

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

Cloud Nativeな俺のCI/CD環境 〜 GitLab x Rancher で夢見るイケてる世界 〜 - Speaker Deck

2018/07/29 59 users アイデア 夢物語 現実 セッション 夕方

July Tech Festa 2018でShingo Kitayamaさんと一緒に発表したセッションのスライドです。 以下、セッションの説明文 「朝のシャワーを浴びているときに思いついたアイデアをその日の夕方までにサービスリリースする・・・。一昔前までは夢物語だった世界が、次のオリンピックまでには現実になるかもしれません。 変化す... 続きを読む