フレーム問題（フレームもんだい、（英: frame problem）とは、人工知能における重要な難問の一つで、有限の情報処理能力しかないロボットには、現実に起こりうる問題全てに対処することができないことを示すものである。 1969年、ジョン・マッカーシーとパトリック・ヘイズ（英語版）の論文[1]の中で述べられたのが最初で、現在では、数多くの定式化がある。 概要[編集] 現実世界で人工知能が、たとえば「マクドナルドでハンバーガーを買え」のような問題を解くことを要求されたとする。現実世界では無数の出来事が起きる可能性があるが、そのほとんどは当面の問題と関係ない。人工知能は起こりうる出来事の中から、「マクドナルドのハンバーガーを買う」に関連することだけを振るい分けて抽出し、それ以外の事柄に関して当面無視して思考しなければならない。全てを考慮すると無限の時間がかかってしまうからである。つまり、枠（

ロボット工学三原則（ロボットこうがくさんげんそく、英語: Three Laws of Robotics）とは、SF作家アイザック・アシモフのSF小説において、ロボットが従うべきとして示された原則である。ロボット三原則とも言われる。「人間への安全性、命令への服従、自己防衛」を目的とする3つの原則から成る。アシモフの小説に登場するロボットは常にこの原則に従おうとするが、各原則の優先順位や解釈によって一見不合理な行動をとり、その謎解きが作品の主題となっている。 本原則は後の作品に影響を与えたのに加え、単なるSFの小道具にとどまらず現実のロボット工学にも影響を与えた。 概要[編集] 第一条 ロボットは人間に危害を加えてはならない。また、その危険を看過することによって、人間に危害を及ぼしてはならない。 第二条 ロボットは人間にあたえられた命令に服従しなければならない。ただし、あたえられた命令が、第一

この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2019年10月） 一次資料や記事主題の関係者による情報源に頼って書かれています。（2023年5月） 信頼性に問題があるかもしれない資料に基づいており、精度に欠けるかもしれません。（2023年5月） 独自研究が含まれているおそれがあります。（2023年5月） 出典検索?: "技術的特異点" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 技術的特異点（ぎじゅつてきとくいてん、英語: technological singularity〈テクノロジカル・シンギュラリティ〉）またはシンギュラリティ (singularity) とは、科学技術が急速に「

微分法において連鎖律（れんさりつ、英: chain rule）あるいは合成関数の微分公式とは、複数の関数が合成された合成関数を微分するとき、その導関数がそれぞれの導関数の積で与えられるという関係式のこと。 概要[編集] を開区間 上の微分可能な関数、 を開区間 上の微分可能な関数とするとき、 と が合成可能（つまり ）ならば合成関数 も開区間 上で微分可能であり、導関数は関係式 を満たす。これを連鎖律という[1]。ライプニッツの記法では となる。積分法においては、置換積分に対応する。 例[編集] 例1[編集] を について微分する。連鎖律より である。導関数 dy/du および du/dx を求める： したがって となる。 間違った証明[編集] 微分の定義より となる。これは一見正しそうに見えるかもしれないが、 のどれだけ近いところにも となる が存在する場合（例えば が定数関数の場合）に

トークンバケット（英: token bucket）とは、ネットワークへのデータ流入量を制御するアルゴリズムの一種であり、バースト性のあるデータ送信を許容する。いくつかの用途があるがトラフィックシェーピングの手法として使うことが多い。 なお、バケット (bucket) とは、バケツのことであり、転送すべきネットワークトラフィックを集積する抽象化されたコンテナである（実装は例えばバッファやキュー）。 トラフィックシェーピングのアルゴリズム[編集] トラフィックシェーピングでは、トークンバケットのほかにリーキーバケットも使われる。この2つは誤って混同されやすい。これらは性質も異なり、目的も異なる[1]。大きな違いは、リーキーバケットがデータ転送レートの上限を設定するのに対して、トークンバケットはデータ転送レートの平均に制限を課して、ある程度のバースト性を許容する。 概要[編集] トークンバケット

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ピーターの法則" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2009年12月） ピーターの法則（ピーターのほうそく、英: Peter Principle）とは組織構成員の労働に関する社会学の法則。 能力主義の階層社会では、人間は能力の極限まで出世する。したがって、有能な平（ひら）構成員は、無能な中間管理職になる。 時が経つにつれて、人間はみな出世していく。無能な平構成員は、そのまま平構成員の地位に落ち着く。また、有能な平構成員は無能な中間管理職の地位に落ち着く。その結果、各階層は、無能な人間で埋め尽くされる。 その組織の仕事は、まだ出

睡眠相後退症候群（すいみんそうこうたいしょうこうぐん、Delayed sleep-phase syndrome; DSPS）、または睡眠相後退障害 (delayed sleep-phase disorder) は、慢性的な睡眠のタイミングに関する障害（概日リズム睡眠障害）のひとつである。DSPSの患者は、とても遅い時間に眠りにつく傾向があり、朝起きることが困難である。 治療法については、「睡眠相後退症候群#治療」を参照。 概要[編集] DSPS患者は、何時に床に就いても早朝まで眠ることができないが、毎日ほぼ同じ時間に眠ることができると報告されている。DSPSに加えて、睡眠時無呼吸症候群のような睡眠障害を持っていない限り、患者はよく眠ることができ、通常と同様の睡眠時間を必要とする。それゆえ、患者は数時間の睡眠しか取れないまま、学校や仕事に出かけるため起床しなければならないことに困難を感じる。

mixin とはオブジェクト指向プログラミング言語において、サブクラスによって継承されることにより機能を提供し、単体で動作することを意図しないクラスである。言語によっては、その言語でクラスや継承と呼ぶものとは別のシステムとして mixin がある場合もある（#バリエーションの節で詳述）。 概要[編集] オブジェクト指向プログラミングにおいて、継承は本来は特化を意図したものである。すなわち、継承する側（派生型）と継承される側（基底型）の間にはリスコフの置換原則があることを前提とする。 しかし実際のところは、実装の再利用のための手段として使われることが多い（濫用されがちであるが）。mixin における継承も、前述のような特化のためではなく、複数の機能を集めるための手段である。特にクラスの多重継承が可能なシステムでは、複数の mixin クラスを多重継承し、「単に複数の機能を持つクラス」を簡単に

メッセージキュー（英: Message queue）は、プロセス間通信や同一プロセス内のスレッド間通信に使われるソフトウェアコンポーネントである。制御やデータを伝達するメッセージのキューである。 概要[編集] メッセージキューは非同期型通信プロトコルの一種を提供しており、送信側と受信側がメッセージキューに同時にやり取りしなくともよいことを意味する。キューに置かれるメッセージは、受信側がそれを取り出すまで格納されたままとなる。メッセージキューは大抵の場合、格納できる1つのメッセージの大きさや保持できるメッセージ数に上限を設けている。 メッセージキューには様々な実装がある。オペレーティングシステム内に実装される場合やアプリケーションソフトウェア内に実装される場合がある。それらのキューはそのシステムが必要とする用途でのみ使われる[1][2][3]。 その他の実装では、コンピュータ間のメッセージの

Paxosとは信頼性が低いプロセッサのネットワークにおいて合意の問題を解決するためのプロトコルの集合である。 合意とは参加者のグループにおいて単一の結果について合意を得るプロセスである。参加者や通信手法に障害が起きる可能性がある場合、この問題は困難なものとなる[1]。 合意プロトコルは分散コンピューティングにおける状態機械アプローチの基礎であり、これはレスリー・ランポート[2]により提案され、Fred Schneiderによってサーベイがなされている[3]。 Paxosプロトコルは1990年に登場し命名されたが、論文として出版されたのは1998年であった[4]。 これ以前に、ナンシー・リンチ、Cynthia Dwork、Larry Stockmeyerは"部分同期"システムの広い範囲における合意形成方法を例証している。Paxosは分散トランザクションの文脈において、1988年にOkiとBa

コンピュータ科学の分野で、コンシステントハッシュ法（Consistent hashing）とは、ハッシュテーブルのサイズが変更された時、をキーの数、をスロット数とすると、平均個のキーのマッピングの変更のみでハッシュテーブルの機能を提供することのできる、特殊なハッシュ法である。それに対して、その他の多くのハッシュ法では、キーとスロット間のマッピングがモジュラ演算によって定義されているため、ハッシュテーブルのスロット数が変化するとほぼすべてのキーが再マッピングされてしまう。分散システムの一形態である分散キャッシュなどで利用されている。 コンシステントハッシュは、ランデブーハッシュ（英語版）（HRWハッシュとも呼ばれる）と同じ目的を達成するハッシュ法であるが、2つの手法は異なるアルゴリズムを使用しており、同時に独立して開発された。 アルゴリズム[編集] スロットのハッシュ値をソートしてリストに管

関数型プログラミングにおいて、モナドはプログラムを構造化するための汎用的な抽象概念である。対応したプログラム言語では、ボイラープレート的なコードでもモナドを使って除去することが可能となる。これはモナドが、特定の形をした計算を表すデータ型と、それに関する生成と合成の2つの手続きを提供することによって実現されている。生成は任意の基本型の値をモナドに包んでモナド値を生成する手続きであり、合成はモナド値を返す関数(モナド関数)たちを合成する手続きである。[1] 広い範囲の問題をモナドを使うことで単純化できる。例えば、Maybeモナドを使えば未定義値への対処が簡単になり、Listモナドを使えばリストに入った値を柔軟に扱うことができる。複雑に組み合わさった関数は、モナドを使えば、補助データの管理や制御構造や副作用を除去した簡単なパイプライン構造に置き換えることができる[1][2]。 モナドの概念や用語

コンビネータ論理（英: combinatory logic、組み合わせ論理）は、モイセイ・シェインフィンケリ（ロシア語版、英語版）（露: Моисей Эльевич Шейнфинкель、英: Moses Ilyich Schönfinkel）とハスケル・カリー（英: Haskell Brooks Curry）によって、記号論理での変数を消去するために導入された記法である。最近では、計算機科学において計算の理論的モデルで利用されてきている。また、関数型プログラミング言語の理論（意味論など）や実装にも応用がある。 コンビネータ論理は、コンビネータまたは引数のみからなる関数適用によって結果が定義されている高階関数、コンビネータに基づいている。 数学におけるコンビネータ論理[編集] コンビネータ論理は元来、本質的に量化変数を消去することによって量化変数の役割を明確にするような「pre-log

Nagleアルゴリズム（ネーグルアルゴリズム、Nagle’s algorithm）は、TCP/IP ネットワークで送信しなければならないパケット数を減らし、効率性をあげるためのアルゴリズムである。ジョン・ネーグル (John Nagle) から名づけられた。 Nagleが1984年に書いたRFC文章、Congestion Control in IP/TCP Internetworks (RFC 896) では、彼が「小さなパケット問題」と呼ぶ、アプリケーションが繰り返し1バイトなど小さな粒度で送信する問題を取り上げている。IPv4 で 20バイト、TCP自体で20バイトのヘッダーがあり、合計40バイトになるため、1バイトを送信するのに合計41バイト送信しなくてはならなく、オーバーヘッドが大きい。これは、Telnet セッションなどでよく発生し、キー操作が1バイトのデータを生成し、即時に送信

この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2012年6月） 広告・宣伝活動的であり、中立的な観点で書き直す必要があります。（2019年1月） 出典検索?: "ソーシャル・ネットワーキング・サービスの一覧" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL この一覧は未完成です。加筆、訂正して下さる協力者を求めています。 ソーシャル・ネットワーキング・サービスの一覧（ソーシャル・ネットワーキング・サービスのいちらん）は、ソーシャル・ネットワーキング・サービス（SNS）の一覧である。 運用中[編集] サービス名 概要 登録方法・条件