Prolog（プロログ）は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。形式論理である一階述語論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である[1]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキ

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "データ駆動" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年1月） データ駆動（データくどう）または データドリブン（data driven）は計算機科学における計算モデル（抽象的な計算の方法）のひとつである。データ駆動においては、ひとつの計算によって生成されるデータがつぎの計算を起動し、つぎつぎに一連の計算が実行される。データ駆動は人工知能における前向き推論に近い。なお、データ駆動の対義語は要求駆動である。 関連項目[編集] データ駆動プログラミング（英語版） データドリブン・テスト（英語版） データサイエンス 要求駆動 ビッ

『若者たち』（わかものたち）は、1966年にフジテレビで放送された連続テレビドラマ。大阪府内の5人きょうだい（4男1女）が両親（小学校の教師）を相次いで亡くしてからの暮らしぶりを報じた毎日新聞の特集記事（1965年11月29日付朝刊「ある家庭」）を基に制作された[1]。 ここでは、2014年にフジテレビで放送された連続ドラマシリーズや、ドラマから派生した実写映画や舞台作品についても述べる。 テレビドラマ[編集] 1966年版[編集] 千葉県の海岸沿いの町に住む、両親を亡くした5人兄弟が、友情・恋愛・確執などを繰り返しながらも逞しく歩き続けて行く青春ドラマ[2][3]。視聴者の共感を呼び、開始当初は低かった視聴率も回を追うごとに上昇していった。また、ドラマの人気上昇につれ後述の同名主題歌も大ヒットした。 しかし、1966年9月23日放送予定の第33話「さよなら」は、在日韓国人に対する日本人に

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "シャウプ勧告" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2016年8月） シャウプ勧告（シャウプかんこく）は、GHQの要請によって1949年（昭和24年）に結成されたカール・シャウプを団長とする日本税制使節団（シャウプ使節団 （フランス語: Mission Shoup ） ）による日本の租税に関する報告書である。正式名称を「シャウプ使節団日本税制報告書」（シャウプしせつだんにほんぜいせいほうこくしょ、英語: Report on Japanese Taxation by the Shoup Misson）と呼ばれる。 1949年（昭和

この記事は特に記述がない限り、日本国内の法令について解説しています。また最新の法令改正を反映していない場合があります。ご自身が現実に遭遇した事件については法律関連の専門家にご相談ください。免責事項もお読みください。 この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "控除" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2018年5月）

『Mass Effect』（マスエフェクト）は、Xbox 360・Microsoft Windows用のサードパーソン・シューティングゲーム系アクションロールプレイングゲームソフト。開発元はバイオウェア。『Mass Effect シリーズ』の第一作。 概要[編集] 宇宙を股にかけた壮大なストーリーや、フルボイスオーバーによる映画的でドラマチックな演出、スタートレックを彷彿とさせる、異星人の歴史、文化、政治体系までをもカバーした緻密な世界観設定が特徴。本作の最終的な目的は全宇宙の生命を脅かす脅威の打倒であり、ストーリーの大筋もいくつかの決められたイベントをなぞって展開するものの、その過程では膨大な数の事案に対する決断がプレイヤーにゆだねられる。困っている旅行者に金を工面してやるか否かといった一見些細なものから、それまでの敵を説得するか殺すかといった重大なものまで様々で、また、決断を迫られる問

この項目の現在の内容は百科事典というよりは辞書に適しています。百科事典的な記事に加筆・修正するか、姉妹プロジェクトのウィクショナリーへの移動を検討してください（ウィクショナリーへの移動方法）。（2009年4月） この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "シノファイル" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2021年8月） シノファイル（英: Sinophile、仏: Sinophilie、中国贔屓）は中国の各種文化（中華文化）や人物を好む趣味を持つ人である。中国語では「親華派」と表記されるが、日本語の「親華派」とは異なり「中華民国に友好的な人物」という意味を持っていない

二進法（にしんほう、（英: binary numeral system, base-2 numeral system）とは、底を2とする位取り記数法および命数法である。二進法によって表された数を二進数（にしんすう、（英: binary number）と呼ぶ。二進法において、位は順に底2の冪（…, 1/4, 1/2, 1, 2, 4, …）ごとに取り、位の値は 0 または 1 を取る（例：十進数の 7 (= 4 + 2 + 1) は二進法で 111、1.75 (= 1 + 0.5 + 0.25) は 1.11 と表される）。 記数法[編集] 二進法で表された数 二を底とする位取り記数法を二進記数法または単に二進法と呼ぶ。二進法による数の表示は、一の位を k = 0 とし添字 k で位の位置を表し、位の値を dk ∈ {0, 1} で表せば、以下のように書ける： これは以下の総和の略記と見なせ

マイクロペイメント（英: micropayment）は、通常の支払いシステムでは少額の決済を行うと経費が掛かり現実的ではないので、少額の金銭の支払い（転送）の手段として考案された[1]。小額決済あるいは超少額決済とも。"micropayment" という言葉は本来アメリカでの1ドルの1000分の1を意味し[2]、ミル単位の支払いを効率的に実現する支払いシステムを意味する。しかし最近では、クレジットカードなどの電子的支払い機構では現実的に処理できない程度の小額の支払いを意味する。マイクロペイメントを使った取引をマイクロコマース (microcommerce) という。 概要と背景[編集] 一般にマイクロペイメントシステムでは多くの支払いを集め、一般的な程度の額の取引になるまでまとめる。アメリカ合衆国で（広義の）マイクロペイメントがよく使われる例として、公共交通機関、大学の学生食堂、道路通行料

電子データ交換（でんしデータこうかん、EDI、Electronic Data Interchange）とは、標準化された規約（プロトコル）にもとづいて電子化されたビジネス文書（注文書や請求書など）を専用回線やインターネットなどの通信回線を通してやり取りすること。とりわけ、企業間の取引を行うこと。初期には企業間における受発注の電子データ交換を意味した。 概要[編集] 経済産業省による定義では、「異なる組織間で、取引のためのメッセージを、通信回線を介して標準的な規約を用いて、コンピュータ間で交換すること」となっている。電子データ交換の規格は以下の4つのレベルからなり、数字が小さいほど下位の規約となる[1]： レベル4：取引基本規約　法的有効性を確保する契約書 レベル3：業務運用規約　業務やシステムの運用の取り決め レベル2：情報表現規約　双方のコンピュータがデータを理解できるようにするためのデ

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ストーマ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2019年9月） ストーマ（stoma、ストマとも）とは、消化管や尿路の疾患などにより、腹部に便又は尿を排泄するために造設された排泄口のことである。ストーマを持つ人をオストメイトと呼ぶ。 大きく分けて消化管ストーマと尿路ストーマがある。消化管ストーマは人工肛門、尿路ストーマは人工膀胱とも呼ばれる。 ストーマ(στόμα)はギリシャ語で口を意味する[1]。 人工ストーマの作成を伴う外科的処置には、接尾辞「-ostomy」で終わる名前があり、作成されたストーマを指すために同じ名前がよく

胃瘻（いろう、英: gastrostoma; gastric fistula）とは、食物や水分や医薬品を流入させ投与するために腹壁を切開して胃内に管を通す経管栄養医療措置の1つである。人工的水分・栄養補給法（英: artificial hydration and nutrition; AHN）とも称する[1]。高齢者など回復の見込みの無い寝たきりに対し、経管栄養などを用いた延命行為自体を非倫理的として禁止している国もある[2]。 概要[編集] 食物や飲料や医薬品などの経口摂取が不可能または困難な患者に対し、人為的に皮膚と胃に瘻孔作成、チューブ留置し、食物や水分や医薬品を流入させ投与するための処置である。1980年代にアメリカ合衆国において上部消化管内視鏡を用いての内視鏡的胃瘻造設術（英: Percutaneous Endoscopic Gastrostomy; PEG）が開発され[3][4

この項目の現在の内容は百科事典というよりは辞書に適しています。百科事典的な記事に加筆・修正するか、姉妹プロジェクトのウィクショナリーへの移動を検討してください（ウィクショナリーへの移動方法）。（2016年1月） この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2018年12月） ケイ素樹脂（ケイそじゅし）とはケイ素(Si)化合物を主成分とする合成樹脂。漢字で「珪素樹脂」。通常、高分子 シリコーンを主成分とするシリコーン樹脂を意味する。シリコーン共通の構造として、オルガノポリシロキサン (Si-Oの結合鎖を主鎖とし、Si上に有機基を有する構造) を主鎖としており、三次元の網状構造をもつ。有機基によりその物性（屈折率・比重・ガラス転移点・親水性や疎水性・風合いなど

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "モビルフォース ガンガル" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2015年7月） モビルフォース ガンガルとは、1980年頃に東京マルイが発売していた、プラモデルのシリーズ。 1980年当時、いわゆる「ガンプラ」ブームが発生していた折に、東京マルイが過去に販売していた「超メカモデル」シリーズなどの箱絵を変えて発売したもの。縮尺は1/177と1/250の2種類があったが、実寸は明記されていない。 モビルフォース[編集] このシリーズのプラモデルは、「モビルフォース」という名称で、以下のものが商品化された。 ガンガル (1/250)

歴史[編集] ゲージ変換の自由度を持った最初の理論は電磁気学における、1864年のマクスウェル(James Clerk Maxwell)による電磁場の公式であるが、この概念の重要性は永く気付かれないままであった。この定式化の持つ対称性の重要さは、早期の段階では注目されることがないままであった。ヒルベルト(David Hilbert)も注目することなく、一般座標変換の下の作用の不変性を詳しく調べ、アインシュタイン方程式を導出した。後日、ワイル(Hermann Weyl)が、一般相対論と電磁気学を統一しようと、スケール変換（もしくは、ゲージ変換）の下の不変性が、一般相対論の局所対称性であろうと予想した。量子力学の発展したのち、ワイル、フォック(Vladimir Fock)、ロンドン(Fritz London)が、スカラー要素を複素数値に置き換え、スケール変換を U(1) ゲージ対称性である相(

延べ視聴率（英: gross rating point、GRP）とは広告業界においてスポットCMの契約などに用いられる単位。 概要[編集] 毎分視聴率が1%の番組に、テレビ広告を1本流すことを 1GRP と表す。 例えば、16%の番組に5本、12%の番組に6本、6%の番組に8本の広告を流した場合は、(16×5)GRP + (12×6)GRP + (6×8)GRP = 200GRP となる。 スポンサーにとっては、ひとつの広告についてそれに接した視聴者の割合（到達率 reach）と、どれだけ多くの回数広告に接したか（平均接触回数 frequency）が重要になってくる。このため、GRP = reach × frequency とも表される。 上記の例の合計19本のうち、全ての世帯が一度でもその広告に接した場合は到達率100%、平均接触回数は2.0回となる。また、全世帯のうちその広告に接した世