不動点コンビネータ - Wikipedia
「Yコンビネータ」は不動点演算子について説明しているこの項目へ転送されています。カリフォルニア州の企業については「Yコンビネータ (企業)」をご覧ください。 不動点コンビネータ（ふどうてんコンビネータ、英: fixed point combinator、不動点結合子、ふどうてんけつごうし）とは、与えられた関数の不動点（のひとつ）を求める高階関数である。不動点演算子（ふどうてんえんざんし、英: fixed-point operator）、パラドキシカル結合子（英: paradoxical combinator）などとも呼ばれる。ここで関数 の不動点とは、 を満たすような のことをいう。 すなわち高階関数 が不動点コンビネータであるとは、 任意の関数 に対し、 とすると, が成立する 事を指す。 あるいは全く同じことだが、不動点コンビネータの定義は、任意の関数 に対し、 が成立する事であるとも
ステークホルダー - Wikipedia
ステークホルダー（英: stakeholder）とは、企業や行政機関、NPO（非営利法人）等の利害と行動に直接・間接的な関係を有する者を指す。日本語では利害関係者（りがいかんけいしゃ）という[1]。具体的には、消費者（顧客）、労働者、株主、専門家、債権者、仕入先、得意先、地域社会、行政機関、利益団体（業界団体・労働組合・当事者団体等）の構成員など。 ステークホルダーの概念は、1963年にアメリカ合衆国のSRIインターナショナルの内部のメモで初めて使われた。そこでは、ある組織にとってのステークホルダーを「そのグループからの支援がなければ、当該組織が存続し得ないようなグループ」と定義していた[2]。この理論は後に1980年代になってから、R・エドワード・フリーマン（R. Edward Freeman）によって展開され、主唱されるようになった。以降、ビジネスの実践においても、また、経営戦略論、企
電子データ交換 - Wikipedia
電子データ交換（でんしデータこうかん、EDI、Electronic Data Interchange）とは、標準化された規約（プロトコル）にもとづいて電子化されたビジネス文書（注文書や請求書など）を専用回線やインターネットなどの通信回線を通してやり取りすること。とりわけ、企業間の取引を行うこと。初期には企業間における受発注の電子データ交換を意味した。 概要[編集] 経済産業省による定義では、「異なる組織間で、取引のためのメッセージを、通信回線を介して標準的な規約を用いて、コンピュータ間で交換すること」となっている。電子データ交換の規格は以下の4つのレベルからなり、数字が小さいほど下位の規約となる[1]： レベル4：取引基本規約 法的有効性を確保する契約書 レベル3：業務運用規約 業務やシステムの運用の取り決め レベル2：情報表現規約 双方のコンピュータがデータを理解できるようにするためのデ
品質マネジメントシステム - Wikipedia
品質マネジメントシステム（ひんしつマネジメントシステム、英: Quality management system、QMS）は、製造物やサービスの品質を管理・監督するシステムである。すなわち品質に主眼を置いたマネジメントシステムである[1][2]。 品質マネジメントシステムとは、マネジメントシステムのうち品質に関する領域、すなわち「品質方針・品質目標・達成プロセスを確立する（品質をマネジメントする）ための、相互に関連・作用する組織の一連の要素（システム）」である[1][2][3][4]。 このマネジメントシステムが扱う「品質」とは「対象に本来備わっている特性の集まりが，要求事項（明示的・暗黙的に了解/要求されているニーズ又は期待）を満たす程度」を指す[5]。例えばリンゴの「味」はリンゴそのものが備える特性であり「おいしい」「マズい」が品質に当たる。「価格」は対象に本来備わっておらず後から付与
JIS Q 15001 - Wikipedia
JIS Q 15001（個人情報保護マネジメントシステム ― 要求事項）は、組織が業務上取り扱う個人情報を安全で適切に管理するための標準となるべく、一般財団法人日本規格協会の原案によって策定された日本産業規格の一つ。初版は1999年に制定され、2006年・2017年の改正を経て、最新版は2023年に制定された「JIS Q 15001:2023」である。 この規格では、個人情報の保護に関する法律（以下「個人情報保護法」という。）に定められる義務の遵守はもちろんのこと、組織（個人情報取扱事業者）がその事業の用に供している個人情報や個人データを把握し、個人情報保護のための資源を確保すること、その体制を定期的に見直し改善すること、そしてこれらを実践するための一連の要素（個人情報保護マネジメントシステム）をもつことなどを求めている。 JIS Q 15001は、2005年の個人情報保護法の施行に先立ち
赤黒木 - Wikipedia
赤黒木（あかくろぎ）は、コンピュータ科学のデータ構造である平衡二分木の一種で、主に連想配列の実装に用いられている。2色木、レッド・ブラック・ツリーともいう。 このデータ構造は1972年のルドルフ・ベイヤー (en:Rudolf Bayer) の発明である"symmetric binary B-trees"が元となっており、赤黒木という名前自体は 1978年にレオニダス・ギッバス (en:Leonidas J. Guibas) とロバート・セジウィック (en:Robert Sedgewick) によって発表された論文による。 赤黒木は、探索、挿入、削除などの操作における最悪時間計算量がO(log n)（nは木の要素数）と短く、複雑ではあるが実用的なデータ構造として知られている。 この日本語版は概要のみの解説であり、具体的なアルゴリズムはwikipedia英語版(Red-black_tree
ロバストネス - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ロバストネス" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年3月） ロバストネス（英: robustness）とは、ある系が応力や環境の変化といった外乱の影響によって変化することを阻止する内的な仕組み、または性質のこと。頑強性（がんきょうせい）、頑健性（がんけんせい）、堅牢性（けんろうせい）、ロバスト性とも言う。 ロバストネスを持つような設計をロバスト設計、ロバストネスを最適化することをロバスト最適化という。 「頑強な」という意味の形容詞 "robust" が語源であり、他に頑強性、強靭性、堅牢性、強さなどと呼称されることもあ
マルチプロセッシング - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "マルチプロセッシング" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年1月) マルチプロセッシング（英語: multi processing）とは、（本来は）ひとつのプロセスだけではなく複数の並行プロセスを同一システム内で使用することを意味する。 マルチタスクと同様ひとつのCPUを複数のプロセスが共有することも示すが、ひとつのシステム内の複数のCPUが複数のスレッドを動作させることも意味する。マルチプロセッサと言う場合は一般に後者のみを指す。 マルチプロセッシングシステムでは、全CPUが等価の場合といくつかのCPUが特別な用
Java Servlet - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "Java Servlet" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2021年6月) Java Servlet（ジャバ サーブレット）とは、サーバ上でウェブページなどを動的に生成したりデータ処理を行うために、Javaで作成されたプログラム及びその仕様である。単にサーブレットと呼ばれることが多い。Jakarta EEの一機能という位置づけになっている。この機能を用いてショッピングサイトやオンラインバンキングなどをはじめとする多種多様な動的なWebサイトが構築されている。 MVCアーキテクチャにおけるJava Servlet, JS
リロケータブル - Wikipedia
リロケータブル（再配置可能）という形容詞は、プログラムの属性を示し、メモリ上の何処に配置しても差し支えなく動作できる性質を指して言う。そのようなバイナリをリロケータブルバイナリと言う。殊に、バイナリプログラム、実行形式と呼ばれるアプリケーションプログラムや、ライブラリ、モジュールで、この属性の有無が問題となる。 再配置可能にするための方法としては、再配置の際に修正が必要な箇所をリストアップしたものを付加し、再配置の際にフィックスアップするというものと、そもそも配置されるアドレスに依存するようなコードを含まないようにする、というものがあり、後者を位置独立（いちどくりつ）と言う。 プログラムやライブラリ、モジュールを補助記憶装置から主記憶装置に読み込むにあたり、メモリ上の任意のアドレスに読み込むことが出来るものが、リロケータブルなプログラム、ライブラリ、モジュールである。たとえばOS-9では、
バッカス・ナウア記法 - Wikipedia
バッカス・ナウア記法（英: Backus–Naur form）とは、文脈自由文法を定義するのに用いられるメタ言語のことで、一般にBNFやBN記法と略される。現在はこのBNFを拡張したEBNF (Extended BNF) が一般的に使われている。EBNFでは正規表現を用いてより簡単に記述でき、プロトコル規定言語であるASN.1や、XMLの構文定義にも利用されている。 ジョン・バッカスとピーター・ナウアがALGOL 60 の文法定義のために考案。当初は文脈自由文法の本来の定義に則り or（|）以外の定義はなく、繰り返しは再帰を利用して表現されている。*、?等の量化子はBNFを拡張したEBNFによって導入された。パーサジェネレータを使用して構文解析器を生成する際に、構文を定義するためにも使う。 ISO/IEC 14977:1996においてEBNFの標準が定義されているが、EBNFにもいろいろな
Base64 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "Base64" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年12月) Base64は、データを64種類の印字可能な英数字のみを用いて、それ以外の文字を扱うことの出来ない通信環境にてマルチバイト文字やバイナリデータを扱うためのエンコード方式である。MIMEによって規定されていて、7ビットのデータしか扱うことの出来ない電子メールにて広く利用されている。具体的には、A、…、Z、a、…、z、0、…、9 の62種類の文字[注釈 1]と、2種類の記号 (+、/)、さらにパディング（余った部分を詰める）のための記号として = が用いられ
アタリショック - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2022年12月） 独自研究が含まれているおそれがあります。（2012年12月） 出典検索?: "アタリショック" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL Atari VCS（1977年）。北米の家庭用ゲーム市場を勃興させ、そして崩壊させた。 アタリショック（英語: Video game crash of 1983）とは、1982年のアメリカ合衆国における年末商戦を発端とする、北米のゲーム市場で起こった家庭用ゲーム機の売上不振のことである[1]。 この崩壊にはAtari VCS以外のゲーム機の家庭用ゲーム市場も含まれる。パソコンゲーム市
フォルトツリー解析 - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2010年4月） 独自研究が含まれているおそれがあります。（2010年4月） 出典検索?: "フォルトツリー解析" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL フォルトツリー フォルトツリー解析（フォルトツリーかいせき、英: Fault Tree Analysis：FTA）とは、故障・事故の分析手法。JIS C 5750-4-4：2011 では標題で故障の木解析としている。JIS Z8115:2000では、フォールトの木解析を使っている。故障木解析ということもある[1]。 概要[編集] FTAは、JIS Z8115:2000で、「下位アイテ
構造化プログラミング - Wikipedia
構造化プログラミング（こうぞうかプログラミング、（英: structured programming）は、コンピュータプログラムの処理手順の明瞭化、平易化、判読性向上を目的にしたプログラミング手法である。一般的には順接、分岐、反復の三種の制御構造（control structures）によって処理の流れを記述することと認識されている[1][2]。制御構造は制御構文、構造化文（structured statement）、制御フロー文（control flow statement）とも呼ばれる。また、プログラムを任意に分割した部分プログラム（サブルーチンとコードブロック）の階層的な組み合わせによるプログラムの構造化も指している。 このプログラミング手法の普及に貢献したのは、1968年の計算機科学者エドガー・ダイクストラによるACM機関紙への投書「Go To Statement Consider
ガンマ関数 - Wikipedia
y = Γ(x) のグラフ Γ(x + iy) の絶対値 （グラフ中「Re」は x に相当、「Im」は y に相当） ガンマ関数（ガンマかんすう、英: gamma function）とは、数学において階乗の概念を複素数全体に拡張した特殊関数。複素階乗とも。一般に と表記される。 自然数 に対しては、ガンマ関数と の階乗との間では次の関係式が成り立つ： 1729年に数学者レオンハルト・オイラーによって無限乗積の形で、最初に導入された[1]。 という記号は、1814年にルジャンドルが導入した[1]。また、それ以前にガウスが得ており などと表記していた（ただし、 であった）。 定義[編集] 実部が正となる複素数 に対して、次の広域積分で定義される複素関数： をガンマ関数と呼ぶ[2]。この積分表示は第二種オイラー積分とも呼ばれる。 一般の複素数 に対しては解析接続もしくは次の極限で定義される。 他
ベレッタ 92 - Wikipedia
「ベレッタM92F」はこの項目へ転送されています。東映ビデオ製作のビデオ作品については「ベレッタM92F 凶弾」をご覧ください。 この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2008年8月） 独自研究が含まれているおそれがあります。（2019年4月） 出典検索?: "ベレッタ 92" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL
DXTC - Wikipedia
DXTC（時々S3 Texture Compression (S3TC) ないしDXTnと呼ばれる）は、元々S3社によって開発された画像圧縮アルゴリズム技術である(US Patent #5,956,431)。この技術はSavage 3Dグラフィックスアクセラレータで用いられている。JPEGのような既存の画像圧縮アルゴリズムとは違い、DXTCは（VQのやり方に似た）単純なメモリアクセスと対になった固定レートデータ圧縮を行う。これは3Dコンピュータグラフィックスをハードウェアで支援する際、テクスチャを圧縮するのに適している。この技術は、マイクロソフトのDirectX 6.0に含まれると、ハードウェアやソフトウェアメーカーに広く採用されるようになった。S3社はもはやグラフィックスアクセラレータ市場において、リーディングカンパニーではないが、例えばコンソール用に使われているDXTC技術のライセンス
侍の一日 - Wikipedia
『侍の一日』（さむらいのいちにち）は、『七人の侍』の前に黒澤明が構想し、制作されなかった時代劇映画の仮題である。 1952年（昭和27年）、映画『生きる』を撮影中だった黒澤は、次回作として徹底したリアリズムを追求した、それまでに無い時代劇として「下級武士の平凡な一日」のストーリーを構想していた。 時代は徳川前期、主人公の侍は家禄百五十石の「使い番」と設定された。朝起きて、顔を洗い髭を剃り月代（さかやき）を剃り、奥女中が髷（まげ）を結い妻が着替えを手伝う。祖先の廟に礼拝し、供を連れて城へ上がる。 城では藩主が決定した命令事項を寺社奉行に伝えたり勘定奉行に伝えたりと、忙しく執務に追われるが、昼に詰め所で同じ家禄の馬廻り組の友人と弁当を広げてほっと息をつき、世間話をするのがお互いの楽しみであった。おかずの品定めをしながら季節の話題から釣りの話、川で鮎を追った幼少の思い出など話に花が咲く。主人公に
ノーマ・タルマッジ - Wikipedia
ノーマ・マリー・タルマッジ（Norma Marie Talmadge[1]、1894年5月2日 - 1957年12月24日）は、、サイレント映画時代に活躍したアメリカ合衆国の映画女優・映画プロデューサーである。1920年代初頭にキャリアのピークを迎え、アメリカ映画界の人気アイドルの一人となった[2]。 メロドラマを得意とし、最も有名な作品である『久遠の微笑（英語版）』（1922年）[3]のほか、フランク・ボーゼイギ監督作品の『秘密（英語版）』（1924年）や『在りし日（英語版）』（1925年）でも芸術的な成功を収めた。妹のコンスタンス・タルマッジも女優である。タルマッジは映画プロデューサーのジョセフ・M・シェンクと結婚し、自分たちの映画会社を設立して成功させた。アメリカ東海岸で名声を得た後、1922年にハリウッドに進出した。 タルマッジは、狂騒の20年代を通して、最もエレガントでグラマラス
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
