hotchpotch/wikipedia-multilingual-ir-related-paragraph-pairs huggingface dataset:
十代交響曲
Section: 楽曲について

「十代交響曲」は山崎いわく、「入り混じった感情、現実。その中で生じる悩み、困難。十代だからこその葛藤が詰まった」楽曲。「レコーディングでも"うずくまって殻に閉じこもったイメージで歌いましょう"とディレクションをいただいていたのです が、収録が進むにつれて笑えなくなっていく自分がわかるくらい曲の世界観に入り込んでしまいまして」と語るように、重たい歌詞とダークなサウンドが特徴。当時19歳だった山崎は、お気に入りの歌詞として「大丈夫だよって答えるたびにきっと大丈夫じゃなくなる」を挙げている。「すっごく共感しました。私、口癖が"大丈夫"なんですよ。スタッフさんに"大丈夫ですか"と聞かれたとき、なんでもかんでも"大丈夫"って言っちゃうんです。あとあと"あれまずかったかな……"ってことが多くて、最近は"大丈夫ですか？"に"大丈夫です"と答えると"本当に大丈夫ですか？"って2度聞かれるようになって、あもうバレてるなって（笑）」と語っている。

「Pearl tears」は、流麗なピアノ&ストリングスと、穏やかで優しい歌声に包み込まれるようなバラード。初めて作詞に挑戦した山崎は、「私が小さい頃から飼っていたワンちゃんを思いながら作詞したんです。どうしても年の差があって、亡くなってしまったのが早くて……。お別れの挨拶ができなかったので、凄く心残りで……。その時の思いを形にできたら良いなと思って書き始めました」とテーマを明かした。「ただ、さすがに悲しすぎるかなと思ったので、人魚姫のモチーフを入れ込んで、人魚と王子様の間柄を連想させるかたちに」と続けたように、ファンタジックな世界観も感じられる。歌詞作りでは、「一番最初に書いたのが"泡のおんぷをつないで"というところだったんですよ。そこから他の文章を考えて構成を考えて」「例えば"おんぷ"をひらがなにしたところも、他は漢字が多かったので柔らかさを出したほうがいいかな、とか結構考えました。あと"トロンプ・ルイユ"って"だまし絵"って意味なんですけど、私はすごく美術が好きで、美術館へ行った時にこの言葉を覚えて帰ってきて」「だまし絵って書くとちょっと言葉がきついですが、トロンプ・ルイユならば」と、音だけでなく文章として見た印象にもこだわったとのこと。
カール5世の肖像 (ティツィアーノ)

カール5世が左の椅子に座って、鑑賞者の方を向いているところが表されている。皇帝の黒い衣服が、赤い絨毯および背後の金色のタペストリーと対照的である。画面の右半分には、微かに描写された明るい色の風景がある。ランベルト・スストリスが風景を描いた可能性があり、本作の全体を描いた可能性もある。ティツィアーノの手になる、失われたオリジナルが存在したのかもしれない。

ヘンリー・キッシンジャーは、2014年の著書、「世界秩序」の中で、本作について、「ミュンヘンのアルテ・ピナコテークにある1548年制作のティツィアーノの忘れがたい肖像画は、精神的な充実に到達できない覇者の苦悩、または覇権的支配のためには二次的な重要性しかない梃を操作できない覇者の苦悩を明らかにしている」と書いている。
チャナ (スポーツ)
Section: 目的とルール

ゲームの目的は、角をめがけてモリロを投げ、モリロが地面にぶつかったり (ペーサーと呼ばれる)、他の障害物の助けを得ることなしに角を打つことにある。
2本の角は、プレイヤーに弓状の背中を向けた形で互いに配置される。プレイヤーから角までの距離は15から25メートル程であるが、通常は21歩分とされている。各々の角の後ろには、反対側の角を打つプレイヤーが配置され、彼らは最初に一方に投げ、次に場所を変えて、もう片方に投げる。

チャナはほとんどの場合2組のチームでプレーされるが、個人戦で行なわれる場合もあり、人数は地域によって大きく異なる。理想的な数は4人対4人である。得点は、モリロが地面に当たらずに角を打つと1ポイントが与えられる。各ゲームは通常18または21ポイントでプレイされ、引き分けになるたびに3ポイントずつ増やされる。スコアラーは通常、角が配置されている場所に立ち、疑わしい「ヒット」の場合は2人の助手と審議される。
チャナ (スポーツ)
Section: 普及

サモラ県
Castroverde de Campos

特定の地域では、チャナがヒヨコマメを指す場合とモリロを指す場合とで2つの異なったルールがある。

ヒヨコマメを使う場合、両足を同じ高さに揃え、動かさずに投げる。

モリロを使う場合、投げる時に足を1歩以上踏み出すことができる。そのため、ヒヨコマメを使う場合は、角との距離をもっと短く設定する場合がある。

また、一部の地域では、角を1本のみ使用しており、投げ方にもスタイルが確立されている。
漆原雪人
Section: 概要

自信の手がけた作品の中でもいろとりどりのセカイシリーズは気に入っているらしく、いろとりどりのセカイシリーズの主要キャラクターである二階堂真紅に関する話をよくする他、自信のTwitterアカウントの名前を一時的に二階堂真紅にするなどの愛が見られる。

2014年に自身では初となる小説、太陽のチャンネル１　死にたがりの吸血姫と、最強無敵の死にぞこない。を講談社ラノベ文庫にて出版、その続編となる太陽のチャンネル２　ｓｍｉｌｅを翌年2015年に発売する。
2019年に異セカイ迷子の半透明とやさしい死神 を星海社FICTIONSより出版。
マジックキャッスル (競走馬)
Section: 戦績

2月15日のクイーンカップから始動。後方追走から直線追い込んでくるもクビ差届かずまたもや2着。4月12日の桜花賞では終始後方のまま見せ場なく12着大敗。5月24日の優駿牝馬でも5着に敗れた。
秋に入り、9月12日の紫苑ステークスは中団から追い上げてきたが4着と惜敗。10月18日の秋華賞では10番人気での出走となり、レースではデアリングタクトをマークする形で中団後方を追走し、最後の直線で鋭く脚を伸ばし2着に入った。レース後は休養に入った。

1月16日の愛知杯に2番人気で出走。中団のやや後ろで脚を溜めると最後の直線では先に抜け出したランブリングアレーをクビ差差し切って重賞初制覇を果たした。続く阪神牝馬ステークスでは道中後方追走から直線で馬場のインを突いてくるもデゼルの2着となった。5月16日のヴィクトリアマイルでは中団追走から脚を伸ばすもグランアレグリアの3着と敗れた。その後、8月1日のクイーンステークスに1番人気で出走。好位追走から最後の直線で先頭に立つも、後方から追い込んできたテルツェットに交わされて2着となった。10月16日の府中牝馬ステークスでは1番人気に推されるも見せ場なく15着と大敗した。
国鉄ウ200形貨車
Section: 概要

ウ200形は、1934年（昭和9年）から1937年（昭和12年）にかけて、ワフ6500形50両が国鉄工場で改造され生まれた10 t積み豚積車である。合計50両（ウ200 - ウ249）が改造製作された。種車に有蓋緩急車が充てられたのは、積荷は生きた豚のため給餌・給水の世話をする付添人が必要なため、付添人室が必要なためである。全車専属貨車に指定され主に本州地区へ配置し運用された。

昭和11年度 20両
大宮工場 5両（ウ230 - ウ234）
名古屋工場 5両（ウ235 - ウ239）
吹田工場 5両（ウ240 - ウ244）
後藤工場 5両（ウ245 - ウ249）

塗色は、黒であり、全長は7,030 mm、全幅は2,564 mm、全高は3,480 mm、軸距は3,962 mm、自重は8.5 t - 9.2 t、換算両数は積車1.6、空車0.8、最高運転速度は65 km/h、車軸は10 t軸であった。
また恋をすることなど
Section: 概要

「また恋をすることなど」はフジテレビ系列「フジテレビフラワーネット」のCMに使用され、Ms.OOJA自身もCMに出演した。
またこの楽曲はハウステンボス初夏の光の王国CMソングにも採用された。

「ワンモアタイム」は全国専門学校広報研究会のCMソングに使用された。ミュージックビデオでは駅舎や桜が咲く公園を背景に爽快感疾走感溢れる2人の女子高生が描かれた。

Ms.OOJAは出身校である四日市市立三浜小学校が2014年3月で閉校となることを知り、閉校する母校に思いをよせて「また会える日まで」を書き下ろした。楽曲を完成させたMs.OOJAは閉校前の2月末に小学校を訪問し、在校生とともにこの曲を歌った。このときの密着取材の内容は東海テレビ「xMusic」で2014年3月26日、4月2日と2週に渡って放送された。訪問時の映像はミュージックビデオの全編に渡って使用されている。
原田実 (音楽家)
Section: ワゴン・エース

佐野淳　　　ベース。元和田弘とマヒナスターズ。

加瀬沢道夫　ドラムス。脱退後に東京ビートルズのサポート。

関口良信　　ヴォーカル、ギター。元ウエスターン・キャラバン。

林洋介　　　ヴォーカル、ギター

原田実　　　スティール・ギター、編曲。元ワゴン・マスターズ。

住吉敞　　　ヴォーカル。元ワゴン・マスターズ。脱退後に住吉敞とワゴン・スターズを結成。

藤本精一　　フィドル。元ワゴン・マスターズ。

瀬谷福太郎　エレクトリック・ギター。元ブルー・レンジャーズ。
原田実 (音楽家)
Section: 経歴

1945年、慶應義塾普通部に入学。兄や同級生の小林亜星らとハワイアン・バンドを結成し、進駐軍向けのクラブで演奏。

1950年、慶應義塾大学在学中に大橋節夫とハニー・アイランダースにベーシストとして加入。同年6月、日劇の「ハワイアン・パラダイス」に出演した際にチャック・ワゴン・ボーイズの黒田美治を観て、カントリーへの転向を決意。

1932年、東京府東京市渋谷区大山町に於いて、のちに安田信託銀行（中央信託銀行）の本店部長を務めた原田信雄の次男として生まれる。長男である兄は敬。祖父の善兵衛は山形県東村山郡達磨寺村の郷中取締で、のちに長崎町（のちに中山町）の町議会議員を務めた。母の京は福島県士族で、日本銀行の志賀虎一郎の長女。3歳の頃からピアノに親しみ、慶應義塾幼稚舎の頃にハーモニカのバンドを作っていたという。
原田実 (音楽家)
Section: ディスコグラフィー

V.A. / 決定盤!フォーク&カントリー名曲集 (KING SKM-1058/9 (1970) ★

V.A. / 懐かしのポピュラー大全集 (ポリドール MR-9072/3、1970.12) ★

V.A. / TOKYOジャンボリー'83 (東芝EMI、1983)

関口良信、寺本圭一、斉藤任弘 / Three Country Hearts (ジュピター TDK-106、1959) ★原田・藤本・瀬谷が参加

トミー藤山 / アメリカ旅日記 (日本コロムビア AL-194、1960.02) ★
アザクラウンエーテル
Section: 種類

第三級アミン

多くのアザクラウンエーテルで、幾つかまたは全てのアミンが三級である。一例は、1,4,7-トリメチル-1,4,7-トリアザシクロノナンである。三次元のアザクラウンであるクリプタンドも第三級アミンを持つ。

様々な種類のアザクラウンエーテルが存在する。

様々な長さ

エチレン((CH2)2)の代わりにトリメチレン((CH2)3)を含むアザクラウンが存在する。例えば、サイクラム（1,4,8,11-テトラアザシクロテトラデカン）が一例である。
アザクラウンエーテル

アザクラウンエーテル(Aza-crown ether)は、クラウンエーテル（環状ポリエーテル）のアザアナログである。親化合物のクラウンエーテルは(CH2CH2O)nの化学式を持ち、アザクラウンエーテルは(CH2CH2NH)nの化学式を持つ（nは3以上の整数）。良く研究がされたアザクラウンエーテルとしては、トリアザシクロノナン(n=3)、サイクレン(n=4)、ヘキサアザ-18-クラウン-6 (n=6)がある。

Selected aza-crowns and their complexes

配位化学における三座配位子として用いられる1,4,7-トリメチル-1,4,7-トリアザシクロノナン

サイクラムは、アミン中心の間に(CH2)2と(CH2)3が交互に結合したテトラアザクラウンエーテルである。
バソクプロイン
Section: 特徴

1,10-フェナントロリンと同様に、バソクプロインも複素環化合物であり、1位と10位は炭素ではなく窒素である。この部分は芳香族性を有しており、この窒素が持つ孤立電子対は配位結合を行う能力を有する。さらに、窒素の配置の関係で、2つの窒素が持つ孤立電子対で、2箇所から配位結合を提供できる、多座配位子である。加えてバソクプロインの場合には、2つのメチル基が、2つの窒素が有る側に張り出しており、立体的に嵩高い多座配位子としての性質を強めている。

バソクプロインの化学式はC26H20N2であるため、その分子量は約360.5 である。常圧におけるバソクプロインの融点は283 ℃であり、常温では固体として存在する。また、バソクプロインは共役系が複数の環にまたがっており、可視光の一部も吸収する。この結果、常温常圧でバソクプロインは淡い黄色の固体の状態を取る。この固体は、極性を持った有機溶媒に溶解し易い。
キョクヨーフーズ
Section: 沿革

2012年12月 - 動植物残渣処理装置の導入。

2014年
3月 - スパイラルフリーザー1号機、アンモニア・二酸化炭素冷媒冷凍設備に更新。
8月 - フードディフェンス対策として、カメラシステム導入。

1999年3月 - HACCP承認。

2001年12月 - ISO9001認証取得。

2003年
4月 - 対米HACCP承認。
12月 - ISO14001認証取得。

2009年11月 - 製造工場増設。スパイラルフリーザー1基（3号機）、アンモニア・二酸化炭素冷媒冷凍設備設置。
サロトロセルクス
Section: 分類と復元史

Whittington 1981 から30年後、サロトロセルクスは Haug et al. 2011 で再記載され、Whittington 1981 の復元における幾つかの特徴は、次の通りに更新がなされていた：

8節に分かれた1対の頭部付属肢 → 内肢が4節に分れた2対の頭部付属肢の見間違い

胴部のものに同型の2対目の頭部付属肢 → 頭部に覆われる第1胴節の付属肢の見間違い

胴部付属肢は付け根が横に幅広い櫛状構造 → 胴節の下に折りたたんだ鰭状の外肢とその刺毛の見間違い
サロトロセルクス
Section: 形態

少なくとも最終2節以外の胴節はそれぞれの腹側に1対の付属肢をもつが、縁に十数本の刺毛が並んだ鰭状の外肢のみ知られ、内肢の有無は不明。

サロトロセルクスの化石標本から、少なくとも2つの成長段階を表した個体が確認される。体長1cmを満たさない小型個体（stage I）は胴部が10節で、頭部は大型個体より前後に短縮する。体長1cmを超える大型個体（stage II）は胴部が11節で、頭部は小型個体より前後に長い。なお、サロトロセルクスの知られる化石標本数は少ないため、大型個体は最終の成長段階（成体）を表しているのかどうかは判断できない。

これによると、サロトロセルクスの頭部は、少なくとも4節の体節の癒合でできた合体節であると考えられる（眼をもつ先節、触角が退化的な第1体節、および2対の二叉型付属肢に対応する第2-3体節）。

胴部（trunk）は10-11節の胴節が含まれ、それぞれの背面は1枚の背板（tergite）に現れるが、第1胴節は常に頭部の背甲に覆われて目立たない。胴部の横幅は第1胴節が頭部より少し狭く、第2-4胴節は頭部と同じ程度、それ以降の胴節は後方ほど狭くなりながら、左右の出っ張り（tergopleurae）は後ろ向きに湾曲する。最終胴節は明らかに小さく、直後に1本の箒のような尾節（telson）が続く。尾節は胴部より少し短いほど細長く、先端は後方ほど発達した9本の棘がある。
菊池武雄
Section: 論文等

菊池武雄（著）、歴史学研究会（編）「戦国大名の権力構造－遠州蒲御厨を中心として－」『歴史学研究』第166号、岩波書店、1953年、1-17頁、NAID 40003820027。

菊池武雄「平氏受領表」『世界歴史事典』 22巻、平凡社、1955年、159-162頁。NCID BN0165224X。

菊池武雄「建武政府國司守護表に就いて」『世界歴史事典』 22巻、平凡社、1955年、195-202頁。NCID BN0165224X。

菊池武雄「日本の「告書」に就いて」1974年、NAID 110000275346。 （『東京大学史料編纂所報』第13号、1978年、19-29頁、NCID AN00162338。 ）
修道院長聖アントニウス (ポントルモ)

『修道院長聖アントニウス』（しゅうどういんちょうせいアントニウス、伊:Sant'Antonio abate）は、イタリアのマニエリスム期の画家、ヤコポ・ダ・ポントルモによる板上の油彩画である。現在、フィレンツェのウフィツィ美術館に所蔵されている。

作品の本来の所蔵元と依頼者は不明であるが、 ポントルモの『聖ヨハネ』との様式的類似性と、『老コジモの肖像』に描かれている非常に類似した巻物に基づいて1519年頃の制作とされている。この年代測定は、より遅い制作年と主張するクラップとサルヴィーニを除いて、広く受け入れられている。
レスパイトケア

レスパイト（休息）プログラムは、主に介護関係を支援および維持するために、発達遅延または行動上の問題を抱える子ども、および知的障害または認知障害を有する成人の家族およびその他の無給の介護者のために計画された、短期および期間限定の休憩を提供するものである。休息はまた、ケアを受けている人にも前向きな体験を提供するものである。一部の国では、レスパイトケアを説明するために「ショートブレイク」という用語も使用されている。

多くの家族は、愛する人がくつろぐことができるようにケアを提供することで大きな喜びを感じているが、肉体的、感情的、経済的影響は、介護者にとって、適度な休息を取る機会などの支援がなかったなら、その人を押しつぶしてしまいかねないほどのものがある。適度な休息は、介護者に一時の安らぎを提供し、それは介護する人の健康に有益でなことが証明できのではないだろうか。コモンウェルス財団が最近調査したものによると、19歳から64歳の家族介護者の60%は、非介護者の33%に比べて、健康状態が良好または不良、1つ以上の慢性疾患、または障害を抱えているとされる。
レスパイトケア
Section: レスパイトケアのモデル

レスパイトは、1950年代からの初期のサービスであり、これは、親たちの組織自体が提供するレスパイトと呼ばれる、特別な育児の支払いのために政府から提供された基金をもとにしたものだった。1970年代に開発されたレスパイトの専門的なモデルには、両親が介護からの「休息」または中断を図るのと同様、大人のためのコミュニティレクリエーションの選択肢（たとえば、YMCA、近隣センター、ランニング、散歩）が含まれていた。ニューヨーク州には、2000年代半ばの時点で、知的障害だけで950を超えるサービス提供団体がある。

レスパイトサービスは、コミュニティのさまざまなサイトで提供され、認可された住宅施設を運営するサービスプロバイダーによって、またはレスパイトというカテゴリで請求される。

レスパイトサービスは通常、バウチャーおよび/または代替のレスパイト・オプションを使用して、レスパイトベンダーから取得される。バウチャーは、家族が支払い、クーポン、またはその他の種類の承認を通じて直接自分のサービスプロバイダーを選択できる手段である。
興福寺 (常熟市)
Section: 沿革

唐の咸通9年（868年）、懿宗から、「興福禅寺」の名を賜った。

1949年以降、地方政府は何度も寺院を重修した。最近の修復作業は1985年。1983年、中華人民共和国国務院は仏寺を漢族地区仏教全国重点寺院に認定した。

南朝斉のとき、南徐州刺史の倪徳光を開山に創建された。当時は大悲寺と称した。

南朝梁の大同5年（539年）、寺院が拡張され、大改修後に「福寿寺」に改名して。地所は「破龍澗」にあり、「破山寺」とも呼ばれる。
スター街道
Section: 演奏

伊藤賢：Guitar, Bass, Other Instruments (#3.6)

竹市佳伸：Guitar, Bass, Other Instruments (#4)

芳賀政哉：Programming (#5)

ときも：Guitar (#1)

森本練：Bass, Other Instruments (#1)

植木建象：Drums (#All)

小木岳司：Guitar, Bass, Other Instruments (#2)
斎藤信太郎
Section: 経歴

陸奥国伊具郡耕野村（宮城県伊具郡耕野村を経て現丸森町耕野）で、素封家・斎藤広重の息子として生まれた。経済学を修めた。伊具郡丸森村（現丸森町）の斎藤茂吉の養子となり、農業を営む。

1873年（明治6年）小学校の創設に尽力した。1874年（明治7年）蚕種組合頭取に就任。その他、丸森村学務委員、同村養蚕業頭取、伊具郡会議員、所得税調査委員、地方森林会議員、隅口蚕業組合頭取なども務めた。

1879年（明治12年）1月、第1回宮城県会議員選挙に当選し、1880年（明治13年）1月まで在任。同年9月に再選され、1898年（明治31年）3月まで務め、さらに1899年（明治32年）9月から1903年（明治36年）3月まで在任。この間、同参事会員、同副議長なども務め、産業、教育などの振興に尽力した。
斎藤信太郎
Section: 国政選挙歴

第1回衆議院議員総選挙（宮城県第2区、1890年7月、宮城政友）次点落選

第2回衆議院議員総選挙（宮城県第2区、1892年2月、国民協会）次点落選

第3回衆議院議員総選挙（宮城県第2区、1894年3月、国民協会）次点落選

第4回衆議院議員総選挙（宮城県第2区、1894年9月、国民協会）次点落選

第5回衆議院議員総選挙（宮城県第2区、1898年3月、准自由党）当選

第6回衆議院議員総選挙（宮城県第2区、1898年8月、無所属）次点落選
ローラ・T100
Section: 概要

数週間後の1967年9月16日、ブライアン・レッドマンはF2仕様のT100で、オウルトン・パークで行われたノンタイトル戦のインターナショナル・ゴールドカップに出場したが、1周を終えたところでエンジントラブルのためリタイアした。続くノンタイトル戦のスペイングランプリでレッドマンはF1仕様のT100をドライブし、8位でフィニッシュした。優勝したジム・クラークからは2周遅れであった。このレースにはジョー・シフェールとヒューベルト・ハーネも出場したが、それぞれ45周目と33周目にエンジントラブルでリタイアしている。

翌1968年、3月22日にブランズ・ハッチで行われたレース・オブ・チャンピオンズにジョン・サーティースがBMWエンジンを搭載したT100で出場したが、オイル漏れによりスタートできなかった。

5月12日に行われたスペイングランプリで、スペイン人ドライバーのホルヘ・デ・バグラチオンはコスワースエンジンを搭載したT100でエントリーしたが、マシンが準備できず出走できなかった。
神田ジュナ
Section: 経歴

2021年8月1日、東京、Zepp DiverCityで行われた虹のコンキスタドール『RAINBOW JAM2021-SUMMER SHOWER-』にて同グループへの加入がサプライズ発表された。虹コンオーディションで合格した石原愛梨沙と共に加入。担当カラーは橙色。

2021年3月1日、グループとしての活動が困難となったことから虹のファンタジスタのメンバー全員の卒業が決まり、グループを卒業した。

2021年5月1日、＃DSPMSTARSに三期生としての加入が発表された。
神田ジュナ
Section: 人物

「なんだかんだジュナが好き？？」と本人が問いかけ、ファンが「好き〜！！」と返すのがライブなどでの自己紹介となっている。

四人家族であり、うさぎとかめを飼っている。

飼っているうさぎの名前は「なごみ」、かめの名前は「わかめ」。

好きな食べ物はマカロンとカレーライス。

趣味は刑事ドラマやアニメを鑑賞すること。

4歳の頃からクラシックバレエを習っている。

元乃木坂46の生田絵梨花、乃木坂46の久保史緒里を応援しており、度々コンサートに足を運んでいる。
アルセノベタイン

アルセノベタイン(Arsenobetaine)は、有機ヒ素化合物であり、魚類に含まれるヒ素の主要な形態である。ベタインとして知られるトリメチルグリシンのヒ素アナログである。その生化学、生合成は、コリン及びベタインと似ている。

アルセノベタインは、海洋生態系に一般的な物質であり、トリメチルヒ素等の他の多くの有機ヒ素化合物とは異なり、比較的毒性がない。

海産の魚類が有機ヒ素化合物を含むことは1920年から知られていたが、そのほとんどがアルセノベタインであることが同定されたのは、1977年になってからだった。
中華人民共和国国籍法
Section: 国籍の取得と喪失

中国政府の事実上の慣行に関して、クリス・チェンはフォーリン・アフェアーズで次のように書いている。「北京では、国籍は複雑な法律問題として提示されているが、実際には答えは簡単だ。適用されるルールは1つだけである。中国の国籍を持ったことがあるか、持っていた可能性がある人は、北京がそうでないと判断しない限り、中国の国民である。たとえ外国で生まれても、中国の血を引いていても、北京はあなたを所有しているかのように考える」。フィナンシャル・タイムズのユアン・ヤンは、中国国家が民族と市民権の区別を「濁す」証拠として、スウェーデンの国籍を持っているにもかかわらず、中国当局が桂民海を中国国民として扱ったことを挙げている。

中国国籍は、放棄を宣言することで放棄することができる。また、海外に居住する中国本土の人が自主的に外国籍を取得した場合も自動的に取り消される。外国人となる香港とマカオの居住者は、領土の入国管理局に国籍変更を明示的に宣言しない限り、引き続き中国国民である。中国とポルトガルの混血のマカオ人は、特に中国とポルトガルの国籍のどちらかを選択できる。ポルトガル国籍を選択するための正式な宣言を提出すると、これらの個人は中国国籍を失う。元中国国籍者は、その後、裁量的に承認されることを条件に、国籍回復を申請することができる。帰化申請と同様に、申請者は外国籍を放棄しなければならない。
中華人民共和国国籍法

中国本土、香港、マカオはすべて中華人民共和国が統治しているが、中国国民は3つの地域すべてに自動的に居住権を持つわけではなく、それぞれの地域で個別の移民政策を維持している。選挙権や移動の自由は、中国本土では「郷」、2つの特別行政区では「居留地」と呼ばれる、中国国民が居住する地域によって決まる。中国の法律では、複数の国籍を持つことは難しいとされているが、香港とマカオはかつてヨーロッパの植民地だったという歴史があるため、多くの住民が何らかの形でイギリスやポルトガルの国籍を持っている。

中華人民共和国国籍法（ちゅうかじんみんきょうわこくこくせきほう、簡: 中华人民共和国国籍法、Zhōnghuá rénmín gònghéguó guójí fǎ）は、中華人民共和国の法律。同国の国籍を取得するための条件が詳細に定められている。外国人の場合は、中国のいずれかの地域に永住しているか、中国国民の直系親族がいる場合に帰化することができる。中華民国の支配地域（いわゆる台湾地域）に対する中国の現存する主張のため、台湾地域の住民も中国国民とみなされる。
中華人民共和国国籍法
Section: 権利と制限

中国本土の法執行機関は、恣意的逮捕および拘留に対する名目上の憲法上の保護にもかかわらず、逮捕状または司法当局からの明示的な許可なしに市民を拘留することができる 。政治的反体制者とその家族は、侵襲的な個人監視と自宅軟禁の対象となる。中国本土当局は、海外にいる重要人物を拉致し、強制的に中国に戻すという、中国国民に対する超法規的措置を行うことがある。

香港とマカオの永住権保持者は、それぞれの領土内で無制限に居住・就労できる権利を持っているが、中国本土での自動居住権や雇用権はない。中央政府は、中国国民である居住者に対して、旅行目的の場合は帰国許可証を、中国本土で6ヶ月以上居住または就労する場合は居住許可証を発行します。
環境統計学
Section: 解説

環境的視点から見たとき、必要な統計学の役割は次の記述統計学と推測統計学の２つに要約される。

記述統計学

ばらつきを含んだ多数のデータから、測定の対象となっている事象の特徴を客観的に導き出す方法である。具体的には、度数分布（ヒストグラム）の作成、代表地の算定、ばらつきの程度の算定、相関係数、回帰分析、多変量解析などがある。

推測統計学

対象事象の全体の特徴を推測することが統計学の役割である。推測するための主な方法は、推定と検定である。推定では、標本から得られる特徴をもとに、確率的なばらつきを考慮しながら、母集団の特徴を見極めようとする方法である。検定では、まず標本から得られた知識をもとに、母集団の特徴について何らかの仮説を立てる。次いで、確率論に基づいてその仮説が正しいとみなせるかどうかを検証する方法である。
アバンタイトル (大塚紗英のアルバム)
Section: 演奏

伊藤賢
Bass (#1-4)
Guitar (#2.3.4.6)

外薗雄一：Drums (#1.2.3.5.6)

北村望：Drums (#4)

門脇大輔：Violin, Viola (#3)

室屋光一郎、徳永友美、高橋和葉：1st Violin (#4)

石亀協子、相川麻里子：2nd Violin (#4)

菊地幹代、島岡智子：Viola (#4)

奥泉貴圭：Cello (#4)

森本練：Bass (#5.6)

佐藤厚仁：Guitar (#5)
長野公足
Section: 官歴

注記のないものは『続日本紀』による

時期不詳：従六位下

天平勝宝4年（752年） 正月30日：外従五位下（越階）

天平勝宝7歳（755年） 3月1日：山田史から広野連に改氏姓

天平勝宝9歳（757年） 5月20日：従五位下（内位）。5月26日：広野連から長野連に改姓か

天平宝字3年（759年） 11月16日：見越前員外介

時期不詳：君足から公足に改名か

天平宝字5年（761年） 日付不詳：見越前員外介。6月26日：従五位上（光明皇太后周忌御斎会供奉）。10月1日：丹後守
長野公足
Section: 経歴

淳仁朝初頭の天平宝字2年（758年）11月に東大寺写経所より油6斗2升を長野連が銭3貫430文で購入し、同じく「長野大夫」が同様のことをしたとの記録があるが、いずれも公足のことを指すか。翌天平宝字3年（759年）11月に従五位下・越前員外介の官位にあった際に、造宮輔・中臣丸張弓らとともに保良宮の造営に派遣されるが、同年12月には在京とも見える。

なお、このころに君足から公足と改名していると見られるが、巨勢公成などの場合と同じく、天平宝字3年（759年）10月に打ち出された「君」の文字を民の姓から除くという藤原仲麻呂の政策によるもの推定される。天平宝字5年（761年）6月に光明皇太后の1周忌の御斎会に供奉した労により、文室大市・国中公麻呂とともに爵1級を与えられ、公足は従五位上に叙せられた。同年10月に丹後守に任ぜられると、翌天平宝字6年（762年）因幡守に遷るなど、淳仁朝で地方官を歴任した。
長野公足
Section: 山田君足と長野君足の同一人物について

山田君足と長野君足は以下理由により同一人物とみられる。

長野氏（長野連）は山田氏（山田宿禰）と同じく忠意を祖とする同族である（『新撰姓氏録』）。

同一人物と仮定して経歴に矛盾がない。
史料上、山田（広野）君足は天平勝宝9歳（757年）5月20日以前のみ現れ、長野君足は天平宝字3年（759年）11月16日以降のみ現れる。
位階（従五位下）が一致している。

広野君足が最後に史料に現れる天平勝宝9歳（757年）5月20日からまもない同年5月26日勅において、天皇および后と同じ名の氏や名を名乗ることが禁じられている。これにより、持統天皇の国風諡号である高天原広野姫天皇を避けて、広野から長野と改姓した可能性が高い。
新幹線ビルディング
Section: 概要

2011年、不動産実業家の麦島善光が同社から一帯の土地を購入。

2021年7月3日、熱海市伊豆山土石流災害が発生。同年7月23日、被害者の会「熱海市盛り土流出事故被害者の会」が設立され、新幹線ビルディングの責任を追及することを表明。同年8月17日、被害者の会の遺族らが天野二三男を熱海署に刑事告発した。

不動産管理会社の小田原市内の関係先を訪ねた経験がある熱海市の男性によると、当時の社長である天野は、地元住民や行政とのやりとりで指定暴力団の関係者であることをちらつかせていた。また、2009年の時点で盛土に不備があることを確認しており、盛土の工事変更届は図面無しや空欄があるものでも受理されたことが発覚した。
ホマトロピン

ホマトロピン(Homatropine)は、抗コリン薬である。ムスカリン性アセチルコリン受容体のアンタゴニストで、副交感神経系に作用する。毛様体筋麻痺や散瞳のために目薬に用いられる。

類似の化合物であるホマトロピンメチルブロミドは、別の薬効を持つ。

アトロピンと比べると、効能は弱く、効き目が持続する時間も短い。臭化水素酸塩として入手できる。

アトロピンの代替としても用いられ、間接的なコリン様作用（抗アセチルコリンエステラーゼ）に関連するムスカリン性、また中枢神経系作用の逆転を引き起こす。
アイス・ロード
Section: プロット

熟練のトラックドライバーのマイクは、腕の立つ整備士だがイラク戦争でPTSDによる失語症を患った弟ガーティと生活していた。家族想いだが気性の荒いマイクは、弟を馬鹿にする者を許さず、暴力沙汰を起こしては弟を連れて職を転々としていた。ゴールデンロッドによる募集を見たマイクは、成功報酬でケンワースの大型トラックを購入し、個人事業主になろうと弟と共に応募する。一方、アメリカ先住民で白人に強い敵意を抱くも、優れた女トラック運転手であるタントゥーも、元上司のゴールデンロッドに声を掛けられ、閉じ込められた労働者の中に兄コディーがいることも知って参加を決める。

カナダ北部マニトバ州のカトカ鉱山にてガス爆発が起き、26人の鉱山労働者が閉じ込められる崩落事故が発生した。救助のため、坑内の酸素が枯渇する30時間以内にアメリカの施設から岩盤に穴を穿つ「抗口装置」（ウェルヘッド）を運ぶ必要が生じる。そのためには凍結したウィニペグ湖を走る通称「アイス・ロード」を通過する必要があるのだが、既に春先で氷は緩み、30トンの大型トラックで輸送することは危険な任務であった。カトカ社より依頼を受けた熟練のトラック運送屋ジム・ゴールデンロッドは破格の成功報酬20万ドルの提示と、人脈を駆使して急ぎ人員を揃えようとする。
アイス・ロード
Section: 登場人物・キャスト

マーカス・トーマス（松川裕輝）

整備士。マイクの弟。イラク戦争に従事し、PTSDから失語症を患っている。整備士としての腕前は高い。

シックル

マット・マッコイ

カトカ社のゼネラルマネージャーでカトカ鉱山の運営責任者。

ランバード

ホルト・マッキャラニー（松川裕輝）

カトカ鉱山の現場責任者。崩落に巻き込まれる。作業員たちのリーダーシップをとる。

コディー

マーティン・センズマイヤー（堀総士郎）

カトカ鉱山の鉱員。タントゥーの異父兄。崩落に巻き込まれる。スカウト経験者で、外部とモールス信号でやり取りする。
日米野球1958
Section: 試合結果

10月30日　第3戦　中日球場　25,000人

11月2日　第6戦　阪急西宮球場　37,000人

11月3日　第7戦　阪神甲子園球場　50,000人

11月4日　第8戦　大阪球場　27,000人

11月6日　第9戦　広島市民球場　15,000人

11月8日　第10戦　平和台球場　20,000人

11月9日　第11戦　下関市営球場　30,000人

11月12日　第12戦　静岡県営草薙野球場　12,000人
小川良介
Section: 年譜

2011年（平成23年）9月 - 独立行政法人農畜産業振興機構総務部長

2012年（平成24年）9月 - 農林水産省大臣官房参事官兼食料産業局

2014年（平成26年）7月 - 消費・安全局総務課長

2006年（平成18年）
2月 - 農林水産省大臣官房参事官兼消費・安全局
8月 - 消費・安全局国際基準課長

2009年（平成21年）5月 - 消費・安全局表示・規格課長

2010年（平成22年）4月 - 独立行政法人農畜産業振興機構企画調整部長
Empathy (上田麗奈のアルバム)
Section: 収録曲

アイオライト
作詞：上田麗奈、作曲・編曲：Kai Takahashi (LUCKY TAPES）

あまい夢
作詞・作曲：ORESAMA、編曲：小島英也

Falling
作曲・編曲：石川智久

ティーカップ
作詞：安藤紗々、作曲・編曲：広川恵一（MONACA）

いつか、また
作詞：RIRIKO、作曲：⼭⽥かすみ、編曲：笹川真⽣

きみどり
作詞・作曲：Chima、編曲：下川佳代

Another
作曲・編曲：石川智久

aquarium
作詞：唐沢美帆、作曲・編曲：⾼橋 諒
関厚
Section: 経歴

2025年（令和7年）1月30日、市職員への威圧的な言動がパワハラと認定された問題（後述）で、市議会は関に対する不信任決議案を賛成15、反対2で可決した。2月5日、関が市議会を解散した。3月21日、新たな勢力の市議会で2度目の不信任決議が可決され、同日付で失職した（後述）。

2021年（令和3年）2月25日、鹿角市長選挙に立候補する意向を表明した。同年6月20日の投開票の結果、会社社長の新人を破って初当選を果たした。

※当日有権者数：25,622人 最終投票率：63.13%（前回比：1.82pts）
関厚
Section: 不祥事

2025年（令和7年）1月24日、弁護士3人でつくる第三者調査委員会は関について暴言など12件をパワハラに認定する報告書を公表した。関は取材に「真摯に受け止め反省したい。減給も含め責任の取り方を考えている」と陳謝する一方、辞任は否定した。

同年1月30日、鹿角市議会は関に対する市長不信任決議案を提出し、賛成15・反対2で可決された。関はこれを受けて、同年2月5日に市議会解散を選択した。

同年3月9日、鹿角市議会選挙が執行され、投開票の結果、当選した議員のうち市長の不信任に賛成の立場の議員が定数18人中14人を占めたため、関の2度目の不信任決議可決が確実となり、市長失職が濃厚となった。
内田雅章 (実業家)
Section: 主な肩書き

関西コレクション 顧問

Miss World JAPAN 顧問

全日本ヨガ連盟 顧問

エステプロ・ラボ アンバサダー

東海青年連絡会 会長

TC出版 代表

日本ビリヤード倶楽部 理事

トビダテ！留学JAPAN サポーター

TOP CONNECT株式会社 CEO

株式会社就職課 創業者

日本スポーツエージェント 会長

学生新聞、中高生新聞、小学生新聞 発行人

アジア経営者連合会 顧問

東京ガールズコレクション 顧問
内田雅章 (実業家)
Section: 経歴

2014年（平成26年）6月、TOP CONNECT株式会社を設立。トップダウン営業支援サービスを展開中。テレビ、雑誌には「人脈の達人」「日本の社長1,000人以上と則アポがとれる人脈力」「日本トップクラスの人脈術を持つ日本屈指のコンサルタント」「1000名以上の経営者とのコネクションと毎年100以上のコンテンツを全国の経営者へ提供」などと紹介される。

そこで培った社長ネットワークを活かして、2004年（平成16年）株式会社就職課を設立。ベンチャー協議会の社長から「学歴は全く関係なくやる気のある学生だけ面接できればとても効率いいのに。そんな会社ないかな。」と相談されたのがキッカケだった。人脈作りのノウハウをベースに講演会や人脈塾、新規事業創出、事業アライアンスのコンサルティング業務を展開。企業研修や講演・執筆など幅広く活動。
内田雅章 (実業家)
Section: 人物

好きなスポーツはゴルフ、テニス

好きな食べものはハンバーグ、カレー、シチュー、豆腐、枝豆、納豆

好きな本は『サラリーマン金太郎』『サンクチュアリ』『編集者という病い』『課長島耕作』

好きな言葉は「人生の持ち時間は限られている」「苦労と理不尽は神様のプレゼント」「人生やったもん勝ち」「人に生かされて生きている」

小学校時代は昆虫が大好きだった。授業中、机の中でカマキリ、カブトムシを飼うほど。内田家の勉強方針はユニークでテストの点数につき報奨金を貰える制度を取り入れていた。100点をとると、小学校の時は200円、中学の時は5,000円、毎回テストが楽しみだった
日米野球1960
Section: 試合結果

10月22日　第1戦　東京スタジアム　33,000人

10月23日　第2戦　後楽園球場　36,000人

10月24日　第3戦　後楽園球場　34,000人

10月26日　第4戦　札幌市円山球場　28,000人

10月28日　第5戦　県営宮城球場　28,000人

10月29日　第6戦　後楽園球場　32,000人

10月30日　第7戦　後楽園球場　35,000人

11月1日　第8戦　県営富山球場　28,000人
フランチェスコ・マリーア・デッラ・ローヴェレの肖像
Section: 制作経緯

1536年のフランチェスコ・マリーア1世・デッラ・ローヴェレの書簡から、この肖像画はヴェネツィアで制作されたことが知られている。ティツィアーノによる制作をより現実のものとするため、公爵は自身のドイツ風の甲冑を細部まで描けるようにとティツィアーノの工房に送った。そして1538年に十分な時間が経過したのでその返還を要求した。制作はボローニャでの戴冠式（1530年）でヴェネツィア人を率いて神聖ローマ皇帝カール5世から公に称賛され、フランチェスコ・マリーアの名声が高まった後に行われた。

戴冠式当時、ティツィアーノはボローニャにいたが、その際にフランチェスコ・マリーアが肖像画の制作を要求した可能性はほとんどない。近年のX線撮影が示しているように、ティツィアーノはすでに素描されていたキャンバスを再利用して制作した。ティツィアーノがモデルを直接見ずに制作することは珍しいことではなく、例としては、画家に送られた簡単な素描に基づいて制作されたパラティーナ美術館の『ジュリア・ヴァラーノの肖像』（Portrait of Giulia Varano）が挙げられる。
日米野球1962
Section: 試合結果

11月4日　第5戦　阪急西宮球場　30,000人

11月5日　第6戦　中日球場　26,000人

11月6日　第7戦　阪神甲子園球場　15,000人

11月7日　第8戦　大阪球場　14,886人

11月8日　第9戦　東京スタジアム　13,000人

10月27日　第1戦　東京スタジアム　27,000人

10月30日　第2戦　後楽園球場　32,000人

10月31日　第3戦　後楽園球場　39,500人

11月1日　第4戦　札幌市円山球場　20,000人
村上早
Section: グループ展

2015年「トーキョーワンダーウォール公募2015 入選作品展」（東京都現代美術館）

2015年「シェル美術賞展2015」（国立新美術館）

2016年「絵画のゆくえ2016 FACE受賞作家展」（東郷青児記念損保ジャパン日本興亜美術館）

2016年「VOCA展2016 現代美術の展望－新しい平面の作家たち」（上野の森美術館）

2018年「放輕松 動漫謬想的秘密花園」（銀川當代美術館、中国）

2019年「上田市立美術館コレクション展　版表現の魅力」（上田市立美術館）
キュリオ・シティ
Section: 概要

てにをはが手掛ける楽曲の特徴である韻を踏んだ表現の多用、歌詞の言葉遊びが取り入れられている。例えば、好奇心を意味する「Curiocity」という英単語を「Curio」と「City」に分割し、「珍品街」と読ませている。

2021年4月10日より期間限定で行われた初音ミクとドン・キホーテのコラボレーション企画のイメージ楽曲として発表された、VOCALOIDの初音ミク、鏡音リン、鏡音レンを使用した楽曲。ハウス感のある曲調とノリの良い電子的な音色のビートが特徴的である。
日光御用邸
Section: 朝陽館

明治天皇の皇女は先天的に虚弱であり夭折が相次いだことと、当時コレラなどの伝染病が都度都度流行していたから、都会から離れた日光を避暑地とし、1880年（明治21年）生まれの常宮と1890年（明治23年）生まれの周宮は御用邸となる前の1890年から毎年避暑利用していた。明治期の画家である村田香谷の「日光御旅館御運動之図（明治23年）」と「二荒山神社境内之図（明治24年）」に描かれている赤い衣服の女児が両内親王であると考えられてる。

日光東照宮迎賓館「朝陽館」

木造平屋建で一部2階建て、1階部分が236坪、2階部分が17坪で、客間25席（うち2席は2階）。正面玄関の車寄せは旧日光東照宮社務所など比べて奥行きが短く、江戸時代の名残を留めている。明治20年6月には輪王寺宮に仕えていた者の紹介で外国人2名が宿泊している。
日光御用邸
Section: 栃木県による借受

1957年（昭和32年）頃から1960年（昭和35年）の間は、従来旧田母沢御用邸にて展示されていた植物や昆虫などを、日光博物館として廃業した日光パレスホテルの建物を利用し地理室、植物室、昆虫室、動物室映写兼講堂と売店、付属食堂・休憩所を備え、団体での予約があれば夜間も公開していた。1960年頃までに閉館となり、展示物は再び旧田母沢御用邸の一角で展示されるようになった。

終戦後に従来の金谷ホテルと日光観光ホテル、日光レークサイドホテルなど外国人も宿泊可能であったホテルが進駐軍に接収されたため、軍人以外の外国人が宿泊できる施設が日光には無い状態になった。貿易庁からバイヤー用宿舎の確保の要請もあったことから1947年（昭和22年）10月15日より栃木県観光協会が栃木県より借受け、外国人バイヤー用の「日光パレスホテル」として整備して営業を開始した。前述の各ホテルが1952年（昭和27年）接収解除後も営業を続けたが、1957年（昭和32年）9月に廃業した。
日光御用邸
Section: 御用邸時代

1899年（明治32年）、近くに皇太子用の日光田母沢御用邸が完成してからも、日光御用邸を皇族が利用した。

1944年（昭和19年）5月からは、義宮の疎開先とされた。

終戦により御用邸は廃止されたが、それを見越して栃木県は借用を申請し（昭和21年）10月1日に宮内省より借用許可された。田母沢御用邸、田母沢御用邸付属邸とともに、1947年（昭和22年）7月に皇室から物納され、大蔵省所有となった。

前述のように1893年9月に皇室に買い上げられ、日光御用邸となった。

1896年（明治29年）皇太子時代の大正天皇が7月28日から2ヶ月滞在し帰京時に保晃会に金100円を下賜。皇太子はこの滞在時に日光を気に入り、体調も良好であったことから、皇太子のための新たな御用邸が計画された、大正天皇の日光行啓は11回、行幸は13回であった。
キャッスルトップ
Section: 戦績

5歳初戦となった船橋記念で12着と大敗し、続く2戦も着外となっていたが3月の日吉オープンでは2着と好走する。しかし、この後は全く振るわず、6歳シーズン途中の2024年10月に高知・宮川真衣厩舎へ移籍することになった。

4歳初戦は中央の（GII）アメリカジョッキークラブカップに挑戦し初めての芝のレースに出走する。鞍上の仲野は初めての中央出走となった。初芝ながら果敢に逃げたものの勝ち馬から6.2秒離された最下位の14着に終わった。その後は南関東重賞を中心に使われるも勝ち星を挙げることはなかった。
三日厨

中央から派遣された役人に対する饗応行為は大化の改新直後の東国国司の派遣の時から問題となっており、律令法における戸令（国郡条）を始めとして朝廷や幕府は度々禁令を出してきた。しかし、現実には国司やその使者が現地に派遣された際の慣行となり、それどころか国司が現地入りの際に一定の供給を受けるのは権利であると解釈する明法家の説も現れた。更に、荘園の拡大と共に荘園領主やその使者、鎌倉時代に入って荘園に設置された地頭が現地に赴いた場合に対しても行われるようになっていった。

通常、落付（おちつき）、すなわち目的に到着の際に三日厨が行われるのが一般的であったが、段階に応じて行われる場合もあり、元徳元年（1329年）に美濃国小木曽荘に領主から検注のための使者が派遣された際には、境界に到着した際の境迎（さかむかい）、目的地に到着した際の落付、その後の昼食として出される昼垸飯（ひるおうはん）の3つに分けて行っている。
TLA+
Section: 歴史

彼が実用的な仕様方法を模索した結果として1983年に論文「Specifying Concurrent Programming Modules」が生まれた。この論文では、状態遷移をプライム変数と非プライム変数のブール値関数として記述するというアイデアが導入されている。 その模索は1980年代に継続され、ランポートは1990年にアクションの時相論理に関する論文群の発表を開始した。しかし、1994年に「アクションの時相論理」が発表されるまでは正式には導入されなかった。 TLAは、時間式でのアクションの使用を可能にした。これは、ランポートによれば、「並行システム検証で使用されるすべての推論を形式化および体系化するための洗練された方法を提供する。」とされている。

ランポートは、スーザンオウィッキが主催したスタンフォードでの1978年のセミナーで、プヌーリのLTLに最初に遭遇しました。ランポートによると「時相論理は、実用化されそうもなく抽象的で無意味だと確信していたが、楽しそうだったので参加した。」 との事であったが、1980年に彼は「'Sometime' is Sometimes 'Not Never'」を出版し、時相論理の文献で最も頻繁に引用される論文の1つとなった。  ランポートは、SRI在籍中に時相論理仕様の作成に取り組んだが、このアプローチは実用的ではないとわかった。
TLA+

TLA+は、アルゴリズムと数学的定理の両方について、マシンでチェックされた正確性の証明を作成するためにも使用される。証明は、単一の定理証明者バックエンドに依存しない宣言型の階層スタイルで記述される。公式および非公式の構造化された数学的証明は、TLA+で記述できる。言語はLaTeXに似ており、TLA+のコードをLaTeXドキュメントに翻訳するためのツールが存在する。

TLA+のコードは形式言語で記述するため、有限モデル検査に適する。モデルチェッカーは、いくつかの実行ステップまでのすべての可能なシステム動作を見つけ、安全性や活性などの望ましい不変性プロパティの違反を調べる。 TLA+のコードでは、基本的な集合論を使用して安全性（悪いことが起こらない事）を定義し、時相論理を使用して活性（良いことがいずれ起こる事）を定義する。
TLA+
Section: 言語

State predicate – ブール値の状態関数

Invariant – 到達可能なすべてのStateで真とする状態述語

Temporal formula – 時相論理のステートメントを含む式

Next-state relation – 変数が任意のStepでどのように変化するかを説明する関係

State function – Next-state relationではない変数と定数を含む式
イ・ジョンハ
Section: 来歴

子供の頃からダンスと歌が好きで、中学生の頃、JYPエンターテインメントにスカウトされ、練習生をしていたが周りとの実力の差を感じて退社した。その後、俳優が多く所属する芸能事務所のナムアクターズに入る。練習生の機会から逃げた後悔とアイドルになりたいという想い、そして事務所の勧めもあって、2017年にKBS2で放送されたサバイバルオーディション番組「The Unit～アイドル再起プロジェクト」に挑戦した。最終順位は19位とデビューすることはできなかった。

俳優デビュー作は、2017年に配信されたウェブドラマ「심쿵주의（→シムクン（胸キュン）注意）」である。2018年には「やめろと言われると余計にやりたくなる19」でマ・テヒ役を、2019年には「여행담（→旅行談）」や「フレッシュマン：アウトサイダーのインサイダー挑戦記」と数多くのウェブドラマに出演した。
徐湛之
Section: 生涯

元嘉27年（450年）、文帝が北魏の討伐の開始を計画すると徐湛之はこれに賛同し、これによりこの北伐に反対した将軍の沈慶之を説き伏せるよう命じられた。しかしこの北伐は大失敗に終わり、逆に南朝宋の都の建康の目前にまで進軍を許す大失態となった。

元嘉30年（453年）2月、文帝が皇太子の劉劭を廃する意向を固めると、これを知った劉劭が弟の劉濬と共に事変を起こした。その夜、文帝と共に談義を行っていた徐湛之は、侵入してきた武装した劉劭の兵達によって文帝共々暗殺された。享年44歳の事であった。その後、劉劭を討伐したその弟の劉駿（孝武帝）が皇帝に即位すると、徐湛之は名誉を回復され忠烈公と諡された。
Stories (Ms.OOJAのアルバム)
Section: 概要

近藤くみことMs.OOJAは同じ三重県四日市市出身、中学校は別々だったが同学年でソフトテニス部であったため、ソフトテニスの大会で何度も顔を合わせた旧知の仲だった。上京後再会してからの縁が今回の共作に至った。

真矢みきとMs.OOJAとの出会いは真矢みきが宝塚歌劇団として出演したテレビ番組「水曜歌謡祭」であったが、個人的に親しくなるきっかけとなったのは遊助のライブで偶然隣り合わせたことだった。

浅尾美和とMs.OOJAとの出会いは同じ三重県出身のバドミントン選手小椋久美子を介してであった。
田母沢御用邸付属邸
Section: 概要

戦後は国民宿舎としての使用を目的とし栃木県に借用され、主に修学旅行生の宿泊に用いられていた。1948年（昭和23年）6月、後述の日光国立公園観光会社に引き継がれる。1954年（昭和29年）4月、御用邸本邸が「日光田母沢本館」と称されたので「田母沢別館」に改称

付属邸時代の建物は老朽化により1978年（昭和53年）に取り壊され、翌1979年（昭和54年）に鉄筋コンクリート3階建てが新築された。その後は田母沢会館（1987年に日光田母沢ホテルと改称）として使用されていたが、2006年（平成18年）に閉業し、2008年（平成20年）に建物は取り壊された。
ルイ＝フィリップ・クレパン
Section: 略歴

パリで生まれた、4年間、水兵として操舵手(Helmsman)や艢楼手(gabier)を経験した後、画家を目指し、クロード・ジョセフ・ヴェルネに海洋画、ユベール・ロベールに風景画を学んだ。1796年にパリの展覧会にブレスト港の艦隊を描いた作品を出展した。

フランス復古王政の海事・植民地大臣になったローラン・グーヴィオン＝サン＝シールから1817年に、政府の海洋画家として働くことを依頼され、その職についたが、フランスの海軍提督の公式画家にアンブロワーズ・ルイ・ガルヌレが任命され、クレパンの得ていた地位は権威のないものになっていた。
結城林蔵
Section: 経歴

1900年、当時蔵前にあった東京高等工業学校（現東京科学大学理工学系）で写真技術を講じ、東京高等工業学校助教授の身分で1902年11月29日より1905年3月25日まで、文部省留学生としてドイツおよびオーストリアで写真技術を学ぶ。

帰国後、東京高等工業学校教授を経て、1914年、上野の東京美術学校（現東京藝術大学）に写真製版科が新設されたのに伴い、同校教授同科科長に就任する。エッチングなどの指導を行った。同年、東京写真研究会審査員となる。