「証明するようだ」を解説文に含む見出し語の検索結果(41～50/173件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/03 07:20 UTC 版)「スラヴ人トマス」の記事における「背景と動機」の解説820年のクリスマスの日、レオン5世...
アグリードールUglyDolls監督ケリー・アズベリー（英語版）脚本アリソン・ペック原案ロバート・ロドリゲス原作デイビッド・ホーヴァス（英語版） & サンミン・キム『アグリードール（英語版）』製作ロバ...
アグリードールUglyDolls監督ケリー・アズベリー（英語版）脚本アリソン・ペック原案ロバート・ロドリゲス原作デイビッド・ホーヴァス（英語版） & サンミン・キム『アグリードール（英語版）』製作ロバ...
暗号学において、ゼロ知識証明（ぜろちしきしょうめい、zero-knowledge proof、略称：ZKP[1]）とは、ある人が他の人に、自分の持っている（通常、数学的な）命題が真であ...
暗号学において、ゼロ知識証明（ぜろちしきしょうめい、zero-knowledge proof、略称：ZKP[1]）とは、ある人が他の人に、自分の持っている（通常、数学的な）命題が真であ...
暗号学において、ゼロ知識証明（ぜろちしきしょうめい、zero-knowledge proof、略称：ZKP[1]）とは、ある人が他の人に、自分の持っている（通常、数学的な）命題が真であ...
暗号学において、ゼロ知識証明（ぜろちしきしょうめい、zero-knowledge proof、略称：ZKP[1]）とは、ある人が他の人に、自分の持っている（通常、数学的な）命題が真であ...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
数理論理学においてロビンソン算術(英: Robinson arithmetic)あるいはロビンソンのQとはペアノ算術(PA)の有限部分理論であり、Robinson (1950)において最初に導...