前回のポストで、アプリケーションに対するゼロ知識モデルではトランザクション間に隠れた制約(hidden restrictions)があると考えざるを得ないと書きました。 本ポストでは、トランザクション間の隠れた制約(が限定的であること)をどのように表現してス…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。