Similar to 計算論的トポロジー
線形時間
Time complexity#Linear time
対話型証明系
Interactive proof system
多項式階層
Polynomial hierarchy
多項式時間
Time complexity#Polynomial time
チューリング次数
Turing degree
頂点被覆
Vertex cover
頂点被覆問題
Vertex-cover problem
通信複雑性
Communication complexity
定数時間
Time complexity#Constant timeナップサック問題
Knapsack problem複雑性
Complexity
複雑性クラス
Complexity class部分和問題
Subset sum problem
ブラムの公理
Blum axioms
細矢インデックス
Hosoya index
マトロイド
Matroidランダウの記号
Big O notation
量子コンピュータ
Quantum computer
量子超越性
Quantum supremacy
Gyoukou
GyoukouLexical Markup Framework
Lexical Markup FrameworkNAREGI
Oakforest-PACS
PACS (並列計算機)
QCDPAX
PAW法
Projector augmented wave method
Shoubu
Suiren
Suiren Blue