カルバック・ライブラー情報量（カルバック・ライブラーじょうほうりょう、英: Kullback–Leibler divergence）は2つの確率分布の差異を計る尺度である。 確率論と情報理論で利用され様々な呼び名がある。以下はその一例である： カルバック・ライブラー・ダイバージェンス（KLダイバージェンス） 情報ダイバージェンス（英: information divergence） 情報利得（英: information gain） 相対エントロピー（英: relative entropy） カルバック・ライブラー距離 ただしこの計量は距離の公理を満たさないので、数学的な意味での距離ではない。 応用上は、「真の」確率分布 P とそれ以外の任意の確率分布 Q に対するカルバック・ライブラー情報量が計算される事が多い。たとえば P はデータ、観測値、正確に計算で求められた確率分布などを表し、Q

乱択アルゴリズム（らんたくアルゴリズム）、ランダム・アルゴリズム（英: randomized algorithm）または確率的アルゴリズム（かくりつてきアルゴリズム、（英: probabilistic algorithm）は、その論理の一部に無作為性を導入したアルゴリズムである。通常のアルゴリズムでは自然数を順番にあてはめるような決定的な部分で、乱数による非決定的な選択を入れることで、「平均的に」よい性能を実現することを目的とすることがある。形式的には、乱択アルゴリズムの性能はランダムビット列で決定される確率変数となる。その期待値を期待実行時間[1]と呼ぶ。最悪の場合に関して「無視できる」ほどに低い確率であることが、一般に、この類のアルゴリズムが効果的である要件となる。 n 個の要素からなる配列から「a」という要素を探す問題を考える。この配列の各要素は半分が「a」で残りが「b」である。単純

Malbolgeは1998年にBen Olmsteadによって開発された、パブリックドメインの難解プログラミング言語である。名前は、ダンテの神曲地獄篇における地獄の第8圏であるマーレボルジェ(Malebolge)にちなんで名付けられた。 Malbolgeはチューリング完全である[注釈 1][1]が、実用言語ではない。Malbolgeの異常な点は、最悪の、すなわち最も扱いにくく難解であるプログラミング言語となるべく設計されたことである。MalbolgeはINTERCAL、機械語、Brainfuckの最悪な部分を組み合わせたものであるという[2]。しかし、理解を困難にするために用いたトリックのいくつかはごく単純化することができる[要出典]。 プログラミング言語Malbolgeが世に出たとき、理解することが非常に難しく、最初に書かれたプログラムが出現するのに2年を要した。しかもそのプログラムは人

Befunge は難解プログラミング言語の一つ。手続き型、スタック型で、自己変更的な言語である。実用言語ではない難解プログラミング言語のひとつ。 この言語のプログラムの命令は一次元の列ではなく二次元の格子上に並んでいて、実行する向きを上下左右に変更できる。この言語の任意の1命令は、ソースコード中で1文字で表現される。したがって、ソースコード中の行と桁がプログラムの格子の位置に対応する。 1993 年、Chris Pressey が「コンパイルが困難な言語」として作った。Befunge-93 はプログラムのサイズが 80 桁 25 行に固定されている。Befunge-93 の拡張 (一般化) である Funge-98 にはこの制限は無く、チューリング完全である。さらに Funge-98 には任意次元への拡張やマルチスレッド対応等が含まれている。 プログラム例[編集] "Hello, Worl

Racket (旧称 PLT Scheme) は、Schemeから派生したプログラミング言語である。Racket プロジェクトは以下の４つから構成されている。 スクリプト処理系、Racket (リッチなランタイムシステム, 豊富なライブラリ, JITコンパイラ などが含まれる） Racketプログラムの開発環境、DrRacket (旧称 DrScheme) コンピューティングとプログラミングを"教養教育カリキュラムの必須分野にする"試み ProgramByDesignアウトリーチ・プログラム。[2] Racketのユーザ作成パッケージの配布システム PLaneT[3]。 Racket を開発したPLT project は、1990年代中ごろに, Matthias Felleisenによってまず研究グループとして立ち上げられ、その後すぐに、プロジェクトは初心者プログラマ向けの教育用マテリアル

同一性保持権（どういつせいほじけん）は、著作者人格権の一種であり、著作物及びその題号につき著作者（著作権者ではないことに注意）の意に反して変更、切除その他の改変を禁止できる権利のことをいう（日本の著作権法20条1項前段。以下、特に断らない限り、引用法令は日本のもの）。 概要[編集] 著作物が無断で改変される結果、著作者の意に沿わない表現が施されることによる精神的苦痛から救済するため、このような制度が設けられていると理解されている。もっとも、元の著作物の表現が残存しない程度にまで改変された場合は、もはや別個の著作物であり、同一性保持権の問題は生じない（「パロディ・モンタージュ写真事件」（第1次）、最高裁判所判決昭和55年3月28日）。場合によっては私的改変[注釈 1]を禁止する権利もあり、他人に私的改変させるツールを提供することは不法行為として問うことができる[1][2]。 また、ベルヌ条約

Mac OS X v10.4から搭載されている。FinderやSafari、iCalなどのAutomatorに対応したアプリケーションの様々なスクリプトを組み合わせ、自動処理プログラムを作成することができる。 なお、Mac OS X v10.5に搭載されたバージョンでは、新たにiLifeメディアブラウザが使えるようになったほか、"操作と記録機能"でAutomatorに対応していないアプリケーションのワークフローも保存できるようになるなど、大幅な機能追加が図られた。 最新のMac OS X v10.6に搭載されたバージョンでは、新たにサービスメニューの作成に対応した。 macOS 12からショートカットアプリが搭載され、Automatorの後継アプリとなっている。

オービタル・サイエンシズ（英語: Orbital Sciences Corporation、通称OSC、またはOrbital）は、かつて存在したアメリカ合衆国の企業である。人工衛星の製造・打ち上げを行っており、また打ち上げシステムグループはミサイル防衛とも関わっていた。かつてはORBIMAGE（現GeoEye）とGPSレシーバーのMagellan lineも有していたが、タレスに売却している。バージニア州のダレスに本社を持った。 2014年4月29日に、ATK社の航空宇宙・防衛部門と対等合併することで合意し、オービタルATK社 (Orbital ATK Inc.) を新社名にすることになった[2]。この合併は、2015年2月10日に実施された[3]。その合併会社も2018年に、ノースロップ・グラマンに買収され、その子会社のノースロップ・グラマン・イノベーション・システムズとなった。 主な工

ナイテック・プレシジョン・アンド・テクノロジーズ株式会社（ないてっく・ぷれしじょん・あんど・てくのろじーず）は、兵庫県姫路市に本社を置くNISSHAの子会社である。 概要[編集] 携帯電話、携帯ゲーム機、カーナビなどで使われるタッチパネルの製造・販売を行なっている。なかでも、中型や小型のタッチパネルの生産は世界でも大きなシェアを誇る。 沿革[編集] 2000年 - 設立。 平成21年12月 東芝モバイルディスプレイの子会社、ティー・エフ・ピー・ディー株式会社姫路工場の生産停止後、 土地･建物をNISSHA株式会社に貸与。 ナイテック・プレシジョン・アンド・テクノロジーズ株式会社　姫路工場となる。 外部リンク[編集] ナイテック・プレシジョン

高品質な美術印刷を得意とする創業80年を超える大手印刷会社ではあるが、高度な印刷技術を使った加飾フィルムや最先端のタッチセンサーでグローバル展開している。近年は印刷用資材である蒸着紙を手がけたり、メディカル分野にも進出している。 特にタッチセンサーでは世界トップレベルのシェアを持ち、近年のタッチパネルの旺盛な需要に伴い、成長が著しい。印刷業界が構造不況に陥るなか、好調な業績を挙げている。 京都サンガF.C.のオフィシャルスポンサーでもある。

インモールド成形（インモールドせいけい）は、樹脂の成形技術のひとつ。 概要[編集] あらかじめデザインが印刷されたPET原反を射出成形機の金型内に挟み込み、射出することにより、樹脂の熱等で印刷されたデザインが樹脂に転移する成形方法。主に自動車部品や家電部品等の意匠付けに用いられる。通常、プラスチックの加飾には、塗装、印刷、転写等の工法があり、成形後のリードタイムや2次加工時の品質不具合による歩留まり低下が心配されるが、インモールド成形によりリードタイムの短縮化やトータル工程の歩留まりがコントロールできることが利点。ハードコートも成形時にできることから、携帯電話への工法採用が顕著である。 バンダイから発売されたプラモデル（ガンプラ）においては、BB戦士『超機動大将軍』『 超SD戦国伝 武神輝羅鋼』等のシリーズの一部キットでこの技術が使用されていた。これらの商品では後に輝羅鋼パーツの製造が困難

HQ9+はクリフ・ビッフルによって作られたジョーク向け難解プログラミング言語である。実用言語ではない。 HQ9+は4つの命令だけで構成されており、それらは'H'、'Q'、'9'、'+'という単一の文字で示される。HQ9+はチューリング完全ではなく、プログラミング言語としては不完全であるが、プログラミングの例題としてよく取り上げられるいくつかの問題に対しては極めて効率的である。 Hコマンドは文字列"Hello, world!"を出力する。 Qコマンドはプログラムのソースコードを出力する（参考:クワイン (プログラミング)）。 9コマンドは『99 Bottles of Beer（英語版）』（アメリカの数え歌で、プログラミングの例題でよく利用される）の歌詞を出力する。 +コマンドはアキュムレータをインクリメント（1だけ増やす）する。 HQ9+のプログラムは、例えば次のようになる。 HHQ+HQ+

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2023年1月） D は、クリス・デイトとヒュー・ダーウェンが著書 (共著) The Third Manifesto で提案した、関係データベースのデータベース言語が満たすべき要件の集合である。 D自体はデータベース言語ではない。 デイトとダーウェンは、2008年現在で広く使われているデータベース言語SQLを、関係モデルを正確に実装していないとして、批判している。 Tutorial D は、The Third Manifesto で説明され使われている、Dの抽象的な実装である。 Dの実装は、Tutorial D と必ずしも同じ構文である必要はない。 Dを正しく実装するために必要なことは、その実装が、Dで規定され

SPINモデルチェッカ（英: SPIN model checker）は、ソフトウェアのモデル検査のためのツールである。Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてきた。2001年にAssociation for Computing Machinery (ACM) のソフトウェアシステム賞を受賞している。1995年以来、ほぼ毎年モデル検査に興味のある SPIN ユーザーや研究者による SPIN ワークショップが開催されている。 SPIN(Simple Promela INterpreter)は、オートマトンに基づく模型検査器(model checker)。検査対象のシステムは専用の言語Promela (Process Meta Language) で記述される。Promela は、非同期分散アルゴリズムを非決定的オートマトンとしてモデル化する。検証される属