Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
〖algorithm〗
アルゴリズム作曲法(アルゴリズムさっきょくほう、英語: Algorithmic composition)とは、読んで名の通り、アルゴリズムを用いた作曲である。 アルゴリズムを駆使した作曲法(少なくとも、きちんとした形式法則による作曲は)、古来より数世紀にわたりおこなわれてきており、例えば西洋音楽の場合、対位法(英:
乱択アルゴリズム(らんたくアルゴリズム)、ランダム・アルゴリズム(英: randomized algorithm)または確率的アルゴリズム(かくりつてきアルゴリズム、(英: probabilistic algorithm)は、その論理の一部に無作為性を導入したアルゴリズムである。通常のアルゴリズム
分散アルゴリズム(ぶんさんアルゴリズム、英語: Distributed algorithm)とは、相互接続されたプロセッサにより構成されるハードウェア上で実行するために設計されたアルゴリズムである。分散アルゴリズムは分散コンピューティングの多くの応用分野において使われ、その例として、通信、科学計算
キャッシュコヒーレンシを保つアルゴリズムも各種存在する。すなわち、複数の独立したキャッシュが同じデータを格納する場合の同期アルゴリズムである(例えば、複数のデータベースサーバが単一の共有データファイルを更新する場合)。 キャッシュ キャッシュメモリ ページ置換アルゴリズム
シュトラッセンのアルゴリズム(Strassen algorithm)は、行列の積を高速に計算するアルゴリズムである。通常、 N × N {\displaystyle N\times N} 行列同士の積を計算するには O ( N 3 ) {\displaystyle O(N^{3})} の時間が必要だが、このアルゴリズムを用いると、
SPASSは等号を含む一階述語論理の定理証明機である。マックス・プランク研究所が開発した。 導出とユニフィケーション 項書き換え モデル検査 数学的帰納法 二分決定図 DPLLアルゴリズム 分析的タブロー法 Automath CVC IsaPlanner LCF LoTREC MetaPRL
ラビン-カープ文字列検索アルゴリズム(英: Rabin-Karp string search algorithm)は、マイケル・ラビンとリチャード・カープが開発した、ハッシュ関数を利用してテキストからパターン(サブ文字列)を探す文字列検索アルゴリズムの一種。1つのパターンの検索にはあまり用いられな