気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
1 userがブックマーク
0
0
Developers Summit 2023 Summer でサーバーレスについて話してきました - チェシャ猫の消滅定理
1 user
ccvanishing.hateblo.jp
ccvanishing.hateblo.jp
記事へのコメント0件
- 注目コメント
- 新着コメント
新着コメントはまだありません。
このエントリーにコメントしてみましょう。
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Developers Summit 2023 Summer でサーバーレスについて話してきました - チェシャ猫の消滅定理
こんにちは、チェシャ猫です。 先日開催された Developers Summit 2023 Summer で、サーバーレスコンピ... こんにちは、チェシャ猫です。 先日開催された Developers Summit 2023 Summer で、サーバーレスコンピューティングの形式化について登壇してきました。公募 CFP 枠です。 event.shoeisha.jp 内容は Jangda et al. (2019) による論文 "Formal Foundations of Serverless Computing" を軸にしています。この論文はサーバーレスコンピューティングに対して操作的意味論の定式化を行うものであり、プログラミングの国際学会 OOPSLA '19 の Distinguished Paper を受賞しています。 なお、同様のテーマは AWS Dev Day 2022 でも登壇しています。スライドも大部分は共通ですが、解説が不足していた点を具体的に補足したり、逆に意図して細部を省略したりしてあるため、前回から
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
ccvanishing.hateblo.jp
ccvanishing.hateblo.jp
ccvanishing.hateblo.jp
ccvanishing.hateblo.jp
younganimal.com
shueisha.online
note.com/comic_room
www.cnn.co.jp
www.lifehacker.jp
togetter.com
speakerdeck.com/koukyo1994
zenn.dev/sdb_blog
ascii.jp
anond.hatelabo.jp
speakerdeck.com/yui_knk
anond.hatelabo.jp
anna6.ie.ebb.jp
theriver.jp
www.nikkei.com
