シェア
先週, 時間が取れず, 時間が空いてしまいました. 前書きの第3段落目を読んで, 私が理解できた…
AWSの技術者が形式手法を導入した経緯と成果を論文に発表しています. この論文を少しづつ読み…
前書きの第2段落目を読んで理解できたことは次の通りです. AWSでは, ユーザにとって使いやす…