hotchpotch/wikipedia-multilingual-ir-related-paragraph-pairs huggingface dataset:
XB-31 (航空機)
Section: 概要

アメリカ陸軍航空隊の陸軍航空部長のヘンリー・H・アーノルド大将は長距離爆撃を構想していたが、1939年9月に、ヨーロッパにおいて戦争が開始されたのを受けて、アメリカ陸軍は超長距離爆撃機計画(Very long range)を1939年12月2日に承認した。これは、2万ポンドの爆弾を搭載し、8,500km以上の航続距離を持つ爆撃機の開発計画であった。

1940年1月に航空メーカー各社に仕様が示され、ダグラス社が計画案として提出したのが「B-31設計案」であった。他社の案に比べ著しく巨大な機体になるはずであった。しかしながら、実際に開発され、実戦配備されたのはボーイング社のB-29とコンベア社のB-32であった。
杉本美樹
Section: 主な出演

非情のライセンス 第2シリーズ 第56話「兇悪の情事」（1975年、NET） - 真理子

TOKYO DETECTIVE 二人の事件簿 第29話「すけこまし昇天」（1975年、ABC）

Gメン'75 第52話「唇の中の拳銃」（1976年、（TBS） - 黒服の女

プレイガール 第203話「女番長対プレイガール」（1973年、12ch） - 紅バラのミキ

長崎犯科帳（1975年、NTV） - お文

影同心II 第7話「百合の香りに夜の蝶」（1975年、MBS） - 夕霧
三村玲土
Section: 略歴

2009年
NY Anime Festival にて Masquerade Contest のゲストとして出演
同時にCD "Sakura" をリリース (収録曲: My Shy Master, Otome, Shining Star, DNA)

2005年
音楽オーディションで約1000人の中から選ばれる。

2006年
デビュー。プロデュースは、山移高寛。ルイード、クラブチッタ等のライブハウス中心に活動。

2008年
大きな活躍を求めて渡米。Aspire Communications, Inc.に所属
1994年ウィンブルドン選手権
Section: シード選手

ガブリエラ・サバティーニ　（4回戦）

メアリー・ジョー・フェルナンデス　（3回戦）

アンケ・フーバー　（2回戦）

ジーナ・ガリソン　（ベスト8）

アマンダ・クッツァー　（4回戦）

ザビーネ・ハック　（1回戦）

マルチナ・ナブラチロワ　（準優勝）

ヤナ・ノボトナ　（ベスト8）

伊達公子　（3回戦）

マリー・ピエルス　（大会開始前に棄権）

ナターシャ・ズベレワ　（1回戦）

リンゼイ・ダベンポート　（ベスト8）
1994年ウィンブルドン選手権
Section: 決勝戦の結果

男子ダブルス

マーク・ウッドフォード＆ トッド・ウッドブリッジ vs.  パトリック・ガルブレイス＆ グラント・コネル　7-6, 6-3, 6-1

女子ダブルス

ジジ・フェルナンデス＆ ナターシャ・ズベレワ vs.  アランチャ・サンチェス＆ ヤナ・ノボトナ　6-4, 6-1

男子シングルス

ピート・サンプラス vs.  ゴラン・イワニセビッチ　7-6, 7-6, 6-0

女子シングルス

コンチタ・マルチネス vs.  マルチナ・ナブラチロワ　6-4, 3-6, 6-3
1994年ウィンブルドン選手権
Section: 大会経過

ボリス・ベッカー vs.  クリスチャン・ベルグストロム　7-6, 6-4, 6-3

準決勝

ピート・サンプラス vs.  トッド・マーティン　6-4, 6-4, 3-6, 6-3

ゴラン・イワニセビッチ vs.  ボリス・ベッカー　6-2, 7-6, 6-4

準々決勝

ピート・サンプラス vs.  マイケル・チャン　6-4, 6-1, 6-3

トッド・マーティン vs.  ウェイン・フェレイラ　6-3, 6-2, 3-6, 5-7, 7-5

ゴラン・イワニセビッチ vs.  ギー・フォルジェ　7-6, 7-6, 6-4
ホンダ・シビックタイプR
Section: 6代目 FL5型（2022年 -）

2022年
1月14日 - 東京オートサロン2022にてプロトタイプが公開された。
7月12日 - ホームページに先行情報を公開したことを発表。秋の発売が予定されており、同年7月21日にワールドプレミアを行うことも発表された。
7月21日 - オンラインで行われたワールドプレミアで世界初公開し、外内装デザインやダイナミクス性能の進化点が公表された。
9月1日 - フルモデルチェンジを正式発表した（9月2日発売）。ボディカラーは5代目（2020年10月マイナーチェンジモデル）からチャンピオンシップホワイト、クリスタルブラック・パール、フレームレッド、レーシングブルー・パールの4色を継承し、新色としてソニックグレー・パール（有料色）が設定された。
10月14日 - イギリスのモーターアワード2022でサンデータイムズのレジェンドカーオブザイヤーを受賞。
10月26日 - ベトナム・モーターショーで東南アジアで初めて発表した。
12月8日 - e:HEVと共に「2022-2023日本カー・オブ・ザ・イヤー」の部門賞である「パフォーマンス・カー・オブ・ザ・イヤー」を国産車で初めて受賞したことを発表した。
12月12日 - 米国ホンダがTCRのプロトタイプを公開した。 IMSAミシュランPilot Challengeの2023年シーズンに参戦予定。

「Honda CONNECT」対応の専用ディスプレーが装備されており、車載ナビ機能に加え、専用データロガー「Honda LogR」をアプリとして搭載。エンジンの水温・油温などの車両に関する情報やステアリング舵角、ブレーキ圧、アクセル開度、ヨーレート（回転方向）など運転操作やそれに伴う車両の状態に関する表示だけでなく、前後左右のG（荷重の大小）、3Dモーション、タイヤの摩耗円をリアルタイムで算出して表示するパフォーマンスモニター機能、一般道向けの「Auto Score」とサーキット走行向けの「Data Log」で構成されたスコアリング機能を備え、スマートフォンにあらかじめインストールした専用アプリとの連携も可能となっている。また「Honda Total Care」への加入と「Honda Total Care プレミアム」を申込むことで、駐車中の車両が異常を感知するとスマートフォンに通知が届き、必要に応じて緊急サポートセンターを通じて警備員を現場に急行させることで、盗難やいたずらに迅速で対処する「Honda ALSOK駆けつけサービス」などを受けることが可能となる。
ホンダ・シビックタイプR
Section: 3代目（欧州仕様） FN2型（2007 - 2012年）

サスペンションは、フロントがストラット式サスペンション、リアはトーションビーム式サスペンション。搭載されるK20Z型エンジンは、最高出力201 PS/7,800 rpmと日本仕様のFD2型よりも控えめな数値となっているが、日常域での扱いやすさが重視されている。トランスミッションは6速MT、車両重量は1,267 kgである。欧州仕様には「TYPE R」と「TYPE R GT」の2グレードがあり、「TYPE R GT」は運転席・助手席独立した温度調整可能なエアコン、クルーズコントロール、カーテンエアバッグなどを装備する。

2008年（平成20年）11月20日、台数限定ながら翌年春からの日本国内発売が発表されたが、世界的な金融危機の影響によるスウィンドン工場の稼動休止のため、発売が延期された。その後、2009年（平成21年）11月5日に「タイプRユーロ」の名称で、2009年モデルを日本国内で発売した。2,010台限定で、シフトレバー付近にシリアルナンバー入りのプレートが配されている。色別の台数は白1,050台、赤810台、銀150台。
ホンダ・シビックタイプR
Section: 4代目 FK2型（2015年 - 2016年）

欧州仕様9代目シビックの5ドアハッチバックをベースに、新開発のK20C型エンジンを搭載する。歴代で初めてのターボチャージャー付きエンジンとなり、最高出力は310PSを発生し、最高速度は270km/hに達するとアナウンスされている。一方でアイドリングストップを搭載するなど、燃費や環境性能にも配慮している。ただし、エンジンがターボ化されたことやタイヤサイズアップなどの影響から、従来型と異なり車重はベース車よりも重くなっている。

2015年3月、ニュルブルクリンク北コースでタイム測定を行い7分50秒63を記録。2014年にルノー・メガーヌRS.275トロフィーRが記録したタイムを4秒ほど上回り、量産FF車におけるニュルブルクリンク北コースの最速タイムを更新した。6月にはル・マン24時間レースの前夜祭（市内パレード）に登場し初の公道走行を披露した。
愛知県道232号鴛鴨みよし線
Section: 地理

愛知県道218号和合豊田線（打越上屋敷交差点）

国道153号（豊田西バイパス：打越百々交差点）

愛知県道520号豊田東郷線（挙母街道）（打越新池浦交差点）

東名高速道路豊田上郷SA/スマートIC

愛知県道76号豊田安城線（上郷街道）（永覚町上長根交差点）

愛知県道12号豊田一色線（住吉町1丁目交差点）

国道419号（本町石根交差点）

国道155号（豊田南バイパス：上丘町廻間交差点）

愛知県道284号宮上知立線（上丘町大下交差点 - 上丘町大下西交差点間で重複）
ペインキラー

ペインキラー (バンド) - ジョン・ゾーンのバンドの一つ。元ナパーム・デスのミック・ハリスが参加していた。

ペインキラー - B'zの曲。シングル「STARS」に収録。

Painkiller - 2004年に発売されたPCゲームの名前。続編やリメイク版はPS3やXbox 360でも発売されている。

ペインキラー（PAINKILLER）

痛み止め（鎮痛剤）のこと。

ペインキラー (アルバム) - 1990年にリリースされた、イギリスのヘヴィメタルバンドJUDAS PRIESTの音楽アルバム、およびそれの1曲目に収録されている楽曲のタイトル。
Return文
Section: 関数型言語とreturn

Rustのように、return式（末尾にセミコロン;を伴うことでreturn文となる）をサポートするものの、省略して関数型言語のように書くことのできる言語も存在する。

Swift 5.1以降は、単一の式からなる関数においてreturnを省略した書き方をサポートする。

関数型プログラミング言語では、関数内で最後に評価される式が戻り値となる。また、if-elseのような制御構造は、文ではなく式であり、値を返す。そのため、手続き型言語におけるreturn 式といった構文を使う必要はない。ただしHaskellのreturn関数や、F#のコンピュテーション式におけるreturnキーワードのように、別の目的でreturnという概念が使われることはある。
Return文
Section: 言語別の意味や構文

Javaにおいて、return文とは、実行しているメソッドから抜け出すための文である。値を返してメソッドから抜け出す場合には、そのメソッドに適切な戻り値を設定しなければならない。C言語などと同様に、以下の2通りの構文が認められている。

構文1

return ;

構文2

return 式;

voidを使って宣言されたメソッドや、コンストラクタ、ラムダ式など、メソッドの戻り値が無い（値を返さない）場合は構文1を用い、返す場合は構文2を用いる。構文1は省略可能であり、処理がメソッド末尾に到達した場合、暗黙的に呼び出し元へ制御が戻る。
Return文
Section: ラムダ式とreturn文

関数型言語およびラムダ式をサポートするほとんどの手続き型言語では、式形式のラムダを許可する（C++を除く）。式形式のラムダでは、値を返すためのreturn文の記述が不要となる。以下はC#の例である。

以下のように文形式のラムダを使って書くこともできるが、単純な演算であれば式形式のほうが簡潔になる。

C++のラムダ式では、値を返す場合はreturn文を省略できない。

ラムダ式の戻り値の型指定は省略することもでき、ラムダ式の中にreturn文が1つもない場合はvoidとみなされる。ラムダ式の中にreturn文がある場合、そのreturn文の式から戻り値の型が推論されるが、複数のreturn文があり、かつ戻り値の型が一意に定まらない場合は不適格（コンパイルエラー）となる。
曽根晴美
Section: プロデュース / 企画 / 監修 作品

プロデュース

仁義なき野望（1996年、東映ビデオ）

仁義なき野望2（1997年、東映ビデオ）

仁義なき野望3 狼（1998年、東映ビデオ）

企画

極道恐怖大劇場 牛頭 GOZU（2003年、オフィスアスク）

破門組（2015年、主演：原田龍二）企画・監修

列島分裂 東西10年抗争（2016年、主演：松方弘樹）企画・監修

監修

首領の一族（2007年、主演：松方弘樹）

首領の野望（2008年、主演：曽根悠多）
曽根晴美
Section: 人物・エピソード

東映京都の『仁義なき戦い 完結篇』（1974年）では北大路欣也と山城新伍を撃ちまくる殺し屋を演じるが、これは曽根が深作に「この2人殺すの、おれにやらせろ」と無理やり出させてもらったものである。監督には「前に違う役で出てるから顔がわかったら困る」と言われたので、帽子を深くかぶって顔がわからないように演じている。曽根は『仁義なき戦い』シリーズを振り返って、「ただやっぱり、あの映画（シリーズ）が俺をプロデューサーにしたかもしれないね、いずれ、ああいうのを作ろうと思ってる」と語っている。

プロ野球を断念して俳優になったこともあり、「役者は好きでやったわけじゃない」という。

『プレイガール』に多数ゲスト出演しているが、監督がみんな友達だったので「入れといてくれよ、ちょっと金ないから」といった感じで、「小遣い稼ぎで出ていたから印象がない」とのことで、深作が参加していた『キイハンター』の方が「印象があった」という。
XB-22 (航空機)
Section: 概略

そこで、B-18のエンジンの出力を、6割アップしたバージョンとして提案されたのが「B-22」であった。だが、B-22にはいくつも性能を疑問視される点があり、エンジンを換装されることはなく計画は打ち切られた。

米陸軍航空隊は、ダグラス社のB-18を採用、同機は1930年代後半の主力爆撃機の地位を占めた。しかしながら、B-18はダグラス DC-2旅客機を爆撃機仕様としたものに過ぎず、ヨーロッパやアジアにおける軍事的緊張の高まりの中で、陳腐化したとみなされるようになる。
逆推力装置

逆推力装置（ぎゃくすいりょくそうち）とは、ジェットエンジンが発生する推力の向きを逆にすることによって飛行機を減速させるための装置である。スラストリバーサー (英: thrust reverser) とも呼ばれる。

着陸後初期の高速滑走状態で使用され、滑走距離を短縮するために用いられる。滑走速度低下後は車輪ブレーキとスポイラーのみによって制動が行なわれる。機体を減速させるだけの逆推力を得る為にエンジン出力が増大されるので、接地直後の数秒間だけエンジン音が一段と大きくなる。
逆推力装置
Section: 例外的使用法

駐機場や滑走路、誘導路での後退（パワーバック）

商用機では飛行中のスラストリバーサーの使用は経済性が悪化するため行われない。地上でも停止中や低速走行中は塵や雪、異物などを巻き上げてエンジンなどを損傷するために出来るだけ避けられ、またこれを禁止している航空会社もある。雪が機体や主翼に付着すると失速を招き易く、また雪がエンジンに吸い込まれた場合エンジン計器が正しく表示せず、最悪の場合エア・フロリダ90便墜落事故のように、離陸時に最大推力を得られないまま離陸し、墜落に発展しうる危険な失速状態に陥ることがあるため大変危険である。

着陸時の減速・制動に使用されることが主な使い方であるが、以下のように例外的な使い方がされることがある。

飛行中の減速

スポイラーを着陸後の減速にしか使用しない仕様になっているDC-8は4発あるエンジンのうち左右胴体側にある2番・3番エンジンを逆噴射させ、これをスピードブレーキとして使用している。またIL-62などは着陸接地直前にスラストリバーサーを展開させている。
逆推力装置
Section: 傾向

近年の燃料価格高騰により、燃料を消費する逆推力装置の使用（特に最大出力による逆推進）は控えられる傾向にある。

なお、航空機のスペックに表記される着陸時の停止制動距離は、逆推力装置を用いない状態でのものである。航空会社によっては、その運用許容基準 (Minimum Equipment List, MEL) で逆推力装置が故障状態でも運航を許容しているところもある。

商用の大型ジェット機で採用されるジェットエンジンはターボファンによる高バイパス化が進んでおり、エンジン推力の大部分は大径のファンによって生み出されている。このためこういったエンジンでは、逆推力はファン・リバーサのみで発生させ、タービン・リバーサは備えていない。
ヘイラー (駆逐艦)
Section: 概要

DDH-997は標準的なスプルーアンス級と同程度の予算での建造が要求されたため、設計及びエンジニアリング作業が必要とした詳細項目は相当の数に上った。（キッド級ミサイル駆逐艦建造時に行われた同様の作業では1億1,080万ドルが費やされた。）

結局建造コストは大幅に増加し、この新型駆逐艦がシリーズとして建造されるとなると予算は正当化される可能性があったが、単独の艦のための予算としては認められる可能性が低く、結局海軍は他のスプルーアンス級と同じ設計でヘイラーを建造した。
シャーロック・ホームズの帰還
Section: ホームズの死と復活

さらに、ドイルは連載の契約とは別に、サミュエル・シドニー・マックルーアと執筆の約束をしていた。マックルーアは短編の新連載か中編を希望していて、12編の新連載に対しては75000ドルを提示した。しかし、プロットを使い切ったと考えていたドイルは、再びシリーズを終了させる作品として執筆することにした。こうしてホームズを引退させる短編「第二の汚点」が執筆されたが、ホームズの引退はその死ほどの関心は得られなかった。「第二の汚点」は契約の問題などから、最終的には13編目の連載作品として『コリアーズ・ウィークリー』と『ストランド・マガジン』で発表されることになった。『シャーロック・ホームズの帰還』は全13編の連載となり、1905年に単行本として発行された。

1903年、依然としてホームズの復活を拒絶していたドイルに対し、アメリカのコリアーズ社がシリーズの1作につき4000ドル(2000年代においては約3000万円の価値)という破格の提案をする。ついにドイルはこの提案を受け入れ、新たに8編の物語を書くという契約を結んだ。ドイルは執筆を開始し、ホームズが死んでいなかったことが明かされる「空き家の冒険」をはじめとする8編が、同年9月までに完成する。そして、短編としては9年10ヶ月ぶりとなる『シャーロック・ホームズの帰還』の連載が、アメリカの『コリアーズ・ウィークリー』1903年9月26日号とイギリスの『ストランド・マガジン』1903年10月号にて開始されたのであった。1903年の秋、ドイルはボーター選挙区で推薦を受けて政治活動を行なったが、翌年になると執筆に戻り、4編を追加で書き上げた。
シャーロック・ホームズの帰還
Section: 収録作品

The Adventure of the Norwood Builder - ノーウッドの建築業者（1903年11月号）

The Adventure of the Dancing Men - 踊る人形（1903年12月号）

The Adventure of the Solitary Cyclist - 孤独な自転車乗り（1904年1月号）

The Adventure of the Priory School - プライオリ学校（1904年2月号）
パスカル・ロジェ
Section: 経歴

フランスのピアノ奏法に典型的な優雅さと精巧さを体現するピアニストの一人とされ、サン＝サーンス、フォーレ、サティ、ドビュッシー、ラヴェル、プーランクらフランス近代の作曲家のピアノ曲を全曲録音している。しかしながら、ハイドンからブラームスに至るドイツ・オーストリアのピアノ曲も得意としている。

オルガン奏者だった母からピアノを学ぶ。唯一ジュリアス・カッチェンに師事したピアニスト。同期のフランス人ピアニストにはジャン＝フィリップ・コラールなどがいる。

1971年ロン＝ティボー国際コンクールでウラジーミル・フェルツマンとともに1位。
菊川神社
Section: 氏子

栄町（さかえちょう）

※ 日之出町2丁目は六郷小学校区、ほかは堀之内小学校区。
※ 柳町と日之出町2丁目は菊川東中学校区、ほかは菊川西中学校区。
※ 東町と栄町は合同で活動することが多く、あわせて東栄町（とうえいちょう）と称する。

新通（しんどう）

初咲町（はつざきちょう）

西通り（にしどおり）

緑ヶ丘（みどりがおか）

日之出町1丁目（ひのでちょういっちょうめ）

日之出町2丁目（ひのでちょうにちょうめ）

東町（あずまちょう）
徳島県道13号徳島停車場線
Section: 概要

起点：徳島県徳島市寺島本町（JR四国高徳線・牟岐線 徳島駅前）

終点：徳島県徳島市元町2丁目（元町交差点、国道192号・国道438号交点）

総延長：91 m

車線数：本線部分7車線（元町交差点方向3車線・徳島駅方向4車線）

徳島市寺島本町から徳島市元町2丁目に至る。

JR四国高徳線・牟岐線 徳島駅前の本県道から国道438号へかけてワシントンヤシの並木が続いており、その景観は読売新聞社選定の「新・日本街路樹100景」（1994年）のひとつに選定されている。
ヒルダ
Section: 架空の人名

ヒルダ - Netflix配信のアニメ『ヒルダの冒険』の主人公。

ヒルダ - ゲーム『ファイナルファンタジーII』の登場人物。

ヒルダ - ゲーム『ボーダーブレイク』に登場する陣営オペレーター。

ヒルダ - 漫画『炎の剣』の主人公。エクル国の王女ヒルディアス。

ヒルダ - テレビアニメ『交響詩篇エウレカセブン』の登場人物。

ヒルダ - ゲーム『ゼルダの伝説 神々のトライフォース2』の登場人物。

ヒルダ - アニメ映画『太陽の王子 ホルスの大冒険』の登場人物。
ヒルダ
Section: 人名

ウィットビーのヒルダ - 7世紀、ノーサンブリアのキリスト教の聖人。聖者の一覧を参照。

ヒルダ・キャメロン - カナダの陸上競技選手。

ヒルダ・ドゥリトル - アメリカ合衆国の詩人。

ヒルダ・ハイネ - マーシャル諸島の政治家。

ヒルダ・フォン・ナッサウ - バーデン大公フリードリヒ2世の妃。

ヒルダ・ルイス - イギリスの児童文学作家。

マーガレット・サッチャー（マーガレット・ヒルダ・サッチャー） - イギリスの政治家、元首相。
鄭守一
Section: 出自

その後チュニジア大学の社会経済研究所研究員を経て、1979年1月、イェ・ジョプス名義でレバノンに出国、同年2月、レバノン朝鮮親善協会の助けによりムハンマド・カンス名義でレバノン国籍を獲得。1980年8月、国籍変更目的で社会経済研究所研究員として就業したが、国籍獲得に失敗した。1982年7月、マレーシアに入国し、マラヤ大学イスラムアカデミー教授などを歴任した。1983年4月、フィリピンに入国し、イスラム宣教会の推薦により、1984年2月、フィリピン国籍を獲得した。1988年に檀国大学校大学院史学科博士課程に入学し、1990年に「新羅とアラブ・イスラム帝国関係史研究」という論文で博士取得後、檀国大学校の招聘教授として任用され講義を行ない、多くの著述活動や対外活動で著名人となった。

1934年11月、中国延辺龍井の朝鮮人家庭に生まれた。1952年に北京大学に入学し1955年12月に卒業後、中国の国費留学生として派遣されエジプトのカイロ大学で研究生として留学した。中国外交部およびモロッコ駐在中国大使館などで活動したが、1963年6月、妻子と共に北朝鮮に移住し朝鮮民主主義人民共和国の国籍を取得した。その後平壌国際関係大学や平壌外国語大学の教授を務めたが、1974年、対南工作員に選抜され、スパイ教育を受けた。アラビア語、ペルシア語、韓国語、中国語、日本語、タガログ語、フランス語、ロシア語、ドイツ語、スペイン語、英語の12の言語を駆使した。
鄭守一
Section: 対南工作

1987年7月～1995年2月の間、4回にわたり中国・オーストリア等を経由して入北し、対南工作の功労により祖国統一賞を受賞、韓国情勢を報告して、金父子に対する忠誠宣誓文の作成と革命遺跡地等を踏査した後、短波ラジオ、暗号表、毒薬アンプル等のスパイ装備の交換及び工作金（19,000ドル）を授受、韓国に再び潜入して活動する等、専門性と知的能力を具備し、外国人の身分を利用して疑われることなく、長期埋伏、高級情報収集を主任務としてきた典型的なインテリ・スパイだった。

顔が濃くアラブ人に似ているため、1984年4月、延世大学韓国語学堂入学を口実に韓国への潜入に成功した。韓国内で偽装結婚した後、フィリピン国籍のまま学者となり、政界・学界・マスコミ界各界の専門家と交流しつつ、高級情報を探知・収集、暗号・隠語を使用した国際郵便とFAX等を利用、80余回にわたり中国の工作拠点を通して、北朝鮮に高級政治・軍事情報を報告した。
愛知県図書館
Section: 沿革

2005年（平成17年） - 県内公共図書館横断検索システムの愛称として「愛蔵くん」、キャラクターとして象を模した「あいぞうくん」を設定する。

2013年（平成25年）1月 - 「あいちラストワン・プロジェクト」開始。

2014年（平成26年）4月 - サービス拡大として、音楽配信サービスの開始・貸出カード発行に対する居住地等の条件廃止・郵便を利用した貸出カード発行の3施策を開始する。

2015年（平成27年）5月 - 国立国会図書館デジタル化資料送信サービスの取り扱いを開始する。
愛知県図書館
Section: 施設概要

敷地面積：10,120.24平方メートル

建築面積：3,516.15平方メートル

延床面積：19,604.39平方メートル

レストラン（スガキヤ）・自動販売機・飲食コーナー

2005年（平成17年）3月設置。コーナーには持ち込みパソコンの利用ができる優先席8席がある。ビジネス情報として、企業・団体名鑑や各種年鑑、名簿類などの企業情報のほか、資格取得に関する資料、就職活動に関する資料、起業に関する資料、キャリアアップに関する資料、ビジネス関連の雑誌約30種、CSR報告書約250冊など、幅広い情報を提供している。

利用者持参のノートパソコンおよびワープロの利用が許可されている座席が24席準備されている。無線LANのアクセスポイントとして、フレッツ・スポット（NTT西日本）・docomoWi-Fi（NTTドコモ）・softbankWi-Fi（ソフトバンク）の3社によるサービスが提供されている。2021年7月からは、フリーWi-Fiの「Aichi Free Wi-Fi」も利用可能。（フリーWi-Fiについては、４階以外にも、１階 Yotteko（ヨッテコ）及びAV室、２階～４階の閲覧スペース、５階　各会議室、レストラン（スガキヤ）・飲食コーナー・ロビーで使用可能。1回あたりの利用時間は最大30分で、再度認証することで延長も可能）
愛知県図書館
Section: 概要

1968年（昭和43年）7月には第三セクターの神宮外苑土地開発会社が、名古屋市熱田区の東洋プライウッド・中京倉庫・旭金属・熱田倉庫の敷地の再開発に関して、図書館を設置する計画を立ち上げた。同社は愛知県も出資しており、のちに、愛知県が同地に3万3千～4万6千平方メートルの敷地に4～5階建ての図書館を整備する構想へと発展した。目玉として宇宙科学に関する資料を収集し、児童閲覧室の設置（当時の愛知県図書館は児童の入館を許可していなかった）、県下全図書館の蔵書目録をコンピュータ管理するなどの先進的な図書館を構想していた。

延床面積は5847平方メートル、地上3階建て（地下1階）、蔵書は閉館時には約68万冊を誇った。

閉架書庫は地下階および、2・3・4階の4フロアーに渡って整備されており、延べ2100平方メートルに及んだ。また、館外貸し出しを行わなかったため、館内閲覧室として、第一閲覧室（一般および大学生向け自由席206席と男子高校生向け指定席108席）・第二閲覧室（一般および大学生向け指定席236席）・婦人室（女子高校生向け指定席90席）が置かれていた。また、特徴的な資料として、科学技術・産業・経済関係の専門雑誌など約6000種や社史・有価証券報告書など2万7500冊、特許公報、意匠公報などを備える「産業室」や愛知県内の郷土資料約1万2千冊を備える「郷土室」があった。
ブルース (人名)
Section: 人名

ブルース・マッギャヴァン - ゲーム『ガンサバイバー4 バイオハザード HEROES NEVER DIE』の主人公。→詳細は「バイオハザードシリーズの登場人物#ガンサバイバーシリーズの主人公たち」を参照

ブルース・ウェイン - 漫画『バットマン』の主人公、バットマンの正体。

ブルース・ドックリー - アニメ『コヨーテ ラグタイムショー』の登場人物。

ブルース・ノーラン - 映画『ブルース・オールマイティ』の主人公。
ナギ
Section: 人間との関わり

ナギの葉を基にした家紋も多く、特に熊野信仰に関わる一族に多い。

世界各地で庭園、並木、生け垣、墓地などに植栽される。斑入り（フイリナギ）や細葉（ホソバナギ）、円形の葉（マルバナギ）などの園芸品種もある。寒さには弱いため、関東地方では若木に寒さよけを必要とする。肥沃で深い土壌を好む。害虫としてルビーロウカイガラムシがつきやすい。

その名が凪（なぎ）に通じることから、葉が船のお守りとされた。また男女間に波風が立たないように、あるいはナギの葉が切れにくいため縁が切れないように、女性が夫婦円満や縁結びのお守りとして鏡の裏にナギの葉を入れる風習があった。鏡の裏にナギの葉を入れておくと、会いたい人の姿が鏡の表に現れるという迷信もあったといわれる。また、夫婦縁が強いことを示す説話もいくつかあるという。
ナギ
Section: 特徴

葉は十字対生するが、葉柄がねじれて二列対生のように見える（図1, 2c）。葉身は針葉樹としては独特で、卵形から長楕円状披針形、全縁、2–9 × 0.7–3 センチメートル (cm)、基部はくさび形、先端は切形、鈍形または鋭尖形（図1, 2c）。葉は厚く革質、無毛、中央脈はないが基部で二又分枝し先端で収束する細い平行脈が多数あり、表面は深緑色で光沢があり、裏面はやや白色を帯びる（図1, 2c）。葉は縦には容易に裂けるが、横にはなかなかちぎれない。葉と枝はともに無毛。根に根粒状の構造（窒素固定能は見つかってない）をもつ。冬芽は雄花、雌花ともに一年枝の葉腋につく。

雌雄異株で"花期"は3–6月。"雄花"は円柱状、長さ 0.5–2 cm、数個がまとまって前年枝の葉腋に束生する（図2c, 3a）。"雄しべ"（小胞子葉）には2個の"葯室"（花粉嚢、小胞子嚢、雄性胞子嚢）がある。"雌花"は前年枝の葉腋に単生し、有柄（長さ4.5–13ミリメートル (mm)）、数個の鱗片と1個の倒生胚珠からなる。種托は肥厚せず、種子は鱗片が肉質化した套皮（とうひ）で包まれ、球形で直径 10–15 mm、粉白を帯び最初は緑色だが、8–11月に熟し、紫褐色になる（図3b）。種子本体の基部は尖り、頂端は丸みを帯び、表面には点状のくぼみが密にある。染色体数は 2n = 26 (29)。
甘糟記子
Section: 出演歴

日立 世界・ふしぎ発見!（TBS系）　ミステリーハンター（現在までに6回出演し、出演回数歴代25位）

2004/08/21 第884回『コロッセオ　封印された記憶を求めて』

2006/03/25 第955回『緊急レポート　オーストラリア　遥か二万年の足音を聴け！』

2006/07/01 第967回『スリランカ　知られざる仏教大国の素顔』

2007/02/24 第999回『ウインター・ワンダーランド　極寒カナダ大紀行！』

2007/07/14 第1016回『古代ローマ地下探検　闇に眠る永遠の都』
ハリー・W・ヒル (駆逐艦)
Section: 艦歴

1994年、ハリー・W・ヒルは乾ドックで注水後出渠する際に大きく破損した。事故は突風により艦体がドックに激突したもので、艦を支えるワイヤーが切れ乗組員2名が重傷を負った。艦は舵、スクリューおよび可変ピッチシステムに損害を被った。

ハリー・W・ヒルは湾岸戦争における砂漠の盾作戦および砂漠の嵐作戦の一部として展開した。1991年1月14日、オマーン湾においてウィチタ級給油艦カンザスシティと衝突事故を起こす。報告ではこの事故による負傷者はいなかった。
下地島
Section: 名所・旧跡・観光スポット

帯岩

1771年（明和8年）に起きた八重山地震またはそれ以前の津波の際に打ち上げられたとされる巨岩。人が帯を締めているように見えることから、この名称がついたとされる。現在は島の信仰の中心。

下地島空港

周辺の海の美しさで知られる。かつてはジェット機のタッチアンドゴー（離着陸訓練）が行われていたが、2014年4月以降は琉球エアーコミューター（RAC）や海上保安庁等の小型機の訓練のみが行われている。新ターミナル開業に伴い、周辺道路は2019年3月23日から車両全面通行止め（徒歩での通行は可能）。
下地島
Section: 交通

沖縄県道252号平良下地島空港線
下地島の下地島空港を終点とする。終点から始点方向に見ると、下地島東岸を北から南に縦断し、乗瀬橋を渡って伊良部島に入る。その後、伊良部島の南岸沿いに東に進み、伊良部大橋を経て始点の宮古島中心部に続く。

島内に定期航路が就航する港湾はない。

伊良部島との間の水路の伊良部島側南東入口（渡口の浜）付近には長山港渡口地区があり、主に地元の小型船が利用している。

沖縄県道90号下地島空港佐良浜線
下地島の下地島空港を始点とし、国仲橋を渡って伊良部島に入る。その後、伊良部島を横断して東岸に位置する終点の佐良浜に至る。
下地島
Section: 地理

面積9.68km2、周囲17.5km、人口95人（住民基本台帳による。2019年1月1日時点）。

サンゴ礁の隆起が成因の隆起サンゴ礁の島で、島全体が第四紀更新世の多孔質の琉球石灰岩で覆われている。形状は非常に平たんで、標高は最大で21.6メートル、

河川はない。伊良部島との間には幅40-100mの狭い海峡、入江水道が約3.5kmにわたって続く。水路が狭いため、航空写真などでは伊良部島とひとつの島に見えるが、両島は地続きではない別の島である。この水路には、6本の橋が架かっている。
椎名実果
Section: 出演作品

イカぬなら イカせてみよう ホトトギス（2月27日、ミリオン）

完全調教女子校生（3月19日、ミリオン）

ドリームシャワー55（6月4日、ワープエンタテインメント）

女を玩具にするオンナ（6月4日、ワープエンタテインメント）

2003年

夢・聖・女（10月31日、宇宙企画）

Kissより微熱（11月30日、宇宙企画）

〜メイド・イン・ラヴ〜（12月28日、宇宙企画）

2004年

発情果実（1月31日、宇宙企画）

プレミア・ミックス（2月27日、宇宙企画）
クレール・デルボス
Section: 生涯

ソルボンヌ大学の有名な哲学教授であるヴィクトール・デルボス (Victor Delbos) の娘としてパリに生まれ、スコラ・カントルムでヴァイオリン・室内楽・作曲を学んだ。メシアンとどのようにして知り合ったかはわかっていない。

1932年6月22日にメシアンと結婚した。その後、スコラ・カントルムの室内楽を推進する作曲家たちによって1935年パリで結成されたグループ「ラ・スピラール（La Spirale＝螺旋）」の一員として、夫のメシアンたちと共に活動した。
胡春華
Section: 来歴

2012年11月15日、第18回党大会後の中央委員会で、49歳で中央政治局委員に選ばれた。

翌12月、汪洋の後任として、中国共産党広東省委員会書記に任命された。

2018年3月、第12期全国人民代表大会で国務院副総理に選ばれた。

2022年10月に第20回党大会が開催されるまでは次期国務院総理の有力候補とも見做されていたため、同大会で中央政治局委員から降格となったことは驚きを持って受け止められ、第20回党大会の閉会式で胡錦濤が途中退席する一因になったとされている。
欧州連合域内における著作権保護期間の調和に関する指令
Section: 雑記

著作隣接権に関しても新規に指令を制定して保護期間の延長を要求する声が少なくないが、欧州委員会における検討では2004年7月に著作隣接権の保護期間延長を断念した。また、2006年12月にイギリス大蔵省の諮問を受けてまとめられた「知的財産制度に関するガウアーズ報告書」でも著作隣接権の保護期間延長を断念すべきである旨が答申され、2007年7月には政府の方針として著作隣接権の保護期間延長を断念することを表明した。

2005年、欧州委員会は加盟国の中央図書館の蔵書をインターネット上で公開する「欧州デジタル図書館」 (European Digital Library) 計画を正式に開始したが、本指令が蔵書のパブリックドメイン化を著しく妨げているため、2010年までに600万点の文献を公開する目標の達成は極めて困難であるとされている。
欧州連合域内における著作権保護期間の調和に関する指令
Section: 保護期間

この指令は、ベルヌ条約の当初の目標は著作者の没後2世代の間作品を守ることであって、そして50年はもうこの目的に対して十分ではないと指摘している（前文の第5パラグラフ）。著作者の没後70年が当時の加盟国の中で最も長い著作権の保護期間だったと言われることが多いが、これは厳密には正しくなく、そして当指令では選択の理由としては述べられていない。この指令が発効した時点で他の加盟国より長期間作品を保護している加盟国であっても、著作権の保護期間が減らされることはない（第10条第(1)項）。

（実演家、フォノグラムおよび映画製作者ならびに放送機関の）「関連する権利」の保護期間は、50年に設定された（第3条）。ただし始まりの日付を以下に示す規則で計算するものとする。この50年の期間は、知的所有権の貿易関連の側面に関する協定 (TRIPS) を含むマラケシュ協定に至る諸交渉における、欧州共同体の観点が反映されている。
銀嶺の果て
Section: その他

ロケーションは黒菱平、栂池高原、唐松岳などで行われた。ロープウェイもスノーモービルも無い時代であり山小屋を早朝に出発したスタッフとキャストは人力で機材を担ぎ上げた。元々カメラマン志望の三船は率先して重いバッテリーを運んでいた。撮影は早稲田大学山岳部の協力のもと進められた。

江島は飛行服を着ており、荒々しい所作と相まって、軍隊帰りであることをうかがわせるキャラクターである。

黒澤明と谷口千吉による１稿は「白と黒」と題された。撮影用台本は「山小屋の三悪人」のタイトルであったが撮影後、野暮ったい題名に宣伝部が異議を唱え協議の末、「銀嶺の果て」のタイトルで公開された。
銀嶺の果て
Section: 音楽

黒澤の仲裁もあって曲はそのまま採用されたが、断片的な場面ごとではなく、作品全体を見渡した結果としての主人公の心情を表した音楽を意図したことが認められ、最終的には音楽への真摯な態度が製作側からも評価された。それ以降、映画音楽作曲家としての伊福部のキャリアが始まった。

本作のメインタイトルとして使用された曲は『空の大怪獣ラドン』で「ラドン追撃せよ」の曲としてアレンジされて使用されている。また、一部の楽曲は『ゴジラ』（1954年版）で使用された楽曲の原型ともなっている。
銀嶺の果て
Section: あらすじ

雪崩を逃れた野尻と江島は凍えながら山中を進み、スキーのシュプールを雪面に見つけると、それをたどって歩くうち、レコードの音色を耳にし、谷沢スキー小屋に辿り着く。そこには小屋番の老人と、その孫娘の春坊（春枝）、そして小屋の常連で登山家の青年・本田がいた。やがて外は吹雪になり、先刻の雪崩と合わせて当分は山を下りられないと言われる。小屋の中を観察すると、ラジオは電池が切れており、老人たちは銀行破りのニュースを知らない様子。一方で、小屋では麓との連絡用に伝書鳩を飼っていた。野尻と江島は客として振る舞い、酒（どぶろく）を飲み、酔った本田は春枝とスザンナを踊る。それを見て野尻は笑うが、江島は緊張を切らさずに周囲の様子を見つめていた。

次の日、鳩が死んでいるのが見つかり、春枝は本田に雪を掘ってもらい、泣きながら埋葬する。自分もいつか死んだらこんなところに埋めてほしいという本田。次第に野尻は彼らの温かな人情に心を動かされる。焼きが回ったのかという江島に対して、本田に山越えの案内をさせようと提案する野尻。江島が銃の手入れをする一方で、野尻は春枝とスキーを滑り、スズランの蜂蜜を飲み、「ケンタッキーのわが家」のレコードを聞かせてもらうと、西洋も東洋も人情に変わりはない、亡くした子どものことを思い出すと語る。江島はその曲は嫌いだと告げてレコードを止めさせる。
中部幾次郎
Section: 来歴・人物

鮮魚の運搬・卸を生業とする父の兼松の次男として播磨国明石郡林村（現・兵庫県明石市林）に生まれる。

1904年（明治37年）に明石から山口県下関へ移り、日本初の発動機船を開発し、東シナ海、朝鮮半島沖の漁場開拓を行う。1924年（大正13年）に大洋漁業の前身となる林兼商店を創立。

漁業のほか、水産物加工、海運、造船などの経営に進出し、一大企業グループを作り上げた。1930年（昭和5年）から1943年（昭和18年）まで下関商工会議所会頭。1946年（昭和21年）3月22日に貴族院勅選議員となる。
樋口宗孝
Section: プロデュース作品

浜田麻里『Lunatic Doll〜暗殺警告』（1983年4月21日）、『ROMANTIC NIGHT〜炎の誓い』（1983年12月16日）

MAKE-UP 『Howling Will』（1984年4月1日）、『Staright Liner』（1984年10月21日）

ブリザード『DANGER LIFE』（1990年1月21日）

COZY POWELL FOREVER ~ TRIBUTE TO COZY POWELL（1998年9月19日）

Lapis Lazuli『KNOCK AROUND』（1999年12月16日）
樋口宗孝
Section: 機材

晩年もパールのクラシックメイプルシェル（レインフォースメントシェル）を使用するが、システムが大幅に変更され、大口径のシェルにある意味今風の1タム2フロアーというそれまでの多点システムとは正反対になっている。バスドラムは26X18、14タム、16&18のフロアーというセットで、シンバルはやはりセイビアンAAXブリリアントで統一され、銅鑼はKMKの40インチ、ラックは廃止されていたが、2005年のヨーロッパツアー近辺からラックシステムを導入した。ヘッドもREMOからアクエリアンに変更され、トミーリーモデルを良く使用していた（現在は樋口モデルが販売されているのでそれを使用）。また、ティンパニーも2基あるが、基本的にドラムソロで使用している。

しかし、バスドラムのフットペダルはパールにエンドースしてからはパールのペダルを使っていたが、当時のパールのペダルは、小さな丸いラバーの配置によってフィーリングが異なる作りだった。リズム＆ドラムマガジンで、本人曰く、「おれはこのパターンの配列がベスト。しかしどの配列にしてもあまり変わりはない」などと、頓珍漢なコメントも少なくなかった。その後、ペダルはヤマハ時代に戻り、ヤマハのFP－710を使用しておりスペアを含め同モデルを常時数機所持していた。本人曰く、動きが極めてスムースで高速連打を演奏するにはこのペダル以外は考えられないとまでこのモデルを信頼しきっていた。ドラムシューズはアキレスとクーガーを愛用。
樋口宗孝
Section: ドラミング

また、ラウドネスと再結成後のレイジーでは、「ラウドネスでのドラムは自分の限界に挑戦している所があるけど、レイジーの場合は楽曲優先という感じで一歩引いて、バンド全体を見渡すような感じで叩いている」と、バンドの音楽性で自身のドラムの叩き方やポジショニングを変えている。

前述のTUBEの前田のアルバム「SMASH」の他にも浜田麻里のアルバム、B'z結成前の松本孝弘のソロ・アルバム、その他に樋口がドラムスとして参加しているものが多々ある。また、YOSHIKI（X JAPAN）やshuji（Janne Da Arc）も、アマチュア時代から彼のプレイに憧れ、そのプレイスタイルから研究していた。
安原真美
Section: 作品

もしも安原真美が超高級ソープ嬢だったら… 完全版（2月27日、ケイ・エム・プロデュース）

裏・入門 安原真美 完全版（3月26日、ケイ・エム・プロデュース）

VERY BEST OF 安原真美 完全版（8月20日、ケイ・エム・プロデュース）

巨乳、パイズリ、デジタルモザイク（11月1日、MOODYZ）

巨乳ママ・調教飼育（12月1日、MOODYZ）

2005年

巨乳破壊 Ｆカップ美乳ナースの章（1月1日、MOODYZ）

超-股間のアングル（1月1日、ワンズファクトリー）
Tu-244 (航空機)
Section: 概略

かつてツポレフはソ連時代にTu-144を開発した実績があった。しかしTu-144は経済性など様々な問題があったため商業路線で100便ほど運航されたにとどまった。そのため、ツポレフはTu-144の改良を研究していたが、ソ連崩壊に伴う経済混乱で消滅しようとしていた。

だが、ツポレフは次世代超音速旅客機を開発する「Tu-244」計画を発表した。かつてのTu-144よりも大型の機体であり、300人が搭乗することができて、航続距離も太平洋を横断できる程度にするなど、経済性を大幅に改善することを目標にしていた。
松田直樹
Section: 経歴

1997年に右膝半月板損傷、1998年に初手術を受けた。復帰後はレギュラーに定着し、1999年、高校時代からの背番号「14」から、井原の背番号「4」のひとつ前の「3」を付けるようになる。

2000年、Jリーグベストイレブンを初受賞。

2002年、2度目のベストイレブンを受賞した。その後行われた契約交渉ではクラブ側との意見の食い違いを見せ、当時の社長である左伴繁雄との5時間にわたった直接会談で和解し契約を更新。「永久にマリノスだよ」という言葉を残した。
松田直樹
Section: 松田直樹メモリアル

2013年1月20日、正田醤油スタジアム群馬で開催。「Naoki Friends vs 群馬県出身Jリーガー」。
Naoki Friends（監督：ジローラモ、秋葉忠宏、氏家英行、遠藤彰弘、鏑木豪、久保竜彦、財前宣之、佐藤由紀彦、城彰二、鈴木健仁、田中誠、都築龍太、中田英寿、中西永輔、中山雅史、名波浩、西澤明訓、波戸康広、林健太郎、平野孝、福西崇史、松原良香、前園真聖、三浦淳寛、安永聡太郎、山田卓也）
群馬県出身Jリーガー（監督兼選手：小島伸幸、青木剛、青木拓矢、乾大知、上村祐司、樹森大介、後藤涼、小林竜樹、佐田聡太郎、佐藤一樹、佐藤正美、清水慶記、高田保則、鳥居塚伸人、沼田圭悟、黄大俊、服部浩紀、星野悟、真下佐登史、松本大樹、横山翔平）

2014年7月6日、フクダ電子アリーナで開催。「Naoki Friends vs CHIBA DREAMS」。
Naoki Friends（監督：水沼貴史、大橋正博、小村徳男、北村隆二、小松原学、清水範久、久保竜彦、田中誠、都築龍太、名波浩、波戸康広、林健太郎、平野孝、平間智和、福永泰、三浦淳寛、森岡隆三、山田暢久、安永聡太郎、吉田孝行）
CHIBA DREAMS（監督：京谷和幸、アマラオ、大塚真司、北嶋秀朗、櫛野亮、佐伯直哉、坂本將貴、式田高義、鈴木和裕、砂川誠、茶野隆行、戸田和幸、名良橋晃、中西永輔、野々村芳和、松原良香、森崎嘉之）
松田直樹
Section: タイトル

横浜マリノス/横浜F・マリノス

J1リーグ:3回(1995年、2003年、2004年)

Jリーグカップ:1回(2001年)

日本代表

AFCアジアカップ:2回(2000、2004 )

2000年 Jリーグベストイレブン

2002年 Jリーグベストイレブン

2011年 功労選手賞

2013年 Jクロニクルベスト ベストイレブン

2023年 J30ベストアウォーズ ベストイレブン

2002年 群馬県桐生市 市民栄誉賞
論理プログラミング
Section: 特徴

問題解決（problem solving）とその実践の導出原理は、数理論理学の膨大な知識から様々なものが存在する。ここではシンプルなロジックの代表格のホーン節を例にする。ホーン節は最大1個の正リテラルを持つ選言標準形をベースにしており、命題論理のホーン節は、素直にAND-OR木に投影できる。（右図はこの説明には不向きだが、これしか無かったのであしからず）右図のAND-OR木では、最上ノードのPがゴールになり、末端ノードのT・U・R・Sはファクトになって、このように解釈できる。

if Q and R then P,  if S then P,  if T then Q,  if U then Q.

それへの導出原理は、ファクトから問題解決する前向き連鎖と、ゴールから問題解決する後向き連鎖に大別される。前向き連鎖は、与えられたファクトから様々な別のファクトをゴールとして解答する演繹手法である。TとRを与えるとPが解答される。Sを与えるとPが解答される。前向き連鎖はエキスパートシステムなどに使われている。後向き連鎖は、与えられたゴールがファクトかどうかを解答する演繹手法である。Pを与えるとその前件のRおよびQのそのまた前件のTがファクトなのでPはファクトと解答される。後向き連鎖は論理型言語の代表Prologに使われている。
論理プログラミング
Section: 歴史

論理プログラミングは、1950年代から盛んになった自動定理証明と、1958年公開言語「LISP」を最初の実践手段にしている。マサチューセッツ工科大学でLISPを開発したジョン・マッカーシーは、Advice takerという常識推論仮説を発表している。

適切な形式言語（述語論理計算の一部に近い）を処理するプログラムは共通の”声明書”になる。基本プログラムは前提から直ちに結論を導き出す。その結論は宣言的かもしれないし命令的かもしれない。命令的結論が導出されたら、プログラムはそれに応じた動作もする。
論理プログラミング
Section: 概要

論理をベースにしたプログラミング言語として1971年に Planner のサブセットである Micro-Planner が開発された。表明とゴールからパターンによる手続き的計画を呼び出す機能を備えていたが、十分に形式化されていなかった。Plannerと独立してより論理を重視した Prolog が開発され、コワルスキーにより述語論理式(ホーン節)のプログラム的解釈の考え方と結び付き、論理プログラミングの基本的な考え方が確立した。Planner からの派生で、プログラミング言語 Poplerが開発された。Prolog からの派生言語としては、Mercury、Visual Prolog、Oz、Fril などがある。バックトラッキングを使用しない並行論理プログラミング言語としてProlog からの派生したConcurrent Prolog、PARLOG、GHC、KL1などの各種言語（Shapiro [1989] に調査結果がある）がある。

数理論理学適用の限界

ジョン・マッカーシーは数理論理学をコンピュータシステムの認識論の基礎として利用することを提案した。MITではマービン・ミンスキーとシーモア・パパートが主導して、マッカーシーとは異なる手続き的手法が開発された。Planner が開発されたとき、これら2つの手法の関係に関する疑問が生まれた。Robert Kowalski は「計算は推論に包含される」という命題を生み出した。彼はこれを 1988年の Pat Hayes の論文にあった言葉「計算は制御された推論である」が元になっているとしている。Kowalski や Hayes とは逆に、カール・ヒューイットは「論理的推論はオープンシステムの並行計算を実行することが不可能だ」という命題を生み出した。
岡崎雪
Section: 概要

他にも愛内里菜のライブでは「LOVE MOTION」というバックバンドで固定メンバーとして愛内が引退する2010年までコーラス参加していた他、2004年にはZARD初の全国ツアー「What a beautiful moment Tour」全11公演にSATIN DOLLと共にコーラス参加した。2008年のZARD追悼全国ツアー「What a beautiful memory 2008」全国13ヶ所15公演にも再参加している。

SUPER STARLIGHT CONTESTの1999年秋大会にて優勝し、GIZA studioが運営するGIZAクリエイターズスクール（現在のギザミュージックスクール）のレッスンを受ける。2004年より本格的に活動をはじめ、主にhills パン工場で開催されているTHURSDAY LIVE（現SATURDAY LIVE）のバックバンドのコーラスを務めている。
岡崎雪
Section: 主な出演

MINYO SOUL ～唄は時空を超える～（2016年1月1日、NHK総合テレビ） - 島袋寛子のサポートメンバー

スタースカウト総選挙2018（2018年8月25日） - アシスタントMC

スタースカウト総選挙2019（2019年11月16日） - アシスタントMC

第54回NHK紅白歌合戦（2003年12月31日、NHK総合テレビ） - 愛内里菜のサポートメンバー

第58回NHK紅白歌合戦（2003年12月31日、NHK総合テレビ） - ZARDのサポートメンバー
岡崎雪
Section: レコーディング参加作品

栗原小夜
『Sunny Side Jazz Lounge』 (全曲)
『Sunset Jazz Wave』 (全曲)

ZARD
淡い雪がとけて

三枝夕夏
WINTER WONDERLAND

三枝夕夏 IN db
夏のフォトグラフ
君の中に僕の居場所を探したい
明日に降る夢よ
空飛ぶあの白い雲のように
愛言葉
Honey
『三枝夕夏 IN d-best 〜Smile&Tears〜』
『U-ka saegusa IN db IV 〜クリスタルな季節に魅せられて〜』
『U-ka saegusa IN db Final Best』

大黒摩季
マリンタワーに着くまでに

上木彩矢
世界中の誰もが

Gulliver Get
コイニオチタ
『スタートの青色』

北原愛子
Dream☆ing
アネモネ
明日はきっと晴れるや
AMORE MIO
サクラサク
この空の下で
SAMBA NIGHT
恋花火
本当の気持ち
La-i-la
Surfing in the Heaven ♡×♡
AMORE 〜恋せよ! 乙女達よ!!〜
恋の引力
キンセンカ
その笑顔よ 永遠に
春風が舞う頃には
雪
Paradise☆
夏だから!
cobalt blue
眠れない夜のどこかで
星製薬
Section: 概要

現在の法人は、旧法人の星製薬株式会社（現・株式会社テーオーシー）から、1982年に販売部門を、2003年に製造部門を、それぞれ移管された子会社の星製薬株式会社（2代目）である。

工場：神奈川県厚木市上依知3006

1910年に、SF作家星新一の実父である星一が創業し、1911年に星製薬株式会社（旧法人）が設立された。

しかし、戦後になり、経営不振に陥り、後を引き継いだ星新一は、ホテルニューオータニを創業した大谷家へ譲渡を余儀なくされる。
星製薬
Section: 沿革

1933年（昭和8年）9月 - 強制和議認可

1934年（昭和9年）4月 - 低温工業を合併資本金1675万円

1949年（昭和24年） - 東京証券取引所上場。

1951年（昭和26年） - 星一が死去、星親一（星新一の本名）が社長に就任。

1952年（昭和27年） - 経営状況の改善はさらに困難となり、当時、企業再建で著名であった大谷米太郎が経営を引継ぎ、社長に就任。
会社を譲った新一はSF作家へと転身し、日本のSF界のパイオニア的存在となる。