「PH_(計算複雑性理論)」を解説文に含む見出し語の検索結果(81～90/114件中)
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、...
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、...
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、...
対話型証明系（たいわがたしょうめいけい、英: Interactive proof system）は、2者間のメッセージ交換によって計算をモデル化した計算模型であり、計算複雑性理論で使われる。2...
ナビゲーションに移動検索に移動この項目では、複雑性クラスについて説明しています。Linuxディストリビューションについては「elementary OS」をご覧ください。計算複雑性理論において ELEM...
デイナ・スチュアート・スコット生誕 (1932-10-11) 1932年10月11日（91歳）研究分野計算機科学数学哲学研究機関カリフォルニア大学バークレー校スタンフォード大学オックスフォード大学カー...
デイナ・スチュアート・スコット生誕 (1932-10-11) 1932年10月11日（91歳）研究分野計算機科学数学哲学研究機関カリフォルニア大学バークレー校スタンフォード大学オックスフォード大学カー...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...