「証明となるもの」を解説文に含む見出し語の検索結果(81～90/2272件中)
酸性排気水は酸素と水素に分解される重炭酸ソーダ，重曹ドライアイスは炭素と酸素に分解する酸緩衝能一酸化炭素中毒酸素の化学的性質酸をアルカリと化合させる水素と酸素が化合すると水になる胃が痛むのは酸の強い物...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/30 09:13 UTC 版)「ハーラル1世 (デンマーク王)」の記事における「ハーラルの洗礼」の解説あるとき、ハーラ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/07 20:51 UTC 版)「カリー＝ハワード同型対応」の記事における「(β → α) → (γ → β) → γ ...
帯封付き100ドル紙幣の束帯封（おびふう）とは、札束や書類などを束ねているテープ状（帯状）の紙のこと。紙テープではなくフィルムテープのものもある。帯封の機械として帯封機があるが、その原理は結束機と同じ...
帯封付き100ドル紙幣の束帯封（おびふう）とは、札束や書類などを束ねているテープ状（帯状）の紙のこと。紙テープではなくフィルムテープのものもある。帯封の機械として帯封機があるが、その原理は結束機と同じ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:42 UTC 版)「集合の代数学」の記事における「和集合と共通部分の追加規則」の解説次の命題は、和集合と共...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/06 01:06 UTC 版)「帯封」の記事における「札束と帯封」の解説紙幣100枚を束ねる場合は、紙幣の幅が狭い部分...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/05/28 07:09 UTC 版)「自動定理証明」の記事における「関連する問題」の解説関連した問題に、自動証明検証と、証明...
読み方：ゼロちしきしょうめい別名：ゼロ知識対話証明【英】Zero Knowledge Proof, ZKP, Zero Knowledge Interactive Proof, ZKIPゼロ知識証明と...
読み方：ゼロちしきしょうめい別名：ゼロ知識対話証明【英】Zero Knowledge Proof, ZKP, Zero Knowledge Interactive Proof, ZKIPゼロ知識証明と...