y_taka_23 https://blog.hatena.ne.jp/y_taka_23/ チェシャ猫の消滅定理 https://ccvanishing.hateblo.jp/ こんにちは、チェシャ猫です。 先日開催された Developers Summit 2023 Summer で、サーバーレスコンピューティングの形式化について登壇してきました。公募 CFP 枠です。 event.shoeisha.jp 内容は Jangda et al. (2019) による論文 "Formal Foundations of Serverless Computing" を軸にしています。この論文はサーバーレスコンピューティングに対して操作的意味論の定式化を行うものであり、プログラミングの国際学会 OOPSLA '19 の Distinguished Paper を受賞しています。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fccvanishing.hateblo.jp%2Fentry%2F2023%2F07%2F27%2F195634" title="Developers Summit 2023 Summer でサーバーレスについて話してきました - チェシャ猫の消滅定理" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2023-07-27 19:56:34 rich https://ccvanishing.hateblo.jp/entry/2023/07/27/195634 1.0 100%