hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
ジャック・オーキー 著書
Jack Oakie (1980). Jack Oakie's Double Takes. Strawberry Hill Press. ISBN 0-89407-019-3. https://archive.org/details/jackoakiesdouble00oaki  Autobiography published posthumously by Oakie's widow on January 1, 1980. 240 pages.
Victoria Horne Oakie (1994). "Dear Jack": Hollywood birthday reminiscences to Jack Oakie. Strawberry Hill Press. ISBN 978-0-89407-113-3  Letters of congratulation and reminiscence sent from almost 150 celebrities to Jack Oakie in celebration of his 70th birthday. Compiled & edited by Mrs Oakie to commemorate his 90th birthday. 140 pages.
大橋町 (豊川市)
大橋町（おおはしちょう）は、愛知県豊川市の地名。
金屋橋町
金屋橋町（かなやばしちょう）は、愛知県豊川市の地名。
Ulterior Motives
"Ulterior Motives" (日本語で「下心」の意)とは1986年もしくはそれ以前に映画製作者のクリストファー・セイント・ブースとフィリップ・エイドリアン・ブースが製作した楽曲である。 2021年にオンライン上に17秒ほどの断片が作者不明の状態でアップロードされると、たちまち有名となった。
当初ネットユーザーは当時議論の争点となっていた歌詞から"Everyone Knows That" (略：EKT、日本語で「誰もが知っている」の意)もしくは"Ulterior Motives"と呼んでいた。
この断片は2021年にWatZatSongという曲名特定サイトにスペイン人ユーザーのcarl92が最初に投稿した。彼はこの断片を古いDVD のバックアップファイルの中から見つけ、オーディオ録音を学んでいた頃のものだったのではないかと主張した。投稿以来、ネットユーザーはこの曲のフルバージョンと情報を探し続けた。2024年の2月にはガーディアン紙が紙面上にて「インターネット史上最大で不朽の音楽ミステリー」と評している。
2024年4月28日、Redditのユーザーがこの曲の作者及び出どころを1986年のポルノ映画「Angels of Passion」と特定した。 2024年5月現在、（劇中のBGMではない）オリジナルサウンドトラックが存在しているかは不明である。
Ulterior Motives 背景と作曲
"Ulterior Motives"は1986年頃にクリストファー・セイント・ブースとフィリップ・エイドリアン・ブースにより録音された。当時彼らはスウィーニー・トッドというバンドに所属していたが、「お金のためなら何でもしていた」ということで映画の製作アシスタントも兼任していた。彼らの友人の一人にポルノ映画の制作者がいて、その人が自身の映画用に楽曲が必要で、クリストファー曰く「彼らはBGM用の曲を少しあげただけでそれなりのお金をくれたよ」となり、楽曲提供を行っていた。結果、当初はポップ・ミュージックとして製作された"Ulterior Motives"は1986年の「Angels of Passion」というポルノ映画のサウンドトラックとして採用された。クリストファーは曲の歌詞に関して「あることを言っておきながら後になって全く別のことをしていた」浮気した女から着想を得たと語っている。完成した曲はジャンルとしてはニュー・ウェイヴとシンセポップに当てはまるとされた。
Ulterior Motives ネット上の捜索活動
2021年10月7日、WatZatSong上にてcarl92というユーザーが曲名を特定してほしいと17秒ほどのこの曲の断片を投稿し、ページ名を「Mid 80s, bad quality（日本語訳：80年代中頃、低クオリティ）」と投稿した上で「このサンプルを古いDVDのバックアップに混ざっているのを見つけた。多分オーディオ録音を学んでいた頃の残り物だろう」と説明した。 この曲は1980年代当時のヒットソングとの類似性、そしてLinnDrum及びヤマハ・DX7が使用されたと見られたことから少なくとも1983年以降に録音されたと推測された。ユーザーの中には曲全体がどのようなものであったかを探るため断片部分から再作成を試みた一方、一部からは釣りではないかとする説も出た。結果的にWatZatSongが2006年に開設されて以来最も有名な投稿となり、WatZatSong上に投稿された断片の中で一番コメント数を獲得した。
この曲は2022年後半から2023年にかけて有名になり、2023年6月にこの曲の捜索活動を専門に行う板がRedditにて開設された。2024年1月7日、この板のユーザー二人がフランスのTF1の取材を受けた。
Ulterior Motives ネット上の捜索活動
当初この曲の捜索活動はそれほど注目を集めなかったものの、徐々に熱心な参加者を獲得した。この頃提唱された説には1990年代のMTVや音楽素材、CMソングなどがあった。また候補に挙げられた歌手やバンドにはロクセット、サヴェージ・ガーデン、ジェイソン・ペイジなどがいた。2023年8月、捜索者はカナダのSOCANのデータベースに著作権者が"Booth Christopher David"と"Booth Philip"となっていた「Ulterior Motives」というタイトルで登録されている曲を発見した。
Ulterior Motives ネット上の捜索活動
2024年4月28日、Redditユーザーのu/south_pole_ballとu/One-Truth-5867が曲名と歌手を特定したと書き込んだ。同時にこの断片が 「Angels of Passion」という1986年に公開されたポルノ映画から来ていることも判明した。見つけたユーザーはブース兄弟が著作権データベースに「Ulterior Motives」という曲名で曲を登録していたのを発見し、そこから彼らはクリストファーがポルノ映画のソングライターであることを発見し、この曲が使用された映画を見つけるまで彼の曲が使用された映画を中心に捜索した。翌日の4月29日にブースがInstagramに曲の発見について投稿した。 彼はその後自身が元の曲の歌詞を紹介するリールを投稿し、本来の歌詞が"everyone knows that"ではなく"everyone knows it"と判明した。
5月1日にローリング・ストーン誌のインタビューにてクリストファーは「Ulterior Motives」と同様の曲を集めたアルバムをリリースする計画があることを明らかにした。曲自体に関してクリストファーは「リズムトラック」を発見することは出来たもののボーカルトラックは未だ発見出来ておらず、もし見つからなければ再録するとした。
大堀町 (豊川市)
大堀町（おおぼりちょう）は、愛知県豊川市の地名。
寿通
寿通（ことぶきどおり）は、愛知県豊川市の地名。
小桜町 (豊川市)
小桜町（こざくらちょう）は、愛知県豊川市の地名。
海老咲あお
海老咲 あお（えびさき あお、2000年9月15日 - ）は、日本のAV女優。C-more エンターテイメント所属。
海老咲あお 略歴
2023年9月23日、ピヨまる(仮)名義でX（旧Twitter）を開始。
2024年3月12日、半年間使用した名前 ピヨまる(仮)に別れを告げ、活動名が海老咲あおに決定。
2024年3月16日、「海老キャス」を配信開始。
2024年4月9日、アイデアポケット専属女優として
『FIRST IMPRESSION 170 九州が生んだSEXの天才お姉さんデビュー！！』でAVデビュー。
2024年8月10日、同期で同じ所属事務所、森あやみとYouTubeチャンネル「えびえびもりもり」を配信開始。
2024年8月21日、Instagramを開始。
2024年9月9日、初の音楽活動 Milky Pop Generation 音楽配信LIVE「月で逢いましょう」vol.102 ニューカマースペシャル（海老咲あお/早坂ひめ/神楽ももか）に出演し、「高嶺の花子さん」(back number）-「夢見る少女じゃいられない」（相川七瀬）-「泣き顔スマイル」（琵奈子（hinaco））3曲のカバーを披露した。
2024年11月6日、ミルジェネLIVEで活躍中のアーティストが一堂に会する2夜連続のライブ、Milky Pop Generation／ミルジェネ「Sweet Memories 2024」DAY2に初参加。
海老咲あお 略歴
2024年11月8日、毎週火曜と金曜の夜9時に配信される「はだかいっかん！」スピンオフ企画「セクシーキャストの素顔」のMCを担当。
2024年12月3日、アタッカーズ専属女優としてメーカー移籍。
2024年12月17日、Fitchとアタッカーズのダブル専属を発表。
2024年12月25日、「楽演祭」vol.34 〜栄川乃亜生誕記念＆クリスマスSP〜 に初参加。
2025年1月3日、海老咲あお「@piyomaru_cmore」X（旧Twitter）のサブアカウント「えびつぶ」を開始。
2025年4月27日、TikTok「海老咲大好き倶楽部」を開始。
2025年6月26日、ミルジェネが送る新企画音楽LIVE「KNOCKIN' ON THE DOORS」#2 に出演。
2025年9月12日、FANZAニュース 2025年版・AVメーカーのプロデューサーに聞いた！本当にエロいAV女優とは!?【第1回】にてアタッカーズより選ばれる 。
2025年9月29日、FANZA動画フロアランキング 週間AVランキングにて、同年2月発売の『弟の僕を世界で1番に愛してくれる巨乳お姉ちゃんの授乳手コキよしよし』が第10位に。
海老咲あお 人物
好きな食べ物はエビ、焼き鳥、和菓子。好きな飲み物は日本茶、台湾烏龍茶、フルーツティー。好きな色は青で好きな四字熟語は因果応報。趣味はカラオケ、温泉、サウナ、ジム通い、茶葉集め。特技は体を動かすこと、人を笑わせること。好きなアーティストはももいろクローバーZ、WANIMA、宇多田ヒカル。16Personalities(MBTI)はINFJ（提唱者）。非喫煙者であり酒はたしなむ程度。
小学校低学年の時、調べ学習室の掃除中に棚から落下した本を手に取り 中に描かれていた男と女の人が合体しているデッサンを目にする。これが何なのかを知りたく家のパソコンでひたすら検索（しかし所詮は小学生、エロい言葉のボキャブラリーが少ないため手当たり次第に文字を入力）、同時期に父親の隠し持っていたDVDをこっそり視聴し多数の検索ワード収集に成功、本格的に性を知り覚醒する。同学年の男子が下ネタを話し はしゃいでいる姿を横目で見つつ、心の内でレベルの違いに笑みを浮かべていた。
海老咲あお 人物
自身が演劇をしていたので 昔からAVを作品としてもしっかり鑑賞。 観ながら自分だったらこうするかな？ 視覚と聴覚を自分なりの表現で最大限に発揮したら 世の男性をどれだけ興奮させることができるのかな？ など考えていて、自身が出演する作品では台本をしっかり読み込み、役作りをして撮影に挑んでいる。しかし実際の現場は演劇と異なり スッと役に入り込むのが難しく、悩み、もがき、落ち込むことが多々あり、そんな時は 一晩寝れば元気になるポジティブ思考と 持ち前の明るさで乗り越えている。
マルティン・レーブ
マルティン・フーゴ・レーブ (Martin Hugo Löb、ドイツ語: [løːp]、1921年3月31日 - 2006年8月21日) は、ドイツの数学者。第二次世界大戦後にイギリスに定住し、数理論理学を専門とした。1970年代にオランダに移住し、引退後も同国に留まった。彼は1955年にレーブの定理を定式化したことで最もよく知られている。
マルティン・レーブ 生い立ちと教育
レーブはベルリンで育ったが、第三帝国から逃れ、第二次世界大戦勃発直前にイギリスに到着した。敵国人として、彼は1940年にデュネラでオーストラリアのヘイにある抑留キャンプに送られた。19歳のレーブはそこで他の被抑留者から数学を教わった。彼の教師であったフェリックス・ベーレンドは、後にメルボルン大学の教授となった。
レーブは1943年にイギリスに戻ることを許可され、戦後ロンドン大学で学んだ。卒業後、レスター大学のルーベン・グッドスタインのもとで研究を始めた。博士号の取得後、1951年にリーズ大学の助講師 (assistant lecturer)となり、20年間勤務した。1967年から1970年まで数理論理学の準教授を務め、最終的には教授となった。レーブはリーズ大学の数理論理学グループをイギリス有数のセンターの一つに育てた。証明論、様相論理、計算可能性理論を研究し、1955年にレーブのパラドックスの形式的なバージョンとして、自身の証明可能性を主張するステートメントは真でなければならないというレーブの定理を定式化した(ゲーデルの不完全性定理に類似する)。
レーブの妻キャロラインはオランダ人であり、夫妻には2人の娘がいた。レーブは1970年代初頭にアムステルダム大学の教授に就任し、引退するまでアムステルダム大学に留まった。その後、アネンに移り、そこで死去した。
光陽町 (豊川市)
光陽町（こうようちょう）は、愛知県豊川市の地名。
光陽町
光陽町（こうようちょう、こうようまち）
※特記以外は「こうようちょう」。
スマーナ (ジョージア州)
スマーナ（Smyrna）は、アメリカ合衆国ジョージア州のコブ郡にある都市。人口は5万5663人（2020年）。アトランタの北西25キロメートルに位置しておりベッドタウンとして機能している。
スマーナ (ジョージア州) 概要
1872年に法人化した。名称は古代ギリシャの都市に由来している。現在のトルコ・イズミルである。
雑誌マネーは、2018年の「住みやすい街調査」でスマーナを全米44位と評価した。
スマーナ市内の主要雇用主としては、オーストリアの銃器メーカーグロックとベルギーの製薬会社USBの事業所が挙げられる。かつてはロッキードの工場もあった。
久保寺淳
久保寺 淳（くぼでら じゅん、9月3日 - ）は、日本の俳優。東京都出身。早稲田大学第一文学部演劇専修卒業。英語と中国語が堪能。2011年-2019年、台湾でも活動。
久保寺淳 来歴
2008年から本格的に俳優として活動。小劇場から始めて、映画やテレビドラマへと活動を広げた。
2023年、『過去負う者』（舩橋淳監督）と『ふたりごっこ』（冨樫森監督）で主演を果たす。李榮浩（中国語: 李榮浩）（リー・ロンハオ）のMV『年少有為』で香港俳優のラム・シューと共演、中華圏で爆発的ヒット。
久保寺淳 人物
小学校低学年で『南極物語』と『ローマの休日』に衝撃を受け、『高校聖夫婦』や『澪つくし』などのドラマを真似して演技を始める。
2011年、台湾の映画人の登竜門である国立台北芸術大学の監督コースに俳優として参加する。
趣味は読書、映画・音楽鑑賞、妄想思考、散歩、ヨガ。
『ぐるりのこと。』（橋口亮輔監督）の倍賞美津子、『あ、春』（相米慎二監督）の富司純子に憧れている。
仁賀保誠尚
仁賀保 誠尚（にかほ しげなお）は、江戸時代初期から前期にかけての旗本。
仁賀保誠尚 経歴
慶安元年（1648年）、3代将軍・徳川家光に拝謁。承応2年（1653年）、父の家督を継いで小普請に列する。承応3年（1654年）、小姓組の番士に列する。
子の誠信が家督を継いだ。
気仙沼町民歌
「気仙沼町民歌」（けせんぬまちょうみんか）は、日本の宮城県本吉郡気仙沼町が太平洋戦争中に制定した町民歌である。作詞は土井晩翠、作曲は栗原勉。
気仙沼町民歌 解説
1889年（明治22年）の町村制施行当初から町制を敷いていた気仙沼町が1939年（昭和14年）に町制50周年を迎えたことを記念し、詩人の土井晩翠に作詞を依頼して作成された。作曲者の栗原は戦後の1951年（昭和26年）に発表された新民謡「気仙沼小唄」を手掛けたことでも知られる。
完成後、町内の鼎座で作曲者自らが指揮を執り発表演奏が行われた。制定時は太平洋戦争の最中であったが全3番から成る歌詞に好戦的・大時代的な要素は無く、戦後も歌唱が続けられたとされる。
気仙沼町は1953年（昭和28年）に同じく本吉郡の鹿折町および松岩村と新設合併し（旧）気仙沼市が成立した。この時を以て町民歌は廃止され、1968年（昭和43年）選定の市民音頭「気仙沼音頭」や1980年（昭和55年）作成の市民歌「気仙沼讃歌」などの楽曲が作成されている。（旧）気仙沼市は2006年（平成18年）に唐桑町と新設合併して（新）気仙沼市が成立したが、合併協議会では旧市の時代に作成された「気仙沼音頭」や「気仙沼讃歌」の扱いに関しては特に取り決められておらず、後者は2016年（平成28年）の合併10周年記念式典でも演奏されている。
気仙沼町民歌 解説
合併後の2010年（平成22年）、作曲者の四男が旧町民歌の復元演奏を行い、CDに収録した。同年内には市内の有志が「土井晩翠作詞『気仙沼民歌』を復元させる会」を結成し、2020年（令和2年）には改めて「復元させる会」が新録したCDが作成されている。
ボーイング軌道飛行試験
Boe-OFTとしても知られるボーイング・スターライナー軌道飛行試験（ボーイング スターライナーきどうひこうしけん、Boeing Starliner Orbital Flight Test）はCST-100 スターライナー宇宙船の初めての軌道ミッションであり、NASAの商業乗員輸送計画の一環としてボーイングによって実施された。このミッションは、国際宇宙ステーション（ISS)へのランデヴーおよびドッキングとアメリカ合衆国西部への着陸を含む宇宙船の8日間にわたる試験飛行として計画された。2019年12月20日の協定世界時（UTC）11:36:43、東部標準時（EST）午前06:36:43に打ち上げられたが、飛行31分の時点で宇宙船のミッション経過時間（MET）クロックに不具合が発生した。この異常のために宇宙船は不適切な軌道に投入され、ISSとのランデブーが行えなくなった。ミッションは2日間に短縮され、2019年12月22日にホワイトサンズ宇宙港への着陸に成功した。
2020年4月6日にボーイングはすべてのテスト項目を検証し確認するためにもう一回の軌道飛行試験が必要になったことを発表した。NASAはボーイングからの別の無人試験飛行であるボーイング軌道飛行試験2（Boe-OFT 2）の提案を受諾した。
ボーイング軌道飛行試験 積み荷
宇宙飛行士を運ぶ代わりに、このフライトではボーイングの特注飛行服を着用した人型試験装置（ATD）を輸送した。このATDは、スターライナー計画に貢献したすべての女性に敬意を表してロージーと名付けられた（「ロージー・ザ・ロケッティア」とも）。カプセルの重量は宇宙飛行士を乗せたミッションと同程度となるように、スヌーピーのぬいぐるみなどの第61次長期滞在クルーへのクリスマスプレゼントを含む、約270kgの物資と装備を搭載していた。ISSとドッキングできなかったため、これらの貨物は届けられなかった。
ボーイング軌道飛行試験 ミッション
AV-080として指定されたアトラスV N22の一号機が国際宇宙ステーションへのCST-100 スターライナーの無人試験飛行を打ち上げた。カプセルは、ボーイング有人飛行試験に向けてISSにドッキングし、その後軌道上での慣らし飛行を終えたのちに地球に帰還してアメリカ合衆国西部に着陸することになっていた。
OFTは、アトラスVにとって初めてのペイロードフェアリングなしのフライトであるとともに、デュアルエンジン・セントール 第二段を使用した初めてのフライトでもあった。デュアルエンジン・セントールは2基のRL-10を使用し、スターライナーの飛行での打ち上げ軌道を提供するために求められるミッションの時点でも安全に中止する能力を有している。
ボーイング軌道飛行試験 ミッション
2019年12月20日 11:36:43 UTCに打ち上げは成功したが、打ち上げ後31分の時点でミッション経過時間（MET）クロックが誤動作した。事後の記者会見で、METが11時間ずれていたことが明らかにされた。機動が行われなかったことが明らかになったため、NASAとボーイングはスターライナーを軌道に戻すコマンドを送信しようとしたが、宇宙船が2つの追跡およびデータ中継衛星（TDRS）の間で通信を切り替えていたために軌道投入のための噴射が遅延した。この遅延により、異常な軌道に移行し、過剰な燃料が消費された。ミッションコントロールセンターがMETクロックの問題を修正したとしても、宇宙船が正規の軌道に到達するために必要な燃料が多すぎることからISSとのランデヴーおよびドッキングを取りやめる決定が下された。NASAとボーイングの関係者は宇宙船を異なる軌道に投入し、全フライトプランを見直し、ミッションは当初の8日間から3日間に短縮された。
11:40 UTCに、スターライナーは「安定した軌道」に入っていたが、軌道投入は正常ではなかった。のちに、スターライナーが187km x 222kmの軌道に乗っていることが確認された。
ボーイング軌道飛行試験 ミッション
13:55 UTCに、ミッションコントロールセンターはISSとのドッキングが不可能であることを認識した。ドッキングができずMETの異常があったにもかかわらず、ジム・ブライデンスタインは記者会見の場で「多くのことが上手くいった。そして、これが実際に我々が試験を行う理由だ」と述べた。
2019年12月22日、スターライナーの地球大気圏への再突入が許可された。軌道離脱後、スターライナーは大気圏に再突入し、すべてのパラシュートが正常に展開された。スターライナーはエアバッグを展開し、12:58:53 UTCにホワイトサンズ宇宙港への着陸に成功した。OFTで計画されていたISSとのランデヴーは実現しなかったが、ボーイングの宇宙及び打ち上げ担当副社長のジム・チルトンはスターライナーが飛行目標の60%以上を達成したと推定し、宇宙船からすべてのデータが回収されて分析されると、これが85%以上の可能性があると述べた。
この宇宙船は、のちにボーイング スターライナー1ミッションで再利用されることになっている。スターライナー1の指揮官であるスニータ・ウィリアムズ（当時）は、この宇宙船を有名な海洋研究船と、同名のジョン・デンバーの曲にちなんで非公式に宇宙船カリプソと呼んだ。
ボーイング軌道飛行試験 異常
飛行開始31分後に宇宙船のミッション経過時間（MET）クロックに問題が発生した。断続的に宇宙と地球との間の通信に問題が起きたため、飛行管制は問題を修正できなかった。この異常によって宇宙船の軌道制御スラスター（OMT）が誤った軌道に向けて燃焼し、燃料が過剰に消費された。これによってISSとのドッキングが不可能になった。ミッションはわずか3日間に短縮され、宇宙船は2019年12月22日にホワイトサンズ宇宙港に無事着陸した。
ミッション終了後に飛行中に別の重大なソフトウェアバグが発見され、分離後のサービスモジュールがスターライナーにぶつかる可能性があったことが明らかにされた。このバグはカプセルの再突入2時間前に修正された。このバグが発見され修正されていなかった場合には、スターライナーが損傷し安全な着陸を妨げる可能性があった。さらに、最初の異常が発生していなかったら2番目の異常が検出されなかったことが判明した。
ボーイング軌道飛行試験 調査
2020年2月7日に、NASAはボーイングOFTミッションに関する予備調査結果を発表した。ミッション経過時間（MET)に関しては、打ち上げの11時間前にアトラスVブースターから誤って時間をポーリングするというソフトウェア上の問題が発見されていた。別のソフトウェア問題はサービスモジュール（SM）廃棄シーケンス内で発生し、これはSM廃棄シーケンスをSM統合推進コントローラー（IPC）に誤って変換したものだった。これによってサービスモジュールが分離後に衝突し、カプセルの壊滅的な故障につながる可能性があった。さらに、飛行管制チームの宇宙船を指揮し制御する能力を阻害する断続的な宇宙対地上フォワードリンクの問題が発見された。この調査は2020年2月末まで継続するものと予想されており、さらに数か月を要する可能性がある大規模な安全レビューが計画されていた。
2020年3月6日に、NASAは異常についての更新情報を提供した。NASAは、METおよびサービスモジュール廃棄ソフトウェアにおける61の是正処置を発表した。宇宙船が失われる可能性が2回あったことから、このミッションは「注目度の高い危機一髪」と宣言された。NASAはソフトウェアの見落としなど、異常につながる内部要因を発見した。
ボーイング軌道飛行試験 調査
2020年7月7日、NASAとボーイングは宇宙対地上通信の問題が完了したと発表し、OFTのレビューが完了したと位置づけた。是正処置の数は2020年3月の更新から80点に増加した。21項目の推奨事項は、OFTで行われたような細切れのテストではなく、飛行前に完全なエンドツーエンドテストを行う必要などのより多くのテストとシミュレーションの必要性に焦点を当てている。10項目の推奨事項は、テスト中にエラーを検出するための適切なカバレッジを持つようにソフトウェア要件をカバーするために作成された。推奨事項のうち35項目は、より多くのレビューや専門家の活用など、プロセスと運用の改善に関するものだった。7項目の推奨事項は、飛行中に発生した3つの主要な異常に対処するソフトウェアの更新を対象としていた。最後の7項目には、「知識獲得」と、より優れた安全報告を可能にするためのボーイングの組織変更が含まれていた。また、無線干渉をフィルタリングするためのハードウェアの変更や、通信の問題に対処するためのその他の変更も含まれていた。
ボーイング軌道飛行試験 調査
NASAの内部調査では、スターライナーのソフトウェアに対する監視が不十分だったのは、NASAが飛行の他のリスクが高い部分にリソースを集中させたためであることが判明した。さらに、NASAは、ボーイングの従来のシステム開発スタイルをスペースXと比べ、作業方法の違いからスペースXに対する監視を強化していたために、ボーイングに対する監視が不十分だった可能性がある。NASAは、将来同様の事態が発生しないように、内部で6項目の勧告を行った。これには、テスト前にNASAが請負業者の「危険検証テスト計画」をレビューして承認する必要があることが含まれていた。
取引の安全
取引の安全（とりひきのあんぜん）とは取引を行った者を保護するという民法上の考え方。動的安全（どうてきあんぜん）ともいう。
取引の安全 概要
例えば、AC間の寄託契約によって、AがCから預かっている動産を、自分の所有物であると偽ってBに売却した場合、民法ではBを保護する、つまりBの所有物になる。このような考え方を取引の安全という。
取引の安全が認められないと、誰も動産売買に手を出さなくなり、資本主義経済の根幹である商品交換は動かなくなる。そのため民法では政策的に取引の安全を保護している。
三ツ木麗
三ツ木 麗（みつき うらら、1997年2月22日 - ）は、日本の音楽家、ミュージカル作家、作曲家。
三ツ木麗 来歴
栃木県宇都宮市出身。東京音楽大学付属高等学校を経て、東京音楽大学声楽演奏家コースを卒業、国立音楽大学大学院に進み修了した。
中根庸介
中根 庸介（なかね ようすけ、1976年（昭和51年）5月27日 - ）は、日本のオーボエ奏者。滋賀大学准教授。東京芸術大学大学院音楽研究科修了。札幌市出身。
中根庸介 経歴
札幌市出身。東京藝術大学音楽学部附属音楽高等学校を卒業後、東京芸術大学音楽学部に進学し2002年（平成14年）に卒業。
2004年（平成16年）に東京芸術大学大学院音楽研究科を修了。2005年（平成17年）文化庁芸術家在外研修員。リューベック音楽大学ディプロマ課程を卒業。
2006年から2013年まで、芸大フィルハーモニア管弦楽団のオーボエ奏者。
2013年（平成25年）に滋賀大学の講師、2015年（平成27年）に同大学の准教授に就任。2014年（平成26年）より大阪教育大学の非常勤講師。
オーボエ奏者としては別府アルゲリッチ音楽祭、リゾナーレ音楽祭などの国内の主要な音楽祭に参加したほか国内外で活動している。
佐々木聖夏
佐々木 聖夏（ささき せいな、1997年8月3日 - ）は、四国放送の女性気象予報士、報道記者。徳島県板野郡板野町出身。身長は165cm血液型はA型。実父は元プロ野球選手で中日ドラゴンズに在籍した佐々木健一。
佐々木聖夏 経歴
徳島県板野郡板野町生まれ。徳島県立城ノ内中学校卒業、徳島県立城ノ内高等学校卒業、埼玉大学経済学部経済学科卒業。
2020年4月1日、報道記者として四国放送に入社。
2021年3月29日、フォーカス徳島フィールドキャスターに抜擢される。
2023年10月16日、気象予報士を取得。
浅野川
浅野川（あさのがわ）は、日本国内の各地を流れる河川名のひとつである。
浅野川 (北海道) - 北海道上川郡新得町屈足を流れる十勝川水系ニベソツ川支流。
浅野川 - 石川県金沢市を流れる大野川水系本流大野川支流の二級河川。
浅野川 (滋賀県) - 滋賀県甲賀市甲南町を流れる淀川水系杣川支流。
内藤大海
内藤 大海（ないとう ひろみ、1976年3月）は、日本の法学者（刑事法）。熊本県八代市出身。熊本大学法学部市民法学教授。研究テーマは、人文・社会・刑事法学。
四倉町山田小湊
四倉町山田小湊（よつくらまち やまだこみなと）は、福島県いわき市の大字である。郵便番号は979-0223。
四倉町山田小湊 地理
いわき市北東部の四倉地区に属する。北東から東にかけて四倉町玉山、南東で四倉町長友、南で平水品、南西で四倉町下柳生、四倉町薬王寺、北西で四倉町八茎とそれぞれ隣接する。概ね町村制施行以前の磐城郡山田小湊村の流れを汲む地域である。二級水系夏井川水系仁井田川中流域と左岸支流の高倉川中流域を主な範囲とし、南部の河川合流部付近に平地が広がるほかは、高倉川沿いにわずかな平地があるのみで残りは広大な山林が広がる。平地には水田が広がり、高倉川北側の山裾に集落が位置する。内郷御厩町内に所在するいわき中央警察署及び四倉町に所在する平消防署四倉分署がそれぞれ管轄にあたる。
字
四倉町山田小湊 世帯数と人口
2023年10月31日現在の世帯数と人口は以下の通りである。
四倉町山田小湊 小・中学校の学区
市立小・中学校に通う場合、学区は以下の通りとなる。
四倉町薬王寺
四倉町薬王寺（よつくらまち やくおうじ）は、福島県いわき市の大字である。郵便番号は979-0224。
四倉町薬王寺 地理
いわき市北東部の四倉地区に属する。北東から東にかけて四倉町玉山、南東で四倉町長友、南で平水品、南西で四倉町下柳生、四倉町薬王寺、北西で四倉町八茎とそれぞれ隣接する。概ね町村制施行以前の磐城郡山田小湊村の流れを汲む地域である。二級水系夏井川水系仁井田川中流域左岸の平地とその北側の山林を主な範囲とする。平地には水田が広がり、川の北側の山裾に集落が位置する。北側の高台に大字名の由来でもある薬王寺が建立されている。内郷御厩町内に所在するいわき中央警察署及び四倉町に所在する平消防署四倉分署がそれぞれ管轄にあたる。
字
四倉町薬王寺 世帯数と人口
2023年10月31日現在の世帯数と人口は以下の通りである。
四倉町薬王寺 小・中学校の学区
市立小・中学校に通う場合、学区は以下の通りとなる。
暫定大統領評議会
暫定大統領評議会（ざんていだいとうりょうひょうぎかい、フランス語: Conseil présidentiel de transition、ハイチ語: Konsèy tranzisyon prezidansyèl）は、2024年4月25日にアリエル・アンリ暫定政権崩壊以降のハイチにおける国家臨時機関。日本語における名称は確定しておらず、暫定大統領会議や暫定評議会とも呼ばれる。2026年2月7日まで一時的に、空位である同国大統領の権限を遂行する。
4月30日にエドガール・ルブラン・フィスを評議会議長に選出し、新首相にフリッツ・ベリゼールを指名したが、暫定首相の指名は評議会内で論争状態となったため、5月28日には全会一致でギャリー・コニーユ元首相を新首相に指名した。また5月9日には2026年2月7日までの評議会議長を務める順番を決定した。11月10日にコニーユを首相を解任し、翌11日に実業家のアリックス・ディディエ・フィス＝エメが就任したが、この決議はフィスが反対するなど、一枚岩の決定ではなかった。
暫定大統領評議会 概要
ジョブネル・モイーズ暗殺事件後から続くハイチ危機でアンリ政権は疲弊し、ジミー・シェリジエらギャングによる銃撃戦が重なり、アンリ首相は3月11日に辞任表明を行った。同時に近日中に設立される暫定評議会に首相の選出も委ねると発表。アンリ首相は公約であった早期の選挙実施を行わなかったため、ギャングなどによる反発を買っていた。2024年4月3日、3月11日のCARICOM会議で設立を目前とした移行大統領評議会は4月16日に閣僚評議会によって、評議会メンバーを決定した。4月7日にCARICOMと2026年2月7日までに大統領を選出する約束を交わした。4月25日にギャングとの銃撃戦が響く最中、国立宮殿で就任宣誓を行った。大統領選挙と議会選挙は2025年11月15日に予定されていたが、実施半月前の10月31日になって、暫定大統領評議会は任期終了日である2026年2月7日までは選挙を実施せず、それ以降になると表明した。
ハイチ憲法第135条に基づいて設立された大統領職を保持するための要件を満たさなければならず、次の選挙で大統領に立候補する資格を剥奪される（大統領は連続再選禁止の規定があるため）。首相の任免及び条約の締結などの権限に限られる。国防は暫定首相と共に責任を負い、国際治安部隊の派遣を迅速に遂行しなければならないと規定される。
暫定大統領評議会 構成
投票権を持つ7人とオブザーバーの2人によって、構成される。太字が現職の議長。
2024年5月9日に発表された政令で評議会議長を輪番制とすることを公表し、エドガール・ルブラン・フィス、スミス・オーギュスタン、レスリー・ヴォルテール、ルイ・ジェラール・ジルの順番で4人が議長を務めることとされたが、スミス・オーギュスタンは汚職疑惑を理由に議長職に就くことを禁じられた。
暫定大統領評議会 国際的な評価
2023年4月13日、公式声明でアントニオ・グテーレス国連事務総長は評議会の設立を歓迎し、「ハイチの全政治家に、政権移行を促進するように」と早期の改善を求めた。ケニアのウィリアム・ルト大統領も評議会の創設を歓迎し、SNSで「ケニアは新しい指導者がハイチ危機の解決、安全の回復、ハイチの人々に政治的移行を与え、持続可能な平和と発展の到来を告げるための強力な基盤を築くという自信を表明してほしい」と投稿した。
同年4月15日、欧州対外行動局は「アリエル・アンリ首相が遅滞なく退任し、評議会メンバーを正式に任命されることが重要である」と述べた。
四倉町下柳生
四倉町下柳生（よつくらまち しもやぎゅう）は、福島県いわき市の大字である。郵便番号は979-0225。
四倉町下柳生 地理
いわき市北東部の四倉地区に属する。北で四倉町薬王寺、東で四倉町山田小湊、南東で平水品、南で平絹谷、西で四倉町上柳生、北西で四倉町駒込とそれぞれ隣接する。概ね町村制施行以前の磐城郡下柳生村の流れを汲む地域である。二級水系夏井川水系仁井田川中流域右岸の平地とその北側の山林、および左岸部の柳生院周辺の平地と北側の山林を主な範囲とする。平地には水田が広がり、南北両側の山裾に集落が位置する。内郷御厩町内に所在するいわき中央警察署及び四倉町に所在する平消防署四倉分署がそれぞれ管轄にあたる。
字
四倉町下柳生 世帯数と人口
2023年10月31日現在の世帯数と人口は以下の通りである。
四倉町下柳生 小・中学校の学区
市立小・中学校に通う場合、学区は以下の通りとなる。
オンラインポーカー
オンラインポーカー（Online poker）は、インターネット上でポーカーというゲームをプレイすることを指す。
ポーカーとはテキサス・ホールデムのことを指すことが多く、アメリカ合衆国のカジノにおいては最もポピュラーなゲームのひとつである。
世界中のポーカー・プレーヤー愛好者の大幅な増加に、部分的に貢献している他、クリスチャンセン・キャピタル・アドバイザーズは、オンライン ポーカーの収益が 2001 年の 8,270 万ドルから 2005 年には 24 億ドルに増加したとしている。一方、調査機関DrKW と Global Betting and Gaming Consultantsが実施した調査では、2004年のオンライン ポーカーの収益は14 億ドルであったという。インターネット ゲームに関する米国上院での証言の中で、米国会計事務所ジョセフ・イブの代理人である公認会計士グラント・イブは、ギャンブルで稼がれているドルのうち、4分の1がオンライン・ギャンブルのそれであると推定している。
オンラインポーカー オンラインポーカーができるアプリ
オンラインポーカーで遊ぶには、専用のアプリをインストールする必要がある。
代表的なアプリは以下。
四倉町上柳生
四倉町上柳生（よつくらまち かみやぎゅう）は、福島県いわき市の大字である。郵便番号は979-0226。
四倉町上柳生 地理
いわき市北東部の四倉地区に属する。東で四倉町下柳生、南で平絹谷、南西で平上平窪、西から北にかけ四倉町駒込とそれぞれ隣接する。概ね町村制施行以前の磐城郡上柳生村の流れを汲む地域である。二級水系夏井川水系仁井田川中流域、右岸支流桧川との合流点付近の平地とその南側の山林、および左岸部の北野天満宮や熊野神社周辺の平地と北側の山林の一部を主な範囲とする。平地には水田が広がり、仁井田川北側の山裾に集落が位置する。南側の高台には果樹園が切り開かれている箇所もある。内郷御厩町内に所在するいわき中央警察署及び四倉町に所在する平消防署四倉分署がそれぞれ管轄にあたる。
字
四倉町上柳生 世帯数と人口
2023年10月31日現在の世帯数と人口は以下の通りである。
四倉町上柳生 小・中学校の学区
市立小・中学校に通う場合、学区は以下の通りとなる。
土屋公二
土屋 公二（つちや こうじ、1960年7月8日 - ）は、日本のショコラティエ。
静岡県静岡市出身。テオブロマのオーナーシェフ。
2024年現在、3つの支店をもちながらも、製菓学校における講習や講演活動、菓子メーカーの商品プロデュース、プロモーション等を通じて、チョコレート文化の発信と普及に努めている。
土屋公二 略歴
静岡県静岡市清水区（旧 清水市）に生まれる。高校卒業後、大手スーパーで勤務する。1980年、静岡県清水市　株式会社ロリエ常磐家にて洋菓子職人のスタートを切る。
1982年、渡仏。「ラ メゾン ドュ ショコラ」、「ダロワイヨ パリ」、「モドゥイ」、 「ヴィヴァロア」、「フォンドールチバ」等で腕を磨く中でチョコレートの魅力に目覚め、ショコラティエ（チョコレート職人）を目指す。1987年帰国。代官山「ラ・ポムベール」のシェフを3年半務める。
1990年、株式会社泉谷東京店に入社し、翌年に再渡仏する。半年間、ミシェル・ショーダンの下で研修を受けて帰国。株式会社ミッシェル・ショーダン・ジャポンの取締役製造担当及び、株式会社泉谷東京店生産部技術課長を務めるが1998年、同社を退社。フリーの立場で洋菓子店のアドバイザー等をしながら充電。
1999年1月、有限会社テオブロマを設立。3月、渋谷区富ヶ谷に本店オープン。
GO TO HELL!!!!!
「GO TO HELL!!!!!」は、三品瑠香の配信限定シングル。2024年4月24日にiDOL Streetから発売された。
GO TO HELL!!!!! 概要
2024年4月14日に開催された『三品瑠香BANDLIVE〜日々是好日〜』で初披露された。三品は本作について「どうしようもなく不健康な心を抱える日 そんな自分も癪に障るので大声で歌ってやるのだ」と述べている。また「最後のヘヴンは1発おっけーにしてやりました」とも述べている。
GO TO HELL!!!!! 音楽配信
本作ではハイレゾ音源は配信されないが、Amazon Music Unlimited、Apple Music、DeezerはCD-DAスペックの音質で配信している。
四倉町駒込
四倉町駒込（よつくらまち こまごめ）は、福島県いわき市の大字である。郵便番号は979-0227。
四倉町駒込 地理
いわき市北東部の四倉地区に属する。北で小川町柴原、四倉町片岡、東で四倉町八茎、四倉町薬王寺、四倉町下柳生、南東で四倉町上柳生、南で平上平窪、小川町下小川（飛地）、西で小川町関場、小川町上平とそれぞれ隣接する。概ね町村制施行以前の磐城郡上柳生村の流れを汲む地域である。二級水系夏井川水系仁井田川中流域と支流の桧川流域を主な範囲とする。川沿いの平地には水田が広がり、仁井田川と桧川に挟まれた高台などに集落が位置する。集落周辺の高台は切り開かれ水田などが造成されている。内郷御厩町内に所在するいわき中央警察署及び四倉町に所在する平消防署四倉分署がそれぞれ管轄にあたる。
字
四倉町駒込 世帯数と人口
2023年10月31日現在の世帯数と人口は以下の通りである。
四倉町駒込 小・中学校の学区
市立小・中学校に通う場合、学区は以下の通りとなる。
中元雄
ナカモト ユウ（中元 雄、1991年9月14日 - ）は、日本の映画監督。広島県出身。
中元雄 経歴
広島県福山市出身。
子どものころから映画好きで、ジャッキー・チェンやブルース・リーは特に好きだった。中学のときにはコンパクトデジカメを使って、ストーリーのあるアクション動画っぽいものを撮ったこともある。だが、映画監督の志望はなく、広島県立戸手高等学校を卒業した後は穴吹ビジネス専門学校（広島市）のCGデザイン学科に入り、卒業後は東京でWEBデザイナーとして就職もする。高校卒業間際に3年生の仲間3人でアクション・ホラーにギャグ要素も盛り込んだ作品を撮って、高校の全生徒に観てもらったり、就職後も作品を撮ってはYouTubeで公開することもしていた。
中元雄 経歴
2016年に東京俳優・映画&放送専門学校へ入学し在校中に製作した映画は、2017年に『FUNNY DRIVE』が第20回小津安二郎記念蓼科高原映画祭・短編映画コンクールに入賞、2018年には『怪しい隣人』が第12回TOHOシネマズ学生映画祭ショートフィルム部門でグランプリを獲得、『DEAD COP』はカナザワ映画祭2018にて「期待の新人監督」部門でグランプリを各区得したほか、福岡インディペンデント映画祭2018でもアクション賞を獲得。『一文字拳 序章 −最強カンフー少年対地獄の殺人空手使い−』はカナザワ映画祭2018にて「期待の新人監督」でグランプリを獲得したほか、第40回ぴあフィルムフェスティバルで入選するなど、さまざまな映画祭で入賞を果たしている。『いけにえマン』、『はらわたマン』は2019年10月に池袋シネマ・ロサで上映された。
こういった自主映画の受賞や活動が認められ、2019年に公開された『スマホ拾っただけなのに』は初の商業映画としてオファーを受けることになった。
東チモール県知事日記
『東チモール県知事日記』（ひがしチモールけんちじにっき）は、伊勢崎賢治の著作。
東チモール知事職だった自身の2000年3月12日から2001年5月14日までを記録したもの。2001年10月に藤原書店から出版された。
伊勢崎は3つの国連平和維持ミッションにかかわったが、東チモール知事職はその最初で、時系列による単著としてまとめられた唯一のもの。
細川治之
細川 治之（ほそかわ はるゆき）は戦国時代の武将。細川氏庶流宍草氏の出身で宍草治之とも。
細川治之 出自
宍草氏（鹿草・完草・莞草）は斯波氏の被官を務めた。『太平記』によると、延元3年/建武5年閏7月2日（1338年8月17日）に鹿草（完草）彦太郎（公相）と細川出羽守が新田義貞を討ち取っている。貞治2年（1363年）には斯波義種が若狭守護となり、守護代として莞草上野介が入国した。康暦2年（1380年）には斯波義将が越前守護となり、鹿草出羽守が入国した。文明年には鹿草兵部大輔入道と子の弥三郎が高野郷を拠点として活動している。斯波氏が衰退すると室町幕府奉公衆に転じた。
細川治之 概要
明応元年（1492年）に室町幕府の外様衆として「細川宍草刑部大輔」が見えるのが初見。永正6年（1509年）6月17日に如意ヶ嶽の戦いで敗北した細川澄元に同行し阿波国へと下向したと考えられ、同年12月には丈六寺に寺領を寄進している。また、細川氏綱が土佐守護代・細川高益を通じて香宗我部氏を自陣に引き入れようとする動きがあったため、氏綱と対立する細川晴元が細川氏之や治之を通じて香宗我部氏を取り込もうとしている。
リトルトン (コロラド州)
リトルトン（英: Littleton）は、アメリカ合衆国コロラド州の都市。アラパホ郡の郡庁所在地である。デンバーの南方に位置している。2020年時点での人口は45,652人で、コロラド州では20位となっている。市域の一部はダグラス郡とジェファーソン郡に入っている。
リトルトン (コロラド州) 歴史
リトルトン市の歴史は1859年のパイクスピーク・ゴールドラッシュにまで遡る。この時代には、金を求める人だけでなく商人や農民もこの地域に集まった。リチャード・サリバン・リトルはニューハンプシャー州出身の技術者で、灌漑システムの開発に取り組むために西部にやってきた。リトルはすぐに現在のリトルトンの地域に定住することを決心し、1862年に東部から妻のアンジェリンを連れてきた。リトル家と近隣住民は1867年にラフアンドレディ製粉所を建設し、地域社会に強固な経済基盤を築いた。1890年までに、コミュニティの人口は245人に増加し、住民投票によりリトルトン町として法人化することが決定した。
デンバーや、タイタン (ロケット)やその他の航空宇宙製品を製造するマーティン・マリエッタに近いため、1950年代から1960年代にかけて大きく成長した。
リトルトンは、1999年にコロンバイン高校銃乱射事件が発生したことで広く知られるようになった。この事件では、同校の生徒エリック・ハリスとディラン・クレボルドが生徒12人と教師1人を殺害し、23人に負傷を与え、その後自殺した。
リトルトン (コロラド州) 地理
リトルトンは北緯39度35分59秒 西経105度0分39秒﻿ / ﻿北緯39.59972度 西経105.01083度﻿ / 39.59972; -105.01083に位置している。コロラド州の中央部、アメリカ国道85号線とコロラド州道470号線が交差する場所に位置し、デンバーのダウンタウンから南に14km、コロラドスプリングスから北に89kmの位置にある。
市はグレートプレーンズのコロラド・ピードモント地域、ノースプラット川沿いに位置している。市の大部分は川の東側に位置している。いくつかの小さな支流が市内を北西に流れている。南西部の川沿いにはクーリー湖、バッフルヘッド湖、サウスプラット貯水池、イーグルウォッチ湖、レッドテール湖、ブラックロック湖、ウォルハースト湖、マクレレン貯水池といった小さな湖や貯水池がある。
アメリカ合衆国国勢調査局によれば、市の総面積は13.87平方マイル (35.9km2)で、このうち陸地は12.98平方マイル (33.6km2)、水域は0.89平方マイル (2.3km2)、水域率は0.3%である。
デンバーの郊外であるリトルトンは、デンバー・オーロラ都市圏及びフロントレンジ都市回廊の一部である。北はデンバーとイングルウッド、北東はグリーンウッドビレッジ、東はセンテニアル南はハイランズランチ、西はコロンバインとコロンバイン・バレー、北西はボウマーと接している。
リトルトン (コロラド州) 経済
2013年時点で、16歳以上の人口の66.8%が労働力人口であった。0.1%が軍隊に属し、61.2%は雇用されていて、5.5%は職に就いていない。職業構成は、経営、ビジネス、科学、芸術分野が44.4%。営業職・事務職が25.0％。サービス業が17.8%、生産、輸送、運搬が6.6%、天然資源、建設、メンテナンスが6.2%であった。産業別では、教育サービス、医療、社会扶助 (20.1%) 、専門的、科学的、管理的サービス、廃棄物管理 (14.1%)、小売業 (11.2%)の順に多かった。
リトルトンの生活費は平均的で、国内の平均を100とすると、この地域の生活費指数は101.8となっている。2013年時点で、市内の住宅価格の中央値は269,000ドル、月額の住宅費用の中央値は、住宅ローンのある住宅の場合は1,668ドル、住宅ローンのない住宅の場合は470ドル、総家賃の中央値は902ドルであった。
リトルトン (コロラド州) 政治・行政
リトルトンは自治制を採用しており、シティー・マネージャーが統治する形態をとっている。市議会は市の政策を立案し、市の年間予算を承認する。シティー・マネージャーは市議会の政策を執行し、市役所の日常管理を監督する。
市議会は、4つの選挙区からそれぞれ1人ずつ選出される議員、全市を代表して選出される2人の議員、および市長の7人で構成されている。2021年以降、すべての市議会議員は4年の任期で選出されている。市議会議員の選挙は奇数年に行われ、3∼4議席が改選される。2021年、市の有権者は初の民選市長を選出し、任期は4年となった。
アラパホ郡の郡庁所在地であるリトルトンは、同郡の行政の中心地である。郡政府の本庁舎はリトルトンにあり、ほとんどの郡政府部門は市内に拠点を置いている。
リトルトン (コロラド州) 政治・行政
市の大部分はコロラド州下院第6選挙区内にある。2012年にコロラド州の議会選挙区が変更され、市の南西部の一部がコロラド州下院第1選挙区に組み込まれた。州議会の選挙区は、上院が第26区、第30区、下院が第3区、第38区、第43区となっている。
「リトルトン」という地名は、市よりもはるかに広い西、東、南の広大な地域をカバーする11のZIPコードに割り当てられた。この地域には以下の非法人地域が含まれる。
デンバーの最南西部、マーストン地区（ZIPコード80123）は、郵送先住所に使用する優先地名として「リトルトン」が使用されているが、「デンバー」も使用できる。ジェファーソン郡の非法人地域に位置するイングルウッド連邦矯正施設もこのZIPコードを使用している。
リトルトン (コロラド州) 教育
アラパホ郡の大部分はリトルトン教育学区内にある。一部はシェリダン教育学区とイングルウッド教育学区に含まれる。
市のジェファーソン郡内の地域の一部はジェフコ教育学区に、ダグラス郡内の地域の一部はダグラス郡教育学区RE-1に含まれている。
大学は以下の2校が市内にある。
市内にあるコロラド視覚障害者センターでは、全米視覚障害者連合が運営する、視覚障害者向けのスキルトレーニングを行っている。
リトルトン (コロラド州) 交通
2000年以降、市にはデンバー地域交通局のD線が乗り入れている。以前はC線も乗り入れていたが廃線となった。ダウンタウンにリトルトン・ダウンタウン駅がある。
リトルトン (コロラド州) 文化
1920年代後半以来、リトルトンではウエスタン・ウェルカム・ウィークを毎年開催している。地元の市民団体、慈善団体等によって30以上のイベントが開催される。
キャンドルライト・ウォークは毎年感謝祭後の金曜日にメインストリートで開催される。
リトルトン・トワイライト・クリテリウムは、夏の終わりに歴史あるダウンタウンの1.3マイルのコースで開催される。コンサートや一般市民向けのレースも行われる。
宍草氏
宍草氏（かくさし）は、清和源氏細川氏の庶流にあたる武家。鹿草・完草・莞草とも。
宍草氏 概要
宍草氏（鹿草・完草・莞草）は斯波氏の被官を務めた。『太平記』によると、延元3年/建武5年閏7月2日（1338年8月17日）に鹿草（完草）彦太郎（公相）と細川出羽守が新田義貞を討ち取っている。貞治2年（1363年）には斯波義種が若狭守護となり、守護代として莞草上野介が入国した。康暦2年（1380年）には斯波義将が越前守護となり、鹿草出羽守が入国した。文明年間には鹿草兵部大輔入道と子の弥三郎が高野郷を拠点として活動している。斯波氏が衰退すると室町幕府奉公衆に転じた。明応元年（1492年）に室町幕府の外様衆として細川宍草刑部大輔（治之）が見える。治之は永正6年（1509年）6月17日に如意ヶ嶽の戦いで敗北した細川澄元に同行し阿波国へと下向し、細川晴元と共に活動している。
高砂町 (江別市)
高砂町（たかさごちょう）とは、北海道江別市の町丁。郵便番号は067-0074。人口は1,623人、世帯数は863世帯（2023年12月1日現在）。丁目の設定のない単独町名である。住居表示は全域で未実施。
高砂町 (江別市) 地理
高砂町は函館本線の北側の地域で、町内を国道12号が横断している。
高砂町 (江別市) 世帯数と人口
2023年（令和5年）12月1日現在の世帯数と人口は以下の通りである。
レーブの定理
数理論理学におけるレーブの定理 (Löb's theorem) は、ペアノ算術 (PA) (またはPAを含む任意の形式体系)において、任意の論理式Pについて、「PがPAで証明可能ならばPである」ことがPAで証明可能ならば、PはPAで証明可能であることを述べている。Prov(P)が論理式Pが証明可能であることを意味する場合、レーブの定理をより形式的に表現すると次のようになる。
もし
ならば
レーブの定理の直接的な帰結(対偶)は、PがPAで証明可能でない場合、「PがPAで証明可能ならば、Pである」はPAで証明可能でないということである。例えば、「がPAで証明可能ならば、である」はPAでは証明可能でない。
レーブの定理は、1955年にそれを定式化したマルティン・フーゴー・レーブにちなんで名付けられた。これはカリーのパラドックスに関連している。
レーブの定理 証明可能性論理におけるレーブの定理
証明可能性論理は、ゲーデルの不完全性定理で使用される符号化の詳細を様相論理の言語を使って抽象化するものであり、具体的には与えられた体系におけるの証明可能性を様相を用いて表現する。
すると、レーブの定理を以下の公理として形式化できる。
これは、ゲーデル＝レーブ (Gödel–Löb) の公理GLとして知られている。これは、次のような推論規則によって形式化されることもある。
もし
ならば
様相論理 K4 (あるいは、公理スキーマ4 ()は冗長であるため単にK)に上記の公理GLを追加した結果得られる証明可能性論理GLは、証明可能性論理において最も集中的に研究されている体系である。
レーブの定理 レーブの定理の様相論理による証明
レーブの定理は、証明可能性演算子()に関するいくつかの基本的な規則(K4体系)と様相不動点の存在のみを用いて、様相論理内で証明することができる。
様相論理式 (modal formula)の文法として、以下を仮定する。
様相文(modal sentence)とは、命題変数を含まない様相論理式のことである。は、が定理であることを意味する。
が命題変数を1つだけ持つ様相論理式であれば、の様相不動点は次のような文である。
1つの自由変数を持つすべての様相論理式に対して、このような不動点が存在すると仮定する。これはもちろん自明な仮定ではないが、をペアノ算術における証明可能性として解釈すれば、様相不動点の存在は対角線補題から導かれる。
様相不動点の存在に加えて、証明可能性演算子に対する以下の推論規則を仮定する。これらはヒルベルト＝ベルナイス証明可能性条件として知られている。
証明の大部分は仮定を使用しないので、理解を容易にするために以下の証明はに依存する部分を最後の方に分離して記載する。
を任意の様相文とする。
より非公式には、証明を次のように概説できる。
レーブの定理 例
レーブの定理の直接的な帰結は、PがPAで証明可能でない場合、「PがPAで証明可能ならば、Pは真である」はPAで証明可能でないということである。PAが無矛盾であるとして(ただし、PAはPAが無矛盾であることを知らない)、以下に簡単な例をいくつか挙げる。
信念論理において、レーブの定理は、形式系が反射的(reflexive)な「4型」の推論者として分類されるならば、その形式系は謙虚 (modest) でもある必要があることを示している。つまり、そのような推論者は、Pを信じるときのみ「私がPを信じるならばPである」と信じる。
ゲーデルの第2不完全性定理は、レーブの定理において偽の文をPに代入することによって導かれる。