Fission で 始める Containerless Kubernetes #serverlesstokyo 思ったほど怖くない！ Haskell on JVM 超入門 #jjug_ccc #ccc_l8 机上の Kubernetes - 形式手法で見るコンテナオーケストレーション #NGK2016B 形式手法と AWS のおいしい関係。- モデル検査器 Alloy によるインフラ設計技法 #jawsfesta Frege, What a Non-strict Language Learn You a Frege for Great Good! AWS は形式手法の夢を見るか？ - モデル検査器 Alloy によるインフラ設計 Hello, Type Systems! - Introduction to Featherweight Java 
