geniacllm/wiki40b huggingface dataset:
二度目の目的地もヨーロッパだったが、前回とは異なり、日本とアメリカ合衆国を経由して向かった。1888年2月28日にリサールは横浜に到着し、駐日スペイン公使館邸や日比谷の東京ホテルに宿泊し、2か月間滞在した。本来は経由地として、船の乗り継ぎのために2日間滞在する予定だったが、スペイン公使館に滞在中、近所で見かけた元旗本で貿易商の娘「おせいさん」こと臼井勢似子(1866-1947)に声をかけたことにより親しくなった。英語とフランス語がある程度できた勢似子とリサールは、二人で歌舞伎を見物に行ったり日光や箱根に逗留し、ラサールは日本の文化と言葉を学びつつ、滞在は延びて二か月近くに及んだ。リサールは生前、勢似子のことを誰にも話さなかったため、その存在は知られることは無かったが、没後にリサールの遺族が遺品を整理した際、勢似子の写真が一枚発見された。また、日記には「あなたのように私を愛してくれた人はいなかった」と記されていた。勢似子もまた、誰に話すこともなく、所有物はその後の太平洋戦争の空襲被災で多くを失ったために、残る文物もほとんどない。後述されるリサールの死は日本でも多く報道された。その翌年の1897年、勢似子は30歳で英国人男性アルフレッド・チャールトン（学習院大学講師）と結婚、1947年（昭和22年）に80歳で亡くなった。現在、雑司ヶ谷霊園に勢似子の墓があるが、毎年リサールの誕生日にフィリピン大使館により花が供えられている。
1888年4月13日にリサールはサンフランシスコ行きの船に乗り込み、船中で後に衆議院議員となる自由民権運動の壮士、末広鉄腸と懇意になった。英語が話せなかった鉄腸は「親切なフィリピン人青年が船で助けてくれた」と書き残しており、リサールは前述の僅かな滞在中に、多少なりとも通訳ができるようになっていたようである。当初の鉄腸の目的は訪米だったが、リサールと意気投合したために予定を変更して4月28日のサンフランシスコ到着後も行動を共にし、5月16日にリサールと共にイギリスのリバプールに到着した後、ロンドンにて別れている。ロンドン到着後のリサールは大英博物館をはじめとする、イギリス、ベルギー、パリの図書館に通いながら古代史の研究を進め、スペイン人による植民地化以前のフィリピンの歴史を研究した。1889年、ロンドンで日本の民話「さるかに合戦」とフィリピンの民話「さるかめ合戦」を比較した論考を著している。同年2月15日にはロペス・ハエナやデル・ピラールらマドリードに滞在していたフィリピン出身者と共に、半月刊のスペイン語新聞『ラ・ソリダリダッド』（スペイン語で「団結」の意）の創刊に加わり、「プロパガンダ運動」を行っている。1891年9月18日にベルギーのヘントで二作目の小説『エル・フィリブステリスモ』を出版した。
『エル・フィリブステリスモ』の出版後、リサールは1891年10月18日にマルセイユを発ち、フィリピンに帰国しようとしたが、フィリピン官憲がリサールの反植民地主義を危険視したために帰国がかなわず、11月19日に香港に到着した後、当地で眼科医を開業した。しかしながら望郷の念は已まず、翌1892年6月15日にフィリピンに帰国した。帰国後、リサールは「ラ・リガ・フィリピナ（フィリピン同盟）」を組織すべく活動した。ラ・リガ・フィリピナの思想的立場は急進的な革命を望むものではなく、スペイン治下のまま暴力を用いずに穏健な改革を望むものであったが、この方針をも危険視した植民地政府当局によってリサールは逮捕され、同年7月7日にミンダナオ島のダピタンへ流刑された。ダピタンでのリサールは医者、及び教師として住民に接し、また、ヨーロッパの学者からの依頼に応じてミンダナオ島の地質、昆虫、動物についての研究を残している。この頃までにリサールは20数言語を習得していた。
1896年7月に流刑を終えた後、かねてから伝えていた軍医志望の旨が総督のラモン・ブランコに許可されたため、リサールはスペイン海軍の巡洋艦「カスティリア号」に乗り込み、任地のスペイン領キューバへと旅立った。しかし、船が地中海に入ったところで秘密結社カティプナンが独立闘争(1896年革命)を開始すると、上陸地のバルセロナで以前からリサールに目をつけていたスペイン官憲に逮捕された。スペインからフィリピンの首都マニラに送致された後、軍法会議にかけられ、同年12月26日に銃殺刑が宣告された。処刑の前の晩に妹に手渡した遺言代わりの辞世の詩は、後に『ミ・ウルティモ・アディオス(Mi Ultimo Adios,『我が最後の別れ』の意)』と名づけられ、彼の祖国への熱い思いを伝えるものとなっている。同年12月30日、リサールを一目見ようと集まったフィリピン民衆が見守る中、35歳にしてマニラで銃殺された。
リサールの処刑は反響を招いた。リサール処刑の翌々年に成立したフィリピン第一共和国大統領のエミリオ・アギナルドはリサールが処刑された12月30日を「リサールの日」に指定し、祭日とした。このようにリサールはフィリピンで高く評価されている他、インドネシア初代大統領のスカルノもオランダ人がインドネシア語に訳したリサールの著作を通して影響を受けた。リサール初の伝記はスペイン人でありながらも、リサール心酔者となったウエンセスラオ・レタナによって1900年にマドリードで出版された。また、1888年の4月から5月にかけてのリサールのイギリス行に同行した自由民権運動の壮士、末広鉄腸は1891年にリサールをモデルにした主人公が日本人志士の助けを得てスペインからのフィリピン独立運動を戦う政治小説、『南洋之大波瀾』を著している。現在、リサールは『ノリ・メ・タンヘレ』と『エル・フィリブステリスモ(El Filibusterismo)』という2つの小説で有名である。フィリピン最初期の近代小説である両作は共にスペイン語で書かれているが、スペイン圧政下に苦しむ植民地フィリピンの様子が克明に描き出されており、フィリピン人の間に独立への機運を高めた。 カトリック教会はスペイン植民地統治に対する批判者としてのリサールを称賛しつつも、その主要著作2冊については反修道会的であり、処刑直前にリサールがこれらの著作の内容を撤回したと主張して、公立学校での教育に導入することに反対している。リサールが処刑されたマニラ湾を見渡す地は現在、リサール公園(別名 ルネタ公園 Luneta Park)として整備されており、衛兵に24時間守られている記念碑がある。公園の北方にあるパシッグ川沿いのサンチャゴ要塞内には、リサールにゆかりのある品々が展示されたリサール記念館がある。また、リサールは1888年に来日しており、1ヶ月ほど東京都(当時・東京府)内に滞在している。これを記念して東京の日比谷公園にはホセ・リサール記念像が設置されている。1949年から1973年にかけて1ペソまたは2ペソ紙幣に肖像が使用されていた。リサール州はじめ、リサールから名をとった地名が各地にある。
タマゴケ科は1科でタマゴケ目を構成する比較的小さな科で、その単系統性は形態的特徴と葉緑体DNAを用いた系統分類学的な研究結果によって支持されている。茎はふつう立ち、下部に仮根をもつ。葉は広い披針形から線状披針形で、葉縁は平坦だが、葉の上部には鋸歯をもつ。
タマゴケ科には3亜科10属375種を含み、うち日本には6属が分布する。またこれらの属以外に、単型の属である Catoscopium 属をタマゴケ科に含める考えもあるが、通常独立した分類群 (Catoscopiaceae) として扱われる。
ミニアルバム『サマーチャンプルー』のリリースから5ヶ月ぶりとなる、2008年第1弾シングル。初回版特典として『銀魂』絵柄ワイドキャップステッカー仕様および『銀魂』書き下ろし透明ステッカー封入。オリコン週間シングルチャートでは過去最高となる16位を記録した。
本作リリースの前後にHearts Growメンバーのユウヤ（ドラム）が肘の治療のためバンドを脱退した。そのためか、音楽雑誌等における本作の解説でHearts Growを「六人組バンド」としているにもかかわらず、イメージ写真には五人しか写っていないという事態になっていた。
Hearts Growとしてのアルバムには収録されておらず（本作リリースから2009年12月の活動休止までアルバムをリリースしていない）、タイトル曲「かさなる影」が『銀魂』主題歌集『銀魂BEST』やオムニバス盤『アニソンLOVE! 蒼組』に収録されているのみである。
ゲレンデ上部はチャレンジコースＡ（最大斜度41）など、上級者向けコースが設定されている。全体的に中上級向けコースが多くなっているが、スキーセンター付近には初心者コースもある。スノーボードの滑走は全面可ではあるが、スキーヤーの割合が多い。2011年12月にゲレンデ東側のダウンヒルコースが県内初の国際スキー連盟（FIS）公認コースに認定された 。県内スキー大会などによく利用される。
学校法人函嶺白百合学園（かんれいしらゆりがくえん、英称:Kanrei Shirayuri Gakuen）は、神奈川県足柄下郡箱根町強羅にある学校法人。姉妹法人である学校法人白百合学園と同じく、シャルトル聖パウロ修道女会を母体とする。その設置する学校（2校）はすべてカトリックのミッションスクール（女子校）で、いずれも箱根町強羅の同じ敷地内に所在する。「函嶺」とはかつての「箱根」の別名で、今ではほとんど使用されることはないが、箱根駅伝のコースで通過する「函嶺洞門」などにその名残りが見られる。2001年に寄宿舎が再開された。
太平洋戦争末期、財団法人白百合学園（現・学校法人白百合学園）の東京九段の学校（白百合高等女学校および附属初等科）は、戦禍を避けるために神奈川県足柄下郡箱根町強羅に戦時疎開学園を設けて教育活動を続けていたが、戦後の1949年に私立学校法が制定され学校法人制度ができたのを受けて、1951年に学校法人函嶺白百合学園が設立された。このような歴史的経緯もあって、学校法人白百合学園とはシャルトル聖パウロ修道女会を母体とすることでは共通であり、両法人は精神的にも学校運営的にも関係が極めて強い。1975年から同小学校では男児募集がされなくなり、1981年には同幼稚園が廃止されたので、その後は完全に女子のみの学園となった。
数学における簡約群（かんやくぐん、英: reductive group）とは冪単根基が自明となる代数閉体上の代数群のことである。代数的トーラスや一般線形群など任意の半単純代数群は簡約となる。一般の代数体上の場合には、代数閉包上で冪単根基が自明となるような滑らかなアフィン代数群を簡約代数群と呼ぶ。ここで代数閉包への移行は、定義体が有限体上の関数体などの不完全体（imperfect field）となる場合に必要である。（必ずしも完全でない）体 k 上の代数群で k-冪単根基が自明となるものはen:pseudo-reductive groupと呼ばれる。簡約群の名称は線形表現の完全可約性から来ており、標数0の代数群の表現に対して成り立つ性質である。（これは代数群としての表現にのみ適応される。離散群としての有限次元表現は標数0の場合でさえ必ずしも完全可約にならない。）Haboushの定理は、幾何学的簡約性と呼ばれるより弱い条件が正標数の場合の簡約群に対しても成立していることを示す。G ≤ GLₙ を滑らかな-閉部分群としたとき、 上の  次元アフィン空間への作用が既約であるならば G は簡約である。 そのため GLₙ 及び SLₙ は簡約である（後者はより強く半単純となる）。
リー群の場合には簡約リー群 G はリー代数の言葉を用いて定義される。簡約リー群とはそのリー代数 g が簡約リー代数、つまり可換リー代数と半単純リー代数の直和となるものである。G の連結成分が有限個であるという条件を課す場合もある。リー代数の簡約性はその随伴表現の完全可約性と同値である。しかしその一般の有限次元表現は必ずしも完全可約ではない。またリー群と代数群では簡約性の概念は必ずしも一致しない。例えば一次元可換リー代数 R は明らかに簡約であり、簡約代数群 Gₘ (ゼロでない実数の乗法群) と（簡約でない）冪単代数群 Gₐ (実数の加法群）の両方のリー代数となっている. これらはリー群としては同型であるが代数群としては同型ではない。
柏野 幸二（かしの こうじ、1969年4月24日 - ）は、岡山県出身の競艇選手。登録番号3436。65期。岡山支部所属。同期に寺田千恵、大賀広幸らがいる。
1989年65期生としてデビュー。1999年3月、三国競艇場のG1北陸艇王決戦で優勝。2009年5月、下関競艇場のG1競帝王決定戦で優勝。
オリジナルアルバムとしては前作「縁」から約1年7ヶ月ぶりとなる作品。タイトルには、「うれしいを通りこしてもはやうれD」という意味が込められている。通常版「CD」のみ、初回限定版A「CD+DVD+オリジナルVRスコープ」、初回限定版B「CD+DVD」の計3形態で発売。初回限定版のCDにはボーナス・トラックが収録された。アルバム「縁」以降に発売されたシングルのうち、「暁の君に」と「テトテとテントテン with whiteeeen」は収録されていないが、ミュージックビデオは初回盤DVDに収録されている。
慶長6年（1601年）、加藤清正の三男として生まれる。兄の虎熊、熊之助（忠正）が早世したため、世子となる。慶長16年（1611年）、父の清正が死去したため跡を継いだ。11歳の若年であったため、江戸幕府は加藤家に対して9か条からなる掟書を示し、「水俣城、宇土城、矢部城の廃止」「未進の年貢の破棄」「家臣に課せられる役儀の半減（役儀にかかる経費の削減、ひいてはその費用の百姓への転嫁を抑制する）」「支城主の人事と重臣の知行割は幕府が行う」ことを継承の条件とした。後に一国一城制によって、鷹ノ原城、内牧城、佐敷城の廃止も命じられ、最終的には熊本城と麦島城だけの存続が許された。藩政は重臣による合議制となり、藤堂高虎が後見人を務めたと言われている。支城の廃止と人事の幕府による掌握および合議制の導入は、清正時代に重臣が支城主として半独立的な権力を持っていたのを規制する意図があったと考えられている。しかし、年若い忠広には家臣団を完全に掌握することができず、牛方馬方騒動など重臣の対立が発生し、政治は混乱したと言われている。また、同じ九州の小倉藩を領していた細川忠興は周辺大名の情報収集に努めており、忠広の行状を「狂気」と断じて警戒していた。寛永9年（1632年）5月22日、江戸参府途上、品川宿で入府を止められ、池上本門寺にて上使稲葉正勝より改易の沙汰があり、出羽庄内藩主・酒井忠勝にお預けとなった。
その後、出羽国丸岡に1代限りの1万石を与えられ、母・正応院や側室、乳母、女官、20名の家臣とともに50人の一行で江戸を立ち（細川忠興書状）、肥後に残していた祖母（正応院の母）も呼び寄せて、丸岡で22年間の余生を過ごした。丸岡は堪忍領であり、年貢の取立てなどは庄内藩の代官が行ったので、配所に赴いた家臣20名はもっぱら忠広の身辺に仕えた。忠広は、文学や音曲に親しみ、書をしたり、和歌を詠んだり、金峯神社参拝や水浴びなどをしたり、かなり自由な生活の様子が諸史料に見える。配流の道中に始めた歌日記1年余の319首を『塵躰和歌集』に編んでいる。徳川義宣の研究によれば、『小倉百人一首』で耳馴れた語句を用いた歌が数多く、『伊勢物語』にも大きな影響を受けており、東国へ下った業平のように身をやつした己を見て感慨にむせぶ様子が窺える。同様に光源氏にもその身を投影したものか『源氏物語』からの引用も多く見られるという。尺八など楽器に親しむ歌もある。表では小姓たちに、奥では母、乳母、祖母、愛妾、侍女たちに囲まれ、歌を詠み、源氏を繙き、音曲を奏で、酒に酔っては花鳥を慈しみ風月を愛でるといった、地味でありながらも充実した生活を送っていたことが垣間見える。20年を過ごした慶安4年（1651年）6月に母が没し、2年後の承応2年（1653年）に忠広本人も死去した。享年53。遺骸は忠広の遺言が聞き届けられ、屋敷に土葬してあった母・正応院の遺骸と共に本住寺（現・山形県鶴岡市）に葬られ、墓も並んで造られた。家臣の加藤主水は剃髪をし僧侶となり、忠広の墓守になった。遺臣のうち希望した6人が庄内藩に召抱えられ、その子孫は幕末まで庄内藩に仕えた。
嫡男・光広が諸大名の名前と花押を記した謀反の連判状の偽物を作って遊んだことが、改易の理由であるとされるが、他にも改易の理由には諸説ある。忠広が家臣団を統率できなかったためとも、法度違反のためとも、駿河大納言事件に連座したためとも言われている。春日局の兄・斎藤利宗は父の清正により5,000石で召し抱えられ、忠広にも仕えていたが、徳川忠長と親交が深まると暇を請い熊本より退去し、旗本として幕府に同石高で召し抱えられている。また、加藤氏が豊臣氏恩顧の有力大名、しかも豊臣氏と血縁関係にあったために幕府に警戒され、手頃な理由をつけられて取り潰されたという説もある。また、父・清正が残した課題が忠広の統治に大きな影響を与えたとする研究もある。加藤清正は新田開発や治水工事の逸話が知られている一方で、朝鮮出兵に対応するための動員体制が、その後も関ヶ原の戦いや天下普請に対応するために継続された結果、百姓は度重なる動員や重税に悩まされて農村は荒廃した。また、支城主には大きな権限が与えられ、清正が没して幼少であった忠広が家督を継ぐと幕府が直接介入して彼らを抑制しようとしたが、その統制も困難になってきた。それが家中の対立を招き、藩政の停滞・改易につながったとされる。
正室の崇法院は忠広の配流に同行しなかった。嫡男の光広は飛騨高山藩主・金森重頼にお預けとなり、堪忍料として月俸百口を給され、天性寺に蟄居したが、配所にて過ごすこと1年後の寛永10年（1633年）に病死した。これには自刃説、毒殺説もある。次男の正良は藤枝姓を名乗り、母である忠広の側室・法乗院と真田氏へ預けられていたが、父の後を追って自刃した。これにより加藤氏の後継者がなくなり、領地は収公された。娘の献珠院は忠広の死から6年後に許され、叔母の瑤林院（忠広の姉、徳川頼宣正室）のはからいで旗本・阿倍正之の五男・正重に嫁したが、約3年後、正重が家督を相続直後に32歳で死去した。忠広は丸岡において2子を儲けた（熊太郎光秋、女子某）と言われているが、公にはできなかった。子孫は5000石相当の大庄屋・加藤与治左衛門（または与一左衛門ともいう）家として存続し、明治年間に屋敷へ明治天皇が行幸する栄誉に浴している。しかし、この家系を最後に継いだ加藤セチ（1893年 - 1989年、日本人の既婚女性としては理学博士号取得者の第1号として知られる）の死去により、その本家は山形に、筆頭分家の加藤与忽左衛門家を始めとするその他の子孫は、山形県を中心として全国各地で家系を伝えた。
宮村 隆治（みやむら りゅうじ、生年不明 - 1932年（昭和7年））は、日本の弁護士、法学士、教育者。中京法律専門学校設立の発起人。
兗州刺史を務めたことがあり、人柄がよく威厳と恩情を兼ね備えていたとされる。やがて東郡太守となった。永漢元年（189年）、何進は十常侍と対立すると、各地の軍を呼び寄せようとした。橋瑁にもその命令が下ったため、橋瑁は成皋の地に軍を駐屯させた（『後漢書』）。何進と十常侍が共に滅び、董卓が朝廷の実権を握ると、橋瑁は三公の公文書を偽造し、董卓に対する挙兵を呼びかける檄文を作った（『後漢書』）。初平元年（190年）、董卓に反対する関東の諸侯が挙兵する（反董卓連合）と、橋瑁は孔伷・劉岱・張邈・張超・袁遺と共に参戦している。もっとも「臧洪伝」によると、当初挙兵したのは橋瑁達となっている。袁紹を盟主として仰いだが、董卓が長安に遷都した後は事態に進展がなく、橋瑁は酸棗で劉岱・張邈・袁遺・鮑信・曹操と共に駐屯していた。曹操は、酸棗に駐屯する諸侯が酒宴ばかり開いて董卓と積極的に戦おうとしないことを憂い、進軍計画を立てた上で、戦をするよう奨めた。しかし諸侯はそれに応じなかった。やがて酸棗の軍勢は兵糧が尽きて解散した（『後漢書』）。橋瑁は劉岱と対立し殺害されてしまった。
論理プログラミング（Logic Programming）とは、広い意味では、コンピュータプログラミングでの数理論理学の使用である。この観点での論理プログラミングは、ジョン・マッカーシー[1958]のadvice takerの提案にまでさかのぼることができる。より一般的に受け入られている狭い意味での論理プログラミングは、述語論理式を非決定的なプログラミング言語とみなすもので、述語論理式は宣言的であると同時に手続き的にも解釈される。論理をベースにしたプログラミング言語として1971年に Planner のサブセットである Micro-Planner が開発された。表明とゴールからパターンによる手続き的計画を呼び出す機能を備えていたが、十分に形式化されていなかった。Plannerと独立してより論理を重視した Prolog が開発され、コワルスキーにより述語論理式(ホーン節)のプログラム的解釈の考え方と結び付き、論理プログラミングの基本的な考え方が確立した。Planner からの派生で、プログラミング言語 Poplerが開発された。Prolog からの派生言語としては、Mercury、Visual Prolog、Oz、Fril などがある。バックトラッキングを使用しない並行論理プログラミング言語としてProlog からの派生したConcurrent Prolog、PARLOG、GHC、KL1などの各種言語（Shapiro [1989] に調査結果がある）がある。
Prolog は 1972年にマルセイユのカルメラウアーが考案し、1974年にコワルスキーがさらに形式的に定義し、数理論理学に基づいた言語として発表した。Prolog のプログラムは一階述語論理のサブセットの論理式の集まりとして読むことができ、一階述語論理のモデル理論と証明理論を継承している。プログラムの節は次のように書かれる:   H :-  B₁, ..., Bₙ.これを宣言として読めば、以下の論理的含意に等しい：   B₁ and ... and Bₙ implies Hここで、節内の全変数（変項）は全称量化されている。手続き的な後方連鎖規則として見れば、H を証明するには、B₁ から Bₙ までを証明できれば十分であることがわかる。手続き的意味は線形導出法（LUSH または SLD導出法）による反駁証明によっても定式化できる。宣言的意味と手続き的意味の密接な関係は論理プログラミング言語の際立った特徴であるが、否定や論理和といった他の量化子をプログラム内に許すようになると関係は複雑になる。
論理プログラムが節 H :- B₁, ..., Bₙ から構成され、H, B₁, ..., Bₙ が全てアトミックな述語論理式であれば、このプログラムは確定(definite)していると呼ばれ、ホーン節プログラムであるともいう。確定した論理プログラムの手続き的意味と宣言的意味は、そのまま述語論理的に解釈できる。否定を含めると、古典的論理との関係はそれほど直接的ではなくなる。「失敗による否定; negation-as-failure」推論規則によれば、ゴール Q がプログラムによって証明できない場合、その否定 not(Q) は証明されたと見なされる。これは古典的論理学では全く正しくない。公理から Q も not(Q) も導けない可能性がある。結果として、この規則は論理的例外と実用的困難さをもたらした。後方連鎖証明規則に「失敗による否定」を加えても完全ではない。その場合、プログラムを宣言的に読んで得られる論理的結果の全てを証明することができない。しかし、ほとんどの Prolog 系言語は「失敗による否定」を \+ という文字列を使って実装している。完全ではないものの、プログラムとしての完全性（completion）という意味では「失敗による否定」規則は（ある制限下で）健全な推論規則であると言える。論理プログラムの完全性は Keith Clark が最初に定義した。おおまかに言えば、それはプログラム内の左辺に同じ述語のある全節の集合である。例えば、以下のようなものである:     H :-  Body₁.     ....     H :-  Bodyₖ.これらは次の1つの論理式と等価である。     H iff (Body₁ or ... or Bodyₖ)ここで、iff は同値（if and only if）を意味する。完全性を主張するには、等号と等号に関する公理を明確にする必要もある。完全性は非単調推論のためのマッカーシーのサーカムスクリプションや閉世界仮説に密接に関連する。
最初に実装された Prolog処理系は1972年に開発された Marseille Prolog である。Prolog が実用的なプログラミング言語として使われるきっかけとなったのは 1977年にエジンバラで David Warren がコンパイラ処理系を開発したことであった。Edinburgh Prolog は他の記号処理言語（Lispなど）と処理速度を比較して遜色ない性能であることを世に示した。Edinburgh Prolog はデファクトスタンダードとなり、後の ISO での Prolog 標準化に影響を与えた。
ジョン・マッカーシーは数理論理学をコンピュータシステムの認識論の基礎として利用することを提案した。MITではマービン・ミンスキーとシーモア・パパートが主導して、マッカーシーとは異なる手続き的手法が開発された。Planner が開発されたとき、これら2つの手法の関係に関する疑問が生まれた。Robert Kowalski は「計算は推論に包含される」という命題を生み出した。彼はこれを 1988年の Pat Hayes の論文にあった言葉「計算は制御された推論である」が元になっているとしている。Kowalski や Hayes とは逆に、カール・ヒューイットは「論理的推論はオープンシステムの並行計算を実行することが不可能だ」という命題を生み出した。論理的手法と手続き的手法の関係という問題の答えは、手続き的手法の数学的意味（表示的意味論）と論理の数学的意味（モデル理論）は異なる、ということである。
Keith Clark、Hervé Gallaire、Steve Gregory、Vijay Saraswat、Udi Shapiro、Kazunori Ueda（上田和紀）らは、共有変数のユニフィケーション機能とメッセージのためのデータ構造ストリーム機能を備えた並行論理プログラミング言語を開発した。数理論理学に基づく並行プログラミングの基礎を築くための研究であるが、これが第五世代コンピュータの基盤ともなった。並行論理プログラミングは制約論理プログラミングと結び付き、制約で並行実行を制御する並行制約プログラミングとして統合され、 Saraswatらにより理論化が行われた。KahnとSaraswatは並行制約プログラミングの枠内での制約の設定でアクターモデルが実現できることから、アクターモデルは並行制約プログラミングの特別なケースだと主張した。
一部の研究者は高階述語論理に基づいた高階論理プログラミングへと拡張を行った（述語の変項化など）。そのような言語としては Prolog の拡張である HiLog や λPrologがある。
城田と白石は高校時代の同級生（3年間同じクラス）で、出席番号も近かったことから仲良くなっていた。その後、モデルやデザイナーとして活動していた城田と、ギターロックバンドなどで独自に音楽活動をしていた白石が4年ぶりに再会。城田が白石を口説き落として、2006年11月にユニット結成。ユニット名はスペイン語で「魂」の意味。2009年2月11日、Jin Nakamuraをプロデューサーに迎え、シングル「鼓動」でメジャーデビュー。2010年11月5日、同日をもって解散を発表。今後は個々で音楽活動を継続していく予定。
幼少の頃から競馬場に連れられていったことで競馬の世界に興味を持ち、水沢市立水沢中学校（現・奥州市立水沢中学校）2年生のころより厩舎で住み込みで仕事をするようになる。中学卒業後、地方競馬教養センターを経て、岩手競馬は水沢競馬場・千葉忠一厩舎所属の騎手としてデビュー、1986年4月19日水沢競馬場で初騎乗（サトグロアップ）、10月12日初勝利（ラインアップ）。1993年ビクトリーカップでホクテンオーとのコンビで重賞初制覇。1996年桐花賞でプレザントに騎乗して逃げ切り勝ち、その後川崎記念に挑戦したが落馬に終わる。1997年9月札幌競馬場で行われた（旧齢）3歳500万下でスーパーグランザムに騎乗してJRA初騎乗初勝利、その後、この馬とのコンビで東京競馬場のアイビーステークスにも挑戦（6着）。デビュー7年目（1992年）からコンスタントにリーディングの10位以内にいたが、1998年は乗り鞍が減りリーディング13位に終わる。1999年の途中から騎乗しなくなり、2000年1月に上山競馬場の太田勝雄厩舎に正式に移籍。移籍初年度から56勝を挙げリーディング7位に。2003年上山競馬の廃止により、ホッカイドウ競馬の堂山芳則厩舎に移籍、毎年20勝前後を挙げていた。2012年5月1日一身上の都合により引退。
同窓会として上田女子短期大学同窓会がある。
北野講堂があり、普段の授業のほか、音楽会・講演会等の会場としても用いられている。
現在のチェコのヴェセリー・ナト・モラヴォウ(Veselí nad Moravou:ドイツ語名、 Wessely an der March）で生まれた。祖父はハノーファー出身のオーストリア陸軍の軍人、ゲオルグ・ハインリヒ。フォン・ランベルク(Georg Heinrich von Ramberg)で、叔父にミュンヘン美術院の教授などを務めた画家のアルトゥール・ランベルクやオーストリア軍の将軍になったヘルマン・フォン・ランベルクがいる。若い頃から絵を描くことが好きだったが、現在のクロアチアのリエカにあったオーストリア＝ハンガリー帝国海軍の士官学校で学び、帝国海軍の軍人になった。1885年から1886年にはコルベット艦、"Danube"の南米、北米の航海に参加した。1890年に水雷、機雷のコースを卒業し、しばらく水雷艇の指揮官をした後、大型艦の航海士に転じた。オーストリアの皇太子エスターライヒ＝エステ大公が乗船して、1892年から行われた巡洋艦、”Empress Elisabeth”による世界一周航海にも参加した。1904年に病気のため、休職し独学で海洋画を学んだ。第一次世界大戦が始まり、帝国海軍の公式画家となり、第一次世界大戦のオーストリア＝ハンガリー帝国海軍の戦闘場面などを描いた。敗戦により1918年にオーストリア＝ハンガリー帝国が解体され帝国海軍が消滅した後は、グムンデンに住んだ。展覧会などに出展することは少なかったが1928年にザルツカンマーグートの芸術家協会(Künstlergilde Salzkammergut)の初代会長を務めた。
長野市立北部中学校、長野県長野東高等学校卒業、専門学校東京アナウンス学院芸能バラエティ科出身。東京アナウンス学院在学中に、日本テレビ『エンタの神様』に出演。ネタは、一人コントを中心として展開している。ライブでは『太田プロJr.ライブ』『JAMEお笑いハーベスト』など出演。特技は「料理。百人一首の和歌を全て暗唱出来ること」と述べている。料理の中では「節約料理」が得意で、その料理は自分のブログで紹介している。テレビ朝日『『ぷっ』すま』の『オレコツ!オークション』において、その節約料理を披露、2011年2月1日放送では「たった220円で本格的なピザが作れるコツ」、2011年3月29日放送では「たった5分で美味しいラスクが作れるコツ」を紹介した。また、幼少の頃より多くの神秘的体験をしたことから占いに強い関心を持ったことで、その後、手相・タロット占い・姓名判断・気学など占い鑑定を行い、占い師としても活動している。2014年10月20日、「芸名を『ほしのゆき』から『ホシノユキ』に変更した」と発表。
初めて開催された屋外での大規模ライブ。指定席は全て売り切れたため後方の芝生席まで解放され、当時の観客動員記録を塗り替える約6000人のファンが集結した。「極楽門」は実際に会場に隣接する門であり、そこからメンバーも登場した。クレーン車で上空高くまでメンバーがリフトアップされる演出に始まり、ステージ脇からの放水やメンバーによる水鉄砲攻撃など、屋外の利点を活かしたパフォーマンスが繰り広げられた。アンコール後には終演のアナウンスが流れる中、ダブルアンコールを求める声が鳴りやまなかった。遅い時間帯だったため、メンバーは規定上出演できなかったが、マイクを通してファンに感謝の言葉を述べた。このライブでは、直前に発売されたアルバム『バトル アンド ロマンス』の全曲がセットリストに組み込まれた。また玉井詩織が、トレードマークであったツインテールからショートカットにイメージチェンジした姿を初披露した。
『夜の花火』（よるのはなび）は、TBS系列の『木曜座』（木曜日22：00 - 22：54）にて、1981年4月2日から7月16日まで全16回放送されたテレビドラマ。毎日放送（MBS）制作。原作は五木寛之。
千頭 暎臣（ちかみ てるおみ、1902年（明治35年）8月11日 - 1983年（昭和58年）2月27日）は、元三菱信託銀行社長、会長。
柏原市の山間部に位置し、小規模の学校となっている。また、2007年度からは小規模特認校に指定され、柏原市在住の生徒で特に希望する者については校区外からの通学も可能である。2007年度からは、柏原市立堅上小学校との間で9年間の小中一貫教育を実施している。小学校1年～中学校3年の児童・生徒を縦割りグループに分けて異年齢交流を図り、また体育大会などの行事も合同でおこなう。
1947年の学制改革に伴い、当時の中河内郡柏原町に柏原町立中学校（現在の柏原市立柏原中学校）が発足した。柏原町立中学校は柏原町全域を校区としたが、本校のほかに堅上分校を開設した。堅上分校は柏原町立堅上小学校（現在の柏原市立堅上小学校）内に併設された。翌1948年に堅上分校は独立校となり、柏原町立堅上中学校と称した。1965年には現在地に移転している。
島式ホーム1面2線を有し、行違い設備を備えた地上駅。駅舎は線路北側にあり、ホームへは跨線橋で連絡している。西舞鶴駅管理の無人駅である。自動券売機は設置されていない。トイレは男女共用汲み取り式のものがある。
メディアワークスの「電撃コミックス」より単行本発刊・全13巻。1996年にドラマCD化、1997年にテレビアニメ化された。なお、原作者である夢来鳥とその相棒であり同作の小説版執筆を担当した有里紅良による創作集団兼劇団・ら・むうんによる各種小説および演劇作品の叩き台作品の一つとしても知られる（有里は同作漫画においては原作協力スタッフとして単行本内に名前が登場しており、以降のオリジナル作品でも世界観を全く同じくする内容を扱っている事から「HAUNTEDじゃんくしょんのもう一人の作者」と呼ばれる事がある）。また、この作品（および、本作を頂点とする「ら・むうん」作品）は水木しげるの作品に多大なるインスパイアを受けており、ときおりネタとしてそれをオマージュとしたキャラクター、ストーリーやテーマが頻発する事がある。特にコミックマーケットなどにおいて「ら・むうん」名義で発刊されている同作の同人誌には、様々な水木しげる作品と意図的なハイパーリンクが貼られている場合がある（ただし、そのキャラクターデザインや設定は「ら・むうん」独自の解釈となっている）。日本ではDVD化されていないが、米国ではエモーション・レーベルでBANDAI entertainmentより、『EAT-MAN 98』や『カウボーイビバップ』とほぼ同時期にDVDが発売された。この作品のアニメは、当時アイドル活動をしていて女優としてブレイクする前の仲間由紀恵が、ヒロイン役の声優、および主題歌を担当している。
S東高等学校（アニメでは私立斉東高等学校）は、その立地と由来の故から数多くの学校に関わる精霊や幽霊（学校霊）が集うことで知られている。その学校の中で生徒会の役員を務める北城遥都（生徒会長、教会の息子）、朝比奈睦月（副会長会計、神社の娘）、龍堂和御（副会長書記、寺の息子）の3人は「S東高聖徒会」として学校霊と生徒たちとの仲立ちを行い「霊と人間の理想郷」をこの世に顕現するために奮闘するのである（アニメ版ではここまで）。ところがある日、全国の学校霊たちから聖徒会に救難を求める声が殺到する。学校霊の存在を否定して全国の学園を支配しようというミッション系学園「光宮」が「光の父（神）」の名の下に自分たちに逆らう全国の学校霊の浄化（ = 洗脳および抹殺）に乗り出したのだ。聖徒会はこれを阻み理想郷となるS東を守るため、光宮征徒会に戦いを挑むことになる。
恐山を上回ると言われる大霊場。入学試験では各科目の問題用紙や回答用紙を学園の七大スポットを巡って集めなくてはならず、この入試を潜り抜けた者は「この世に怖い物なんて無くなる」というレベルの肝試しに挑まなければならない。聖徒会によって「開かずの理事長室（あの世に通じる霊界道）」が開通してからは最期の試験自体を「三途の川の河原」で行う形になっている。
寛保元年（1741年）6月27日、第8代藩主・宗義如の三男として生まれる。延享3年（1746年）12月、真孫数馬（さなつぐ かずま）の養子となり、その家督を継ぎ、元服時には父の1字を取って真孫 如資（さなつぐ ゆきすけ）を名乗る。のちに叔父で第9代藩主・義蕃の養子となり、宗義暢に改名。宝暦12年（1762年）閏4月28日、義蕃が隠居したため、家督を継いで第10代藩主となった。しかし藩政の実権はなおも義蕃が握っていた。5月には第10代将軍・徳川家治に御目見して従四位下、侍従・対馬守に叙位・任官する。この頃の対馬府中藩では藩財政が窮乏して、朝鮮通信使の接待費用すら幕府より援助を受けるほどであり、そのために倹約の強化や幕府の補助金援助、さらに参勤交代を3年1度に短縮されるなどの措置もとられたが、藩財政は再建されなかった。しかも家臣の鈴木伝蔵が朝鮮の使者である崔天宗を殺害するという事件も起こるなど、藩の混乱も助長された時代であった。義蕃の死後、藩政の実権を握ったが、安永7年（1778年）1月5日に死去した。享年38。跡を四男・猪三郎（1人目の義功）が継いだ。
例えば、イソップが「カメがウサギに競走で勝った」というあの有名な実験結果に疑問を持っているとしよう。彼はあの結果が一般のカメ、一般のウサギにも拡張できるかどうか明らかにするために有意差検定を行うことにする。6匹のカメと6匹のウサギを標本として競走させた。動物たちがゴールに到達した順番は次の通りである（Tはカメ、Hはウサギを表す）：T H H H H H T T T T T H （あの昔使ったカメはやはり速く、昔使ったウサギはやはりのろかった。でも他のカメとウサギは普通通りに動いた）Uの値はどうなるか？直接的な方法では、各カメを順番にとり、それぞれが負かしたウサギの数を数えると、こうなる： 6, 1, 1, 1, 1, 1。したがって U = 6 + 1 + 1 + 1 + 1 + 1 = 11。間接的な方法では： 各カメの順位の合計は1 + 7 + 8 + 9 + 10 + 11 = 46になる。全動物の順位の合計は12×13÷2 = 78になる。だからウサギの順位の合計 = 78 − 46 = 32。したがって U = 6×6 + 6×7÷2 − 46 = 36 + 21 − 46 = 11。表を使って次のことが分かる：「この結果からはカメの方が速いとはいえないし、かといってウサギの方が有意に速いともいえない」。
校舎は6階建てで、生徒数は小学校20名、中学校1名、（平成29年度現在）。 教育課程研究指定校（へき地教育）、言語能力向上拠点校の指定を受けている。校歌は小学校、中学校で別にあり、作曲は日野昭三で作詞は杉山敏行である。
アメリカ海軍ではジェット戦闘機パイロットの訓練のために、1948年に空軍のF-80Cを50機取得し、TO-1（1950年以降TV-1）の名称で高等訓練に用いていた。これは単座で地上基地からの運用であった。1949年には練習機 T-33をTO-2（後にTV-2、1962年以降T-33B）の名称で採用した。TO-2は空軍と同一機体であり、艦上機としての装備を持たず航空母艦では運用できないため、陸上基地から運用していた。ロッキード社はこれに対して自己資金で航空母艦での運用に適した形に徹底した再設計を行い、L-245案として海軍に提示した。これが採用されたものが本機、T2Vである。
T-33（TO-2（TV-2））よりT2Vへの改設計部分は機体全体に及び、エンジンの換装とそれに伴う空気取り入れ口の形状変更、着艦のための降着装置の強化（強度4倍）および着艦フックの装着、垂直尾翼の延長・増積などが行われた。また後部座席を15cm上げて前方視界を確保しているほか、発艦の際には前脚柱を伸ばして迎角を上げることができた。また、本機は「境界層制御」(吹出しフラップ)を採用した最初の実用機でもある。これはエンジン排気をパイプにより主翼後縁に導き、フラップ上面に噴出させて気流の剥れを防止する装置であり、翼の全幅にわたって装備された前縁スラットとともに、低速時の操縦性は大幅に改善された。
本機は1958年の生産終了までに150機が生産された。追加発注の240機は、後継のT-2（T2J）バックアイの開発が早かったこともあり、キャンセルされた。練習機としてのほか、標的曳航機や連絡機としても多目的に用いられた。1958年から開始されたアメリカ海軍の「訓練体系ジェット化計画」において初級訓練を担うことも検討されたが、その部分についてもT-2（T2J）バックアイが担うこととなった。T2V-1は1962年の三軍航空機呼称統一の際に T-1Aと改称された。T-1はT-2の本格配備とともに第一線から退いたが、1970年代まで使用されていた。
繁殖後、グアナイウの集団はチリの南部とエクアドルの北方に広がり、はるか北のパナマとコロンビアにまで及ぶ。これは恐らくエルニーニョの年に食料不足が起こることで大規模な散布が起こるためとみられる。 主要な生息地には、海の浅瀬と岩岸が含まれる。
グアナイウはイワウ（英語名　Rock Cormant,学名　Phalacrocorax magellanicus）と外見的な特徴は似ているが、イワウより大きく、くちばしの先から尾の先までの長さは78cmと測定されている。 くちばしは赤の混じった下地に灰色をしている。顔は緑色の目をしていて赤い。バラ色の足を持つ。頭、首、そして背中の体の外側にあたる部分は黒い。喉、胸、そして胴体は白い。夏羽の時期は頭と首の側面に白い羽をもつようになる。
繁殖期は年中行われ、11月と12月にピークを迎える。平らな表面をもつ沖の島か、人里離れた岬のあるグアノ（糞石、海鳥の糞などが堆積して固まったもの）に巣をつくる。1m四方ごとに3つの巣を作るという高密度なコロニーを形成する。そこにグアナイウは約63×40mmの大きさの卵を2-3個産み落とすのである。グアナイウは主にペルーカタクチイワシとペルーランプロースを餌として与えるが、それらは寒いフンボルト海流に生育している魚である。グアナイウはこのグアノの主たる生産者なのである。グアノの分解が終わり、過剰に魚が捕食されると1984年に見積もられた3億羽という数値から約30%の個体数が着実に減少していく結果となった。そのため、この種はIUCN（国際自然保護連合）によってNTリストに指定されている。学名のbougainvilliiはフランスの探検家Louis Antonie de Bougainvilleを記念した名前に由来している。
ハンブルク＝アルトナ駅 (Bahnhof Hamburg-Altona) は、ドイツのハンブルク＝アルトナにある鉄道駅。行き止まり式の頭端駅である。近くに車両基地や貨物ヤードがあり、ICEなどの高速列車、各国を結ぶ国際列車のターミナル駅としての役割を果たしている。東にハンブルク中央駅があり、電車で10分程度で行くことができる。乗降客数はハンブルク中央駅の方が多い。
1844年、シュレースヴィヒ＝ホルシュタイン公国（デンマーク領）の都市アルトナに建てられた駅が起源であり、これによってアルトナとバルト海沿いの軍港キールとが鉄道で結ばれることになった。当時はまだドイツ帝国が成立しておらず、アルトナとエルベ川東岸のハンブルクは別の国家に属していたが、ドイツ統一の過程におけるシュレースヴィヒ＝ホルシュタイン戦争、普墺戦争を通じて、ハンブルクとアルトナがより緊密に結びつけられていった。ドイツ帝国成立後の1898年には新駅舎が完成した。プロイセンの行政下におかれていたアルトナは、1938年のナチス・ドイツ政権下における行政区域改革によりハンブルクと合併することになった。この際に駅名がアルトナ駅からハンブルク＝アルトナ駅に改められた。第二次世界大戦の際、駅舎は激しく損傷を受けたが、1950年代にかつてと同じ形状で復興された。その後、路線の増加にあわせて駅舎のさらなる近代化が図られた。現在の駅舎は1979年の改築によって建てられたものである。
1941年10月延安に成立した延安民族学院を前身とする。1951年6月11日、北京で中央民族学院が成立し、前中国国家副総理ウランフ（モンゴル族）が初代学長に就任した。当初は民族学や社会学、言語学を中心としたが、1980年代に科学系学部も充実したため、1993年11月30日中央民族学院は中央民族大学と改称した。現任学長は黄泰岩教授。2001年の創立50周年記念日に朱鎔基総理が学校を視察し、「中央民族大学を世界トップクラスの民族大学にしよう」という奮闘目標を提起している。2015年、「中央民族大学憲章」が定められている。同年、大学は「中央民族大学総合改革方案」を打ち出し、「世界的知名度かつ鮮明な教育特色を持つ、ハイレベルの研究型大学」の建設を目指していく。
背景として、訪日外国人旅行者数が2000年に476万人、2005年673万人、2010年861万人と年々増加しているにも関わらず、大阪を訪れる外国人旅行者数は年150～200万人と低迷していたことがある。そこで、大阪府市統合本部（当時。2015年6月で廃止）の「大阪都市魅力創造戦略」に基づき、府市の観光振興を一元化。民間感覚を生かし、国際会議誘致に精通した人材を登用。官民一体で「ヒト、モノ、金を大阪に呼び込む」施策の推進役として、大阪観光局が設立された。府と市、関西経済界が計7億5000万円を出資している。同種の公益財団法人横浜観光コンベンション・ビューローや名古屋観光コンベンションビューローは県知事認定だが、大阪観光局は内閣府認定。従来の組織と異なる特徴は、局長に権限と責任を集中。結果責任も明確にしている点で、初代の局長として香港政府観光局の加納国雄が抜擢された。加納は1995年（平成7年）から日本・韓国地区トップとして、2003年に新型肺炎（SARS、重症急性呼吸器症候群）流行の際、半減した香港への観光客を航空券無償配布などで半年で回復させた実績などを評価された。大阪を外国人旅行者が訪れない理由として、「東京、京都のようなブランド力が足りない」と加納は指摘。知名度の向上へ米国ニューヨーク州観光局の「 I Love New York」キャンペーンに倣い、「ASIAN　GATEWAY OSAKA」を考案。また、韓国の名誉広報大使で大阪出身のファッションモデルの（アンミカ）を初代「大阪観光大使」に任命し、彼女を起用したコマーシャルメッセージを中国やインドなどアジアなど30ケ国で放送した。しかし、引き続き大阪への外国人観光者が伸びぬ中、2014年4月、大阪国際音楽フェスティバルを開催。ジャズのピアニストハービー・ハンコック、サクソフォーン奏者のウェイン・ショーター、韓国のアイドル超新星や防弾少年団、台湾のシンガーソングライターの盧廣仲が出演したが、約1億円の赤字が発生。フェスの実行委員長でもある加納が、大阪の知名度向上として「強引に開催」した経緯も発覚し、加納が2700万円を自腹で補填。また、業務委託のNHK関連会社からも5000万円の支払いを求められ、大阪府監査委員から改善を指摘されるなどトラブルが続き、大阪市議会から「ガバナンスに問題がある」と追及されたため、2015年3月末、加納は局長を辞任した。2015年（平成27年）4月、2代目の局長として自治官僚出身の大阪府特別顧問（元観光庁長官）の溝畑宏（本名「渡邉宏」）が就任した。会見で溝畑は「火中の栗を拾うのが大好き」な性格と自己紹介。観光者数の向上へ「『大阪オンリーワン』を掘り起こす」と述べ、建築家安藤忠雄の作品ツアーや古墳での婚活、阪神甲子園球場や東大阪市花園ラグビー場などを活用したスポーツ文化ツーリズムなどのアイデアを披露した。また、溝畑は大阪湾の人工島夢洲に誘致の進められているカジノ統合型リゾート施設を踏まえ、「世界最高水準の観光都市を目指す」としている。
静的コード解析の一種としては、変数の値やその他の実行時の条件がどうであっても決して実行されないコードを、単純なものでは制御構造の分析によって、より高度には抽象解釈などにより検出する。一部の言語（Javaなど）では、ある種の到達不能コードは言語の仕様上許容されない。デッドコードの削除について詳しくはデッドコード削除の記事を参照のこと。しかし、静的に決定が可能なパターンの到達不能コードの検出は、そういったコードを意図的に書くことは無いといった意味では、最適化よりも、バグ（の可能性）を警告する、といった目的のためのほうが有用かもしれない。また、実際のところ、静的解析よりも、実行時の動的な最適化（例えばコマンドライン引数に対応して、動的コード生成を行うプログラムなどがある）の際のほうが、if文の条件式などが恒真式になったりして、到達不能コードが現れやすいかもしれない。コンパイラによる高度な最適化などの結果によっては、例えば共通式削除などで、ソースコード中には複数あらわれる表現であるのに、オブジェクトコード中で相当するのは一箇所だけ、といったような場合も、一種のデッドコードのようなものとして、デバッガなどからは見える場合もある。
以下では、到達不能コードが生じる原因をいくつか解説する。ソフトウェア開発の際、プログラマは一時的にコードが実行されないようにすることがある（すなわち、明示的に実行されないように書き換える）。例えば、次のようなコードがある。 while (condition) {   foo();   bar(); }ここで、一時的に bar() を実行しないようにしたい場合、例えば次のように書き換える。 while (condition) {   foo();   continue;   bar(); }この例では、bar() が到達不能コードになる（continue はループの次の反復に直ちに移行させる）。このような一時的な修正がリリース時まで残ってしまうことがある。他の到達不能コードが生じる原因として、条件判断が冗長化している場合や、デバッグ用コードを削除せずに残してしまう場合がある。関数やサブルーチンは、どこからも呼び出されない場合はデッドコードになるし、到達不能コードからのみ呼び出されている関数もデッドコードになる。到達不能コードの存在は、プログラムの修正時の論理的誤りや、プログラムの前提や環境が大幅に変更されたことを示す場合もある。優れたコンパイラはデッドコードの存在を通知し、保守者がその意味を考えられるようにする。
任意のコードが到達不能コードかどうかを判断することは停止性問題を解くことと等価である。すなわち、あらゆる到達不能コードを正しく把握することは不可能である。実際には分析手法は精巧化しており、到達不能コードを検出する量は大幅に改善されている。例えば以下のコードで、定数畳み込みや単純なフロー解析では、xyz という文が到達不能であることを示すことができる。 int n = 2 + 1; if (n == 4) {   xyz }しかし、以下のコードで xyz という文が到達不能であることを検出するにはかなりの努力を要する。  double x = sqrt(2); if (x > 2) {   xyz }
著名な例は、AppleによるTLS/SSLの実装上のバグであり、CVE番号として CVE-2014-1266 が与えられているほか、"goto fail bug" とも呼ばれている。実際のコードは以下の通りである。static OSStatusSSLVerifySignedServerKeyExchange(SSLContext *ctx, bool isRsa, SSLBuffer signedParams,                                 uint8_t *signature, UInt16 signatureLen){    OSStatus        err;    ...     if ((err = SSLHashSHA1.update(&hashCtx, &serverRandom)) != 0)        goto fail;    if ((err = SSLHashSHA1.update(&hashCtx, &signedParams)) != 0)        goto fail;        goto fail;    if ((err = SSLHashSHA1.final(&hashCtx, &hashOut)) != 0)        goto fail;    ... fail:    SSLFreeBuffer(&signedHashes);    SSLFreeBuffer(&hashCtx);    return err;}goto fail;というgoto文が、2行連続している所がある。そして、2行目のほうのgoto文により、本来到達すべき final の呼び出しが到達不能コードとなっていて、final によるチェックが常にスキップされ、err は SHA1 update 操作の成功の後の値を保持することとなり、final による署名検証が行われない状態となっていた。あきらかにこれは「到達不能コードによってセキュリティ上の脆弱性が齎された」のではない（到達不能コードは、一般に何もしない。それが何か悪さをしたと言えるのは、例えばコードサイズの増加であるとか、言語仕様で未定義なソースコードの記述を利用して実行させる、などした場合であろう）。真に「セキュリティ上の脆弱性を齎した」のは、「一見すると到達不能コードのように見えるためか、放置されたものと思われる、2行目のほうのgoto文（によって、到達されねばならないコードが到達不能になっていたこと）」である。教訓は「到達不能コードを放置するな。なぜなら、そういうコードの存在を見慣れるせいで、到達不能であってはいけないコードが到達不能になっていることを見逃す原因になるから」という点である。
原種であるブラッシカ・ラパは、紀元前の中国に伝わると栽培されるようになり、様々な野菜を生んだ。7世紀の揚州で、華北のカブ（アジア系）と、華南のパクチョイが交雑して生じた牛肚菘（ニウトウソン、『本草図経』にある）が、最初のハクサイと考えられている（一説に新石器時代からというが、これは疑問）。当初は結球性が弱く、白菜（シロナ）に近かったと見られる。16 - 18世紀にかけて結球性を持つものが現れ、品種改良が進んだ結果、今日見られるハクサイが生まれた。栄養面ではビタミンC、ビタミンK、葉酸などを含む。抗がん作用が指摘されているイソチオシアネートが豊富である。