{"provider_name":"Hatena Blog","author_name":"y_taka_23","title":"Developers Summit 2023 Summer \u3067\u30b5\u30fc\u30d0\u30fc\u30ec\u30b9\u306b\u3064\u3044\u3066\u8a71\u3057\u3066\u304d\u307e\u3057\u305f","description":"\u3053\u3093\u306b\u3061\u306f\u3001\u30c1\u30a7\u30b7\u30e3\u732b\u3067\u3059\u3002 \u5148\u65e5\u958b\u50ac\u3055\u308c\u305f Developers Summit 2023 Summer \u3067\u3001\u30b5\u30fc\u30d0\u30fc\u30ec\u30b9\u30b3\u30f3\u30d4\u30e5\u30fc\u30c6\u30a3\u30f3\u30b0\u306e\u5f62\u5f0f\u5316\u306b\u3064\u3044\u3066\u767b\u58c7\u3057\u3066\u304d\u307e\u3057\u305f\u3002\u516c\u52df CFP \u67a0\u3067\u3059\u3002 event.shoeisha.jp \u5185\u5bb9\u306f Jangda et al. (2019) \u306b\u3088\u308b\u8ad6\u6587 \"Formal Foundations of Serverless Computing\" \u3092\u8ef8\u306b\u3057\u3066\u3044\u307e\u3059\u3002\u3053\u306e\u8ad6\u6587\u306f\u30b5\u30fc\u30d0\u30fc\u30ec\u30b9\u30b3\u30f3\u30d4\u30e5\u30fc\u30c6\u30a3\u30f3\u30b0\u306b\u5bfe\u3057\u3066\u64cd\u4f5c\u7684\u610f\u5473\u8ad6\u306e\u5b9a\u5f0f\u5316\u3092\u884c\u3046\u3082\u306e\u3067\u3042\u308a\u3001\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u56fd\u969b\u5b66\u4f1a OOPSLA '19 \u306e Distinguished Paper \u3092\u53d7\u8cde\u3057\u3066\u3044\u307e\u3059\u3002\u2026","author_url":"https://blog.hatena.ne.jp/y_taka_23/","categories":[],"url":"https://ccvanishing.hateblo.jp/entry/2023/07/27/195634","height":"190","type":"rich","provider_url":"https://hatena.blog","blog_url":"https://ccvanishing.hateblo.jp/","width":"100%","published":"2023-07-27 19:56:34","version":"1.0","image_url":null,"blog_title":"\u30c1\u30a7\u30b7\u30e3\u732b\u306e\u6d88\u6ec5\u5b9a\u7406","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fccvanishing.hateblo.jp%2Fentry%2F2023%2F07%2F27%2F195634\" title=\"Developers Summit 2023 Summer \u3067\u30b5\u30fc\u30d0\u30fc\u30ec\u30b9\u306b\u3064\u3044\u3066\u8a71\u3057\u3066\u304d\u307e\u3057\u305f - \u30c1\u30a7\u30b7\u30e3\u732b\u306e\u6d88\u6ec5\u5b9a\u7406\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>"}