laion/Wikipedia-Exotic huggingface dataset:
冪集合公理

数学における冪集合公理（べきしゅうごうこうり、英: axiom of power set）とは、公理的集合論のツェルメロ＝フレンケルの公理系の一つである。 ツェルメロ＝フレンケルの公理系の形式言語において、この公理は次のように記述される： ∀ A ∃ P ∀ B [ B ∈ P ⟺ ∀ C ( C ∈ B ⇒ C ∈ A ) ] {\displaystyle \forall A\,\exists P\,\forall B\,[B\in P\iff \forall C\,(C\in B\Rightarrow C\in A)]} ここで P は A の冪集合 P ( A ) {\displaystyle {\mathcal {P}}(A)} を表す。この公理を通常の言葉で言い直すと、次のようになる： 任意の集合 A が与えられたとき、ある集合 P ( A ) {\displaystyle {\mathcal {P}}(A)} が存在し、 B のすべての元が A の元でもあるとき、またそのときに限り、 B が P ( A ) {\displaystyle {\mathcal {P}}(A)} に属する。 部分集合関係は公理的に定義されるため、形式言語において部分集合は用いられない。実際、公理はお互い独立なものでなければならない。外延性公理により、上記の集合は一意であり、このことはすべての集合に冪集合が存在することを意味する。 冪集合公理は集合論のほとんどの公理化において現れる。それは一般に問題を生じさせるものではないが、構成的集合論（英語版）においては可述性（predicativity）に関する懸念を解消するためにより弱いバージョンの冪集合公理が好まれている。 冪集合公理は、二つの集合 X {\displaystyle X} と Y {\displaystyle Y} に対し、次のようなデカルト積の簡単な定義を許す： X × Y = { ( x , y ) ;   x ∈ X ∧ y ∈ Y } . {\displaystyle X\times Y=\{(x,y);\ x\in X\land y\in Y\}.} ここで x , y ∈ X ∪ Y , {\displaystyle x,y\in X\cup Y,} { x } , { x , y } ∈ P ( X ∪ Y ) , {\displaystyle \{x\},\{x,y\}\in {\mathcal {P}}(X\cup Y),} ( x , y ) := { { x } , { x , y } } ∈ P ( P ( X ∪ Y ) ) {\displaystyle (x,y):=\{\{x\},\{x,y\}\}\in {\mathcal {P}}({\mathcal {P}}(X\cup Y))} であり、 X × Y ⊆ P ( P ( X ∪ Y ) ) {\displaystyle X\times Y\subseteq {\mathcal {P}}({\mathcal {P}}(X\cup Y))} であるため、このデカルト積は集合であることに注意されたい。 任意の有限集合の類に対しても、デカルト積を次のように帰納的に定義することが出来る： X 1 × ⋯ × X n := ( X 1 × ⋯ × X n − 1 ) × X n . {\displaystyle X_{1}\times \cdots \times X_{n}:=(X_{1}\times \cdots \times X_{n-1})\times X_{n}.} デカルト積の存在は、クリプキ＝プラテクの集合論（英語版）におけるように、冪集合公理を用いなくても証明できることに注意されたい。 Paul Halmos, Naive set theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition). Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3-540-44085-2. Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9. この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Axiom of power setの本文を含む
宮城県道259号加瀬沼公園線

宮城県道259号加瀬沼公園線（みやぎけんどう259ごう かせぬまこうえんせん）は宮城県の宮城郡利府町の杜の都信用金庫「モリリン加瀬沼公園」と宮城県道8号仙台松島線（利府街道）を結ぶ一般県道である。 実延長：2,196.3 m 起点：利府町加瀬沼公園入口 終点：利府町新幹線基地入口 塩竈市・多賀城市・利府町にまたがる加瀬沼公園から新幹線総合車両センター・新利府駅前を経由し利府街道へ至る全線利府町内を走る県道。起点から更に町道、市道を伸ばすと宮城県道35号泉塩釜線にぶつかるため、この路線は多賀城・仙台市東部と利府町を結ぶルートでもある。 なし 宮城県 宮城郡利府町 宮城県道8号仙台松島線 日本の道路一覧 東北地方の道路一覧 宮城県の県道一覧 表示 編集
フィクトル・ヤンカ

フィクトル・ヤンカ（ドイツ語: Viktor Janka von Bulcs、または Victor von Janka、または簡単に Viktor Janka、ハンガリー語: bulcsi Janka Viktor、1837年12月24日 - 1890年8月9日）はオーストリア＝ハンガリー帝国の軍人、植物学者である。 ウィーンで生まれた。トランシルヴァニアの貴族の家系である。学生時代から植物学に興味があり、ウィーンや父親の邸宅のあるクラウゼンブルク（現ルーマニアのクルジュ＝ナポカ）で園芸植物を育てた。1859年に士官候補生となり、1861年に任官されるが1867年に退役し、ハンガリーを出て、トランシルヴァニアに移り植物研究に専念した。1870年にハンガリー国立博物館の植物部門の学芸員となり、1871年からバルカン諸国、1874年にマルタ島の学術調査を行った。ヒガンバナ科のAllium diaphanum（Allium ramosumのシノニム）やイヌサフラン科のColchicum Hungaricumなどを記載した。ブダペストで没した。 ユリ科のLilium jankaeやゴマノハグサ科のVerbascum jankaeanumはヤンカに因んで命名された。 Jankaは、植物の学名で命名者を示す場合にフィクトル・ヤンカを示すのに使われる。（命名者略記を閲覧する／IPNIでAuthor Detailsを検索する。） 1872. Plantarum novarum turcicarum breviarium 1874. Adatok Magyarhon délkeleti florájához, tekintettel dr. Borbás Vincze jelentésére: "Az 1873-ik évben a Bánság területén tett növénytani kutatásokrol 1886. Amaryllideae, Dioscoreae et Liliaceae Europaeae analytice elaboratae. Vol. 10, Parte 2 de Természetrajzi Füzetek Janka von Bulcs Viktor. In: Österreichisches Biographisches Lexikon 1815–1950 (ÖBL). Band 3. Verlag der Österreichischen Akademie der Wissenschaften, Wien 1965, S. 74.
デニス・ハルム

デニス・クライヴ・"デニー"・ハルム（Denis Clive "Denny" Hulme、OBE、1936年6月18日 - 1992年10月4日）は、ニュージーランド出身のレーシングドライバー。デニス・フルムと表記されることもある。 1965年にブラバムからF1デビューし、計6戦に参加。第4戦フランスGPで4位、第6戦オランダGPで5位と2度の入賞を果たした。翌1966年は、第3戦フランスGPで3位に入り、初の表彰台を記録。年間で2位1回、3位3回を記録し、シリーズ4位となった。 1967年には、第2戦モナコGPで初優勝、この時点でランキングトップに立つ。第7戦ドイツGPでも優勝する等、この年11戦中2勝、2位3回、3位3回、4位1回と安定した成績を残し、モナコ以後一度もランキングトップの座を譲らず、ワールドチャンピオンを獲得。尚、ハルムはF1史上初となるポールポジションを1度も獲得せずにワールドチャンピオンとなったドライバーである。 チームのNo.1ドライバー兼オーナーのジャック・ブラバムを破ってのチャンピオン獲得劇だったが、このことは同年限りでチームを追われる原因となった。 翌1968年、同郷出身の友人であるブルース・マクラーレンが1966年に設立したマクラーレンチームに、ファーストドライバーとして移籍。この年は2勝を挙げ、グラハム・ヒル、ジャッキー・スチュワートと最後までチャンピオンを争ったが、最終2戦の連続リタイヤもあってシリーズ3位となり、2年連続のチャンピオン獲得はならなかった。 1969年にも最終戦メキシコGPで勝利を挙げるが、この年は5戦連続ノーポイントなども響き、ランキングは6位と低迷。翌1970年は逆に安定した成績でシリーズ4位となるが、4年ぶりに未勝利に終わり、さらにはブルースが事故死するアクシデントにも見舞われた。彼の死後も残留したが、71年は安定性・速さ共に欠き、勝利どころか表彰台も無しに終わった。 しかし1972年には第2戦南アフリカGPで優勝し、チームに初勝利をもたらす。終盤の連続表彰台などもあり、最終的にはシリーズ3位の成績を収めた。1973年には第3戦南アフリカGPで生涯唯一のポールポジションを獲得し、第7戦スウェーデンGPでは優勝。最後のシーズンとなった1974年も開幕戦のアルゼンチンGPで優勝し、引退まで創生期のマクラーレンチームを支えた。 F1を引退した後も、ハルムはツーリングカーやGTレースなど、精力的にレース活動を続けていたが、1992年10月4日、オーストラリアで行われたバサースト1000のレース中、心臓発作を起こし急死。56歳だった。 この際、「体の異変を察知したハルムが、後続の危険を回避すべく、最期にマシンをコースの脇に止めた」というエピソードが残されている。スローダウンしコース脇にストップしたマシンから、いつまで経ってもドライバーが出て来ないことを不審に思ったマーシャルが、近づきマシンのドアを開けて見ると、シートベルトを締めたまま死亡していたという。 厳つい見た目から「ザ・ベア(クマ)」と呼ばれていた。 太字はポールポジション、斜字はファステストラップ。(key) ウィキメディア・コモンズには、デニス・ハルムに関連するメディアがあります。 モータースポーツ F1世界チャンピオンの一覧 ドライバー一覧 F1ドライバーの一覧 国際モータースポーツ殿堂
アイアイ (ナミビア)

アイアイ（Ai-Ais）は、ナミビア共和国のカラス州に存在する、温泉が湧いているリゾート地である。フィッシュ川の流域、カラスバーグ（英語版）の西128 km、ケートマンスフープの南西224 kmに位置する。アイアイとは、コイコイ人の言葉で「火・火」、すなわち「火のように熱い」という意味である。アイアイの温泉は、カラス州にとって重要な観光資源の1つである。 ^ Raper, Peter E. (1987). Dictionary of Southern African Place Names. Internet Archive. p. 54. https://archive.org/details/DictionaryOfSouthernAfricanPlaceNames/SaPlaceNames/page/n54/mode/2up?view=theater 28 August 2013閲覧。  ^ 有限会社アイエムジー (2012年8月). “ナミビア国地域産業開発にかかる情報収集・確認調査報告書”. 独立行政法人国際協力機構. 2014年9月15日時点のオリジナルよりアーカイブ。2014年9月15日閲覧。 世界の温泉地一覧 アイアイ温泉 表示 編集
アイアイ温泉

アイアイ温泉（アイアイおんせん、英語: Ai-Ais Hot Springs） は、ナミビア共和国にある硫黄泉質の温泉。アイアイとは現地で使用されているコイコイ語で「燃える水」を意味する。アイアイ/リフタスフェルト・トランスフロンティアパーク（英語版）の一部を成し、ナミビア南部・カラス州のフィッシュ川渓谷（英語版）の南縁、グレートカラスベルグ山脈に位置する。 地元の伝説では、1850年に遊牧民であるナマ人の羊飼いがヒツジを追っているときに温泉を発見したという。温泉は河床の地下深くから湧出し、砂漠気候の地にオアシスを生成した。 ヘレロ・ナマクア虐殺の期間中、温泉はドイツ軍がベースキャンプとして利用した。1915年に、南西アフリカ戦線（英語版）で傷ついた兵士を癒すため南アフリカ軍が基地として使用した。1962年に温泉は地元の起業家に貸与され、その後国の天然記念物として宣言された。1969年に保護区となり、1971年3月16日に基地は公式に開放された。泉温は平均しておよそ60 °Cである。温泉はパイプで引水し、屋内のプールやジャグジーに供給されている。 1972年、1974年、1988年の度重なる洪水の際には一時的に閉鎖された。1972年の洪水では、高台にあった1軒の施設を除き、すべての施設が破壊された。フィッシュ川渓谷保護区は1987年に渓谷の西部が拡張された。1987年から1988年にかけてアイアイのキャンプは大規模な改造が実施された。 2003年に締結された条約により, アイアイ温泉は南アフリカ共和国のリフタスフェルト国立公園に組み込まれることになり、アイアイ/リフタスフェルト・トランスフロンティアパークが設立された。 温泉はケートマンスフープの南約200 km、カラスバーグ（英語版）の西約120 kmに位置する。 温泉はナミビア人、南アフリカ人、休暇を楽しむ人々に人気の観光地である。硫黄、塩化物、フッ化物に富み、リウマチ患者からの評判も良い。ザンベジイエローフィッシュ（英語版）やバーベルなどの魚を含む多様な生物が生息する。夏季にあたる11月から3月末までは閉鎖される。 世界の温泉地一覧 リフタスフェルト アイアイ (ナミビア) ^ Namibia Tourism Board (2009年). “Ai-Ais/Richtersveld Transfrontier Park”. 2014年7月27日時点のオリジナルよりアーカイブ。2009年5月19日閲覧。 ^ a b c d “Fish River Canyon, Ai-Ais Resort and Hobas”. Namib Web (2009年). 19 March 2009閲覧。 ^ a b c Swaney, Deanna (1995). Lonely Planet: Zimabawe, Botswana & Namibia. 2nd Edition. Published by Hawthorn, Vic. ^ a b c Swaney, Deanna (1992). Lonely Planet: Zimbabwe, Botswana & Namibia. 1st Edition. Published by Hawthorn, Vic. ^ “Ai-Ais/Fish River”. Namibia Travel (2009年). 2009年5月4日時点のオリジナルよりアーカイブ。2009年5月19日閲覧。 ^ “Ai-Ais/Richtersveld Transfrontier Conservation Park”. Department of Environmental Affairs & Tourism (2003年). 2008年12月4日時点のオリジナルよりアーカイブ。2009年5月19日閲覧。 ^ “Ai-Ais/Richtersveld Transfrontier National Park”. 19 May 2008閲覧。
神々の戦い

『神々の戦い』 (Hemispheres) は、カナダ出身のロックバンド、ラッシュの6作目のスタジオ・アルバム。 注記ない限り、全作詞：ニール・パート、全作曲：アレックス・ライフソン & ゲディー・リー ゲディー・リー (Geddy Lee) – ベース、ミニモーグ、オーバーハイム・ポリフォニック・シンセサイザー、モーグ・タウラス・ベース・ペダル、ボーカル アレックス・ライフソン (Alex Lifeson) – ギター、ギター・シンセサイザー、ベース・ペダル ニール・パート (Neil Peart) – ドラム、オーケストラ・ベル、ベル・ツリー、ティンパニ、ゴング、カウベル、木魚、ウィンドチャイム、アンティークシンバル [脚注の使い方] ^ “A Farewell to Kings chart position in the US”. Allmusic. 2014年9月15日閲覧。 Hemispheres - Discogs (発売一覧) 表示 編集
長戸呂 (新潟市)

日本 > 新潟県 > 新潟市 > 北区 (新潟市) > 長戸呂 (新潟市) 長戸呂（ながとろ）は、新潟県新潟市北区の町字。郵便番号は950-3353。 1889年（明治22年）から現在の大字。阿賀野川下流右岸の自然堤防上に位置する。元は江戸時代から1889年（明治22年）まであった長戸呂村の区域の一部で、地名は阿賀野川の水流により浸食された長淵を、長瀞（ながとろ）と称することに由来する。 北から東回り順に、以下の町字と隣接する。 長戸呂新田 大瀬柳 長戸 浦木 灰塚 十二 大迎 大久保 ※阿賀野川を挟んで江南区小杉と隣接。 天正年間の開発と伝えられる。 1889年（明治22年）4月1日 : 合併により越岡村の大字となる。 1893年（明治26年）10月30日ごろ : 越岡村役場所在地となる。 1901年（明治34年）11月1日 : 合併により岡方村の大字となり、村役場所在地となる。 1955年（昭和30年）3月31日 : 合併により豊栄町の大字となる。 1970年（昭和45年）11月1日 : 豊栄町が市制を施行し、豊栄市の大字となる。 2005年（平成17年）3月21日 : 合併により新潟市の大字となる。 2007年（平成19年）4月1日 : 新潟市の政令指定都市移行により、北区の大字となる。 2018年（平成30年）1月31日現在の世帯数と人口は以下の通りである。 市立小・中学校に通う場合、学区は以下の通りとなる。 新潟市立岡方第一小学校 新潟市　岡方コミュニティセンター JA新潟市　葬祭センター 虹のホールとよさか JA新潟市　豊栄カントリーエレベーター 岡方郵便局 県道 新潟県道27号新潟安田線 新潟県道46号新潟中央環状線 注釈 出典 [脚注の使い方] ^ a b “住民基本台帳人口 （全市・区役所・町名別） - 町名別住民基本台帳人口”. 新潟市 (2018年2月13日). 2018年3月5日閲覧。 ^ a b “郵便番号”. 日本郵便. 2018年3月5日閲覧。 ^ “市外局番の一覧”. 総務省. 2018年3月5日閲覧。 ^ a b c 角川地名15、p.972 ^ 『越岡村役場』『豊栄広報』第188号 p.3 (PDF) (1976年10月20日) ^ “通学区域一覧（町名別五十音索引）”. 新潟市 (2017年4月1日). 2018年3月5日閲覧。 角川日本地名大辞典 編纂委員会『角川日本地名大辞典 15 新潟県』(株)角川書店、1989年10月8日。ISBN 4-04-001150-3。  長戸呂 表示 編集
長場 (新潟市)

日本 > 新潟県 > 新潟市 > 北区 (新潟市) > 長場 (新潟市) 長場（ながば）は、新潟県新潟市北区の町字。郵便番号は950-3338。 1889年（明治22年）から現在の大字。駒林川流域に位置する。 もとは江戸時代から1889年（明治22年）まであった長場新田の区域の一部。はじめは長場新田と称したが、1955年（昭和30年）に長場に改称した。中世の城館跡として中世陶器片を出土する長場遺跡がある他、内城、外城、城の腰などの地名を有する。 北から東回り順に、以下の町字と隣接する。 浦木 内沼 大月 里飯野 上堀田 十二 灰塚 一説には1687年（貞享4年）の検地とされる。 1889年（明治22年）4月1日 : 合併により長場村の大字となる。 1901年（明治34年）11月1日 : 合併により長浦村の大字となる。 1959年（昭和34年）7月22日 : 合併により豊栄町の大字となる。 1970年（昭和45年）11月1日 : 豊栄町が市制を施行し、豊栄市の大字となる。 2005年（平成17年）3月21日 : 合併により新潟市の大字となる。 2007年（平成19年）4月1日 : 新潟市の政令指定都市移行により、北区の大字となる。 2018年（平成30年）1月31日現在の世帯数と人口は以下の通りである。 市立小・中学校に通う場合、学区は以下の通りとなる。 新潟市立豊栄南小学校 県道 新潟県道15号新潟長浦水原線 注釈 出典 [脚注の使い方] ^ a b “住民基本台帳人口 （全市・区役所・町名別） - 町名別住民基本台帳人口”. 新潟市 (2018年2月13日). 2018年3月5日閲覧。 ^ a b “郵便番号”. 日本郵便. 2018年3月5日閲覧。 ^ “市外局番の一覧”. 総務省. 2018年3月5日閲覧。 ^ a b c d 角川地名15、p.980 ^ “通学区域一覧（町名別五十音索引）”. 新潟市 (2017年4月1日). 2018年3月5日閲覧。 角川日本地名大辞典 編纂委員会『角川日本地名大辞典 15 新潟県』(株)角川書店、1989年10月8日。ISBN 4-04-001150-3。  長場 表示 編集
木崎 (新潟市)

日本 > 新潟県 > 新潟市 > 北区 (新潟市) > 木崎 (新潟市) 木崎（きざき）は、新潟県新潟市北区の町字。郵便番号は950-3304。 1889年（明治22年）から現在の大字。新発田川下流域に位置する。 もとは1876年（明治9年）から1889年（明治22年）まであった木崎村の区域の一部で、1876年（明治9年）に内島見興野が改称して成立した。 北から東回り順に、以下の町字と隣接する。 笹山 内島見 笹山東 横土居 聖籠町大夫興野 浦ノ入 内島見 鳥屋 早通 下早通 松潟 新崎 樋ノ入 北陽 下大谷内 内島見興野（うちしまみにしこや） 1730年（享保15年）の新発田藩による阿賀野川の松ヶ崎開削、翌年の松ヶ崎本流化により、新発田の宝光寺が新発田藩から寄進された島見前潟を開発して成立。 1737年（元文2年）に検地を受け、はじめは木崎新田と称した。 1889年（明治22年）4月1日 : 合併により島崎村の大字となる。 1906年（明治39年）4月1日 : 合併により木崎村の大字となる。 1955年（昭和30年）3月31日 : 合併により豊栄町の大字となる。 1970年（昭和45年）11月1日 : 豊栄町が市制を施行し、豊栄市の大字となる。 2005年（平成17年）3月21日 : 合併により新潟市の大字となる。 2007年（平成19年）4月1日 : 新潟市の政令指定都市移行により、北区の大字となる。 2018年（平成30年）1月31日現在の世帯数と人口は以下の通りである。 市立小・中学校に通う場合、学区は以下の通りとなる。 新潟北警察署 新潟市立木崎中学校 新潟市立木崎小学校 豊栄中部工業団地 豊栄尾山工業団地 新潟リハビリテーション病院 国道 国道7号 新新バイパス 豊栄IC - 道の駅豊栄 県道 新潟県道3号新潟新発田村上線 新潟県道46号新潟中央環状線 新潟県道55号新潟五泉間瀬線　(県道46号との重複区間のみ） 新潟県道158号島見豊栄線　(県道46号との重複区間のみ） 新潟県道324号豊栄太夫浜線 新潟交通路線バス 尾山 - 木伏 - 競馬場入口 - 木崎小学校前 E46　新発田営業所 行 E46　大形本町経由　新潟駅前・万代シテイ行 尾山 - 木伏 - 競馬場入口 - 樋ノ入入口 E44　新潟競馬場 行 E44　大形本町経由　新潟駅前・万代シテイ行 競馬場入口 - 木崎小グラウンド前 - 尾山ニュータウン前 - 北陽 - 樋ノ入入口 芋黒　新潟医療福祉大学 行 芋黒　豊栄駅北口 行 ※土曜・休日・年末年始は全便運休 競馬場入口 - 樋ノ入入口 芋黒　新潟競馬場 行 芋黒　豊栄駅前 行 ※中央競馬開催日・場外発売日のみ運行 北区バス 新潟リハビリテーション病院 - げんき村 - 尾山団地前 - 木崎小グラウンド前 - 尾山ニュータウン - 北陽 （陽光ニュータウンルート）北区文化会館　行 尾山団地前 - 木崎小グラウンド前 - 尾山ニュータウン - 北陽 - げんき村 - 新潟リハビリテーション病院 （陽光ニュータウンルート）陽光ニュータウン　行 ※いずれも土曜・休日・年末年始は全便運休 注釈 出典 [脚注の使い方] ^ a b “住民基本台帳人口 （全市・区役所・町名別） - 町名別住民基本台帳人口”. 新潟市 (2018年2月13日). 2018年3月5日閲覧。 ^ a b “郵便番号”. 日本郵便. 2018年3月5日閲覧。 ^ “市外局番の一覧”. 総務省. 2018年3月5日閲覧。 ^ a b 角川地名15、p.454 ^ a b 角川地名15、p.207 ^ “通学区域一覧（町名別五十音索引）”. 新潟市 (2020年4月1日). 2020年9月13日閲覧。 ^ 北区役所だより　第206号（平成27年11月1日）　2ページ 角川日本地名大辞典 編纂委員会『角川日本地名大辞典 15 新潟県』(株)角川書店、1989年10月8日。ISBN 4-04-001150-3。  表示 編集
ガーズィー・ウッディーン・ハーン (フィールーズ・ジャング)

ガーズィー・ウッディーン・ハーン（Ghazi ud-Din Khan, 1649年頃 - 1710年12月9日）は、北インド、ムガル帝国の政治家・武将。フィールーズ・ジャング（Firuz Jung）の称号でも知られる。ニザーム王国の祖カマルッディーン・ハーンの父でもある。 1649年頃、ムガル帝国の武将キリージュ・ハーンの長男として、サマルカンドで生まれる。 1681年、帝国の皇帝アウラングゼーブのデカン地方遠征に従軍し、ビジャープル包囲戦やゴールコンダ包囲戦などに参加した。 1707年、アウラングゼーブの死後、息子バハードゥル・シャー1世が皇位を継承すると、グジャラートの太守となった。 1710年12月9日、ガーズィー・ウッディーン・ハーンはアフマダーバードで死亡し、その遺体はデリーのアジメール門近くに埋葬された。 ^ a b Hyderabad 2 ムガル帝国
宮城県道144号赤沼松島線

宮城県道144号赤沼松島線（みやぎけんどう144ごう あかぬままつしません）は、宮城県宮城郡利府町と松島町を結ぶ一般県道である。古くから「長老坂」と呼ばれる。 実延長：2.8km 起点：利府町赤沼（北緯38度21分55.7秒 東経141度1分49.6秒﻿ / ﻿北緯38.365472度 東経141.030444度﻿ / 38.365472; 141.030444﻿ (起点：利府町赤沼)） 終点：松島町松島海岸駅前（北緯38度22分4.4秒 東経141度3分33.8秒﻿ / ﻿北緯38.367889度 東経141.059389度﻿ / 38.367889; 141.059389﻿ (終点：松島町松島海岸駅前)） 利府町赤沼（宮城県道8号仙台松島線交点）からJR仙石線・松島海岸駅前（国道45号交点）を結ぶ県道。松島への幹線同士を連絡していること、三陸道と接続していることから交通量は多い。また土日休日は終点（国道45号交点）での渋滞を覚悟しなくてはいけない。 797年（延暦16年）、当道の途中で征夷大将軍・坂上田村麻呂が『嗚呼、眺浪の景、天下に冠絶す』とその眺望を絶賛したため「眺浪坂」と呼ばれるようになり、西行が当地を訪れた頃までには「長老坂」と呼ばれるようになっていた。 宮城県 宮城郡 利府町 松島町 宮城県道8号仙台松島線 三陸沿岸道路松島海岸IC 国道45号 [脚注の使い方] ^ 宮城県利府町誌 東北地方の道路一覧 宮城県の県道一覧 表示 編集
相馬あこ

相馬　あこ（そうま あこ、1983年2月25日 - ）は、日本の女優、演出家、脚本家である。血液型はAB型。 北海道旭川市出身。演劇ユニット『100点un・チョイス！』の主宰を務める。 旭川藤女子高等学校、札幌国際大学短期大学部英語学科を卒業後、社長・会長秘書を務めるなどOLとして働く。その後、池袋ミュージカル学院に入り、舞台を学び卒業後すぐに米倉涼子の付き人として抜擢され、自身も舞台に出演しながら付き人を務める。同時に、東京セレソンDXにて、演技を学ぶ。 2013年から演出活動を始め、2014年9月、演劇ユニット『100点un・チョイス！』を旗揚げ。主宰を務めると同時に演出、脚本、脚色、役者を兼ねる。2015年1月に旗揚げ公演「とけないまま、とけていく」を上演。 ほぼほぼグラスほっパー 『天国ホテル1993...』（2013年10月）- 演出、出演 明日の天使たちへ（2014年8月）- 演出 とけないままとけていく（主演:林剛史）（2015年1月）- 演出、出演 ひまわり（主演:青柳塁斗）（2015年7月）- 演出、出演 ハピプラ！（主演:鯨井康介）（2016年1月）- 演出 誰かが彼女を知っている（出演:野久保直樹）（2016年8月）-演出、出演 Who are you?（主演:酒井瞳）（2017年9月）-演出、出演 8（主演:國島直希、八島諒）（2017年12月）-演出、出演 ひまわり2018（出演:清水一希、高野祐衣、他）かっか-演出、出演 ヒロイン（出演:林田真尋、イジリー岡田、他）（2019年4月） 誰かが彼女を知っている2019（出演:林剛志、川隅美慎、他）（2019年8月） team（出演:西銘駿、上西恵、他）（2019年12月） 本気だけどマジではない（出演:小西成弥、オラキオ他）（2020年10月） 白い星（出演:吉田翔吾、花奈澪、他）（2021年2月） ヒロイン2021（出演:林田真尋、賀集利樹、他）（2021年4月） これで恋ができるなら（出演:定本楓馬、瑞季、三浦海里、小西成弥、他）（2021年7月） 他 黒革の手帖（2009年5月、明治座） ストレイドッグ『心は孤独なアトム』（2010年1月）- 佳子役　　 ストレイドッグ『悲しき天使』（2010年2月）- 友美役 東京セレソンDX　番外公演『WHAT A WONDERFUL LIFE』（2010年3月）　　 ストレイドッグプロデュース『母の桜が散った夜』（2010年4月）- 森山花子役　 講談社イブニング連載　舞台版　『ヘルプマン！！』（2010年9月、吉祥寺シアター） エアースタジオプロデュース『時計〜僕がここにいる理由』（2010年11月）- 浅井安子役 へなちょこヴィーナス（2011年1月）- 相沢桃代役　 劇団空間エンジンプロデュース『juliet』（2011年4月）- 主演・芹沢　彩役役 帝国劇場100周年記念作品　グランドロマン　風と共に去りぬ（2011年6・7月） エアースタジオプロデュース『MOTHER　特攻の母　鳥濱トメ物語』（2011年7〜10月）- 木下多江子役・川谷綾子役 皆既日蝕〜冤罪狂詩曲（2011年11月、池袋シアターグリーン）- 安井ミチ役 某国の監獄姫（2012年2月）- マリア役 touch my brassiere? company　『OTOGI』（2012年4月）- 藤原千尋役 n乗ハニー（2012年8月）- 主演 桃太郎外伝　黄金の夜明け（2012年10月）- 出演、歌唱指導 ソラオの世界（2013年2月） ミュージカル『おばあちゃんの阿波踊り』（2013年3月）- 主演 キャットミント隊第二回公演『喋々喃々』（2013年4月）- 比留間香織役 touch my brassiere? company 『bird land』（2013年5月） アトリエエッジ『ぞめきが消えた夏』（2013年9月） ほぼほぼグラスほっパー 『天国ホテル1993...』（2013年10月）- 主演、演出 キャットミント隊 『アルプス一万尺』（2013年11月） 明日君を食べるよ（2014年2月） キャットミント隊 『イツワレー！』（2014年4月） 明日の天使たちへ（2014年8月）- 演出 とけないまま、とけていく（2015年1月）- 出演、演出 ひまわり（2015年7月）- 出演、演出 誰かが彼女を知っている（2016年8月）-出演、演出 タクフェス 特別公演『WHAT A WONDERFUL LIFE』（2016年12月）-出演 Who are you?（2017年9月）-出演、演出 8（2017年12月）-出演、演出 ひまわり【再演】（2018年5月）-出演、演出 他、多数出演 ツーライスと塙奈々恵とのおかわりちょーだい（2012年、FM 浦安 準レギュラー出演） ガールズビッグスマイルneo（2012年、FM 世田谷レギュラー出演） 恋する旅烏（2013年、FM 世田谷ラジオ） 山形グランドホクヨウ（2014年） UNISON,DEPO HP広告出演（2011年） アナスタシア広告ドラマ（2014年） 100点un・チョイス！ - 公式サイト 相馬　あこのブログ - ウェイバックマシン（2011年12月8日アーカイブ分） - 公式ブログ 相馬あこ (@acosouma) - X（旧Twitter） 表示 編集
トビ類

トビ類（鳶類）は、タカ目タカ科のトビ亜科 Milvinae、ハイイロトビ亜科 Elaninae に属する種とハチクマ亜科 Perninae に属する種のうち数種の総称である。但しこの3群は特に近縁というわけではない。英名「Kite」には凧という意味もある。 種はそれぞれそれぞれ学名、英名、和名の順。 Genus Harpagus ハバシトビ属 Harpagus bidentatus, Double‐toothed Kite, ハバシトビ Harpagus diodon, Rufous‐thighed Kite, モモアカトビ Genus Milvus トビ属 Milvus milvus, Red Kite, アカトビ † Milvus fasciicauda, Cape Verde Kite（2000年絶滅、上記アカトビの亜種とされることもあるが、博物館の標本を用いたmtDNAの研究では本種はアカトビと単系統群を形成していないことが示されている。 ） Milvus migrans, Black Kite, トビ Genus Haliastur シロガシラトビ属 Haliastur sphenurus, Whistling Kite, フエナキトビ Haliastur indus, Brahminy Kite, シロガシラトビ Genus Gampsonyx シンジュトビ属 Gampsonyx swainsonii, Pearl Kite, シンジュトビ Genus Elanus カタグロトビ属（ハイイロトビ属） Elanus caeruleus, Black‐winged Kite, カタグロトビ（ハイイロトビ） Elanus axillaris, Black‐shouldered Kite, オーストラリアカタグロトビ (E. notatus) Elanus leucurus, White‐tailed Kite, オジロトビ Elanus scriptus, Letter‐winged Kite, クロオビトビ Genus Chelictinia アフリカツバメトビ属 Chelictinia riocourii, Scissor‐tailed Kite, アフリカツバメトビ Genus Macheiramphus (Macheiramphus) コウモリダカ属 Macheiramphus alcinus, Bat hawk, コウモリダカ (Macheiramphus alcinus) この亜科に含まれる種でも「～トビ (-Kite)」と呼ばれないものは書かれていない。 Genus Leptodon ハイガシラトビ属 Leptodon cayanensis, Grey‐headed Kite, ハイガシラトビ Leptodon forbesi, White‐collared Kite, シロエリトビ Genus Chondrohierax カギハシトビ属 Chondrohierax uncinatus, Hook‐billed Kite, カギハシトビ Chondrohierax wilsonii, Cuban Kite, キューバカギハシトビ（上記カギハシトビから分離された） Genus Lophoictinia シラガトビ属 Lophoictinia isura, Square‐tailed Kite, シラガトビ Genus Hamirostra クロムネトビ属 Hamirostra melanosternon, Black‐breasted Buzzard, クロムネトビ Genus Elanoides ツバメトビ属 Elanoides forficatus, Swallow‐tailed Kite, ツバメトビ トビ Milvus migrans アカトビ Milvus milvus シロガシラトビ Haliastur indus シンジュトビ Gampsonyx swainsonii カタグロトビ Elanus caeruleus オーストラリアカタグロトビ Elanus axillaris コウモリダカ Macheiramphus alcinus ハイガシラトビ Leptodon cayanensis カギハシトビ Chondrohierax uncinatus ツバメトビ Elanoides forficatus モモアカトビ Harpagus diodon オジロトビ Elanus leucurus アフリカツバメトビ Chelictinia riocourii シラガトビ Lophoictinia isura クロムネトビ Hamirostra melanosternon [脚注の使い方] ^ Kocum, Annett (2006), Phylogenie der Accipitriformes (Greifvögel) anhand verschiedener nuklearer und mitochondrialer DNA-Sequenzen, Greifswald: Ernst-Moritz-Arndt-Universität, http://www.mnf.uni-greifswald.de/fileadmin/Vogelwarte/Dissertation_von_Annett_Kocum.pdf  ^ Jeff A. Johnson, Richard T. Watson & David P. Mindell (2005). “Prioritizing species conservation: does the Cape Verde kite exist?”. Proceedings of the Royal Society B: Biological Sciences 272 (7): 1365–1371. doi:10.1098/rspb.2005.3098. PMC 1560339. PMID 16006325. http://rspb.royalsocietypublishing.org/content/272/1570/1365.  タカ科 - トビ 猛禽類 - 鷹・鳶・鷲・隼 表示 編集
鶴見検車場

鶴見検車場（つるみけんしゃじょう）は、大阪府大阪市鶴見区浜1丁目2番地6にある大阪市高速電気軌道の検車場である。 主に大阪市高速電気軌道長堀鶴見緑地線の車両の留置、検査を担当する施設である。 1990年（平成2年）3月20日に鶴見緑地線（当時）の京橋 - 鶴見緑地間の開業とともに開設された。その後、1996年（平成8年）12月11日に心斎橋へ同線が延伸開業した際に4両編成27本が収容出来る規模へと拡張工事が行われ、現在に至る。 当検車場は長堀鶴見緑地線の車両以外にも、今里筋線の車両の検査も行っており、場内には鶴見緑地北車庫とを結ぶ連絡線が1本存在する。 施設は鶴見緑地東南の地下に存在し、外周部は吹き抜けとなっている。屋上は鶴見緑地庭球場として活用されている。 大阪市交通局の民営化に伴い、2018年4月1日に大阪市高速電気軌道に譲渡されている。 70系（1990年1月 - 現在） 80系（2005年12月 - 現在） 計42編成168両あり、70系は25編成100両、80系は17編成68両在籍する。 長堀鶴見緑地線運用は26編成104両、今里筋線運用は16編成64両。 [脚注の使い方] ^ “大阪の地下を走る｢あなたの知らない線路｣の秘密”. 東洋経済ONLINE (2021年7月11日). 2021年7月18日閲覧。 『大阪市高速電気軌道第7号線京橋〜鶴見緑地間 リニアモータ地下鉄建設記録』大阪市交通局 (1993年出版) 座標: 北緯34度42分26秒 東経135度34分46.7秒﻿ / ﻿北緯34.70722度 東経135.579639度﻿ / 34.70722; 135.579639 表示 編集
滝浪隆雄

滝浪 隆雄（たきなみ たかお、1951年4月25日 - ）は、山口県出身の元プロ野球選手（投手）。 早鞆高から、1969年に広島東洋カープのテストを受けドラフト外で入団した。 球足が早くスピードに富むが、コントロールがいま一つで、これが課題だった。2年間在籍したが、一軍公式戦の出場がなく、1971年に現役を引退した。 一軍公式戦出場無し 56 （1970年 - 1971年） 山口県出身の人物一覧 広島東洋カープの選手一覧 表示 編集
ガーズィー・ウッディーン・ハーン (フィールーズ・ジャング2世)

ガーズィー・ウッディーン・ハーン（Ghazi ud-Din Khan, 1709年3月13日以前 - 1752年10月16日）は、北インド、ムガル帝国の。フィールーズ・ジャング2世（Firuz Jung II）、インティザーム・ウッダウラ（Intizam ud-Daula）の称号でも知られる。ニザーム王国の祖カマルッディーン・ハーンの長男である。 1709年3月13日以前、ムガル帝国の武将カマルッディーン・ハーンの長男として生まれた。 1724年、父カマルッディーン・ハーンはデカン地方にニザーム王国を建国して独立するが、ガーズィー・ウッディーン・ハーンは父の代理として帝都デリーに残った。 1740年から1745年まで、ガーズィー・ウッディーン・ハーンは副軍務大臣の地位にあり、1751年6月17日からは軍務大臣の地位にあった。宮廷にいる間、トルコ系貴族の一員として宰相サフダル・ジャングらイラン系貴族と争った。 さて、この間1748年に父カマルッディーン・ハーンが死亡し、兄弟や甥がニザーム位を争っていたが、正式な継承権はガーズィー・ウッディーン・ハーンにあった。そのため、彼も継承権を主張し、1751年1月31日に皇帝から「ニザームル・ムルク」の称号を与える勅令が出された。 1752年5月14日、マラーターとの協議でもガーズィー・ウッディーン・ハーンが正当な後継者として認められ、彼はデカンへと戻ったが、10月16日に宮廷のあるアウランガーバードで弟ニザーム・アリー・ハーンの母に暗殺された。 ^ a b c d Hyderabad 3 ムガル帝国
L-フクロース-リン酸アルドラーゼ

L-フクロース-リン酸アルドラーゼ(L-fuculose-phosphate aldolase、EC 4.1.2.17)、以下の化学反応を触媒する酵素である。 L-フクロース-1-リン酸 ⇌ {\displaystyle \rightleftharpoons } ジヒドロキシアセトンリン酸 + (S)-ラクトアルデヒド 従って、この酵素の基質はL-フクロース-1-リン酸のみ、生成物はジヒドロキシアセトンリン酸（グリセロンリン酸）と(S)-ラクトアルデヒドの2つである。 この酵素はリアーゼ、特に炭素-炭素結合を切断するアルデヒドリアーゼに分類される。系統名は、L-フクロース-1-リン酸 (S)-ラクトアルデヒドリアーゼ (グリセロンリン酸形成)(L-fuculose-1-phosphate (S)-lactaldehyde-lyase (glycerone-phosphate-forming))である。他に、L-fuculose 1-phosphate aldolase、fuculose aldolase、L-fuculose-1-phosphate lactaldehyde-lyase等とも呼ばれる。この酵素は、フルクトースとマンノースの代謝に関与している。 2007年末時点で、20個の構造が解明されている。蛋白質構造データバンクのコードは、1DZU、1DZV、1DZW、1DZX、1DZY、1DZZ、1E46、1E47、1E48、1E49、1E4A、1E4B、1E4C、1FUA、2FK5、2FLF、2FUA、2OPI、3FUA及び4FUAである。 フクロース L-フクロースキナーゼ Ghalambor MA, Heath EC (1966). “The biosynthesis of cell wall lipopolysaccharide in Escherichia coli. IV. Purification and properties of cytidine monophosphate 3-deoxy-d-manno-octulosonate synthetase”. J. Biol. Chem. 241 (13): 3216–21. PMID 5330266.  Dreyer MK, Schulz GE (1993). “The spatial structure of the class II L-fuculose-1-phosphate aldolase from Escherichia coli”. J. Mol. Biol. 231 (3): 549–53. doi:10.1006/jmbi.1993.1307. PMID 8515438.  Dreyer MK, Schulz GE (1996). “Catalytic mechanism of the metal-dependent fuculose aldolase from Escherichia coli as derived from the structure”. J. Mol. Biol. 259 (3): 458–66. doi:10.1006/jmbi.1996.0332. PMID 8676381.
ブルンの定理

ブルンの定理（ブルンのていり）は、ヴィーゴ・ブルンによって1919年に発見された、解析的整数論の定理である。 P(x) を p + 2 が素数であるような素数 p ≤ x の個数を表す関数としよう。 このとき x ≧ 3 において、以下の不等式が成り立つような定数 c が存在する。 P ( x ) < c x ( log ⁡ x ) 2 ( log ⁡ log ⁡ x ) 2 {\displaystyle P(x)<c{\frac {x}{(\log x)^{2}}}(\log \log x)^{2}} ヴィーゴ・ブルンはここから双子素数の逆数の和が収束することを導いた。証明にはエラトステネスの篩を基にした篩の方法が使われ、その中でメビウス関数などが、用いられている。また補題として算術の基本定理が使われている。これは篩の方法が最初に本格的な結果を得るために使われた事例であると同時に双子素数に関する最初の理論的な成果であり、双子素数に関する研究の出発点となった。 ブルンは後にこの方法を改良し、二重対数の項を除くことに成功した。ブルンはより一般に、P(x, z) を n と n + 2 が共に z より小さな素因数を持たない自然数 n ≤ x の個数とするとき、 P ( x , z ) < c x ( log ⁡ z ) 2 {\displaystyle P(x,z)<c{\frac {x}{(\log z)^{2}}}} となる定数 c が存在すること、および z < x1/10 ならば P ( x , z ) > c x ( log ⁡ z ) 2 {\displaystyle P(x,z)>c{\frac {x}{(\log z)^{2}}}} となる定数 c が存在する、よって n と n + 2 が共に高々9個の素因数しか持たない n が無限に多く存在することを示した。 同様な結果はセルバーグの篩い法を用いても得られる。 プロジェクト 数学 ポータル 数学 エドムント・ランダウ E. Landau "Elementary Number Theory" Motohashi, Yoichi "Sieve Methods and Prime Number Theory" Tata LN 72 (1983), Springer-Verlag. http://www.math.tifr.res.in/~publ/ln/tifr72.pdf 本橋洋一 "解析的整数論 I -- 素数分布論 --" 朝倉書店 (2009) ISBN 978-4-254-11821-6 [1] ブルンの篩
バルチックバロネス

バルチックバロネス(Baltic Baroness)とはドイツ生産、フランス調教の競走馬、繁殖牝馬。主な勝ち鞍に2014年のヴェルメイユ賞、2013年のクレオパトル賞（英語版）。 特記事項なき場合、本節の出典はRacing Post 2012年11月12日、シャンティイ競馬場でのポリトラックによる未勝利戦デュロンドアリカンテ賞でデビューし、1着。3歳となった2013年、初戦の一般戦4着ののち、G3競走ペネロペ賞（英語版）で2着に入り、続くG3競走クレオパトル賞で初めて重賞を制した。6月のディアヌ賞はトレヴの10着に終わり、秋も10月のロワイヤリュー賞4着の一走のみに終わった。 2014年は初戦のG2競走アルクール賞4着、2戦目ガネー賞は6着、5月のG2競走コリーダ賞（英語版）も5着に終わったが、6月から7月にかけてはリステッド競走を連勝する。9月に入りヴェルメイユ賞に駒を進め、レースでは3番手から抜け出して先行していたポモロジーを競り落として優勝した。その後はレースには使われず引退した。 以下の内容は、Racing Postの情報および記載法に基づく。 馬場状態： Gd=Good, GS=Good to Soft, YSft=Yielding to Soft, Sft=Soft, St=Standard 引退後はアマーラント牧場に戻って繁殖牝馬となり、初年度はゴールデンホーンと配合して2017年に産駒が誕生した。レーシングポストの記録によれば、9歳で死亡した。 2020年6月20日現在 [脚注の使い方] ^ a b c d e f g h i j k l m n o p q “Baltic Baroness (GER) form”. Racing Post. 2020年6月20日閲覧。 ^ “BALTIC BARONESS GER”. France Galop. 2020年6月20日閲覧。 ^ a b “トレヴ4着に敗れる、バルチックバロネスがGI初制覇/仏・ヴェルメイユ賞”. netkeiba. Net Dreamers Co., Ltd. (2014年9月14日). 2020年6月20日閲覧。 ^ “BALTIC BARONESS GER Foals”. France Galop. 2020年6月20日閲覧。 ^ “BALTIC GOLD IRE”. France Galop. 2020年6月20日閲覧。 ^ “BALTIC BARONESS GER Pedigree”. France Galop. 2020年6月20日閲覧。 ^ “Shamardal(USA) 血統情報：5代血統表”. JBISサーチ. 公益社団法人日本軽種馬協会. 2020年6月20日閲覧。 ^ a b “Born Wild(GER) 血統情報：5代血統表”. JBISサーチ. 公益社団法人日本軽種馬協会. 2020年6月20日閲覧。 ^ “Shamardalの5代血統表”. netkeiba. Net Dreamers Co., Ltd.. 2020年6月20日閲覧。 競走馬成績と情報 Racing Post
乳酸アルドラーゼ

乳酸アルドラーゼ(Lactate aldolase、EC 4.1.2.36)、以下の化学反応を触媒する酵素である。 (S)-乳酸 ⇌ {\displaystyle \rightleftharpoons } ギ酸 + アセトアルデヒド 従って、この酵素の基質は(S)-乳酸のみ、生成物はギ酸とアセトアルデヒドの2つである。 この酵素はリアーゼ、特に炭素-炭素結合を切断するアルデヒドリアーゼに分類される。系統名は、(S)-乳酸 アセトアルデヒドリアーゼ (ギ酸形成)((S)-lactate acetaldehyde-lyase (formate-forming))である。他に、lactate synthase、(S)-lactate acetaldehyde-lyase等とも呼ばれる。この酵素は、ピルビン酸の代謝に関与している。 Gulyi MF, Silonova NV (1987). “[Various metabolic reactions of formate in animal tissues]”. Ukr. Biokhim. Zh. 59 (4): 29–35. PMID 3629727.
浜納一志

浜納 一志（はまのう かずし、1954年1月3日 - ）は、鳥取県出身の元プロ野球選手。ポジションは内野手。 鳥取県立鳥取西高等学校ではエース山本昌樹を擁し、1971年夏の甲子園予選東中国大会準決勝に進むが、岡山東商のケネス・ハワード・ライトらに抑えられ惜敗。 1971年のドラフトに広島から8位指名され入団。二軍では三塁手として起用されるが、一軍公式戦に出場がなく、1973年限りで引退。 引退後は鳥取市でゴルフショップを経営、プレーヤーとして日本アマチュアゴルフ選手権等で活躍する 。 一軍公式戦出場無し 45 （1972年 - 1973年） ^ （公財）日本ゴルフ協会 濱納一志プロフィール 広島東洋カープの選手一覧 表示 編集