hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
ゼノブレイド 勢力・設定用語
巨神の骸の上に築かれた世界。この世界で発生した生物は有機物の肉体を持ち、「巨神から生まれた者は巨神に還る」という生命観を持つ。人語を解するほどの知能を持つホムス、ノポン、ハイエンターという3種族の他に、人語は解さないが、独自のテリトリーや生活の場を持っている亜人たちも数多く生息している。
ホムス
巨神下半身に暮らすヒトの姿をした種族。寿命は80歳程度。数千年前に誕生し、王族・皇族による統治制度を経た後、現在はコロニー監督官を中心としたコロニー制という形で巨神界の各地に散らばっている。
なお、コロニーは10箇所ほど存在していたが、その大半が作中以前に機神兵の攻撃によって壊滅しており、現在はコロニー6、コロニー9の二つしか残っていない。
ホムスにとって機神兵とは、純粋に敵対勢力である。コロニーを破壊し多くの人を虐殺する存在として、憎むべき存在である、というのが大方のホムスの認識である。
ノポン
巨神背部に位置する「マクナ原生林」を拠点とする、丸く愛らしい獣のような外見をもつ商業種族。寿命はホムスと大して変わらないが、その姿形や「〜も」を語尾とするしゃべり方から、他種族のものがノポンの年齢を外見で判断するのは非常に難しい。中には語尾に「〜も」をつけないノポンもいる。また、稀に数千年以上も生きるノポンがいる。
ゼノブレイド 勢力・設定用語
10歳〜15歳程で成長期に入り、1年で外観が大きく変化する場合が殆どである為、子供と成長した姿で同一人物と判断出来ない場合も多いとされている。
頭部にある羽が発達しており、それを手の代わりとして様々な作業をこなすことができる（普通の手も一応あるが、とても小さく使うことは滅多にない）。エーテルのような技を繰り出すことができるが、ハイエンターとは違い「裏で色々苦労している」とのこと。ノポンの子供は見かけによらず大飯食らいであり、そのせいもあって子供の数は一家族につき1〜2匹程度が普通である（あまり子どもを作るとあっという間に借金まみれになるため）。
性格は基本的に気楽であり、また、神経が太く商魂たくましい。そのバイタリティで各地の遺跡や未開拓の雪山への調査を進めたり、ホムスにとっては伝説と化しているハイエンターとの交流も盛んである。一方、負債を抱えた者を「勇者」と称して村の為に強制労働させるなど、金銭に関してはシビアでブラックな面もある。
ホムスやハイエンターと違いエーテルを工業的エネルギーとせず、花粉を加工した「花粉玉」を用いて生活を営む。
ゼノブレイド 勢力・設定用語
機神兵団はノポン族が多く暮らすマクナ原生林には侵攻している形跡がない。そのため、ノポン族にとっての脅威とはもっぱらマクナに生息する、人語を解さない亜人たちや“大恐竜”（テレシアのこと）である。ホムスやハイエンターのように物語上の明確な役割を持っておらず、彼らと比べ特異なほど外見が違うことや、機神兵やテレシアの直接の標的にされないことなど、その出自・存在には疑問が多い。
ハイエンター
他地域と隔絶された位置にある巨神頭部に広がる「エルト海」に生息しホムスの間では半ば伝説となっている種族。巨神界に遥か昔から棲む原初生命の一つである。皇家の血筋が国を治める君主制により、繁栄を極めている。閉鎖的な種族ではあるが、近年はノポンとの交流が盛ん。また、かつては巨人族やマシーナとも交流していた。
外見はホムスに似ているが銀髪の者しか存在せず、頭部に（飛行も可能な）羽が生えており、エーテルを触媒なしで操ることができる。寿命はホムスの約5倍である。現在は人の姿をしているが、始祖は巨大な鳥のような姿をしていたと伝えられており、皇都の建築物が必要以上に広いのはそのためだとされている。他の生物よりエーテルによる影響を受けやすい。
ゼノブレイド 勢力・設定用語
ホムスやノポンより遙かに高度な文明を築いており、その統治体制は皇家を頂点とした三院制（記録院、探求院、究明院）である。それぞれの役割は作中では詳細には語られないが、それぞれ行政、技術開発、司法を司る機関と考えられる。また、都市全体を浮揚システムで海上に浮かせたり、転移装置で島々を移動できたり、墓所には皇祖の人格を模した疑似コンピュータのようなものが内蔵されているなど、その技術力には他を圧倒するものがある。
ハイエンターという種族は、巨神復活の際に邪魔な生命を狩りとるためにザンザに創り出された種族であり、高濃度のエーテルを浴びることでテレシアに変貌する因子を持っている。しかし、ホムスと交わるとテレシア化しなくなるため、皇家はテレシア化因子を取り除くためにホムスとの混血政策を進めており、皇主には光妃（こうひ・ハイエンターの妃）と影妃（えいひ・ホムスの妃）という二人の妃を娶るしきたりがある。混血児と純血種の間では遺伝子の優劣にもよるが翼が短いことで混血であるかが分かる。保守的なハイエンターの間では、ホムスとの混血は汚らわしいものと捉えられており、巨神教異端審問官といった過激派が出現する要因にもなっている。この巨神教は第47代皇主ルミオン皇の治世下において、過激思想として勅命により解体させられ、教団は崩壊したものと最近まで思われていた。
ゼノブレイド 勢力・設定用語
巨神界を統べる種族であることを意識しているハイエンターにとって、機神兵の侵攻は止めなければならないものであるというのが皇主ソレアンの考えである。巨神界の生物の生き死にはエーテルに影響を与えるが、昨今の機神兵団侵攻がそれを増幅させている。このエーテルの不安定化は巨神界の生物に害を与えるテレシアの活性化を促してしまう。この事態を皇主として看過するわけにはいかないということである。
なお、父ソレアンの補佐を務める皇子カリアンは当初「たとえ相手が機神兵団であってもハイエンターは他民族との争いを好まない」とダンバンに告げており、防衛機構を重視しているハイエンターにとってもこちらの考えの方が一般的だったようである。
本編終盤での出来事によって純血種は事実上絶滅したため、「つながる未来」に登場するのは混血種のみで絶滅した純粋種に対する差別意識を持つ人物も登場する。
巨人族（きょじんぞく）
ハイエンターと並ぶ巨神界最古の種族。名前の通り、巨大な体躯を誇る。
儀式などを重んじる種族で、各地に遺跡を造り供物を捧げていた。
原因は判然としないが、現在では滅んでしまっている。
テレシア
巨神界上層に棲み、眠れる巨神を守護するといわれる霊獣。
ゼノブレイド 勢力・設定用語
巨神の細胞の一部であり、巨神界最古の生物と伝えられている。「テレシア」という言葉は「不浄な生命を刈り取る者」という意味があり、巨神（ザンザ）にとって邪魔な生命を排除する役割を担う。
知性と呼べるものはなく、ほとんど本能のみに従って行動する危険な生物である。
エーテルを糧とし、周囲のエーテルを吸収し、枯渇させ、生態系を破壊してしまう。
生命力が強く、触覚によって相手の思考を読む能力を持つ。
巨大な鳥のような姿をしたものや恐竜のような姿をしたものなど様々な個体があるが、いずれも虹色の体と光の羽を持つ。
強さについては個体差が激しいものの、思考読みの力もあり、基本的に並の戦士では太刀打ちすることのできない強大な存在である。ハイエンターの皇都から逃げ出したテレシアは精鋭の衛士たちでも討ち果たすことができなかった。
テレシアが知性を与えられて進化した生物がハイエンターであり、ハイエンターにとってテレシア化することは「元の姿に戻る」ことを意味する。
霧乃獣（きりのけもの）
「つながる未来」のみに登場。その名の通り、黒い霧をまとったモンスターで、波動により周囲の獣を引き寄せてくる。
機神界（きしんかい）
機神の骸の上に築かれた世界。機械と金属で構成された肉体を持つ生物である、機械生命体が生息している。
ゼノブレイド 勢力・設定用語
巨神界をも上回る高い技術力を誇る。現在は断絶しているものの、かつては巨神界と何のわだかまりもなく交流していた。 
機神界人（マシーナ）
機神より生まれた機械生命。
非常に寿命が長く、身体のパーツを追加・換装すればかなりの長い時間を生きることができる（ただしどんどん身体が大きくなり、致死レベルの損傷を負うと死んでしまう）。また、その長命さ故に、300年を「知り合って間もない」と言うほど時間の感覚が大きくズレている。食物を必要とせず、水と少しのエーテルがあれば生きられる。水の中に長時間居ることはできない。しかし、機械の肉体であるため少しのことで身体に異常をきたしやすいという難点がある。
機械であるが魂魄を持つれっきとした生命体であり、性別も存在して原理は不明だが子を成すこともできる。
かつては機神メイナスを篤く奉じる者たちで構成された独自の社会体制を築き栄えていたが、今では生き残っている者は少ない。
機神兵（きしんへい）
機神から現れ進軍を開始した、機械生命体の軍団。意思を持たず純然たるロボットに近い存在で、機神界盟主エギルの命令によって動く。
その多くはホムスによって「○○式（○○には漢数字が入る）機神兵」と呼ばれているが、機神界では「○○式（○○には漢数字が入る）・△△（△△には英字表記が入る）」と名付けられているものが多い。
ゼノブレイド 勢力・設定用語
二足歩行タイプや四つ足のもの、飛行型までその形態は多種多様である。赤い光を放つ眼のようなものが付いており、これが素早く明滅すると攻撃対象を捉え戦闘モードに入ったことを示す。並の武器では傷一つつけられない強固な装甲に加え、ホムスを凌駕する圧倒的なパワーを持つ。しかし、エーテルにはあまり耐性がなく、物理攻撃であっても体勢を崩し転倒させれば通用するようになる。
機神兵の目的は主にモナドの破壊と、生死を問わずホムスを捕獲し、機神界に回収することである。
ホムスを機神界に連れ去るのは、巨神に還った生き物のエーテルを糧とするザンザのエネルギー補給を妨害するためであり、同時にフェイスの材料にするためという意味合いもある。
巨神界を数千年以上の長きに渡って蹂躙してきたが、作中開始の1年前の大戦でモナドを手にしたダンバンにより殲滅、撤退に追い込こまれた。だが、本作のプロローグにおいて軍団を再構築して侵攻を再開する。
フェイス
巨神界の者達に「顔つき」と呼ばれている、特別な機神兵。
いずれも二足歩行タイプであり、飛行のための推進装置を後部に持つ（量産型や黒いフェイスには飛行形態が存在する）。機動力・装甲・パワーのどれをとっても通常の機神兵の能力をはるかに超えた存在である。また、武装はそれぞれコアユニットの戦闘タイプを反映した装備がなされている。
ゼノブレイド 勢力・設定用語
その実態は1年前の戦いでモナドに煮え湯を飲まされたエギルが、人間を斬れないというモナドの弱点をつくために作りだした兵器である。ホムスの脳幹部や代謝に必要な臓器などを組み込み、装甲内に血液を循環させることで「人」と認識させている。その内部には機械の体に改造されたホムスがコアユニットとして組み込まれている。なお、一体のフェイスに対して使われるホムスの臓器は一人分である。フェイスは主にコアユニットが内部から操るのが基本だが、限定的ながら遠隔操作も可能。また、全ての機神兵はエギルの支配下にあるため、仮にコアユニットが逆らおうとしても無理矢理フェイスをコントロールされてしまう。
血液のろ過や諸々の機能が不全な初期型は定期調整を必要とし、中にはホムスを「喰らい」輸血のような形で賄うものもいる。
フェイスのユニットの身体構造は概ねマシーナと似ているが、免疫系等をフェイス本体に依存しているため、長時間フェイスから降りて活動することはできない。また、一部を除いて初期に製造されたフェイスのユニットは実験的な意味合いもあり生身の頃の記憶が残されているが、後半のものは全ての記憶情報を抹消されている。
機神兵（フェイス含む）は機神胸郭にあたる位置にある「中央工廠」にて製造・調整がなされ、機神の大剣の鍔の部分に設営された前線基地「ガラハド要塞」から侵攻してくるとされている。
神剣モナド
ゼノブレイド 勢力・設定用語
機神との戦いの際に巨神が振るっていたとされる光の剣。14年前にヴァラク雪山でディクソンにより発見された。
作中世界を構成する根源元素エーテルに干渉、制御し、それらを断ち切ることもできる力を持つ。柄の部分にある何層にも重なったガラス状のプレートの一枚一枚に漢字のような文字が浮かび上がる仕組みになっており、浮かぶ文字によって異なる力が発現する。
機神兵の強固な装甲をも容易く切り裂くが、ホムスやハイエンターといった巨神界の人族を傷つけることは全くできない。また、ホムスの器官が組み込まれたフェイスに対しても同様に効力を持たない。
物語中盤でザンザによって枷が外され形状が変化し、フェイスすらも斬れるようになるが、後にエギルによって明らかにされた反モナド場（アポクリファ）によってモナドの力が停止させられてしまうことが判明する。
物語開始時点では機神兵に対して有効な唯一の武器であり、ホムスの希望ともいえる存在であるが、その力のため使用者には多大な負荷がかかり、ダンバン以外には制御できないとされていた。しかし、機神兵の再侵攻に際して、傷のためモナドを振れなくなったダンバンに代わり、シュルクが振るう事となる。この際ダンバンには知覚できなかった、わずかに先の未来を見ることが出来る「未来視」が発現している。
ゼノブレイド 勢力・設定用語
モナドには未来視のほかにも、前述のように文字に対応した様々な力を発揮する能力が秘められている。また、使用者の意志を反映させる特性があり、アルヴィースは「モナドは意志の力」と語っている。
かつてはハイエンター皇家に仕える神聖予言官が未来視を見るために触れる、儀式上の道具であった。
最終的にザンザの手に戻った後は、形状がさらに大きく変化し、禍々しい外観の両刃の剣となる。
また、メイナス（が憑依していたフィオルン）も二振りの七支刀に似たモナドを装備していたが、ザンザに敗れた際にザンザに奪われてしまい、その時はその二つを連結した大剣型に変化、ザンザに巨神界だけでなく機神界の因果律にも干渉できる力を与える事となる。
モナド
世界に生きる者一人一人が持っている光。
通常は形もなく、力も無いに等しい。
上記の神剣モナドは狭義のモナドであり、本来モナドとはこちらを指す。具現化しているザンザやメイナスのモナドは創世や未来視といった超常的な力を秘め、他のモナドとは一線を画する。
加えて、モナドは世界の基になっている高次意識体(アルヴィースのこと)でもあり、世界そのものともいえる。
根源元素エーテル
作中世界の万物は、巨神界・機神界を問わずエーテルという根源元素によって構成されている。
ゼノブレイド 勢力・設定用語
巨神界と機神界とではエーテルの流れが異なるため結晶の形が違い、巨神界では「エーテル鉱床」、機神界では「エーテルギア」として存在している。
生物は周囲のエーテルが極端に不足するとエーテル欠乏症を引き起こしてしまう。また、死ぬと体内で蓄えたエーテルを結晶として落とすとされる。
エーテルの性質は状態や属性によって千差万別であり、カルナの回復エーテルのように癒しの力をもつものもあれば、巨神の血液やそこから作られる溶液のように、生物の体を侵すものもある。また、同一のエーテル粒子が大量に集まると、連鎖反応を起こし高熱を発する。
ホムスやハイエンター、機神界の兵器やマシーナの工業的エネルギー源としても重要で、また、ゲームシステム上においては各キャラクターのアーツや装備にさまざまな追加属性を付加する「ジェム」の精製のために必要不可欠な存在である。
エーテル単体は個々の位置や運動量、相互に関係するそれらの未来の振る舞いについて予測可能であり、その集合体である生物の未来も原理的には予測可能だとされる。ここから「この世界を構成する根源元素エーテルに干渉できるモナドの原理」と「エーテルの流れそのものである未来視を見たことでその未来に干渉可能な原理」は同じであると考えることができる、ということが劇中アルヴィースとシュルクの会話で明らかにされる。
未来視（ビジョン）
数秒先、あるいは遥か未来の出来事を映像のように見る力。
未来視は確定された未来ではなく、行動次第で変えることも可能である。もし未来視を見ても何も対処しなかった場合、未来視の内容通りの出来事が起こる。また、どんなに最善を尽くしても変えることのできない不可避の未来も中には存在する。
予知のような力であるが、上記のようにこれはエーテルの流れとその因果律を読み取り、それを基に未来の出来事を映像としてシミュレーションする力である。そのため、因果の流れの外となっている存在を未来視することはできない。
反モナド場（アポクリファ）
フェイス同様、エギルがモナド対策として発明したもので、モナドの力をかなり抑えることができる。
その原理は、根源元素エーテルに干渉する波動を放つモナドに対し、相反する波動をぶつけることで無力化するというものである。
中央工廠の最奥部、機神界中枢直下にある「アポクリファ発生器」より生じ、その効力は遠く離れたガラハド要塞や落ちた腕にまで及ぶほど。
ジャンクス
「落ちた腕」にあるマシーナの隠れ里の核を為す飛翔機械。
広い後部甲板と2枚の可動型水平翼と垂直翼を持ち、フェイスの後部に備えていたような推進装置を使って飛行する。
また下部に2門のビーム砲を備えており、機神の中央工廠最上部への侵入の際、威力を発揮した。
中枢には常にミゴールがその巨体を納めており、再加入したフィオルンの生命維持装置を修復したリナーダ、ヴァネア、ジャンクススタッフらとともにシュルクたちの空中輸送をサポートする。
ゼノブレイド 評価
Wiiチャンネル『みんなのニンテンドーチャンネル』内の「みんなのおすすめ」では、全ユーザー対象の平均評価で最高ランクである「プラチナランク（おすすめ度平均95〜100点）」を同チャンネルが終了するまで3年以上維持した。これはプラチナランクを維持した期間としては最長記録である。海外版発売の際に行われた海外メディアのレビューにおいても、90%以上を平均して獲得するなど軒並み高い評価を得た。
日本ゲーム大賞2011優秀賞。
ゼノブレイド 世界展開
欧州版は、赤く塗装された専用のクラシックコントローラPROや後述のオンライン投票で決定されたイラストのリバーシブルパッケージ、高橋哲哉のサインが印刷された3枚の特典ポスターが同梱されたスペシャルパック版も発売された。また、2011年の5月13日から同月25日までの期間、パッケージのデザインを複数の候補の中からFacebookとTwitterからのユーザー投票で決定するという企画が行われていた。
なお、2011年4月26日の任天堂決算にて欧州版の発売時期が決定されると同時に、北米版は発売予定欄から消失しており、北米での発売を希望する任天堂ゲームファンのグループがアピールの一環としてAmazon.comに大量の購入予約を入れた結果、未発売ゲームであるにもかかわらず同通販内のNo.1ベストセラー商品となってしまったという珍事が発生した。その後の2012年4月、北米でも発売することが決定した。
ゼノブレイド Newニンテンドー3DS版
2015年4月2日発売。初のNewニンテンドー3DS専用ソフトであり、旧型のニンテンドー3DSやニンテンドー2DSには対応していない（後に発売されたNewニンテンドー2DS LLには対応）。
3DSの基本仕様である裸眼立体視映像への対応、上下2画面への最適化（下画面にキャラステータス・小マップ表示を割り振り、上画面はキャラクター・情景画面のみを表示）が行われている。加えてNewニンテンドー3DSの基本仕様である3Dブレ防止機能により、いわゆる3D酔いを抑止している。
このほか、「コレクション」モードを新設。すれちがい通信・amiiboなどで手に入れる事が出来る「トークン」を使う事でゲーム内の3Dキャラクターモデルの閲覧やサウンドが開放されていく。
ゼノブレイド その他
大乱闘スマッシュブラザーズ for Nintendo 3DS / Wii U
プレイヤーキャラクターとしてシュルクが参戦しているほか、ダンバンとリキも最後の切りふだとして出演している（リキはアシストフィギュアとしても登場する）。
また、ステージとして「ガウル平原」が採用され、Wii U版にのみ黒いフェイスが出現する。
本作の原曲がステージ音楽に採用されており、またシュルク初参戦のイラストはモノリスソフトが担当している。
大乱闘スマッシュブラザーズ SPECIAL
ファイターのシュルク、対戦ステージ「ガウル平原」や収録BGMが前作から続投、アシストフィギュアのリキも引き続き登場する。シュルクの最後の切りふだにフィオルンの登場が追加された。
amiibo
ゼノブレイド その他
Newニンテンドー3DS専用 きせかえプレート No.059
PROJECT X ZONE 2：BRAVE NEW WORLD
味方側のプレイヤーキャラクターとしてフィオルン、敵側のキャラクターとして黒いフェイスがゲスト参戦。フィオルンは機械化された状態での登場であり、『ゼノサーガ』シリーズのKOS-MOSとペアを組んでいる。
スーパーマリオメーカー
ハテナキノコのバリエーションの一つとしてシュルクが登場。シュルクのamiiboをタッチすると入手できるほか、100人マリオをクリアすると入手できることがある。シュルクに変身している間のマリオは原作で収録されたボイスを発する他、ステージクリアすると秘境発見時のファンファーレが鳴る。
ゼノブレイド 制作スタッフ
音楽
下村陽子：メインテーマ等
清田愛未
ACE+（ACEと平松建治による期間限定ユニット）
光田康典：エンディングテーマ「Beyond the Sky」作曲
サラ・オレイン：Beyond the Sky　ヴォーカル担当
任天堂
山上仁志：ゼネラルプロデューサー
服部由里絵：脚本
横田弦紀：ディレクター
波多野信治：シニアプロデューサー
岩田聡：エグゼクティブプロデューサー
金本美紀
金本 美紀（かねもと みき、1982年（昭和57年）3月5日 - ）は、日本のフリーアナウンサー。東京都大田区出身。ニチエンプロダクション所属。
金本美紀 略歴
聖心女子大学文学部卒業。
大学を卒業後、2004年に山形放送 (YBC) に入社。同期に元同局アナウンサーの長澤紗希子がいる。
2010年10月31日をもって山形放送を退社。東京へ戻り、以後は都内にある放送局を拠点に活動している。
奈良県道16号吉野東吉野線
奈良県道16号吉野東吉野線（ならけんどう16ごう よしのひがしよしのせん）は、奈良県吉野郡吉野町から東吉野村に至る県道（主要地方道）である。
奈良県道16号吉野東吉野線 概要
奈良県吉野郡吉野町窪垣内を起点とし、吉野郡東吉野村鷲家に至る。
ほぼ全区間が高見川に沿っており、一部狭隘な区間が存在する。
以前は奈良県道16号 五條鷲家榛原線という名称だったが、1974年（昭和49年）に大部分の区間が国道370号へ昇格したことから残った区間のうち国道166号重複区間を除いた区間が1977年（昭和52年）3月29日から本路線と奈良県道31号榛原菟田野御杖線の一部になった。
奈良県道16号吉野東吉野線 地理
※ 交差する場所の括弧書きは地名、それ以外は交差点名で表示
奈良県道20号下市宗桧線
奈良県道20号下市宗桧線（ならけんどう20ごう しもいちむねひせん）は、奈良県吉野郡下市町から五條市に至る県道（主要地方道）である。
奈良県道20号下市宗桧線 概要
奈良県吉野郡下市町下市を起点とし、五條市西吉野町城戸に至る。
奈良県道20号下市宗桧線 地理
※ 交差する場所の括弧書きは地名、それ以外は交差点名で表示
RTView
RTView（アールティヴュー）は、リアルタイム・データの可視化と監視を専門とする米国SL社（SL Corporation）が開発・提供するソフトウェア製品群のブランド名。実時間の監視システムに用いられるクライアント画面を対話的に作成し、Javaアプリケーション/アプレットまたはAJAXで表示するインフラ監視および可視化ツールである。2015年7月時点での最新バージョンは 6.6.0.0。
RTView 概要
RTViewは大きく分けて以下のアプリケーションから構成されている:
RTViewはJavaで開発されており、Java 1.5, 1.6, 1.7の環境で動作する。AJAXで画面を閲覧する際にはクライアント側にJava環境は不要である。
RTView 歴史
RTViewはSL社の監視制御システム開発用のJava動的グラフィックス・ツール J/Developer & J/Net をベースに開発され、2002年にバージョン1.0がリリースされた。
RTView 特徴
RTViewの既存機能をカスタマイズ・拡張する場合にはJavaでプログラムを記述する。カスタマイズ可能な機能には以下のものがある：
部品 - Display Builderに用意されていない独自の部品の作成
コマンド - ユーザの操作あるいはアラート経由で実行する独自のコマンドの作成
関数 - 独自のデータ・フィルターの作成
データ・アダプタ - RTViewに用意されていない独自のデータにアクセスするアダプタの作成
RTVAgent - RTView と通信するユーザ独自のエージェント機能を作成
RTView 他製品との連携
RTView はデータ・アダプタを経由して各種のデータソースにアクセスする。データ・アダプタはRTView製品で提供されるものと、RTViewと連携する製品を開発・提供する各社が用意しているものがある。
RTView製品で用意されているデータ・アダプタ
XML
関係データベース（JDBC / ODBC でアクセス可能なもの）
OLAP
TIBCO Hawk, Rendezvous, EMS（RTView for TIBCO で提供）
TIBCO ActiveMatrix BusinessWorks（RTView for APM | BW Monitor で提供）
JMS（Java Message Service）
JMX（Java Management Extensions）
StreamBase
RRD
Splunk
log4j
WMI（Windows Management Instrumentation）
SNMP（Simple Network Management Protocol）
Oracle Coherence（RTView for Oracle Coherence で提供）
RTVAgent
SOUL LAUNDRY
『SOUL LAUNDRY』（ソウル ランドリー）は、日本のJ-POPグループであるET-KINGのメジャー2枚目のアルバム。発売元は、ユニバーサルミュージック。
吉田俊彦 (競艇選手)
吉田 俊彦（よしだ としひこ、1978年6月28日 - ）は、兵庫県出身の競艇選手。登録番号4055。身長167cm。血液型O型。86期。兵庫支部所属
メディアグローバルステージ
株式会社メディアグローバルステージ（Media Global Stage Co.Ltd.）とは、動画配信サイトである「MGS動画」「MGSシアター」および電子書籍配信サイトである「MGSブックス」の運営会社である。MGS動画およびMGSブックスではアダルトコンテンツを、MGSシアターでは映画など一般向けコンテンツを配信している。
メディアグローバルステージ 概要
2009年9月、社員8名で創業。全員がWeb制作スタッフであった。資本金300万円。2010年1月、渋谷道玄坂にオフィス移転。2010年3月、アダルトビデオメーカー・プレステージが運営していたプレステージBBをリニューアルし、「MGS」としてオープン。売上高は8億円（2013年3月期実績）
それまで定額にて見放題だった料金体系を作品単体での販売に変更。基本的にはDMM.comなどの動画配信サイトと同じであり、プレステージなど主要メーカーの作品は、DMMと重複して配信されている。これはDMMが以前からプレステージ作品を取り扱っていたからである。MGSではDMMより価格帯を安くしたり月額見放題のタイトルをMGSが独占配信することによって差別化している。
MSGのノウハウを使用し、ネットカフェ専用サービス「プレステージ＠ネットカフェ」も運営する。
メディアグローバルステージ DMMとの違い
プレステージなど主要メーカー以外に「シロウトTV」というオリジナルコンテンツも配信。こちらは10代後半から40代以上と、美少女に限らず幅広い年代の女性を起用した作品である。プレステージ作品の「素人図鑑」に近い作品の作りとなっている。フルセイル作品の見放題はMGSだけで、他の動画サイトでは単品販売のみとなっている。
メディアグローバルステージ Silverlight完全対応
同社サイトは、他の動画配信サイトとは異なり、マイクロソフトの新技術Silverlight（シルバーライト）のSmooth Streaming（スムースストリーミング）で配信している国内唯一の動画配信サイトである。Silverlight技術は日本国内のサイトでは「GYAO!」や「Yahoo!動画」が採用していたが、いずれもSmooth Streaming対応ではない。このスムースストリーミングの技術はアダプティブストリーミングと呼ばれ、国内で完全に対応しているサイトはMGSだけである。
奈良県道25号月瀬針線
奈良県道25号月瀬針線（ならけんどう25ごう つきがせはりせん）は、奈良県奈良市から山辺郡山添村を経由して奈良市に至る県道（主要地方道）である。
奈良県道25号月瀬針線 概要
奈良県奈良市月ヶ瀬桃香野を起点とし、奈良市針ヶ別所町に至る。
奈良県道25号月瀬針線 路線状況
布目ダム周辺（奈良市邑地町80番地先交差点〜山添村大字桐山505番地先（釜淵橋西側）交差点間）は終日、二輪車（原付含む）通行禁止となっている。
奈良県道25号月瀬針線 地理
※ 交差する場所の括弧書きは地名、それ以外は交差点名で表示
バロー・ギャングBC
『バロー・ギャングBC』（バロー・ギャングビーシー）は、1985年に公開されたシブがき隊主演映画第3弾。監督は和泉聖治。CBSソニーグループ製作、東映クラッシックフィルム配給。
この後、本格的に映画製作に参入するソニー・ミュージックエンタテインメントグループ製作映画第1弾。目指すところは"見る音楽"。
バロー・ギャングBC ストーリー
先輩から海賊放送バローギャングを引き継いだ浩（ヤックン）、一郎（フックン）、駿（モックン）の三人。オンエア中に電波法違反を捜査していた刑事・伊坂（伊東四朗）に乗り込まれ、逃げ込んだライブハウスで駿の友達のサツキ（網浜直子）に助けられる。三人はスクーターを売り払ってワゴンを買い、ワゴンからオンエアすることになった。サツキもバローギャングの一員に加わる。
バローギャングは若者の人気を呼び、町中にリクエストやメッセージが集められた。その中の一通に2000人の高校生を集め、ダンスフェスティバルを開きたいという投書があった。投書の主・松本と四人は出会い、バローギャングはダンスフェス開催に協力することになった。放送でダンスフェス参加を呼びかけるバローギャングだが、三人の通ってる高校ではダンスフェスへの参加が禁止され、参加したものは停学になると言う。そこで一郎は放送室に閉じこもり、ダンスフェス開催を訴える。
バロー・ギャングBC ストーリー
ダンスフェス当日、三人は会場に行く途中にサツキを迎えに行く。そこへ以前からサツキにつきまとっていた暴走族のリーダー、ジョニー（決して外人ではない）が仲間を連れてやってきて、サツキを連れ去ってしまう。三人はバローギャングカーで追跡、埠頭に追い詰める。駿とジョニーの対決となるが、ピンチになりながらも駿はジョニーを倒した。そこへ刑事・伊坂が現れる。しかし彼は四人にこれでバローギャングをやめることを約束させると彼は去って行った。
四人のワゴンがフェスの会場に到着、2000人の歓声が聞こえてきた。ダンスフェスは青春のメモリアルに満ちあふれていた。
バロー・ギャングBC 製作
シブがき隊に絡む2人の女の子役は、前年1984年に第5回ミス・セブンティーンコンテストでダブルでグランプリを獲得した網浜直子と松本典子が選ばれた。
パリ〜ルーベ2010
パリ〜ルーベ2010は、パリ〜ルーベの108回目のレース。2010年4月11日に行われた。
パリ〜ルーベ2010 レース概要
60km地点過ぎから19選手が逃げる展開となった。メイン集団ではセクター18・アヴリュイで落車やメカトラブルが続発し、ベルンハルト・アイゼル（チーム・HTC＝コロンビア）やタイラー・ファーラー（ガーミン・トランジションズ）などが遅れを取ってしまう。一方、例年集団落車やパンクで阿鼻叫喚の地獄絵図が繰り広げられるセクター17・アランベールでは先頭集団・メイン集団共目立ったトラブルは発生しなかった。
その後、逃げが吸収されてメイン集団が再び大きくなる中でトム・ボーネン（クイックステップ）が積極的な動きを見せるが、そのボーネンが一旦ペースを落としたセクター10・モンサン＝ペヴェルの手前となる残り50km過ぎにメイン集団からのアタックに乗じたファビアン・カンチェラーラ（チーム・サクソバンク）がスパート。カンチェラーラはモンサン＝ペヴェルで前方で逃げていた3選手を一気にぶち抜き、その中で唯一食らいついたビェルン・ルクマンス（ヴァカンソレイル）も僅か数分で振り切るとそのまま独走を開始。これに対してボーネンやフィリッポ・ポッツァート（チーム・カチューシャ）、フアン・アントニオ・フレチャ（チーム・スカイ）、トル・フースホフト（サーヴェロ・テストチーム）ら有力選手を含む8選手が追撃するも、カンチェラーラとの差はどんどん開いていく。
パリ〜ルーベ2010 レース概要
結局、カンチェラーラは一時後続に3分以上の大差をつけるなど46.3kmという長距離独走を決めて4年ぶり2回目の優勝を果たした。同一年におけるロンド・ファン・フラーンデレンとのダブル勝利は2005年のボーネン以来、史上8人目の快挙となる。
表彰台争いはセクター3・グリュゾンの手前でフースホフトとフレチャが先行。最後はスプリントをフースホフトが制して2位、フレチャが3位となった。3連覇・史上最多タイの4回目の優勝を狙ったボーネンは5位に終わった。
日本人選手唯一の出場となった別府史之（チーム・レディオシャック）はゴール地点に辿り着いたが、制限時間オーバーにより完走は認められなかった。
白い荒野 (映画)
『白い荒野』（しろいこうや、原題：White Wilderness）は1958年8月12日に公開されたウォルト・ディズニー・プロダクション製作の記録映画。日本での上映は1960年2月21日。上映時間は72分。
愛璃みい
愛璃 みい（あいり みい、1989年3月15日 - ）は、日本のAV女優。プライムエージェンシー所属。
東京都出身。血液型:O型。身長:154cm。スリーサイズ:B83(C-65)・W55・H83。
愛璃みい 略歴・人物
2008年にデビューしたロリ系のAV女優である。2009年10月TMAから発売された「軽音部！」で主人公を熱演。一部映像がニコニコ動画にアップされるなどして、知名度をあげた。
奈良県道28号吉野室生寺針線
奈良県道28号吉野室生寺針線（ならけんどう28ごう よしのむろうじはりせん）は、奈良県吉野郡吉野町から同県奈良市針町に至る主要地方道（奈良県道）である。
奈良県道28号吉野室生寺針線 概要
吉野町 - 東吉野村間、日の森峠付近において不通区間が存在する。山間部を通るため大型車両同士の離合が困難な区間が多い。特に、宇陀市内では、秋の行楽期に室生寺や曽爾村方面へ向かう車両で混雑する。
奈良県道28号吉野室生寺針線 地理
※ 交差する場所の括弧書きは地名、それ以外は交差点名で表示
桜坂かい
桜坂 かい（おうさか かい）は日本の女性声優。アダルトゲームに声をあてている。
クラウディオ・スアレス
クラウディオ・スアレス・サンチェス (Claudio Suárez Sánchez, 1968年12月17日 - )は、メキシコ合衆国メキシコ州テスココ出身の元サッカー選手、サッカー指導者。現役時代のポジションはディフェンダー。
アンドレス・グアルダードに抜かれるまではサッカーメキシコ代表における最多出場記録保持者であり、男子のサッカーA代表チーム全体においても、2位となる179キャップを保有している。
クラウディオ・スアレス クラブ経歴
スアレスは1988年にUNAMプーマスに入団。同クラブには8シーズン在籍し、うち1990-91年度にリーグチャンピオンとなった。
1996年にCDグアダラハラに移籍。1999年に退団するまでの3年間のうち、1997年度のベラーノ (1996-97年度リーグのうち、1997年中に行われた後期リーグ) で優勝を経験した。
UANLティグレスに入団したスアレスは、2005年まで同クラブでプレーした。在籍中、2001年および2003年にティグレスは前期リーグで準優勝を経験した。ティグレス (とメキシコリーグ) でのラストゲームは、2005年の前期リーグのリギーリャ (優勝決定プレーオフ) 準決勝のCFモンテレイとの試合であり、この試合でスアレスは退場処分を受けた。
2006年、スアレスはアメリカへ渡りメジャーリーグサッカーに所属するクラブ・デポルティボ・チーヴァス・USAへ入団した。
クラウディオ・スアレス クラブ経歴
2009年3月8日、契約更新を巡る交渉が難航した末、スアレスは現役引退を表明したが、3月20日に撤回し、2009年度シーズンをチーヴァス・USAで送る事を発表したが、同年度の出場試合数は31試合中5試合にとどまった。
2010年3月26日に現役引退を発表するまで、スアレスは1994 FIFAワールドカップ出場選手のうち、最後まで現役生活を続行した選手であった。引退後は引き続きカリフォルニア州内に在住し、チーヴァス・USA時代のチームメイトであったラモン・ラミレスやマルティン・スニガと共に若年層を対象とするアカデミーおよびクリニックを運営する事となった。
クラウディオ・スアレス 代表経歴
スアレスは1992年よりメキシコ代表チームに招集されるようになり、1994年にはFIFAワールドカップアメリカ大会に出場した。
チーヴァス・USAに移籍した2006年、1994年･1998年に次ぐ3度目の出場を果たした。しかしこの大会においては、グループリーグ3試合および決勝トーナメント1回戦の計4試合のいずれにも、スアレスは出場はしなかった。
2007年3月25日、エスタディオ・ウニベルシタリオにてメキシコとパラグアイが開催された席上、スアレスはラモン・ラミレスとともにメキシコサッカー連盟より表彰された。
山岡龍孔
山岡 龍孔（やまおか たつただ、本名：山岡龍矢は、日本の現代美術作家、写真作家、カメラマン、デザイナー、アートプロデューサー。所属事務所 SPIL奈良県生まれ、東京都在住。
山岡龍孔 経歴
高校の頃イラストレイター、ライター（小学館春風 - グランプリ受賞）より写真への過渡期を経て転向。学院大卒業後、広告事務所デザイナーと風景カメラマンのアシスタント経験後、広告カメラマンとして活動。ファッション、イメージを中心に企画から撮影まで制作。広告写真撮影をし、85年頃よりデザインのディレクションも行う。後にデザインも習得しデザイナーとしての活動もある。qooryu・山岡龍矢・TATSUYAでの活動歴もある。
92年独立し遊☆get事務所を名乗る。
1995年4月 当時の写真誌ブームの折、関西で後にタレントとなった人物撮影の作品を見た編集者からの誘いで、東京にてグラビアカメラマンとしてデビュー。以降東京神楽坂へ活動を移す。
1999年 12月遊☆get名称変更SPIL
2010年 米国法人Nextar,Inc.の事業に参加、運営を広げる事となる。退任
2014年 フリーとなり個人事務所名SPILに戻る
2015年 NRプロモーション専務取締役就任
2016年2月23日 contemporary art作家としギャラリー新宿座にて個展開催
以後現代美術作家とし活動。
2017年～ドレス・着物の撮影が好評にて増加。
出典　口コミサイト
ディミトリ・ドラジャン
ディミトリ・ドラジャン（Dimitri Dragin、1984年12月2日 - ）は、フランスのル・アーヴル出身の男子柔道選手。階級は60kg級。身長165cm。
ディミトリ・ドラジャン 来歴
2006年の世界団体で3位になると、世界学生の60㎏級では優勝を飾った。2008年の北京オリンピックでは5位にとどまり、メダルは獲得できなかった。
Moorestown
Moorestown（ムーアズタウン）とは、インテルのIntel Atom Z6xxシリーズの開発コード。2010年5月4日に発表。タブレット・スマートフォン向けに設計されているsystem-on-a-chip。2010年にこのプラットフォームでMoblin Linuxのデモンストレーションが行われた。
Moorestown 概要
プロセッサ「Lincroft」とコードネーム「Langwell」こと「Platform Controller Hub MP20」チップセットを組み合わせたプラットフォーム。スマートフォンやタブレットのアプリケーションプロセッサなどへの採用が想定されている。
プラットフォーム全体の消費電力は、アイドル時の消費電力が20mWとウルトラモバイルPC向けのAtom Z5xxと比べ1/50以下、ブラウジングやビデオ再生時の消費電力が1/2〜1/3になっている。スタンバイ状態で10日持ち、Atom Z5xxの10倍となっている。ただし、ピーク時の消費電力(熱設計電力)は3WとAtom Z5xxよりも増えた。競合のARMのCortex-A9はコアあたり250mW未満。携帯電話のF-07Cでは0.6GHz、1.5Wに落として搭載。
Moorestown 概要
インテルのベンチマークによると、1世代前のARMのCPUであるCortex-A8との比較であるが、JavaScriptのベンチマークである、Sunspiderにおいて、Apple A4 1GHzとiPhone OS 3.2の組み合わせの10475msに対して、Atom Z670 1.5GHzは2000ms以下であり、ウェブページの表示速度も2〜3倍高速である。
Atom Z6xxではGPUはPowerVR系列のIntel GMA 600を内蔵している。
Moorestownの後継は、Medfieldの予定。
U (ET-KINGのアルバム)
『U』（ユー）は、日本のJ-POPグループであるET-KINGのメジャー3枚目のアルバム。発売元は、ユニバーサルミュージック。
U (ET-KINGのアルバム) 概要
約1年3か月振りのアルバムであり、初回限定版には、CD+オリジナル・トレカ「ET-KINGスペシャル対戦カード2009」が付いている。
奈良県道31号榛原菟田野御杖線
奈良県道31号榛原菟田野御杖線（ならけんどう31ごう はいばらうたのみつえせん）は、奈良県宇陀市から宇陀郡御杖村に至る県道（主要地方道）である。
奈良県道31号榛原菟田野御杖線 概要
宇陀市榛原萩原の榛原駅から宇陀市菟田野地区を経由し御杖村桃俣に至る。東吉野 - 御杖村界の差杉峠（西杉峠）付近は自動車交通不能区間となっている。
奈良県道31号榛原菟田野御杖線 地理
※ 交差する場所の括弧書きは地名、それ以外は交差点名で表示
1900 (日本テレビ)
『1900』（いっきゅー）は、日本テレビ系列で2010年4月12日から2016年3月まで平日19:00 - 19:56に放送されていたバラエティ番組のレーベル・総合キャッチフレーズ。
1900 (日本テレビ) 概要
2009年4月6日から2010年3月12日まで同系列で放送されていた平日19時台の情報バラエティ番組『SUPER SURPRISE』の後番組群の総称である。帯番組として番組表にも『SUPER SURPRISE』（または｢SS｣）と表記された前番組とは異なり、｢1900｣はあくまでも番組レーベルであり、番組表には個別の番組名が表記される。
｢1900｣のロゴは各番組のオープニングのアイキャッチ（番組開始から5秒間画面右上に表示）に使用されていた。
当初は平日19時台の1時間枠の総称であったが、2010年10月から2012年3月までは『金曜スーパープライム』放送のため、金曜日のみ2時間枠となっていた（｢金曜ロードショー｣を内包する形で4時間枠になる場合もあった）。『金曜スーパープライム』の終了に伴い2012年4月より19時台のみの1時間枠に戻っている。
2016年3月をもって『1900』枠は終了となるが、同枠で放送されていた5番組についてはいずれも4月以降も継続された。
1900 (日本テレビ) 放送番組
下記に挙げている番組は、すべて日本テレビ制作。
※つなぎ番組について、基本的には『1900』枠外だが、一部例外あり。
1900 (日本テレビ) 備考
20:00枠番組への接続は『SUPER SURPRISE』時代を引き継ぎ、開始当初の月曜のみジャンクション・ステブレ入りだが、他の曜日は（｢金曜スーパープライム｣時代の金曜日を除き）ステブレレスで接続、『謎解きバトルTORE!』も水曜時代はステブレレスだったが、月曜時代はジャンクション・ステブレ入りに変更された。だが2013年4月開始の『赤丸!スクープ甲子園』では、ステブレ入りは継続するもジャンクションは廃止、そして10月開始の『有吉ゼミ』からは遂に月曜日もステブレレスに変更、月曜 - 土曜20時番組接続が全てステブレレスになった。なお、その一方で日曜は2020年10月現在も従来のジャンクション・ステブレ入りの方法を続けている。
2011年9月までは原則としてテレビ大分・テレビ宮崎を除く日本テレビ系列28局で同時ネット、10月以降は月曜日・水曜日に限り、テレビ大分が同時ネットに加わった。さらに、2014年8月から2015年3月までは月曜日に限り、テレビ宮崎が同時ネットに加わったが、後述のとおり4月から月曜19時・20時台がフジテレビ系同時ネット枠になったため、再び全曜日非ネットとなった。
1900 (日本テレビ) ネット局
2015年3月までは全曜日ネットワークセールス枠であるが、同年4月から終了までは金曜日に限り、ローカルセールス枠に変更となった。また、毎週月曜日から木曜日は同時ネットかつ金曜日のみ自社制作番組に差し替える3局に関しては、金曜日のみ他日振替を実施（スペシャル放送時には20時台がネットワークセールス枠の関係で、19:56飛び乗りとはなるも臨時同時ネットとする。なお、編成によっては全編臨時同時フルネットとすることもあるが、19:00からもしくは19:00をまたいで自社制作でのローカルのナイター中継を行う場合には短縮版の他日振り替えを行う）。また、通常時の全曜日同時ネット局であっても、一部ネット局では週によっては自主編成を行う場合があった。その場合金曜日に限っては他日振替とした（当該日がスペシャル放送時の際の対応は通常時の月曜日から木曜日同時ネットかつ金曜日のみ遅れネットとする局に準じた対応となった）。この対応は、2016年4月以降の金曜日も同様に行われている。
デービス・パトナムのアルゴリズム
デービス・パトナムのアルゴリズム（英: Davis–Putnam algorithm）は、与えられた論理式の充足可能性を調べるアルゴリズムで、連言標準形で表現された命題論理式を対象とする。アメリカ国家安全保障局の支援を受け、一階述語論理での定理自動証明のための方法としてマーチン・デービス（Martin Davis）とヒラリー・パトナム（Hilary Putnam）により1958年に考案され
、一般には1960年に発表された
。
その後の改良版であるDPLLアルゴリズム（Davis-Putnam-Logemann-Loveland algorithm）
のベースとなるアルゴリズムである。
なお、古い文献ではDPLLアルゴリズムのことをデービス・パトナムのアルゴリズムと呼ぶことがある。それぞれは異なった規則を使用し、正確には異なる。
1960年に提案されたデービス・パトナムのアルゴリズムが導出を使用するのに対し、1962年に提案されたDPLLアルゴリズムはバックトラックを使用する。
デービス・パトナムのアルゴリズム 概要
デービス・パトナムのアルゴリズムは、初期の一階述語論理の定理自動証明システムで必要だった命題論理式の充足可能/不能のチェックを効率的に行うために考案されたもので、導出規則を含むいくつかの規則を用いることで充足可能であることが分かっている論理式を効率的に削除し、無駄な判定を省くことができる。
一般に、一階述語論理式 P の証明可能性（恒真性）は ¬P が充足不能（恒偽）かどうかと同値であり、エルブランの定理より ¬P が充足不能ならば、エルブラン領域の要素を述語論理式に代入した基礎例（エルブラン基底）の命題論理レベルの充足不能チェックにより、有限ステップで証明可能であることが分かっている。
しかしこの方法を定理自動証明に使おうとすると、多量の命題論理式の充足不能性をチェックする必要がある。デービス・パトナムのアルゴリズムはこのような処理を高速に行うことができる。
デービス・パトナムのアルゴリズム 規則
規則として以下のものがあり、リテラルや充足可能な論理式の削除に用いられる。ここでリテラルとは単一の原子論理式、あるいはその否定を表す。
規則を適用すると論理的な意味は変わるが、充足可能性は変わらない。
リテラル L 1つだけの節があれば、L を含む節を除去し,他の節の否定リテラル ¬L を消去する。
節集合の中に否定と肯定の両方が現われないリテラル（純リテラル） L があれば、L を含む節を除去する。
節集合 F の中に否定と肯定の両方があるリテラル L があれば、そのリテラルを除去する。
さらに以下の規則が追加される場合もある。
ある節 C の全てのリテラルが他の節 D に含まれていれば、それらの節 C を除去する。
原子論理式 A と ¬A とを含む節を全て除去する。
デービス・パトナムのアルゴリズム 規則
1リテラル規則と純リテラル規則は特定のリテラルを真と解釈することによって充足可能となる節を除去する。1リテラル規則の適用によりさらに別のリテラルが削除可能になる場合は繰り返し規則を適用する。
包含規則は冗長な節を除去する。クリーンアップ規則はトートロジーを含む節の除去である。
原子論理式除去規則は命題論理での導出規則であり、1リテラル規則と純リテラル規則を適用したのちに使用する。規則は以下の式で表すことができる。上式は前提となる親節、下式はそれらから導かれる導出節（resolvent）を表す。
アルゴリズムは、与えられた節の集合に対しこれらの規則を繰り返し適用し、以下の結果が求まれば停止する。
デービス・パトナムのアルゴリズムについて、以下の定理が成り立つ。
デービス・パトナムのアルゴリズム 歴史
最初、デービス・パトナムのアルゴリズムはエルブランの定理を用いて一階述語論理式の定理を証明するための方法の一部として用いられた。エルブランの定理での証明をそのまま計算機上で実現したギルモアのアルゴリズムよりは効率的で、ギルモアのアルゴリズムがIBM 704上で21分かかっても結果が出なかった問題を容易に手計算で求めることができた。
だが、基礎例を機械的に作り出しその充足不能性を調べるやり方は、多数の無駄な論理式が生成されるため効率が非常に悪く、ギルモアのアルゴリズムと同様、一階述語論理での複雑な論理式の証明はできなかった。
その後、プラウィツ（Dag Prawitz）は、論理式を生成してからチェックするのではなく、論理式への適当な代入（単一化）によって充足不能性を調べる方法を提案し
、
デービス・パトナムの枠組みにプラウィツのアイデアを組み合わせたロビンソンの導出原理の提案へのとつながっていく。
デービス・パトナムのアルゴリズム自体もより効率のよいDPLLアルゴリズム（Davis-Putnam-Logemann-Loveland algorithm）に発展し、命題論理式の充足可能性問題を解くためのアルゴリズムとして多くの定理証明システムで使用されている。
デービス・パトナムのアルゴリズム 例
論理式  の充足可能性を考える。
アルゴリズムは以下の動きになる。
リテラル1つだけの節 () に1リテラル規則を適用する。 を真と見なせば  は偽である。
1リテラル規則はさらに  にも適用できる。
この式は矛盾を表し明らかに充足不能である。1リテラル規則を 、 いずれに適用しても空節（リテラルを含まない節）が導かれる。真偽値をどのように割り当てても空節は充足可能にはならず、全体の論理式が充足不能であることが証明できる。
同じ論理式を節集合の形で表現すると以下のようになる。空節を □ で表す。
(1リテラル規則, p = 偽)
(1リテラル規則, q = 偽)
(1リテラル規則, r = 真)
□
空節が含まれるため、充足不能であることが証明された。
論理式  を考える。
アルゴリズムは以下の動きになる。
リテラル  は肯定でしか現れないため純リテラルである。純リテラル規則を適用する。（u = 真）
1リテラル規則、純リテラル規則とも適用できないため、s について原子論理式除去規則を適用する。
この式はトートロジーのみを含み、充足可能であることが証明できる。さらにクリーンアップ規則を用いれば節が無くなる。
同じ論理式を節集合の形で表現すると以下のようになる。
(純リテラル規則, u = 真)
(原子論理式除去規則,  )
(クリーンアップ規則,  )
節集合が空になったので、充足可能であることが証明された。
あるぷす大将
『あるぷす大将』（あるぷすたいしょう）は、吉川英治の長編小説、およびそれを原作とする映画と3本のテレビドラマである。
小説は、浜帆一の筆名で雑誌『日の出』に1933年8月号から1934年6月号まで連載された。単行本は改造社から1934年12月に刊行された。
あるぷす大将 映画
P.C.L.映画製作所（現在の東宝）制作。1934年11月15日公開。90分。モノクロ作品。
東京に出た主人公たちが、渋谷駅前で忠犬ハチ公とその銅像とに出会うシーンがある。
あるぷす大将 テレビドラマ
1959年10月5日から同年12月28日までKRテレビ（現・TBSテレビ）で放送。全13回。放送時間は毎週月曜 18:15 - 18:45 （日本標準時）。
1963年6月2日にNHK総合テレビの『こども劇場』枠で放送。唯一の単発版。
1964年10月28日から1965年1月6日まで東京12チャンネル（現・テレビ東京）で放送。日産自動車の一社提供。放送時間は毎週水曜 19:30 - 20:00 （日本標準時）。
奈良県道38号桜井都祁線
奈良県道38号桜井都祁線（ならけんどう38ごう さくらいつげせん）は、奈良県桜井市から同県奈良市に至る主要地方道に指定された県道である。
奈良県道38号桜井都祁線 概要
奈良県桜井市初瀬を起点とし、奈良市針町に至る。
奈良県道38号桜井都祁線 地理
路線名に含まれる“都祁”はかつて存在した都祁村を指していたが、平成の大合併により奈良市の一部になった。
※ 交差する場所の括弧書きは地名、それ以外は交差点名で表示
クランシー・エクルズ
クランシー・エクルズ（Clancy Eccles、1940年12月19日 - 2005年7月30日）はジャマイカ・セント・メアリー教区出身のシンガーソングライター、アレンジャー、プロモーター、音楽プロデューサー、スカウト。ダイナマイツ (The Dynamites) のリーダーとして、また「レゲエ」という言葉を生み出した人物として、さらには政治思想を積極的に音楽に取り入れた人物として知られる。
クランシー・エクルズ 来歴
仕立て屋の母と土工の父の間に生まれたエクルズは幼少期をセント・メアリー教区の田舎で過ごした。
エクルズが10歳のとき両親が離婚すると、父親の仕事に付き添ってジャマイカ島内を旅しながら育った。エクルズは教会によく出席し、スピリチュアルを歌うことに惹かれていった。エクルズは後にスピリチュアルが自身の歌唱法へ与えた影響を「スピリチュアル・リバイバリストだった叔父が低音の効かせた歌い方で歌っていて、私はそれを好きになっていったんだ」と証言している。
エクルズの歌手としてのキャリアは彼がまだ十代の頃から始まった。1950年代中期にはオチョ・リオスを中心としたジャマイカ島北海岸のホテルを巡業し、ブルース・バスターズやヒッグス&ウィルソン、バスター・ブラウンらとともに様々なショーに出演した。
エクルズは1959年にキングストンに拠点を移し、録音を残し始める。コクソン・ドッド主催のタレントショーに参加したことをきっかけにドッドの元に録音を残した。