IT用語集– archive –

メモリ一貫性 英語表記: Memory Consistency 概要 メモリ一貫性とは、複数のプロセッサやスレッドが共有メモリにアクセスする際に、それらの操作（読み書き）がどのような順序で他のプロセッサに見えるかを定義する、非常に重要なルールのことです。これは...

ワークシェアリング 英語表記: Work-Sharing 概要 ワークシェアリングとは、並列・分散アルゴリズムの分野において、システム内の計算資源（プロセッサやサーバーなど）間で処理負荷を動的に均等化するためのロードバランシング戦略の一つです。具体的には...

BSP モデル（BSP: ビーエスピー） 英語表記: BSP Model (Bulk Synchronous Parallel Model) 概要 BSPモデル（Bulk Synchronous Parallel Model、一括同期並列モデル）は、並列計算機におけるアルゴリズムの設計と、その性能（計算量）を予測するために考案...

MapReduce 英語表記: MapReduce 概要 MapReduceは、テラバイト級、ペタバイト級といった超大量のデータを複数のコンピュータ（ノード）に分散させ、並列処理によって高速に集計・処理するための、非常に強力なプログラミングモデルおよびフレームワークで...

PRAM モデル（PRAM: ピーラム） 英語表記: PRAM Model (Parallel Random Access Machine Model) 概要 PRAMモデルは、「アルゴリズムと計算量」の分野において、並列処理アルゴリズムの効率を理論的に分析するために用いられる抽象的な計算モデルです。これ...

ラズ動的計画法 英語表記: Randomized Dynamic Programming 概要 ラズ動的計画法（Randomized Dynamic Programming, RDP）は、従来の動的計画法（Dynamic Programming, DP）の強力な構造を維持しつつ、計算プロセスにランダム性（確率的要素）を導入したア...

ランダム化アルゴリズム 英語表記: Randomized Algorithm 概要 ランダム化アルゴリズムとは、処理の過程で意図的に乱数（ランダムな要素）を取り入れ、その乱数に基づいて次の動作を決定するアルゴリズムのことです。従来の決定性アルゴリズム（同じ入力に...

近似アルゴリズム 英語表記: Approximation Algorithm 概要 近似アルゴリズムとは、最適解を求めることが計算資源上、非現実的であるようなNP困難な問題群に対し、現実的な時間（多項式時間）で「最適解に近い、質の高い解」を導き出すための手法です。 こ...

旅行セールスマン問題 英語表記: Traveling Salesman Problem (TSP) 概要 旅行セールスマン問題（TSP）は、「アルゴリズムと計算量」の分野、特に「計算複雑性理論」において非常に重要な位置を占める最適化問題です。複数の都市と、それらを結ぶ移動コス...

充足可能性 英語表記: Satisfiability 概要 充足可能性問題（SAT）は、与えられたブール論理式を「真」（True）にするような変数の値の組み合わせが存在するかどうかを判定する問題です。これは、アルゴリズムと計算量、特に計算複雑性理論における「NP 完...