「PSPACE完全」を解説文に含む見出し語の検索結果(31～40/48件中)
ナビゲーションに移動検索に移動 解決された状態のインスタント・インサニティインスタント・インサニティ（Instant Insanity）は、4つのキューブを使ったパズル。日本語へは急性精神病[...
ナビゲーションに移動検索に移動 解決された状態のインスタント・インサニティインスタント・インサニティ（Instant Insanity）は、4つのキューブを使ったパズル。日本語へは急性精神病[...
ナビゲーションに移動検索に移動多項式階層（たこうしきかいそう、英: Polynomial hierarchy）は、計算量理論における計算量の階層であり、神託機械を使って P、NP、co-NP ...
ナビゲーションに移動検索に移動多項式階層（たこうしきかいそう、英: Polynomial hierarchy）は、計算量理論における計算量の階層であり、神託機械を使って P、NP、co-NP ...
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源...
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源...
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.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...