与えられた命題が真であることを、それ以外の情報を与えずに証明すること。
おすすめの投稿
50%ルール
CD
アービトラージ
道
単一障害点
飲んだコーヒー豆リスト
ソフトウェアテストをカイゼンする50のアイデア
VAE
中間層
サイドチェーン
コスタリカエルアルコン
プルーフオブステーク
QuANTS
非連結グラフ
インサイドアウトプログラミング
目次