サーバーレスコンピューティングの形式化 - Qiitaはじめに この記事は、OOPの国際学会1 OOSPLA'19 で発表され、 distinguished paper award を受賞した Formal foundations of serverless computing (Jangda et al.) の解説記事です。 分析ぽい話でも開発っぽい話でも運用っぽい話でもないです。 発表の様子はYoutubeに投稿されています。 なお、この記事は簡単な操作的意味論の知識を前提とします。知らない方はこちらがオススメです → https://www.amazon.co.jp/dp/4781912850 サーバーレスコンピューティングとは サーバーレスコンピューティングは、プログラマが外部イベントにより動作する関数を書いてデプロイするだけで、クラウド内部でリソースの確保やロードバランシング、スケーリングやリトライを自動で行い、動作環境を提供するプ
