ytaka23 documents

Alloy ではじめる簡単モデル検査
Technology Alloy ではじめる簡単モデル検査
猫でもわかる！ モデル検査器 SPIN 入門
Technology 猫でもわかる！ モデル検査器 SPIN 入門
Hello, Type Systems! - Introduction to Featherweight Java
Technology Hello, Type Systems! - Introduction to Featherweight Java
Learn You a Frege for Great Good!
Technology Learn You a Frege for Great Good!
形式手法と AWS のおいしい関係。- モデル検査器 Alloy によるインフラ設計技法 #jawsfesta
Technology 形式手法と AWS のおいしい関係。- モデル検査器 Alloy によるインフラ設計技法 #jawsfesta
すごい Frege たのしく学ぼう！
Technology すごい Frege たのしく学ぼう！
形式手法で捗る！インフラ構成の設計と検証
Technology 形式手法で捗る！インフラ構成の設計と検証
AWS は形式手法の夢を見るか？ - モデル検査器 Alloy によるインフラ設計
Technology AWS は形式手法の夢を見るか？ - モデル検査器 Alloy によるインフラ設計
机上の Kubernetes - 形式手法で見るコンテナオーケストレーション #NGK2016B
Technology 机上の Kubernetes - 形式手法で見るコンテナオーケストレーション #NGK2016B
Frege, What a Non-strict Language
Technology Frege, What a Non-strict Language
Fission で 始める Containerless Kubernetes #serverlesstokyo
Technology Fission で 始める Containerless Kubernetes #serverlesstokyo
Kubernetes でも Serverless したい！ #k8sjp
Technology Kubernetes でも Serverless したい！ #k8sjp