「DSPACE」を解説文に含む見出し語の検索結果(21~30/722件中)
Jump to navigationJump to searchOpen Archives Initiative Protocol for Metadata Harvesting(OAI-PMH)は、...
Jump to navigationJump to searchOpen Archives Initiative Protocol for Metadata Harvesting(OAI-PMH)は、...
計算複雑性理論において、複雑性クラス PR とは、全ての原始再帰関数の集合、あるいは原始再帰関数で決定される全ての形式言語の集合である。これには、加算、乗算、冪乗、tetration などが含まれる。
計算複雑性理論において、複雑性クラス PR とは、全ての原始再帰関数の集合、あるいは原始再帰関数で決定される全ての形式言語の集合である。これには、加算、乗算、冪乗、tetration などが含まれる。
計算複雑性理論において、複雑性クラス RE(recursively enumerable)とは、チューリングマシン(Turing machine)で有限時間内に 'yes' という解を得られる決定問題...
計算複雑性理論において、複雑性クラス RE(recursively enumerable)とは、チューリングマシン(Turing machine)で有限時間内に 'yes' という解を得られる決定問題...
co-NPとは計算量理論における問題クラスの一つである。概要co-NP は次の定義で表される問題のクラスである、「ある決定問題 S の補問題 がクラス NP に属する場合、 S はクラス co-NP ...
ナビゲーションに移動検索に移動ウォルター・サヴィッチ(英:Walter Savitch)は、計算複雑性理論におけるNL(非決定性対数領域)クラスを生み出したこと、NSPACEとDSPACEの関係を定義...
ナビゲーションに移動検索に移動ウォルター・サヴィッチ(英:Walter Savitch)は、計算複雑性理論におけるNL(非決定性対数領域)クラスを生み出したこと、NSPACEとDSPACEの関係を定義...
川原 琢磨(かわはら たくま、1911年5月24日[1] - 1980年10月2日[2])は、日本の土木・地球物理学者。大阪工業大学第5代学長。工学博士(大阪大学)。輻射科学研究会元監事。専門は地球物...