y_taka_23
12 SlideShares 16 Followers
Tags
formal methods haskell infrastructure java model checking alloy jvm frege programming container kubernetes monad aws serverless fission docker type theory openssl heartbleed refinement types verification liquid haskell k8s faas kubeless eta language design relational calculus evaluation laziness non-strict computer science promela spin
Mehr anzeigen
  • Dokumente
  • Infografiken
Aktuellste Beliebteste SlideShares

Fission で 始める Containerless Kubernetes #serverlesstokyo

Vor 6 Jahren • 2372 Aufrufe

思ったほど怖くない！ Haskell on JVM 超入門 #jjug_ccc #ccc_l8

Vor 6 Jahren • 21209 Aufrufe

机上の Kubernetes - 形式手法で見るコンテナオーケストレーション #NGK2016B

Vor 7 Jahren • 2492 Aufrufe

形式手法と AWS のおいしい関係。- モデル検査器 Alloy によるインフラ設計技法 #jawsfesta

Vor 7 Jahren • 9841 Aufrufe

形式手法で捗る！インフラ構成の設計と検証

Vor 7 Jahren • 8026 Aufrufe

Frege, What a Non-strict Language

Vor 8 Jahren • 2600 Aufrufe

Learn You a Frege for Great Good!

Vor 8 Jahren • 1245 Aufrufe

すごい Frege たのしく学ぼう！

Vor 8 Jahren • 6595 Aufrufe

AWS は形式手法の夢を見るか？ - モデル検査器 Alloy によるインフラ設計

Vor 8 Jahren • 4617 Aufrufe

Hello, Type Systems! - Introduction to Featherweight Java

Vor 8 Jahren • 3028 Aufrufe

猫でもわかる！ モデル検査器 SPIN 入門

Vor 9 Jahren • 6505 Aufrufe

Alloy ではじめる簡単モデル検査

Vor 10 Jahren • 2865 Aufrufe