特に検証可能なコンピューティングの状態では