ビザンチン将軍問題（ビザンチンしょうぐんもんだい、英語: Byzantine Generals Problem）とは、相互に通信しあう何らかのオブジェクト群において、通信および個々のオブジェクトが故障または故意によって偽の情報を伝達する可能性がある場合に、全体として正しい合意を形成できるかを問う問題である[1]。フォールトトレラントシステムでの多数決の妥当性や分散コンピューティングの処理の妥当性に関わる問題と言え、二人の将軍問題を一般化したものと言える。 ビザンチン将軍問題に帰結される故障や障害をビザンチン故障（Byzantine Failure、あるいはビザンチン障害）と呼ぶ。また、ビザンチン将軍問題が発生しても全体として正しく動作するシステムをビザンチン・フォールトトレラント性（Byzantine Fault Tolerance）があるという。 問題[編集] ビザンチン将軍問題は、東ロ

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "CompJapan" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2015年4月） CompJapan（コンプジャパン）とは、16歳（1999年当時）の少年2人で構成されたオンラインソフトウェアの開発を目的とする営利団体（現在は活動停止）である。 「ASテクノロジ」という不可解な独自の技術を用いてメモリ内のデータを最適化するという「新メモリ最適化ツール」を、シェアウェアの形態でVector等を介し公開したことで広く知られるようになった。同ソフトは、「大変効果があった」という意見もあるにはあったが、技術的にメモリを最適化する機能がないこと

約物に関するカテゴリ。句読点など、自然言語の中で文字に混ぜて使う記号。□などのように、自然言語の中で特に用途がなくとも、同様に使える記号も含める。

ピーターソンのアルゴリズムは、通信のために共有メモリだけを使い2個[注 1]のプロセス間でリソースを競合することなく共有する相互排他のためのアルゴリズムである。これは、1981年、ロチェスター大学の Gary Peterson が定式化した。 ハードウェアレベルでは一般に、アトミックなアクセスを達成するのにピーターソンのアルゴリズムを必要とすることはない。プロセッサにはテスト・アンド・セット命令などが装備されていて、同時並行的アクセスを実現できる。特殊なソフトウェアの技術は必要ではない。 アルゴリズム[編集] flag[0] = 0 flag[1] = 0 p0: flag[0] = 1 p1: flag[1] = 1 turn = 1 turn = 0 while( flag[1] && turn == 1 ); while( flag[0] && turn == 0 ); // do

カラツバ法（カラツバほう）とは、主に多倍長乗算の乗算アルゴリズム（英語版）において、乗算の回数を4分の3にするアルゴリズムである。 加減算の回数は増加するが、乗算コストはそれより遥かに大きいため、結果として演算コストそのものもほぼ4分の3となる。 発見者のAnatolii Alexeevitch Karatsuba（Карацуба Анатолий Алексеевич）の名前を取ってKaratsuba法(Karatsuba-algorithm)、あるいは単にKaratsubaとも呼ばれる。 従来の乗算はだったが、Karatsuba法の再帰的適用により、（≒1.585）まで計算コストが抑えられる。 アルゴリズム[編集] 単純な例として、被乗数と乗数の積を求める()。 まず、被乗数と乗数をそれぞれ上位・下位の2つに分割する。 分割の基数を（例えば3桁ずつに分割するなら）とすると、 この乗算

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "NIH症候群" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2008年12月） この記事には独自研究が含まれているおそれがあります。問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2008年12月） NIH症候群（英: Not Invented Here syndrome）とは、ある組織や国が別の組織や国（あるいは文化圏）が発祥であることを理由にそのアイデアや製品を採用しない、あるいは採用したがらないこと。また、その結果として既存のものとほぼ同一のものを自前で再開発すること。独自技術症候群と

素集合データ構造（そしゅうごうデータこうぞう、英: disjoint-set data structure）は、データの集合を素集合（互いにオーバーラップしない集合）に分割して保持するデータ構造。このデータ構造に対する以下の2つの便利な操作をUnion-Findアルゴリズムと呼ぶ。 Find: 特定の要素がどの集合に属しているかを求める。2つの要素が同じ集合に属しているかの判定にも使われる。 Union: 2つの集合を1つに統合する。 これら2つの操作をサポートしているため、素集合データ構造は「Union-Findデータ構造」あるいは「Merge-Find集合」とも呼ばれる。これら以外の重要な操作として MakeSetがある。これは、与えられた1つの要素だけを格納した集合（シングルトン）を作成する。これら3つの操作により、様々な実用的分割問題を解くことができる（「応用」の節を参照）。 これ

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ルーウェリン反応" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2013年4月） この記事には独自研究が含まれているおそれがあります。問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2008年7月） ルーウェリン反応（ルーウェリンはんのう）は、コンピュータによる自然言語処理、自然言語認識の失敗に対する人間側の極端な拒否反応。人間の自尊心、コンピュータに対する優越感に由来するものと考えられる。 ルーウェリン反応は、翻訳ソフト、IME、音声認識、OCRなどに対してみられる。この反応をユーザーが乗

この項目では、確率的メタアルゴリズムについて説明しています。金属の熱処理については「焼きなまし」をご覧ください。 焼きなまし法（やきなましほう、英: Simulated Annealing、SAと略記、疑似アニーリング法、擬似焼きなまし法、シミュレーティド・アニーリングともいう）は、大域的最適化問題への汎用の乱択アルゴリズムである。広大な探索空間内の与えられた関数の大域的最適解に対して、よい近似を与える。 S. Kirkpatrick、C. D. Gelatt、M. P. Vecchiらが1983年に考案し[1]、1985年に V. Cerny が再発見した[2]。 その名称は、金属工学における焼きなましから来ている。焼きなましは、金属材料を熱した後で徐々に冷やし、結晶を成長させてその欠陥を減らす作業である。熱によって原子は初期の位置（内部エネルギーがローカルな極小状態）から離され、よりエ

この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典は脚注などを用いて記述と関連付けてください。（2012年11月） 信頼性について検証が求められています。確認のための情報源が必要です。（2010年7月） 独自研究が含まれているおそれがあります。（2010年7月） 詭弁（詭辯、きべん、希: σοφιστική）とは、主に説得を目的として、命題の証明の際に実際には誤っている論理の展開が用いられている「推論」である。誤っていることを正しいと思わせるように仕向けた議論。奇弁、危弁とも。意図的ではない「誤謬」とは異なる概念である。 意味[編集] 日本語で日常的に使われる「詭弁」とは、「故意に行われる虚偽の議論」[1]「道理に合わないことを強引に正当化しようとする弁論、論理学で外見・形式をもっともらしく見せかけた虚偽の論法」[2]「実質において論理上虚偽あるいは誤謬で

再帰下降構文解析（さいきかこうこうぶんかいせき、Recursive Descent Parsing）は、相互再帰型の手続き（あるいは再帰的でない同等の手続き）で構成されるLL法のトップダウン構文解析であり、各プロシージャが文法の各生成規則を実装することが多い。従って、生成されるプログラムの構造はほぼ正確にその文法を反映したものとなる。そのような実装の構文解析器を再帰下降パーサ（Recursive Descent Parser）と呼ぶ。 概要[編集] バックトラックのない再帰下降パーサを 予言的パーサ（predictive parser）と呼ぶ。予言的構文解析は文脈自由文法の一種であるLL(k)文法クラスでのみ可能であり、ある正の整数 k が存在し、再帰下降構文解析で次に使用すべき生成規則を選択するのに k 個のトークンを調べることで決定可能である。LL(k)文法には曖昧さがなく、左再帰も含

特異なバグ (英: unusual software bugs) とは、ソフトウェアバグの中でも特に修正が難しいものを言う。いくつかの種類があるが、直感的に理解しがたいような理論を発表した科学者に由来して名前が付いているものが多い。 ハイゼンバグ (Heisenbugs)[編集] ハイゼンバグは、それを調査しようとすると変貌したり消えたりするバグである。 ハイゼンバグの例： リリース版では発生するがデバッグ版（-DDEBUGコンパイルオプション等）では発生しない。 普通に実行すれば発生するがデバッガなどの環境では発生しない。 ユーザーの環境では発生するが開発者の環境では発生しない。 結合テストでは発生するが同じチェックをしているはずの単体テストでは発生しない。 何が起きているのか調べようと出力命令を入れると（いわゆる「printfデバッグ」）発生しなくなる。 競合状態によって発生している。

シンギュラリティ (singularity) 特異点（singular point）- 特異解を含むより幅広い概念 特異点 (数学) 重力の特異点 - 一般相対性理論における、重力場が無限大となるような場所 技術的特異点 - 「何らかの人工知能のようなもの」の能力の向上が、とめどなく進む時点が将来に現れる、とする仮説あるいは予言 制御工学における特異点 - 数学、物理学の特異点を制御で利用する技術 文化的特異点 - 派生用語 特異点に因んだ作品名や製品名 Singularity - オペレーティングシステムの一つ シンギュラリティ (ゲーム) - スクウェア・エニックスから発売されたゲームソフト シンギュラリティ (曲) - いとうかなこのシングル（2015年） Singularity (ソフトウェア)（英語版） - コンテナ仮想化プログラム singularity (tacicaのアルバ

英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Interrobang|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明がありま