hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
環境統計学 解説
環境的視点から見たとき、必要な統計学の役割は次の記述統計学と推測統計学の２つに要約される。
記述統計学
ばらつきを含んだ多数のデータから、測定の対象となっている事象の特徴を客観的に導き出す方法である。具体的には、度数分布（ヒストグラム）の作成、代表地の算定、ばらつきの程度の算定、相関係数、回帰分析、多変量解析などがある。
推測統計学
対象事象の全体の特徴を推測することが統計学の役割である。推測するための主な方法は、推定と検定である。推定では、標本から得られる特徴をもとに、確率的なばらつきを考慮しながら、母集団の特徴を見極めようとする方法である。検定では、まず標本から得られた知識をもとに、母集団の特徴について何らかの仮説を立てる。次いで、確率論に基づいてその仮説が正しいとみなせるかどうかを検証する方法である。
アバンタイトル (大塚紗英のアルバム)
『アバンタイトル』は、日本のシンガーソングライター大塚紗英のメジャー1枚目のミニ・アルバム。2020年2月26日にavex traxから発売された。
アバンタイトル (大塚紗英のアルバム) 概要
初のアルバム作品。
『BanG Dream!』の花園たえ (Poppin'Party)役として活動している大塚紗英のソロデビュー作品。
アバンタイトル (大塚紗英のアルバム) タイアップ
What's your Identity?
テレビアニメ『エッグカー』主題歌
長野公足
長野 公足（ながの の きみたり、生没年不明）は、奈良時代中期の貴族。名は君足とも記される。氏姓は山田史のち広野連、長野連。官位は従五位上・因幡守。
長野公足 経歴
孝謙朝の天平勝宝4年（752年）従六位下から四階昇進して外従五位下の叙位を受ける。天平勝宝7歳（755年）山田史から広野連に改氏姓する。天平勝宝9歳（757年）内位の従五位下に叙せられ、のち広野連から長野連に改姓したか（後述）。
淳仁朝初頭の天平宝字2年（758年）11月に東大寺写経所より油6斗2升を長野連が銭3貫430文で購入し、同じく「長野大夫」が同様のことをしたとの記録があるが、いずれも公足のことを指すか。翌天平宝字3年（759年）11月に従五位下・越前員外介の官位にあった際に、造宮輔・中臣丸張弓らとともに保良宮の造営に派遣されるが、同年12月には在京とも見える。
なお、このころに君足から公足と改名していると見られるが、巨勢公成などの場合と同じく、天平宝字3年（759年）10月に打ち出された「君」の文字を民の姓から除くという藤原仲麻呂の政策によるもの推定される。天平宝字5年（761年）6月に光明皇太后の1周忌の御斎会に供奉した労により、文室大市・国中公麻呂とともに爵1級を与えられ、公足は従五位上に叙せられた。同年10月に丹後守に任ぜられると、翌天平宝字6年（762年）因幡守に遷るなど、淳仁朝で地方官を歴任した。
長野公足 山田君足と長野君足の同一人物について
山田君足と長野君足は以下理由により同一人物とみられる。
広野君足が最後に史料に現れる天平勝宝9歳（757年）5月20日からまもない同年5月26日勅において、天皇および后と同じ名の氏や名を名乗ることが禁じられている。これにより、持統天皇の国風諡号である高天原広野姫天皇を避けて、広野から長野と改姓した可能性が高い。
新幹線ビルディング
株式会社新幹線ビルディング（しんかんせんビルディング）は、神奈川県小田原市の不動産会社。熱海市伊豆山土石流災害の原因を作った組織の一つとされる。
新幹線ビルディング 概要
静岡県熱海市伊豆山の別荘地開発を行っていた前身のジィーズ株式会社を解散後、1999年（平成11年）6月31日に神奈川県小田原市本町二丁目2番4号IBOビル（現・高万ビル）1階で創立。
2003年（平成15年）8月31日、小田原駅西口の小田原駅前分譲共同ビル（通称・新幹線ビル、小田原市城山1-4-1、1975年竣工）に本社を移転。
2021年（令和3年）2月1日、本社を旧小田原給食センター跡地に移転。同年7月3日、熱海市伊豆山土石流災害が発生。
歴代の社長は神奈川県の自民党の支持母体である同和団体「自由同和会」の神奈川県本部の幹部がつき、社長の天野二三男も自由同和会神奈川県本部会長を務めていた。同和ビジネス企業である。国の公認3同和団体と各都道府県ごとに公認団体が異なる。そのため、神奈川県では自由同和会と全日本同和会の部分が異なり、神奈川県公認は全日本同和会（旧自民系）、部落解放同盟（社会党・民主系）、人権連（共産系）で非公認同和団体にも関わらず、「公認3団体ではないから要望は難しい」といった場合、「同和団体に差をつける気か？うちも真面目に活動しているのに差別じゃないか!」と黙らせ、神奈川県から静岡県までビジネス範囲としていた。
2001年頃から、静岡県熱海市伊豆山の社有地で、宅地分譲開発を始めた。
新幹線ビルディング 概要
2007年（平成19年）、「建設残土の処分」を目的に、静岡県土採取等規制条例に基づき盛り土の工事を熱海市に届け出た。同年、台風4号が発生した際に、7月15日に同地内の水道施設に土砂が流入する被害が発生。これをめぐり、所有者として土砂や流木の除去をするよう熱海市から「お願い文書」が出されたが、これに対して当該社は「これは自然災害だから我々はやる気がない」旨回答し、何もしなかった。本件に関して、同年8月7日の市議会建設公営企業委員会において、その理由を問われたのに対し、当時の熱海市水道温泉課長は「新幹線ビルディングそのものが同和系列の会社でございまして、ちょっと普通の民間会社と違いますので、その辺でそういうふうな回答が来たんだというふうに考えております」と答弁した。
2008年、熱海市日金町で宅地9区画を造成するための開発事業計画審査願を同市に提出した。造成段階で対象面積が施工計画より拡大し、コンクリート、レンガ、ビニール、プラスチック、ガラスなどの産業廃棄物を含む残土や廃自動車も埋まっていたため、静岡県と熱海市が廃棄物の撤去や土砂搬入の中止を繰り返し同社に要請したが、土地所有者が変わるまでに従わなかった。
2011年、不動産実業家の麦島善光が同社から一帯の土地を購入。
新幹線ビルディング 概要
2021年7月3日、熱海市伊豆山土石流災害が発生。同年7月23日、被害者の会「熱海市盛り土流出事故被害者の会」が設立され、新幹線ビルディングの責任を追及することを表明。同年8月17日、被害者の会の遺族らが天野二三男を熱海署に刑事告発した。
不動産管理会社の小田原市内の関係先を訪ねた経験がある熱海市の男性によると、当時の社長である天野は、地元住民や行政とのやりとりで指定暴力団の関係者であることをちらつかせていた。また、2009年の時点で盛土に不備があることを確認しており、盛土の工事変更届は図面無しや空欄があるものでも受理されたことが発覚した。
被害を甚大にしたのは土石流の起点近くにあった盛土の崩落が要因とみられ、同和利権と暴力団関係者であることを背景に行政を恫喝し、盛土を作った社長の天野の責任を問う声がある。
天野二三男 - 2005年（平成17年）8月8日～（自由同和会 神奈川本部会長。なお事件後、同会からは除名とのこと）
なお天野は2000年（平成12年）1月に、静岡県御殿場市にあった「御殿場高原ログハウス村」の経営破綻を受け、右翼団体幹部らと債権回収妨害を起こして強制執行妨害などで逮捕された他、2009年（平成21年）には違法風俗店への組織的な犯罪の処罰及び犯罪収益の規制等に関する法律（組織的犯罪処罰法）違反（犯罪収益等収受）容疑で逮捕されている。
ホマトロピン
ホマトロピン(Homatropine)は、抗コリン薬である。ムスカリン性アセチルコリン受容体のアンタゴニストで、副交感神経系に作用する。毛様体筋麻痺や散瞳のために目薬に用いられる。
類似の化合物であるホマトロピンメチルブロミドは、別の薬効を持つ。
アトロピンと比べると、効能は弱く、効き目が持続する時間も短い。臭化水素酸塩として入手できる。
アトロピンの代替としても用いられ、間接的なコリン様作用（抗アセチルコリンエステラーゼ）に関連するムスカリン性、また中枢神経系作用の逆転を引き起こす。
アイス・ロード
『アイス・ロード』（The Ice Road）は2021年に配信されたアメリカ合衆国のアクションスリラー映画。脚本・監督はジョナサン・ヘンズリー、出演はリーアム・ニーソンとローレンス・フィッシュバーンなど。凍った湖面をトラックで激走する危険な仕事に挑むことになった5人の男女を描いている。
氷上版『恐怖の報酬』との指摘がある。
アイス・ロード プロット
カナダ北部マニトバ州のカトカ鉱山にてガス爆発が起き、26人の鉱山労働者が閉じ込められる崩落事故が発生した。救助のため、坑内の酸素が枯渇する30時間以内にアメリカの施設から岩盤に穴を穿つ「抗口装置」（ウェルヘッド）を運ぶ必要が生じる。そのためには凍結したウィニペグ湖を走る通称「アイス・ロード」を通過する必要があるのだが、既に春先で氷は緩み、30トンの大型トラックで輸送することは危険な任務であった。カトカ社より依頼を受けた熟練のトラック運送屋ジム・ゴールデンロッドは破格の成功報酬20万ドルの提示と、人脈を駆使して急ぎ人員を揃えようとする。
熟練のトラックドライバーのマイクは、腕の立つ整備士だがイラク戦争でPTSDによる失語症を患った弟ガーティと生活していた。家族想いだが気性の荒いマイクは、弟を馬鹿にする者を許さず、暴力沙汰を起こしては弟を連れて職を転々としていた。ゴールデンロッドによる募集を見たマイクは、成功報酬でケンワースの大型トラックを購入し、個人事業主になろうと弟と共に応募する。一方、アメリカ先住民で白人に強い敵意を抱くも、優れた女トラック運転手であるタントゥーも、元上司のゴールデンロッドに声を掛けられ、閉じ込められた労働者の中に兄コディーがいることも知って参加を決める。
アイス・ロード プロット
ゴールデンロッドはトラック3台による同時輸送計画を立て、自身とマイク、タントゥーの3名を運転手として出発する。ガーティはマイクのトラックに同乗しており、また、タントゥーのトラックにもカトカ社から依頼を受けた保険会社の担当者トム・バルネイが同乗していた。順調な旅に見えたが2日目の昼、突如、ゴールデンロッドのトラックのエンジンが故障して立ち往生し、その対応中に氷が割れて彼はトラックと共に湖に沈む。バルネイは中止して引き返すことを提案するが、マイクとタントゥーは引き返す方が危険だとして、このまま任務を続行することを決める。バルネイは、マイクに近寄ると報酬を独り占めしたいタントゥーがエンジンに細工した可能性があると警告する。
実は鉱山事故は、カトカ社のゼネラルマネージャーで、鉱山の運営責任者であるシックルが営利目的で密かに警報装置を切るように命令していた人災であった。そのため、彼は救助によってそれが明るみになることを恐れていた。そこでシックルは「抗口装置」の輸送失敗による救助失敗というシナリオを立て、バルネイに命じて妨害を企てていた。ゴールデンロッドのエンジンに細工したのはバルネイであり、チームに疑心暗鬼の種をまこうとしていた。
アイス・ロード プロット
やがてバルネイは本性を現し、マイクのトラックにダイナマイトを仕掛けて湖に落とし、タントゥーを拘束して彼女のトラックで走り去る。マイクとガーティは危機一髪で助かり、バルネイの後を追う。バルネイは最後の仕上げとして事故に見せかけてトラックごとタントゥーを崖に落とそうと企てるもマイクたちが追いつく。激しい攻防戦の末、マイクはトムをトレーラーヘッドの中で倒しそのまま氷が割れ始めた川の中に走り始めトムはトレーラーヘッドと共に水没やっとの思いでトムを倒した。その後、マイクは弟と負傷したタントゥーを載せ、残った1台で鉱山へと向かう。最後の難所である古い橋を渡るもこれが崩落し、トラックを守るためにガーティが亡くなる。
多くの犠牲を払いながらも制限時間ぎりぎりにマイクは鉱山へとたどり着く。急ぎ救助活動が始まり、何とか鉱員たちは助かる。真実を知ったカトカのCEOはシックルの解雇を命令し、彼は逮捕される。逮捕の間際、マイクは彼を殴りつける。
3ヶ月後、タントゥーはゴールデンロッドの工場で整備士として働いていた。そこにちょうど、報酬を元手にケンワースの大型トラックを購入して順風満帆な個人事業主に転身したマイクがやってくる。そのトラックのナンバープレートにはガーティがトラックに名付けようとしていた「TRK TRK TRK」（トラック・トラック・トラック）の文字が入っていた。
アイス・ロード 登場人物・キャスト
※括弧内は日本語吹替。
マイク・マッキャン
リーアム・ニーソン（谷昌樹）
熟練のトラックドライバー。腕はあるが気性が激しく、弟の件もあって転職が多い。
ジム・ゴールデンロッド
ローレンス・フィッシュバーン（玄田哲章）
運送会社の経営者。自身も熟練のトラックドライバー。カトカ社の依頼を受け、アイスロード運転手の募集を出す。
トム・バルネイ
ベンジャミン・ウォーカー（虎島貴明）
保険会社社員。カトカ社の依頼を受け、今回の任務の支払いを担当する。輸送チームへの参加を希望し、タントゥーの車両に乗る。
タントゥー
アンバー・ミッドサンダー（田村睦心）
アメリカ先住民の若い女性。白人に強い敵意を抱き、事件を起こして警察署に収監されている。しかし、トラックドライバーとして腕は立つ。
アイス・ロード 登場人物・キャスト
ガーティ・マッキャン
マーカス・トーマス（松川裕輝）
整備士。マイクの弟。イラク戦争に従事し、PTSDから失語症を患っている。整備士としての腕前は高い。
シックル
マット・マッコイ
カトカ社のゼネラルマネージャーでカトカ鉱山の運営責任者。
ランバード
ホルト・マッキャラニー（松川裕輝）
カトカ鉱山の現場責任者。崩落に巻き込まれる。作業員たちのリーダーシップをとる。
コディー
マーティン・センズマイヤー（堀総士郎）
カトカ鉱山の鉱員。タントゥーの異父兄。崩落に巻き込まれる。スカウト経験者で、外部とモールス信号でやり取りする。
トマソン
マット・サリンジャー
カトカ社CEO。鉱山に閉じ込めれた従業員たちの身を案じる。
アイス・ロード 製作
2019年8月22日、ジョナサン・ヘンズリー監督の新作映画にリーアム・ニーソンが出演することになったと報じられた。2020年2月、ローレンス・フィッシュバーンがキャスト入りすると共に、本作の主要撮影がカナダのウィニペグで始まった。2021年3月29日、マックス・アルジが本作で使用される楽曲を手掛けるとの報道があった。6月25日、本作のサウンドトラックとスコアアルバムが発売された。
アイス・ロード 公開・マーケティング
2020年2月20日、本作の劇中写真が初めて公開された。2021年3月1日、Netflixが本作の全米配信権を1800万ドルで購入したと報じられた。5月18日、本作のオフィシャル・トレイラーが公開された。
アイス・ロード 評価
本作に対する批評家の評価は平凡なものに留まっている。映画批評集積サイトのRotten Tomatoesには71件のレビューがあり、批評家支持率は42%、平均点は10点満点で4.8点となっている。サイト側による批評家の見解の要約は「この作品に出演したからと言って、リーアム・ニーソンが一流のアクションスターであるとの評価が揺らぐことはない。しかし、『アイス・ロード』はここ数年のニーソン主演作と同じ欠点、つまり、ストーリーの展開が最初から最後まで予測できてしまうという欠点を有している。」となっている。また、Metacriticには24件のレビューがあり、加重平均値は42/100となっている。
臭化水素酸塩
臭化水素酸塩(Hydrobromide)は、臭化水素酸がアミン等の有機塩基と反応した結果生じる酸性塩である。塩酸塩と類似している。
エレトリプタン等、いくつかの薬品は、臭化水素酸塩の形で販売される。
伊藤清人
伊藤 清人（いとう きよと、9月20日 - ）は、日本の声優。山形県出身。ラディウス所属。以前はEARLY WINGに所属していた。
日米野球1958
1958日米野球は、「日米野球」の1958年大会である。
日米野球1958 試合結果
10月24日　第1戦　後楽園球場　25,000人
10月25日　第2戦　後楽園球場　30,000人
10月27日　第3戦　県営宮城球場　25,000人
10月28日　第4戦　札幌市円山球場　30,000人
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人
11月13日　第13戦　茨城県営堀原公園野球場　20,000人
11月15日　第14戦　後楽園球場　25,000人
11月16日　第15戦　後楽園球場　40,000人
第23回朝日オープン将棋選手権
第23回朝日オープン将棋選手権（だい23かいあさひオープンしょうぎせんしゅけん）は、2004年度に開催された朝日オープン将棋選手権である（五番勝負の決着は2005年度）。挑戦者決定戦では、山崎隆之六段が深浦康市八段に勝利し、羽生善治朝日オープン選手権者への挑戦を決めた。五番勝負では、羽生善治朝日オープン選手権者が3勝0敗で2連覇を果たした。
塩化ピリジニウム
塩化ピリジニウム(Pyridinium chloride)は、化学式C5H5NHClの有機化合物である。
塩化ピリジニウム 合成
塩化ピリジニウムは、ピリジンが溶解したジエチルエーテルに塩酸を通すことにより得られる。反応は、以下のとおりである。
塩化ピリジニウム 酸性度
ピリジニウムイオンを含む塩化ピリジニウムのpKaは約5であり、典型的なアミンと比べて若干酸性である。これは、窒素原子の軌道混成のためで、窒素原子がSP3混成軌道にあるアンモニウムイオンと比べ、ピリジニウムイオンでは窒素原子がSP2混成軌道にあり、より電気陰性である。そのため、アミンよりも強い酸となり、塩基により脱プロトン化しやすくなる。
小川良介
小川 良介（おがわ りょうすけ、1962年〈昭和37年〉7月2日 - ）は、日本の農林水産官僚。
小川良介 来歴
1962年（昭和37年）7月2日、神奈川県相模原市で出生。横浜市で育ち、聖光学院中学校・高等学校を経て、1987年（昭和62年）3月、東京大学法学部を卒業。同年4月、農林水産省へ入省。
消費・安全局総務課調査官、同局消費・安全政策課国際室長、同局国際基準課長、同局表示・規格課長、同局総務課長、農林水産省大臣官房参事官、政策統括官付参事官、農林水産省大臣官房審議官などを歴任。この他農畜産業振興機構で企画調整部長、総務部長を務めた。
2019年（令和元年）7月8日、内閣府食品安全委員会事務局長に就任。
2021年（令和3年）7月1日、農林水産省消費・安全局長に就任。
2022年（令和4年）6月28日、大臣官房付へ異動。同年7月1日、農林水産審議官に就任。
2024年（令和6年）7月5日、退職。同日、顧問に就任。
2025年（令和7年）3月11日、JA共済総合研究所理事長に就任。
大明皇妃 -Empress of the Ming-
『大明皇妃 -Empress of the Ming-』（だいみんこうひ エンプレス・オブ・ザ・ミン、原題：大明风华、英題：Ming Dynasty）は、2019年の中国のテレビドラマ。総製作費100億円。
大明皇妃 -Empress of the Ming- 概要
明朝・宣徳帝の治世、国家存亡の危機を救った孝恭章皇后の生涯を描く中国歴史ドラマ。
日本語字幕翻訳は鳥居怜子、植田里依ら。
大明皇妃 -Empress of the Ming- あらすじ
建文4年（1402年）燕王は、南京城で建文帝の忠臣を粛清し（靖難の役）帝位を簒奪する。両親を殺され妹と生き別れた景若微は、孫愚将軍に引き取られて逆賊の一味となり、復讐のために皇帝暗殺を企てる。
Empathy (上田麗奈のアルバム)
『Emphathy』（エンパシー）は、上田麗奈の2枚目のアルバム。2020年3月18日にLantisから発売された。
関厚
関 厚（せき あつし、1954年〈昭和29年〉2月14日 - ）は、日本の政治家、技術士。前鹿角市長（1期）。
関厚 経歴
鹿角市生まれ。秋田県立花輪高等学校、京都大学農学部林学科卒業。1976年（昭和51年）、農林水産省に入省した。農水省では、林野庁基盤整備課長、中部森林管理局長などを歴任した。2006年（平成18年）、農水省を退職し日本森林技術協会に勤務する。2017年（平成29年）に日本森林技術協会を退職し、帰郷して木の価格を評価、調査する仕事に従事するようになる。
2021年（令和3年）2月25日、鹿角市長選挙に立候補する意向を表明した。同年6月20日の投開票の結果、会社社長の新人を破って初当選を果たした。
※当日有権者数：25,622人 最終投票率：63.13%（前回比：1.82pts）
2025年（令和7年）1月30日、市職員への威圧的な言動がパワハラと認定された問題（後述）で、市議会は関に対する不信任決議案を賛成15、反対2で可決した。2月5日、関が市議会を解散した。3月21日、新たな勢力の市議会で2度目の不信任決議が可決され、同日付で失職した（後述）。
2025年4月27日執行の出直し市長選挙となる鹿角市長選挙に立候補した。関のほか新人候補4人を含む5人の選挙戦となったが、投開票の結果、新人で元鹿角市議の笹本真司に約500票差で敗れ、次点で落選した。
※当日有権者数：23,446人 最終投票率：58.41%（前回比：4.72pts）
関厚 不祥事
2024年（令和6年）6月11日、鹿角市議会で「市長の言動がパワハラ的なものに感じた」鹿角市幹部職員の議会での発言を受け職員へ無記名のアンケートを実施。8月21日に結果が公表され、「パワハラやパワハラ的な言動を受けたことがあるか」の問いでは、「ある」が25人、「目撃した」が50人に上り、計29.5%がパワハラ的な言動があったと答えた。具体的な記述では、「俺の言うことを聞かないやつは懲戒免職にしてやる」、「おまえ、退職金をもらえなくしてやろうか」など、脅しともとれる高圧的な発言もあった。 また、「市長への発言やコミュニケーションが十分にできず、建設的な議論が難しい」、「職員に責任転嫁するかのような発言もあり、トップとして資質に欠ける」など、市の業務に影響が出ているとする回答もあった。
内田雅章 (実業家)
内田 雅章（うちだ まさあき、1970年9月8日 - ）は実業家 、作家、講演家、「学生新聞」発行人、ビジネスプロデューサー、舞台プロデューサー、TOP CONNECT株式会社 代表取締役社長。2011年 東久邇宮国際文化褒賞受賞。愛知県津島市出身、早稲田大学商学部卒業。血液型はO型。
内田雅章 (実業家) 経歴
1970年（昭和45年）、愛知県津島市生まれ。戦前から続く津島駅近くのレディースショップの長男として生まれる（6歳離れた妹）。自宅と店舗が同じで店番の手伝いをしていた。服は問屋で母が選んでくれて20歳で初めて服を自分で買ったという。レディースショップ創業者の祖父の影響で将棋に夢中な子供だった。小学校では津島市の大会で第3位、中学校では優勝をする腕前。高校3年間は将棋部に所属。得意な戦法は四間飛車、将棋から「集中力」「記憶力」「発想力」を学んだ。
1990年（平成2年）早稲田大学商学部に入学。ゴルフとオールラウンドのサークルを掛け持つ。ゴルフは現在も好きだが、オールラウンドサークルの上下関係を受け入れることができず、2年生の5月に自分で別のオールラウンドサークルを作る。先輩風を吹かさず、参加する女性の意見を取り入れながら企画を実行した結果、大人気サークルになる。
内田雅章 (実業家) 経歴
早稲田大学卒業後、三和銀行（現・三菱UFJ銀行）入行。いつか商売をしたいと思った内田は、直接社長と話ができる銀行員の道を選んだ。人脈作りの基礎を学ぶ。システム部、東京本部審査部等を経て、2000年（平成12年）に退行。友人がたまたま仕出し弁当屋とマンションデベロッパーを経営しており、両社同時に手伝うと言う条件で、No.2として2足のわらじを履く。2001年（平成13年）銀座のクラブのオーナーに転身。内田が大切にしてきた『人に先に貢献することで、他人がどんどん味方になってくれる』と言うことを学ぶ。お客に気に入ってもらいたいと言う強い信念で毎日接客。そのアイディアと行動力が評価されて、日本ベンチャー協議会にヘッドハント。事務局長に就任した。
そこで培った社長ネットワークを活かして、2004年（平成16年）株式会社就職課を設立。ベンチャー協議会の社長から「学歴は全く関係なくやる気のある学生だけ面接できればとても効率いいのに。そんな会社ないかな。」と相談されたのがキッカケだった。人脈作りのノウハウをベースに講演会や人脈塾、新規事業創出、事業アライアンスのコンサルティング業務を展開。企業研修や講演・執筆など幅広く活動。
2014年（平成26年）6月、TOP CONNECT株式会社を設立。トップダウン営業支援サービスを展開中。テレビ、雑誌には「人脈の達人」「日本の社長1,000人以上と則アポがとれる人脈力」「日本トップクラスの人脈術を持つ日本屈指のコンサルタント」「1000名以上の経営者とのコネクションと毎年100以上のコンテンツを全国の経営者へ提供」などと紹介される。
著書に『図解「人脈力」の作り方』『すごい! 人間関係力』『政治屋失格』『5つの仕事力』『伝説の就活』『すごい! ビジネスモデル』など38冊。発行人の「学生新聞」は全国850校の大学へ10万部発刊する。
内田雅章 (実業家) 略歴
現在は「企業マッチング」を主としたコンサルティングを展開
内田雅章 (実業家) 人物
交友録にコシノジュンコ、北原照久、元プロボクサーで世界チャンピオン（3階級制覇）亀田興毅、森友嵐士（T-BOLAN）、広瀬香美、アデランス社長 津村佳宏、日本テレビ副会長 小杉善信、ニトリ社長 白井俊之、HIS会長 澤田秀雄、吉野家社長 河村泰貴、ドトールコーヒー名誉会長 鳥羽博道、C Channel社長 森川亮、ロイヤルホールディングス会長の菊地唯夫をあげている
日米野球1960
1960日米野球は、「日米野球」の1960年大会である。
日米野球1960 試合結果
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人
11月3日　第9戦　阪急西宮球場　30,000人
11月5日　第10戦　大阪球場　20,000人
11月6日　第11戦　阪神甲子園球場　40,000人
11月8日　第12戦　平和台球場　17,000人
11月9日　第13戦　下関市営球場　20,000人
11月10日　第14戦　広島市民球場　30,000人
11月16日　第15戦　中日球場　25,000人
11月13日　第16戦　静岡県営草薙野球場　23,000人
張藍心
張 藍心（ジャン・ランシン、チャン・ランシン、1986年7月21日 - ）は、中華人民共和国の女優。元中国国家テコンドーチームの選手。北京市出身。
張藍心 経歴
1986年7月21日、北京市で生まれる。北京体育大学を卒業。
2012年、ジャッキー・チェン監督・主演の『ライジング・ドラゴン』のボニー役で本格的に俳優デビュー。2015年、李承鉉と『黄金福将』で共演した。2016年、『スキップ・トレース』『レイルロード・タイガー』で再びジャッキー・チェンと共演。2017年にはアーロン・クォック、チャオ・リーインが主演する『密戦』に秋山雅子役として出演。
フランチェスコ・マリーア・デッラ・ローヴェレの肖像
『フランチェスコ・マリーア・デッラ・ローヴェレの肖像』（伊: Ritratto di Francesco Maria Della Rovere, 英: Portrait of Francesco Maria della Rovere）は、イタリア、ルネサンス期のヴェネツィア派の巨匠ティツィアーノ・ヴェチェッリオが1536年から1538年に制作した肖像画である。油彩。ウルビーノ公爵フランチェスコ・マリーア1世・デッラ・ローヴェレを描いた作品で、公爵夫人の肖像画と対作品となっており、肖像画家としてのティツィアーノの技術が最も成功した作例の1つとして知られる。デッラ・ローヴェレ家、メディチ家のコレクションを経て、現在はフィレンツェのウフィツィ美術館に所蔵されている。
フランチェスコ・マリーア・デッラ・ローヴェレの肖像 制作経緯
1536年のフランチェスコ・マリーア1世・デッラ・ローヴェレの書簡から、この肖像画はヴェネツィアで制作されたことが知られている。ティツィアーノによる制作をより現実のものとするため、公爵は自身のドイツ風の甲冑を細部まで描けるようにとティツィアーノの工房に送った。そして1538年に十分な時間が経過したのでその返還を要求した。制作はボローニャでの戴冠式（1530年）でヴェネツィア人を率いて神聖ローマ皇帝カール5世から公に称賛され、フランチェスコ・マリーアの名声が高まった後に行われた。
戴冠式当時、ティツィアーノはボローニャにいたが、その際にフランチェスコ・マリーアが肖像画の制作を要求した可能性はほとんどない。近年のX線撮影が示しているように、ティツィアーノはすでに素描されていたキャンバスを再利用して制作した。ティツィアーノがモデルを直接見ずに制作することは珍しいことではなく、例としては、画家に送られた簡単な素描に基づいて制作されたパラティーナ美術館の『ジュリア・ヴァラーノの肖像』（Portrait of Giulia Varano）が挙げられる。
フランチェスコ・マリーア・デッラ・ローヴェレの肖像 制作経緯
エレオノーラ・ゴンザガの肖像画は1536年1月に考案され、1536年9月からヴェネツィアに公爵夫人が滞在した際に制作された。フランチェスコ・マリーアのそれは同年の春から夏に始まり、遅く1538年までに完了しなければならなかった。ウフィツィ美術館（n.20767）の素描版画部門には公爵の全身像の素描が所蔵されているが、おそらく、肖像画の最初の構想は、男性の肖像画を妻の肖像画と一致させるために破棄された。これは女性の全身像の肖像画がまだイタリアで一般的でなかったためである。作品はほぼ正方形の画面に、おそらく公爵の鎧を着た工房の見習いから作られた習作をもとに描かれた。
フランチェスコ・マリーア・デッラ・ローヴェレの肖像 作品
公爵が選んだポーズは、かつてティツィアーノがマントヴァのドゥカーレ宮殿で制作し、今日ではエングレーヴィングでのみ知られているカール5世の肖像画を覚えていたことを思わせる。上半身像の公爵は鎧を着て、胴体をわずかにねじり、右手でつかんだ司令官の杖（ヴェネツィア共和国によって得られた将軍の象徴）を腰に乗せ、左腕を剣の柄の近くで伸ばしている。
フランチェスコ・マリーア・デッラ・ローヴェレの肖像 作品
鑑賞者に向けて固定された視線は、頭部を壁の暗い背景に配置する構図によって強調され、身体の残りの部分の背景には、棚を覆う赤いベルベットのドレープが配置されている。棚の上には壮麗な造形のドラゴンの紋章（アラゴン家との関係を暗示する）と白い羽毛飾りを持つ公爵の兜と、その他の元帥の杖が置かれている。そのうちの1つには教皇領の記章があり、もう1つにはフィレンツェ共和国の記章がある。これらの中には明らかな紋章と王朝の意味を持つオークの枝がある。この切断された二又に分かれた枝はモンテフェルトロ家の断絶後にデッラ・ローヴェレ家がウルビーノの領地を取得したことを暗示するかのように、新しい葉を芽吹かせている。また枝には公爵のモットーの1つである「SE SIBI」（「己のみ」の意）が記された小さなカルトゥーシュが巻きつけられている。これはフランチェスコ・マリーア自身とその家族のために戦うという公爵の意志を仄めかしている。したがって、4本の棒はヴェネツィア、フィレンツェ、教皇、そして「彼自身」、つまりペーザロ＝ウルビーノ公国の軍隊の長である公爵の輝かしい軍事的キャリア全体を象徴している。儀式的なポーズにもかかわらず、公爵の肖像画はその人間的な強さで印象的である。肌は歳月の経過を見せているが、モデルを醜くする代わりに、勇気や、魂の高潔さ、誇り、知恵、名誉などの特徴を増幅させている。公爵の顎髭と黒い髪に囲まれた顔は注意深く研究された光で輝いている。
ティツィアーノは筆遣いを様々な素材の効果に合わせて変化させている。たとえば、兜の羽毛の場合は素早く、背景の棚の赤いベルベットは粗くペースト状に、肌は厚く溶け合うように、また滑らかな白のタッチで鎧の輝きの効果を与えている。
この作品はピエロ・デッラ・フランチェスカ（1465年-1472年頃）の『フェデリーコ・ダ・モンテフェルトロの肖像』と比較され、ウルビーノ公国の政治的および文化的視点において生じた大きな変化を要約している。15世紀のピエロ・デッラ・フランチェスカの肖像画に描かれた背景の広い視野が明るく穏やかな小宇宙を暗示しているのに対し、次の世紀のティツィアーノの肖像画では、公爵は、まるで新しい偉大な大陸間の帝国の間でその領土が危険にさらされる中、隅にまで縮小されたかのように、軍のシンボルで囲まれた部屋に描かれている。
フランチェスコ・マリーア・デッラ・ローヴェレの肖像 来歴
おそらく1537年にヴェネツィアで半ば完成した状態のフランチェスコ・マリーアの肖像画を見たピエトロ・アレティーノは、ヴェロニカ・ガンバラに宛てた手紙の中で肖像画を賞賛し、「彼のすべてのしわ、すべての髪、すべての兆候、そして彼を描いた色彩は肌の大胆ささえ示していません。しかしそれらは魂の活力を露わにします」と書いた。公爵の肖像画は『エレオノーラ・ゴンザガの肖像』とともに、1538年春にペーザロのドゥカーレ宮殿に届けられた。その後、17世紀にウルビーノ公国の最後の子孫であり、フェルディナンド2世・デ・メディチと結婚したヴィットーリア・デッラ・ローヴェレの持参金の一部としてフィレンツェに移された。
日米野球1962
1962日米野球は、「日米野球」の1962年大会である。
日米野球1962 試合結果
10月27日　第1戦　東京スタジアム　27,000人
10月30日　第2戦　後楽園球場　32,000人
10月31日　第3戦　後楽園球場　39,500人
11月1日　第4戦　札幌市円山球場　20,000人
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人
11月9日　第10戦　広島市民球場　8,000人
11月10日　第11戦　平和台球場　20,000人
11月11日　第12戦　下関市営球場　15,000人
11月13日　第13戦　静岡県営草薙野球場　10,000人
11月14日　第14戦　栃木県総合運動公園野球場　13,000人
11月15日　第15戦　県営宮城球場　32,000人
11月17日　第16戦　後楽園球場　39,000人
11月18日　第17戦　東京スタジアム　29,000人
11月20日　第18戦　後楽園球場　19,000人
村上早
村上 早（むらかみ さき、1992年 - ）は、日本の銅版画家。
村上早 来歴
群馬県高崎市生まれで実家は動物病院。
高崎市立高崎経済大学附属高等学校を卒業後、2010年に武蔵野美術大学に入学し銅版画を始める。同大学院在学中の2015年に「FACE 2015 損保ジャパン日本興亜美術賞」優秀賞、「第6回山本鼎版画大賞展」大賞、「トーキョーワンダーウォール賞」の連続受賞で注目を集める。2016年に同大学院造形研究科修士課程美術専攻版画コース修了。故郷の高崎市にアトリエを構える。
村上早 作風
心の傷を銅版画特有の工程に重ねて紡ぎ、「私にとって銅の版は〈人の心〉で、付ける傷は〈心的外傷〉、傷に詰めるインクは〈血〉、刷り取る紙は〈包帯やガーゼ〉なのです」と痛みやトラウマを主なモチーフとする。動物をモチーフにした作品、とくに犬も多い。
キュリオ・シティ
「キュリオ・シティ」は、音声合成ソフトの初音ミク・鏡音リン・鏡音レン歌唱のVOCALOID楽曲。同年のコラボレーション企画「初音ミク×ドン・キホーテ」の新規書き下ろしとして、2021年3月19日、日本のボカロP・てにをはによって発表された。
キュリオ・シティ 概要
2021年4月10日より期間限定で行われた初音ミクとドン・キホーテのコラボレーション企画のイメージ楽曲として発表された、VOCALOIDの初音ミク、鏡音リン、鏡音レンを使用した楽曲。ハウス感のある曲調とノリの良い電子的な音色のビートが特徴的である。
てにをはが手掛ける楽曲の特徴である韻を踏んだ表現の多用、歌詞の言葉遊びが取り入れられている。例えば、好奇心を意味する「Curiocity」という英単語を「Curio」と「City」に分割し、「珍品街」と読ませている。
2021年3月19日にYouTubeの初音ミク公式チャンネルにミュージック・ビデオが投稿され、2021年7月14日にKARENTによって各種音楽ストリーミング・サービスにおける配信が開始された。
てにをははコラボレーションに当たり、「ドン・キホーテさんとのコラボということで好奇心をテーマに『キュリオ・シティ』という曲を一筆書きしてみました。好奇心は猫を殺すと言いますが、一方で好奇心が不安や恐怖を打ち負かすこともあるわけで、まさに妙薬苦薬です。この曲がドキドキしながら新しい物を買おうとしている人や、恐々とでも次の一歩を踏み出そうとしている人（あるいは猫）のための良きBGMになれば幸いです。」とメッセージを寄せている。
キュリオ・シティ 映像作品
ミュージック・ビデオのイラストはLAMによるものである。一輪の薔薇を手に持つ初音ミク、棒付き飴を持つ鏡音リン、スマートフォンを持つ鏡音レンがそれぞれ横を向いて立っているイラストが主に用いられている。ポップアートの影響を感じさせる彩度が対照的な暗色を採用したイラストにより楽曲のポップな雰囲気が表現されている。
駐日モーリタニア大使館
駐日モーリタニア大使館（ちゅうにちモーリタニアたいしかん、アラビア語: سفارة موريتانيا في اليابان、英語: Embassy of Mauritania in Japan）は、モーリタニアが日本の首都東京に設置している大使館である。在東京モーリタニア大使館（アラビア語: سفارة موريتانيا في طوكيو、英語: Embassy of Mauritania in Tokyo）とも呼ばれる。
1960年にモーリタニアがフランスから独立した後、同年11月29日、日本とモーリタニアの間で国交が樹立される。北京の在中華人民共和国大使館による兼轄を経て、1989年7月、東京に駐日モーリタニア大使館が開設された。
駐日モーリタニア大使館 所在地
2019年4月より、下記の住所で運営されている。旧住所は「東京都品川区北品川5-17-5」であった。
駐日モーリタニア大使館 大使
2024年1月17日より、シディヤ・エル・ハージュ特命全権大使を務めている。
ANSWER (Ms.OOJAの曲)
「Answer」（アンサー）は、Ms.OOJAの通算9枚目のシングル。2013年5月22日にUniversal Sigmaから発売された。
ANSWER (Ms.OOJAの曲) 概要
「Answer」はMs.OOJAのマキシシングル。表題曲に加えて、2ndアルバム「Voice」収録曲「Baby Don't Know Why」のMitomi Tokotoによるリミックス、槇原敬之の「遠く遠く」のカバーが収録された。
「Answer」の作曲はEXILEやJUJUなどの楽曲を手掛けたこともあるJin Nakamura。ミュージックビデオには俳優の中尾明慶が出演し、かつて女性にモテるサラリーマンだった男が引きこもりのダメンズになってボロボロになった姿を演じた。制作にあたっては女性リスナーから「私の周りの愛すべきダメ男」についてのエピソードを募集し、その中からいくつかのエピソードがミュージックビデオに織り込まれた。
楽曲はTBS系列「ひるおび!」2013年5月度エンディングテーマに使用された。
日光御用邸
日光御用邸（にっこうごようてい）とは、かつて栃木県日光市山内にあった御用邸である。地名から山内御用邸（さんないごようてい）とも呼ばれる。日光東照宮朝陽館を買い上げて御用邸とした。戦後御用邸は廃止され、栃木県が借用しホテルなどとして使用された。2023年現在、建物は輪王寺本坊として現存している。
日光御用邸 朝陽館
1640年（寛永18年）に東照宮の将軍御殿が移築されたが、1684年（貞享元年）に火事で焼失後は御殿跡地として、空き地であった。広大な空き地であった御殿跡の有効活用策として、明治になり日光を訪れる参拝客や観光客が増加したので、1885年（明治18年）に東照宮の別当大楽院の表書院移築し、皇室や政府関係者向けの貴賓館とする案が浮上、1886年（明治19年）4月に樹木伐採などの敷地整備着手、同月末には移築前の旧大楽院（東照宮別当）の取り壊し開始、6月に移築し、8月11日に朝陽館竣工。
日光東照宮迎賓館「朝陽館」
木造平屋建で一部2階建て、1階部分が236坪、2階部分が17坪で、客間25席（うち2席は2階）。正面玄関の車寄せは旧日光東照宮社務所など比べて奥行きが短く、江戸時代の名残を留めている。明治20年6月には輪王寺宮に仕えていた者の紹介で外国人2名が宿泊している。
明治天皇の皇女は先天的に虚弱であり夭折が相次いだことと、当時コレラなどの伝染病が都度都度流行していたから、都会から離れた日光を避暑地とし、1880年（明治21年）生まれの常宮と1890年（明治23年）生まれの周宮は御用邸となる前の1890年から毎年避暑利用していた。明治期の画家である村田香谷の「日光御旅館御運動之図（明治23年）」と「二荒山神社境内之図（明治24年）」に描かれている赤い衣服の女児が両内親王であると考えられてる。
日光御用邸 買収
1892年（明治25年）11月頃には、宮内省が朝陽館とその敷地を買収する動きがあり、1893年（明治26年）5月に内部決済し、8月16日に栃木県を介して、朝陽館とその敷地の買収を完了。9月に東照宮と保晃会より土地と建物を受領し、10月に御料地となった。
買収された理由として、敷地の周囲を石垣と杉の老木に囲まれ外部と隔絶した安心安全な場であり、一部2階建ての朝陽館は、御用邸としても好条件であった。
日光御用邸 栃木県による借受
終戦後に従来の金谷ホテルと日光観光ホテル、日光レークサイドホテルなど外国人も宿泊可能であったホテルが進駐軍に接収されたため、軍人以外の外国人が宿泊できる施設が日光には無い状態になった。貿易庁からバイヤー用宿舎の確保の要請もあったことから1947年（昭和22年）10月15日より栃木県観光協会が栃木県より借受け、外国人バイヤー用の「日光パレスホテル」として整備して営業を開始した。前述の各ホテルが1952年（昭和27年）接収解除後も営業を続けたが、1957年（昭和32年）9月に廃業した。
栃木県は大蔵省に日光の旧御用邸3邸の無償貸付を大蔵省に申請したが、国は是としなかったため、県として払い下げ購入を決定し、1949年12月県議会に上程予定であったが、同月26日の今市地震で甚大な被害が生じたため、借用を継続することとなった。
1957年（昭和32年）頃から1960年（昭和35年）の間は、従来旧田母沢御用邸にて展示されていた植物や昆虫などを、日光博物館として廃業した日光パレスホテルの建物を利用し地理室、植物室、昆虫室、動物室映写兼講堂と売店、付属食堂・休憩所を備え、団体での予約があれば夜間も公開していた。1960年頃までに閉館となり、展示物は再び旧田母沢御用邸の一角で展示されるようになった。
日光御用邸 払下げ
1960年（昭和35年）5月に旧日光御用邸は、大蔵省より二社一寺に払い下げられ、1962年（昭和37年）より輪王寺寺務所として使用された。建物は輪王寺本坊として2023年現在現存している。
キャッスルトップ
キャッスルトップ（欧字名:Castle Top、2018年4月20日 - ）は、日本の競走馬。2021年のジャパンダートダービーの勝ち馬である。
キャッスルトップ 戦績
2020年10月2日、船橋競馬場のアマリネデビューでデビューし、2着。その後、2戦するが10着、2着と勝ちきれず2歳シーズンを終える。3歳に入っても勝ち切れないレースが続いたが、5月13日浦和競馬場の3歳四組戦で初勝利を挙げる。6月のツイントップ特別と水無月特別を連勝して臨んだジャパンダートダービーでは単勝129.5倍、13頭立ての12番人気で出走し、レースでは好スタートから先手を取ると、最後の直線では外から追ってきたゴッドセレクションとウェルドーンを振り切って、4連勝で重賞初勝利をJpnI競走制覇で飾った。地方所属馬のジャパンダートダービー勝利はヒガシウィルウィン以来4年ぶり。また、鞍上の仲野光馬はこれが初の重賞勝利となった。さらに100ｍの距離延長となった戸塚記念は1番人気に推されたが6着に敗れる。盛岡競馬場に遠征して出走したダービーグランプリは5着に終わった。初の古馬相手とのレースとなった東京大賞典は13着と惨敗した。
キャッスルトップ 戦績
4歳初戦は中央の（GII）アメリカジョッキークラブカップに挑戦し初めての芝のレースに出走する。鞍上の仲野は初めての中央出走となった。初芝ながら果敢に逃げたものの勝ち馬から6.2秒離された最下位の14着に終わった。その後は南関東重賞を中心に使われるも勝ち星を挙げることはなかった。
5歳初戦となった船橋記念で12着と大敗し、続く2戦も着外となっていたが3月の日吉オープンでは2着と好走する。しかし、この後は全く振るわず、6歳シーズン途中の2024年10月に高知・宮川真衣厩舎へ移籍することになった。
キャッスルトップ 競走成績
以下の内容は、JBISサーチ、netkeiba.com、地方競馬全国協会に基づく。表中J交（JRA条件交流競走）の出走条件は指定交流競走#各地の名称（由来）を参照。
三日厨
三日厨（みっかくりや/みかぐり）とは、古代から中世の日本において政治的上位者が地方などに派遣された際に現地にいる下位者が上位者に対して饗応や贈答する行為のこと。3夜連続（すなわち3日間）にわたって供給（食事や宿の準備などの便宜）が行われるのが慣例であったためにこの名前がある。
中央から派遣された役人に対する饗応行為は大化の改新直後の東国国司の派遣の時から問題となっており、律令法における戸令（国郡条）を始めとして朝廷や幕府は度々禁令を出してきた。しかし、現実には国司やその使者が現地に派遣された際の慣行となり、それどころか国司が現地入りの際に一定の供給を受けるのは権利であると解釈する明法家の説も現れた。更に、荘園の拡大と共に荘園領主やその使者、鎌倉時代に入って荘園に設置された地頭が現地に赴いた場合に対しても行われるようになっていった。
通常、落付（おちつき）、すなわち目的に到着の際に三日厨が行われるのが一般的であったが、段階に応じて行われる場合もあり、元徳元年（1329年）に美濃国小木曽荘に領主から検注のための使者が派遣された際には、境界に到着した際の境迎（さかむかい）、目的地に到着した際の落付、その後の昼食として出される昼垸飯（ひるおうはん）の3つに分けて行っている。
三日厨に使われる物資を調達するために臨時雑役や公事の名目で現地の住民からの徴収が行われ、事実上の租税と同じとなっていた。
TLA+
TLA+は、Leslie Lamportによって開発された形式仕様言語。並行システムと分散システムの設計、モデル化、文書化、および検証に使用される。 TLA+は、網羅的にテスト可能な擬似コードとして説明されており、その使用はソフトウェアシステムの設計図を描くことに喩えられる。  TLAはTemporal Logic of Actionsの頭字語である。
設計と文書化に関して、TLA+ は非公式の技術仕様と同じ目的を果たす。ただし、TLA+の仕様は論理学と数学の形式言語で記述されており、この言語で記述された仕様の精度は、システムの実装が始まる前に設計上の欠陥を明らかにすることを目的としている。
TLA+のコードは形式言語で記述するため、有限モデル検査に適する。モデルチェッカーは、いくつかの実行ステップまでのすべての可能なシステム動作を見つけ、安全性や活性などの望ましい不変性プロパティの違反を調べる。 TLA+のコードでは、基本的な集合論を使用して安全性（悪いことが起こらない事）を定義し、時相論理を使用して活性（良いことがいずれ起こる事）を定義する。
TLA+
TLA+は、アルゴリズムと数学的定理の両方について、マシンでチェックされた正確性の証明を作成するためにも使用される。証明は、単一の定理証明者バックエンドに依存しない宣言型の階層スタイルで記述される。公式および非公式の構造化された数学的証明は、TLA+で記述できる。言語はLaTeXに似ており、TLA+のコードをLaTeXドキュメントに翻訳するためのツールが存在する。
TLA+は、並行システムの検証方法に関する数十年の研究の後、1999年に公開された。その後、IDEや分散モデルチェッカーなどのツールチェーンが開発された。擬似コードのような言語PlusCalは2009年に作成され、TLA+にトランスパイルされ、シーケンシャルアルゴリズムを記述する際に有用とされる。 TLA+2は2014年に発表され、プルーフコンストラクトの言語サポートを拡張した。現在のTLA+リファレンスは、LeslieLamportによるTLA+Hyperbookである。
TLA+ 歴史
現代の時相論理は、1957年にアーサー・プライアーによって開発され、当時は時制論理と呼ばれていた。アミール・プヌーリが、コンピュータサイエンスへの時相論理の適用を真剣に研究した最初の人物だったが、アーサー・プライアーは1967年の10年前に既にその使用について予測していた。
プヌーリは、コンピュータープログラムの指定と推論における時相論理の使用を研究し、1977年に線形時相論理を導入した。 線形時相論理は、排他制御やデッドロックの解決などの特性を簡単に表現する、並行プログラムの分析のための重要なツールとなった。
TLA+ 歴史
プヌーリの線形時相論理に関する研究と同時に、学者はマルチプロセスプログラムの検証のためにホーア論理を一般化するために取り組んでいた。レスリー・ランポートは、ピアレビューで相互排除について提出した論文に誤りが見つかった後、この問題に関心を持つようになった。 Ed Ashcroftは、1975年の論文「Proving Assertions About Parallel Programs」で不変性を紹介した。これは、Lamportが1977年の論文「Proving Correctness of Multiprocess Programs」でFloydの方法を一般化するために使用した。ランポートの論文はまた、部分正当性と終了の一般化として、それぞれ安全性と活性を紹介した。 この方法は、EdsgerDijkstraによる1978年の論文で最初の同時ガベージコレクションアルゴリズムを検証するために使用された。
TLA+ 歴史
ランポートは、スーザンオウィッキが主催したスタンフォードでの1978年のセミナーで、プヌーリのLTLに最初に遭遇しました。ランポートによると「時相論理は、実用化されそうもなく抽象的で無意味だと確信していたが、楽しそうだったので参加した。」 との事であったが、1980年に彼は「'Sometime' is Sometimes 'Not Never'」を出版し、時相論理の文献で最も頻繁に引用される論文の1つとなった。  ランポートは、SRI在籍中に時相論理仕様の作成に取り組んだが、このアプローチは実用的ではないとわかった。
彼が実用的な仕様方法を模索した結果として1983年に論文「Specifying Concurrent Programming Modules」が生まれた。この論文では、状態遷移をプライム変数と非プライム変数のブール値関数として記述するというアイデアが導入されている。 その模索は1980年代に継続され、ランポートは1990年にアクションの時相論理に関する論文群の発表を開始した。しかし、1994年に「アクションの時相論理」が発表されるまでは正式には導入されなかった。 TLAは、時間式でのアクションの使用を可能にした。これは、ランポートによれば、「並行システム検証で使用されるすべての推論を形式化および体系化するための洗練された方法を提供する。」とされている。
TLA+ 歴史
TLAの仕様は、ほとんどが通常の非時相論的数学で構成されていたが、Lamportは、純粋な時間的仕様よりも煩わしさが少ないと発見した。 TLAは、1999年に論文「Specifying Concurrent Systems with TLA+」で紹介され、TLA+の仕様記述言語としての数学的基礎を提供した。同じ年の後半に、YuanYuはTLA+仕様のTLCモデルチェッカーを作成した。 TLCは、Compaqマルチプロセッサのキャッシュコヒーレンスプロトコルのエラーを見つけるために使用された。
ランポートは、2002年に「Specifying Systems：TLA+ Language and Tools for Software Engineers」というタイトルの+に関する完全な教科書を発行した。  PlusCalは2009年に導入され 、TLA+プルーフシステム（TLAPS）は2012年、 TLA+2は2014年に発表され、いくつかの言語構造が追加され、プルーフシステムの言語内サポートが大幅に増加した。  ランポートは、更新されたTLA+のリファレンスである「The TLA+ Hyperbook」の作成に取り組んでいる。未完成な作品は彼の公式ウェブサイトから入手できる。Lamportは、TLA+ビデオコースも作成している。このコースでは、「プログラマーとソフトウェアエンジニアにTLA+コードの記述方法を教える入門から始まる一連のビデオレクチャーを作りかけている」と説明されている。
TLA+ 言語
TLA+コードは複数のモジュールからなる。モジュールは、他のモジュールを拡張（インポート）して、その機能を使用できる。 TLA+標準はタイプセット数学記号で指定されているが、既存のTLA+ツールは、ASCIIでLaTeXのような記号定義を使用する。 TLA+では、定義が必要ないくつかの用語を使用する。
TLA+は、すべての正しいシステム動作のBehaviorを定義することを目的としている。例えば、0と1の間で際限なく刻々と変化する1ビットクロックは、次のように記述できる。
Relation Tickはクロックが1であればclock'（次のStateにおけるclockの値）は0、0であれば1を設定する。clockの値が0または1の場合、State PredicateであるInitはtrueである。 Specは、1ビットクロックのすべてのBehaviorが最初にInitを満たし、すべてのStepがTickに一致するか、Shuttering stepである必要があることをアサートするTemporal formulaである。そのような2つの動作は次の通りである。
1ビットクロックの安全性は –到達可能なシステム状態の集合 –という仕様によって適切に説明される。
TLA+ 言語
上記の仕様では、1ビットクロックの奇妙な状態は許可されていないが、クロックが常に変化するとは言っていない。たとえば、次のような永続的なShuttering stepが起こりうる。
変化しない時計は役に立たないので、これらの振る舞いは禁止されるべきである。 1つの解決策はShuttering stepを無効にする事であるが、TLA+では常にShutteringを有効にする必要がある。Shuttering stepは、仕様に記載されていないシステムの一部への変更を表し、改良に有用である。最終的にTickしなければならないクロックを確保するために、弱い公平性がTickのためにアサートできる。
アクションに対する公平性が弱いということは、そのアクションが継続的に有効になっている場合は、最終的に実行する必要があることを意味する。Tickの公平性が弱いため、ティック間で許可されるShuttering stepの数は限られている。 Tickに関するこの時相論理ステートメントは、活性アサーションと呼ばれる。一般に、活性アサーションはマシンで閉じる必要がある。到達可能な状態のセットを制約するのではなく、可能な動作のセットのみを制約する必要がある。