KAMEプロジェクト（かめプロジェクト）は、IIJ、NEC、東芝、日立、富士通、横河電機(五十音順)各社による共同研究プロジェクト。BSD系OS(FreeBSD, OpenBSD, NetBSD)上にIPv6を中心としたインターネット技術の標準コードを実装することを目的として、1998年に始まった。 KAMEの実装はBSDライセンス下でフリーソフトウェアとして公開され、現在までに各BSD UNIXのIPv6スタックとして採用されており、さらにルータベンダなどにも採用されている。 KAMEプロジェクトは、USAGIプロジェクトやTAHIプロジェクト同様にWIDEプロジェクト傘下のプロジェクトで、特にこれらのプロジェクトとは密接に関係して活動している。 「KAME」という名前は、かつてはKAMEプロジェクトの本拠地のあった藤沢市刈込(かりごめ)の略と言われた頃もあったが、実際は、KAMEプロジ

Push技術あるいはserver pushはインターネット上での通信方法の一つであり、ある通信リクエストが送り手側（中央サーバ）により開始されるものを指す。これはPull技術と対比され、こちらは通信のリクエストはクライアントにより開始される。 Pushサービスはクライアントが事前に登録した情報に基づいて行われることが多い。これは出版-購読型モデルと呼ばれる。サーバー側が提供する様々な情報の「チャンネル」にクライアントが「登録」しておき、これらのチャンネルの内の一つに新しい情報が入れば常にサーバはその情報をクライアントにプッシュ通知する。 ポーリング技術を用いて擬似的なプッシュを実現する場合もある。特に、本当のプッシュが不可能な状況下（たとえば入ってくるHTTP/Sリクエストを拒否すること要求するセキュリティポリシーをもつサイトなど）ではそうせざるをえない。 同期通信やインスタントメッセージ

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。（2019年4月） フォールトトレラントシステム（Fault tolerant system）は、その構成部品の一部が故障しても正常に処理を続行するシステムである。本項目はフォールトトレラントシステムの特定の実装方法に関して記述する。一般的な理論についてはフォールトトレラント設計を参照されたい。 概要[編集] 障害が発生した場合、単純な設計のシステムでは少しの障害でも全体が停止するが、フォールトトレラントシステムでは完全に機能を保ったまま処理を続行するか、障害の重大性に応じて機能を低下させながらも処理を続行する。フォールトトレラント性は連続稼働が求められるシステムや人命に関わるシステムで特に求められる。 フォールトトレラント性は個々のマシンの特性というだけではな

Asynchronous Transfer Mode（アシンクロナス トランスファー モード、非同期転送モード、ATM）は、53バイトの固定長のデータであるセルを基本的な通信の単位とする、Virtual Circuit cell relay（仮想回線セルリレー）による通信プロトコルである。 解説[編集] コンピュータネットワークよりも電気通信の業界の既存技術・発想をもとに標準化され、グローバルな通信網からプライベートなLANまでを統合しATMに置き換えようと広範囲に渡って準備がなされた。 設計当初のATMは、次世代の高速網に適したものとなっており、1Mbps以下の回線速度では、充分なメリットが出ないばかりか、512kbpsの回線速度になると通信サービス品質そのものに影響するほどであった。ATM黎明期における国内でのATM応用用途は、512k回線に32チャネル分の音声帯域を確保することなどで

原子論理式（げんしろんりしき、（）英: atomic formula）または素論理式（そろんりしき）は、それを構成する部分論理式を持たない論理式である。何をもって原子論理式とするかは論理体系による。たとえば命題論理における原子論理式は命題変数である。 原子論理式は論理システムにおける最も単純な論理式である。論理式はまず全ての原子論理式を示し、次に論理式から論理式を形成するルールを与えるという帰納的な方法によって定義される（再帰的定義）。複数の原子論理式から構成される論理式を複合論理式[1]という。 例として命題論理に関する論理式の定義を示す 任意の命題変数 p は論理式（かつ原子論理式）である 任意の論理式 A が与えられたとき、その否定 ￢A は論理式である 任意の論理式 A と B が与えられたとき、連言 A ∧ B ("A かつ[2] B ") は論理式である 任意の論理式 A と

この項目の現在の内容は百科事典というよりは辞書に適しています。百科事典的な記事に加筆・修正するか、姉妹プロジェクトのウィクショナリーへの移動を検討してください（ウィクショナリーへの移動方法）。（2021年11月） メビバイト (mebibyte) は、コンピュータの容量や記憶装置の大きさをあらわす情報の単位の一つ。MiBと略記される。 1 MiB = 220 B = 1,048,576 B 220 = 1,048,576バイトを表す。本来SI接頭語の106を表すメガは、1,000,000であり、混乱を避けるため、IECが決めたのが二進接頭辞のメビである。メビバイト = 220バイトと定義し、220バイトという意味ではこの呼び名が推奨される。メガバイトと違い、1,024,000バイトや1,000,000バイトという意味では使えない。 関連項目[編集] データ量の比較

RC4（あるいはARCFOUR）とは、SSLやWEPなどで広く使われているストリーム暗号である。 概要[編集] RC4はロナルド・リベストにより1987年に開発されたストリーム暗号であり、このアルゴリズムを用いて発生させた疑似乱数列と平文の排他的論理和をとったものが暗号文になる。RC4は利用方法によってはWEPのように安全性が保てないことがある。RC4はWEP、WPA、Microsoft Point-to-Point Encryption（英語版） (MPPE)、Winny、TLS/SSL（オプション）、SSH（オプション）で暗号化を行うために用いられている。 2015年の時点において、NSAのような機関であればTLS/SSLを利用していてもRC4を解読できる疑いがあり[2]、マイクロソフトではRC4を使わないようにすることを推奨している[3][4][5]。2015年2月には TLSのすべ

人類学その他の領域において、人間行動の厚い記述(あついきじゅつ・thick description)とは、状況をまったく知らない人でもその行動がよく理解できるように、行動そのものだけではなく文脈も含めて説明することを指す。 文化人類学者のクリフォード・ギアツが1973年の著書『文化の解釈学』でみずからの民族誌記述の方法として提示して有名になった(Geertz 1973:5-6, 9-10)。以降、社会科学のみならず広範な学問分野で有力な方法論として盛んに口にされるようになり、今日では新歴史主義（ニューヒストリシズム）のような文芸評論の分野でも用いられるようになっている。 ギアツの論文「厚い記述--文化の解釈学的理論をめざして」(Geertz 1973:3-30)によると、この用語はイギリスの哲学者ギルバート・ライルに由来する。ライルによれば、われわれは誰かから目配せをされても、文脈がわから

この項目では、最適化アルゴリズムについて説明しています。解析的（漸近）近似については「最急降下法 (漸近解析)（英語版）あるいは鞍点法（英語版）」をご覧ください。 最急降下法（さいきゅうこうかほう、英: gradient descent, steepest descent）[1]は、関数（ポテンシャル面）の傾き（一階微分）のみから、関数の最小値を探索する連続最適化問題の勾配法のアルゴリズムの一つ。勾配法としては最も単純であり、直接・間接にこのアルゴリズムを使用している場合は多い。最急降下法をオンライン学習に改良した物を確率的勾配降下法と呼ぶ。 尚、最急降下法の“最急”とは、最も急な方向に降下することを意味している。すなわち、収束の速さに関して言及しているわけではない（より速いアルゴリズムがあり得る）。 手法[編集] n 次のベクトル x = (x1, x2, ... , xn) を引数とす