与えられた命題が真であることを、それ以外の情報を与えずに証明すること。
おすすめの投稿
SLO
オンコール
CI
コロンビアスプレモ
51%攻撃
Optimism
ライトニングネットワーク
キリマンジャロAA
ソフトウェアテストをカイゼンする50のアイデア
アーキテクチャの分解に関するトレードオフ
QuANTS
プルーフオブステーク
CAP定理
機械学習
Zettelkasten
目次