「Computational complexity」を解説文に含む見出し語の検索結果(51～60/297件中)
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
Diane Larsen-FreemanDiane Larsen-Freeman生誕 (1946-02-24) 1946年2月24日（77歳） アメリカ合衆国居住 アメリカ合衆国研究機関カリフォルニア...
Diane Larsen-FreemanDiane Larsen-Freeman生誕 (1946-02-24) 1946年2月24日（77歳） アメリカ合衆国居住 アメリカ合衆国研究機関カリフォルニア...
ナビゲーションに移動検索に移動EXPTIME（EXPとも）は、計算量理論において、チューリング機械で O(2p(n)) の時間で解ける全ての決定問題の集合である。なお、p(n) は n の多項式関数で...
Richard Peirce Brent国籍オーストラリア人研究分野数学, 計算機科学研究機関オーストラリア国立大学出身校スタンフォード大学博士課程指導教員ジーン・ゴラブGeorge Forsythe...
.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;l...
.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;l...
ナビゲーションに移動検索に移動 ヒトのテロメラーゼのRNA要素中に存在するシュードノット構造[1]。 テロメラーゼRNAとほぼ同一なシュードノットの立体構造。スティックモデル（A）とバ...