与えられた命題が真であることを、それ以外の情報を与えずに証明すること。
おすすめの投稿
50%ルール
CI
SPACEフレームワーク
Rollup
リファクタリング
チューリングマシン
頂点
クリスタルマウンテン
飲んだコーヒー豆リスト
モカシダモG4
ブラジルショコラ
Four_Keys
Polygon
コンセンサスアルゴリズム
戦術的フォーク
目次