[フレーム]
はてなブックマークアプリ

サクサク読めて、
アプリ限定の機能も多数!

アプリで開く

気に入った記事をブックマーク

  • 気に入った記事を保存できます
    保存した記事の一覧は、はてなブックマークで確認・編集ができます
  • 記事を読んだ感想やメモを書き残せます
  • 非公開でブックマークすることもできます
適切な情報に変更

エントリーの編集

loading...

エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。

タイトルガイドライン

このページのオーナーなので以下のアクションを実行できます

タイトル、本文などの情報を
再取得することができます
コメントを非表示にできます コメント表示の設定

ブックマークしました

ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください

Twitterで共有

ONにすると、次回以降このダイアログを飛ばしてTwitterに遷移します

99users がブックマーク コメント 5

ガイドラインをご確認の上、良識あるコメントにご協力ください

0 / 0
入力したタグを追加

現在プライベートモードです 設定を変更する

おすすめタグタグについて

よく使うタグ

サーバーレスは操作的意味論の夢を見るか? #AWSDevDay / AWS Dev Day 2022 Japan

ガイドラインをご確認の上、良識あるコメントにご協力ください

0 / 0
入力したタグを追加

現在プライベートモードです 設定を変更する

おすすめタグタグについて

よく使うタグ

はてなブックマーク

はてなブックマークで
関心をシェアしよう

みんなの興味と感想が集まることで
新しい発見や、深堀りがもっと楽しく

ユーザー登録

アカウントをお持ちの方はログインページ

記事へのコメント5

  • 注目コメント
  • 新着コメント
pekee-nuee-nuee
サーバレスと操作的意味論、まるでレイヤーの違う話と思っていぶかしんだが、サーバレスでよくある動きが操作的意味論に回収できるというような話で面白かったけどそれはそれとして全然理解できてない

その他
everybodyelse
ほえー。ブラックボックスなサーバレスの挙動を意味論で数学的に記述できると。数学的に記述できれば厳密なレビューが可能になるのでは?ということか。概要はわかるが途中の式展開が全くわからんw

その他
dhrname
すでに1972年、ダールがダイクストラ抽象化とデータ構造化(数学的構造)を使ったオブジェクトクラス(67年)やコルーチンで並列プログラミングを実装ずみ(72年版のホーア、ダール、ダイクストラ「構造化プログラミング」)

その他
kybernetes
ああ、たしかに純粋な計算論と親和性が高いねえ

その他
everybodyelse
everybodyelse ほえー。ブラックボックスなサーバレスの挙動を意味論で数学的に記述できると。数学的に記述できれば厳密なレビューが可能になるのでは?ということか。概要はわかるが途中の式展開が全くわからんw

2022年11月11日 リンク

その他
teslur
住井先生の名前久しぶりにみた。いま教授なのか。

その他
pekee-nuee-nuee
pekee-nuee-nuee サーバレスと操作的意味論、まるでレイヤーの違う話と思っていぶかしんだが、サーバレスでよくある動きが操作的意味論に回収できるというような話で面白かったけどそれはそれとして全然理解できてない

2022年11月11日 リンク

その他

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

リンクを埋め込む

以下のコードをコピーしてサイトに埋め込むことができます

プレビュー
アプリのスクリーンショット
いまの話題をアプリでチェック!
  • バナー広告なし
  • ミュート機能あり
  • ダークモード搭載
アプリをダウンロード

関連記事

usersに達しました!

さんが1番目にブックマークした記事「サーバーレスは操...」が注目されています。

気持ちをシェアしよう

ツイートする

サーバーレスは操作的意味論の夢を見るか? #AWSDevDay / AWS Dev Day 2022 Japan

AWS Dev Day 2022 Japan で使用したスライドです。 AWS Lambda を初めとするサーバーレスコンピューティ... AWS Dev Day 2022 Japan で使用したスライドです。 AWS Lambda を初めとするサーバーレスコンピューティング基盤には、 * 複数の関数が同時に実行され共有リソースにアクセスしうる、質的に並行システムである * Warm Start により関数インスタンスが内部...

ブックマークしたユーザー

  • skypenguins2025年10月04日 skypenguins
  • techtech05212023年08月28日 techtech0521
  • t_ashula2022年12月05日 t_ashula
  • knj29182022年11月15日 knj2918
  • wonder-wall2022年11月13日 wonder-wall
  • yuiseki2022年11月12日 yuiseki
  • dederon2022年11月12日 dederon
  • locke-0092022年11月11日 locke-009
  • dhrname2022年11月11日 dhrname
  • uzulla2022年11月11日 uzulla
  • SWIMATH22022年11月11日 SWIMATH2
  • tidei2022年11月11日 tidei
  • nikochan2k2022年11月11日 nikochan2k
  • kyama652022年11月11日 kyama65
  • xef2022年11月11日 xef
  • hmori522022年11月11日 hmori52
  • dkanikama2022年11月11日 dkanikama
  • sekaiiti2022年11月11日 sekaiiti
すべてのユーザーの
詳細を表示します

ブックマークしたすべてのユーザー

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

同時期にブックマークされた記事

いま人気の記事 - 企業メディア

企業メディアをもっと読む

はてなブックマーク

公式Twitter

はてなのサービス

Copyright © 2005-2025 Hatena. All Rights Reserved.
設定を変更しましたx

AltStyle によって変換されたページ (->オリジナル) /