マガジンのカバー画像

AWSにおける形式手法

3

本

AWSで形式手法を導入した経緯を説明した論文を読んでいきます.

運営しているクリエイター: なさだ十三

AWSにおける形式手法 - 前書き(3/4) 並列分散処理は難しい

先週, 時間が取れず, 時間が空いてしまいました. 前書きの第3段落目を読んで, 私が理解できた…

なさだ十三

3年前

AWSにおける形式手法 - 前書き(1/4) 論文を書いた動機

AWSの技術者が形式手法を導入した経緯と成果を論文に発表しています. この論文を少しづつ読み…

なさだ十三

3年前

4

AWSにおける形式手法 - 前書き(2/4) AWSのサービスの内部構造は複雑

前書きの第２段落目を読んで理解できたことは次の通りです. AWSでは, ユーザにとって使いやす…

なさだ十三

3年前

6