Misreading Chat

#45 – Why Amazon Chose TLA +

Listen Later

仕様検証言語 TLA+ の AWS における使用事例について向井が話します。感想などはハッシュタグ #misreading か [email protected] にお寄せください。

https://misreading.chat/wp-content/uploads/2019/01/ep45.mp3

  • Why Amazon Chose TLA +  | SpringerLink (Google Scholar)
    • How Amazon Web Services Uses Formal Methods
    • Practical TLA+: Planning Driven Development: Hillel Wayne
    • Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers: Leslie Lamport
    • TLA+tlaplus/tlaplus: TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

      • Follow up

      • Grenade! Dependently Typed Neural Networks — Monday Morning Haskell
      • ハイパーバイザの作り方
      • エンジニアなら知っておきたい仮想マシンのしくみ：連載｜gihyo.jp … 技術評論社
        • ...more
        View all episodesView all episodes
        Download on the App Store
        Misreading ChatBy Hajime Morrita, Jun Mukai
        • 5
        • 5
        • 5
        • 5
        • 5

        5

        6 ratings

        More shows like Misreading Chat

        View all
        セキュリティのアレ by セキュリティのアレ

        セキュリティのアレ

        1 Listeners

        Rebuild by Tatsuhiko Miyagawa

        Rebuild

        51 Listeners

        バイリンガルニュース (Bilingual News) by Michael & Mami

        バイリンガルニュース (Bilingual News)

        238 Listeners

        backspace.fm by backspace.fm

        backspace.fm

        11 Listeners

        楽しいラジオ「ドングリFM」 by donguri.fm

        楽しいラジオ「ドングリFM」

        4 Listeners

        fukabori.fm by iwashi

        fukabori.fm

        2 Listeners

        EM . FM #EMFM by EM.FM

        EM . FM #EMFM

        0 Listeners

        Off Topic // オフトピック by Off Topic

        Off Topic // オフトピック

        16 Listeners

        ゆる言語学ラジオ by Yuru Gengogaku Radio

        ゆる言語学ラジオ

        49 Listeners

        ひまじんプログラマーの週末エンジニアリングレッスン by ひまじんプログラマー

        ひまじんプログラマーの週末エンジニアリングレッスン

        0 Listeners

        ゆるコンピュータ科学ラジオ by ゆるコンピュータ科学ラジオ

        ゆるコンピュータ科学ラジオ

        17 Listeners

        Podcast by Yuka Studio // ユカスタポッドキャスト by Podcast by Yuka Studio

        Podcast by Yuka Studio // ユカスタポッドキャスト

        3 Listeners

        となりのデータ分析屋さん by 佐々木亮とたっちゃん

        となりのデータ分析屋さん

        0 Listeners

        耳で学ぶAI、ロボシンク by 矢野 哲平

        耳で学ぶAI、ロボシンク

        0 Listeners

        中島聡のLife is Beautiful by Satoshi Nakajima

        中島聡のLife is Beautiful

        0 Listeners