stanford-oval/wikipedia huggingface dataset:
ブロイナ
歴史

レーダはこの町で最も小さく、最も古い集落であり、820年から840年までの間に初めて記録されている。
現在の自治体としてのブロイナは、ヘッセン州の地域再編に伴って、1971年と1972年にそれまでは独立した町村であったブロイナ、ヴェッテジンゲン、オーバーリスティンゲン、ニーダーリスティンゲンが合併して成立した。ブロイナとレーダには 200年前からすでに行政組織が存在していた。ブロイナは2007年に創設750年祭を祝った。
行政 > 町議会

ブロイナの町議会は 23議席からなる。
行政 > 姉妹自治体

ブロイナは以下の自治体と姉妹自治体となっている。
ゲールベルク（ドイツ語版）（ドイツ、テューリンゲン州）
プレダッピオ（イタリア、エミリア＝ロマーニャ州）
経済と社会資本 > 地元企業

ブロイナには、近隣に源泉があるミネラルウォーター「ウアシュトロームクヴェル・ヴォルフハーゲン」の瓶詰め工場がある。
引用

↑  Hessisches Statistisches Landesamt: Bevölkerung in Hessen am 31.12.2023 (Landkreise, kreisfreie Städte und Gemeinden, Einwohnerzahlen auf Grundlage des Zensus 2011)]
↑  町議会議員選挙結果
外部リスト

ウィキメディア・コモンズには、に関連するカテゴリがあります。
ブロイナのウェブサイト
| 表 話  歴カッセル郡の市町村 |
| --- | --- | --- |
| 市 |  バート・カールスハーフェン | バウナタール | グレーベンシュタイン | ホーフガイスマー | インメンハウゼン | リーベナウ | ナウムブルク | トレンデルブルク | フェルマー | ヴォルフハーゲン | ツィーレンベルク  |  |
| 町村 |  アーナタール | バート・エムスタール | ブロイナ | カルデン | エスペナウ | フルダブリュック | フルダタール | ハービヒツヴァルト | ヘルザ | カウフンゲン | ローフェルデン | ニーステ | ニーステタール | ラインハルツハーゲン | シャウエンブルク | ゼーレヴァルト | ヴェーザータール  |  |
| 典拠管理データベース  |
| --- | --- |
全般:  VIAF 
国立図書館:  ドイツ  イスラエル
メヒティルト・フォン・ホルシュタイン

| メヒティルト Mechthild |
| --- | --- |
 デンマーク王妃
 
在位:  1250年 – 1252年
戴冠式:  1250年11月1日 ロスキレ

出生:  1220/5年 
死去:  1288年  神聖ローマ帝国 ホルシュタイン伯領、キール
埋葬:   スウェーデン、ヴァンーヘム修道院（英語版）
結婚:  1237年4月25日 シュレースヴィヒ 1261年
配偶者:  デンマーク王アーベル
 :  ビルイェル・ヤール
子女:  ヴァルデマー3世 ソフィー エーリク1世 アーベル
家名:  シャウエンブルク家
父親:  ホルシュタイン伯アドルフ4世
母親:  ハイルヴィヒ・フォン・デア・リッペ
宗教:  キリスト教カトリック
テンプレートを表示
メヒティルト・フォン・ホルシュタイン（Mechthild von Holstein, 1220/5年 - 1288年）は、デンマーク王アーベルの王妃で、のちにスウェーデン摂政ビルイェル・ヤールと結婚した。
生涯

メヒティルトはホルシュタイン伯アドルフ4世とハイルヴィヒ・フォン・デア・リッペとの間の娘である。1237年4月25日、シュレースヴィヒにおいて当時シュレースヴィヒ公であったアーベルと結婚した。この結婚はホルシュタインと南ユトランド（シュレースヴィヒ）の間の同盟のために行われた。1239年、アーベルはメヒティルトの未成年の弟たちの後見人となった。
1250年に夫アーベルがデンマーク王となり、同年11月1日にメヒティルトはロスキレで戴冠された。1252年、夫アーベルが死去し、王位はアーベルの弟クリストファ1世が継承した。アーベルとメヒティルトの間の息子ヴァルデマーはこの時ケルンで捕らわれの身であったためであり、メヒティルトはデンマークを去ることを余儀なくされ、修道院に入った。
メヒティルトは息子ヴァルデマーをケルン大司教のもとから解放させ、ヴァルデマーのシュレースヴィヒ公領の継承のため戦った。1253年、メヒティルトは息子ヴァルデマーに南ユトランド公位を確保した 。
1257年、息子ヴァルデマーが死去し、メヒティルトはヴァルデマーの弟エーリク1世（英語版）に公領を確保した。しかし同年、南デンマークのアイダー川からシュライ湾までの地域を自身の兄弟であるホルシュタイン伯に質入れしてしまった。
メヒティルトはルンド大司教ヤコプ・エアランスンと協定を結び、1261年にメヒティルトはスウェーデン摂政ビルイェル・ヤールと結婚するため修道院を出た。ビルイェル・ヤールはかつてデンマーク王アーベルの死まで軍事対立していた人物であった。1266年にビルイェル・ヤールが死去した後、メヒティルトはキールに移り、そこで死去した。メヒティルトは夫ビルイェル・ヤールとともにヴァンーヘム修道院（英語版）に埋葬された。
1288年、死の直前にアイダー川からシュライ湾までの地域を自身の兄弟らに与えた。メヒティルトはデンマークでは不人気で「悪魔の娘」といわれ、メヒティルトはヴァルデマー2世に対する教皇や皇帝の手紙を破棄したとして非難された。
子女

メヒティルトは最初の夫アーベルとの間に3男1女をもうけた。
ヴァルデマー3世（1238年 - 1257年） - シュレースヴィヒ公（1254年 - 1257年）
ソフィー（1240年 - 1284年以降） - アンハルト＝ベルンブルク侯ベルンハルト1世と結婚
エーリク1世（英語版）（1241年頃 - 1272年） - シュレースヴィヒ公（1257年 - 1272年）
アーベル（1252年 - 1279年） - ランゲラン領主
サルバドール・ゴンサーレス・マルコ

ボロ (Voro) ことサルバドール・ゴンサーレス・マルコ（Salvador González Marco、1963年10月9日 - ）は、スペイン・バレンシア州バレンシア出身の元サッカー選手、現サッカー指導者。スペイン代表であった。現役時代のポジションはディフェンダー（センターバック）。現在はプリメーラ・ディビシオン・バレンシアCFの暫定監督を務めている。
経歴 > クラブ

地元のバレンシアCFの下部組織出身で、1982年にバレンシアCF・メスタージャ（Bチーム）に昇格。1984-85シーズンの後半戦はセグンダ・ディビシオン（2部）のCDテネリフェにレンタル移籍し、1985年にバレンシアのトップチームに復帰してからは主力として1993年まで在籍。1989-90シーズンには37試合に出場して2得点し、クラブもリーグ戦で2位となった。1993年にデポルティーボ・ラ・コルーニャに移籍し、1990年代前半から中頃に躍進してスーペル・デポル(Super Depor)と呼ばれたデポルティーボで重要な役割を担った。1996年にセグンダ・ディビシオンのCDログロニェスに移籍し、1999年に現役引退。プリメーラ・ディビシオンでプレーした10シーズンでは通算290試合に出場した。
経歴 > 代表

1993年10月13日、ダブリンのランズダウン・ロードで行われた1994 FIFAワールドカップ・ヨーロッパ予選のアイルランド共和国戦でスペイン代表デビュー。ボロは90分間プレーし、スペインは3-1で勝利を収めた。アメリカで開催された1994 FIFAワールドカップ本大会のメンバーにも選出された。
経歴 > 現役引退後

現役引退後はバレンシアで試合統括者として働いていたが、2008年4月21日にトップチームのロナルド・クーマン監督が解任され、ボロが暫定監督に就任。2ヶ月間指揮を執り、2007-08シーズンのコパ・デル・レイでは優勝を果たした。シーズン終了後にウナイ・エメリが正式な監督に就任し、ボロは前職に復帰した。
監督成績

| クラブ | 国 | 就任 | 退任 | 記録> 試 | 記録> 勝 | 記録> 分 | 記録> 敗 | 記録> 得 | 記録> 失 | 記録> 差 | 記録> 勝率 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| バレンシアB |  | 2002年7月1日 | 2004年2月16日 | 7001630000000000000♠63 | 7001230000000000000♠23 | 7001130000000000000♠13 | 7001270000000000000♠27 | 7001800000000000000♠80 | 7001910000000000000♠91 | −11 | 07001365100000000000♠36.51 |
| バレンシア (暫定) |  | 2008年4月21日 | 2008年5月22日 | 7000500000000000000♠5 | 7000400000000000000♠4 | 5000000000000000000♠0 | 7000100000000000000♠1 | 7001120000000000000♠12 | 7000800000000000000♠8 | +4 | 07001800000000000000♠80.00 |
| バレンシア (暫定) |  | 2012年12月1日 | 2012年12月6日 | 7000100000000000000♠1 | 7000100000000000000♠1 | 5000000000000000000♠0 | 5000000000000000000♠0 | 7000100000000000000♠1 | 5000000000000000000♠0 | +1 | 7002100000000000000♠100.00 |
| バレンシア (暫定) |  | 2015年11月30日 | 2015年12月6日 | 7000200000000000000♠2 | 7000100000000000000♠1 | 7000100000000000000♠1 | 5000000000000000000♠0 | 7000400000000000000♠4 | 7000200000000000000♠2 | +2 | 07001500000000000000♠50.00 |
| バレンシア (暫定) |  | 2016年9月20日 | 2016年10月3日 | 7000300000000000000♠3 | 7000200000000000000♠2 | 5000000000000000000♠0 | 7000100000000000000♠1 | 7000400000000000000♠4 | 7000400000000000000♠4 | +0 | 07001666700000000000♠66.67 |
| バレンシア |  | 2016年12月30日 | 2017年5月21日 | 7001250000000000000♠25 | 7001100000000000000♠10 | 7000400000000000000♠4 | 7001110000000000000♠11 | 7001370000000000000♠37 | 7001420000000000000♠42 | −5 | 07001400000000000000♠40.00 |
| バレンシア (暫定) |  | 2020年6月29日 | 2020年7月19日 | 7000600000000000000♠6 | 7000200000000000000♠2 | 7000100000000000000♠1 | 7000300000000000000♠3 | 7000500000000000000♠5 | 7000700000000000000♠7 | −2 | 07001333300000000000♠33.33 |
| バレンシア (暫定) |  | 2021年5月3日 | 2021年5月22日 | 7000400000000000000♠4 | 7000200000000000000♠2 | 7000100000000000000♠1 | 7000100000000000000♠1 | 7000700000000000000♠7 | 7000200000000000000♠2 | +5 | 07001500000000000000♠50.00 |
| バレンシア (暫定) |  | 2023年1月31日 | 現在 | 5000000000000000000♠0 | 5000000000000000000♠0 | 5000000000000000000♠0 | 5000000000000000000♠0 | 5000000000000000000♠0 | 5000000000000000000♠0 | +0 | !— |
| 合計 | 合計 | 合計 | 合計 | 7002109000000000000♠109 | 7001450000000000000♠45 | 7001200000000000000♠20 | 7001440000000000000♠44 | 7002150000000000000♠150 | 7002156000000000000♠156 | −6 | 07001412800000000000♠41.28 |
タイトル > 選手時代

コパ・デル・レイ：1回（1994-95）
スーペルコパ・デ・エスパーニャ：1回（1995）
タイトル > 指導者時代

コパ・デル・レイ：1回（2007-08）
サンタンデール県 (コロンビア)

サンタンデール県（サンタンデールけん、Departamento de Santander）は、コロンビア北部のアンデス地方の県。コロンビア合衆国の最初の9州のうちの一つの名前を引き継いだ。県都はブカラマンガ。
隣接する県

南および南東にボヤカ県、北東にノルテ・デ・サンタンデール県、北にセサール県、西にボリーバル県、アンティオキア県と接する。
下位行政区 > Province

Metropolitan Province
North Soto Province
Comunera Province
Guanentá Province
Vélez Province
García Rovira Province
Mares Province
Carare-Opón Province
下位行政区 > 基礎自治体

アグアーダ (Aguada)
アルバニア (Albania)
アラトーカ (Aratoca)
バルボーサ (Barbosa)
バリチャーラ (Barichara)
バランカベルメハ (Barrancabermeja)
ベトゥリア (Betulia)
ボリーバル (Bolívar)
ブカラマンガ (Bucaramanga)
カブレーラ (Cabrera)
カリフォルニア (California)
カピタネッホ (Capitanejo)
カルカーシ (Carcasi)
セピータ (Cepita)
セリート (Cerrito)
チャララ (Charala)
チャルタ (Charta)
チーマ (Chima)
チパータ (Chipata)
チミターラ (Cimitarra)
コンセプション (Concepción)
コンフィーネス (Confines)
コントラタション (Contratación)
コロモーロ (Coromoro)
クリーティ (Curiti)
エル・カルメン (El Carmen)
エル・グアカマヨ (El Guacamayo)
エル・ペニョン (El Peñón)
エル・プラヨン (El Playón)
エンシーノ (Encino)
エンシーソ (Enciso)
フロリアン (Florián)
フロリダブランカ (Floridablanca)
ガラン (Galan)
ガンビータ (Gambita)
ヒロン (Girón)
グアカ (Guaca)
グアダルーペ (Guadalupe)
グアポータ (Guapota)
グアバータ (Guavata)
ゲプサ (Guepsa)
アト (Hato)
ヘスス・マリーア　(Jesus María)
ホルダン (Jordan)
ラ・ベジェーサ (La Belleza)
ランダスーリ (Landazuri)
ラ・パス (La Paz)
レブリーハ (Lebrija)
ロス･サントス (Los Santos)
マカラビータ (Macaravita)
マラガ (Málaga)
マタンサ (Matanza)
モゴーテス (Mogotes)
モラガビータ (Molagavita)
オカマンテ (Ocamonte)
オイバ (Oiba)
オンサーガ (Onzaga)
パルマール (Palmar)
パルマス･ソコーロ (Palmas Socorro)
パラーモ (Paramo)
ピエデクエスタ (Piedecuesta)
ピンチョーテ (Pinchote)
プエンテ・ナショナル (Puente Nacional)
プエルト・パーラ (Puerto Parra)
プエルト・ウィルチェス (Puerto Wilches)
リオネグロ (Rionegro)
サバーナ・デ・トーレス (Sabana de Torres)
サン・アンドレス (San Andrés)
サン・ベニート (San Benito)
サン・ヒル (San Gil)
サン・ホアキン (San Joaquín)
サン・ホセ・ミランダ (San José Miranda)
サン・ミゲル (San Miguel)
サンタ・バルバラ (Santa Bárbara)
サンタ・エレーナ・デル・オポン (Santa Helena del Opón)
サン・ビセンテ・デ・チュクリー (San Vicente de Chucurí)
シマコータ (Simacota)
ソコーロ (Socorro)
スアイータ (Suaita)
スクレ (Sucre)
スラータ (Surata)
トナ (Tona)
バジェ・サン・ホセ (Valle San José)
ベレス (Vélez)
ベータス (Vetas)
ビジャヌエバ (Villanueva)
ザパトーカ (Zapatoca)
県の地図。赤点は各市の市庁所在地を示す
様相論理

様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。
その歴史は古くアリストテレスまで遡ることができるが、形式的な扱いは数理論理学以降、非古典論理としてである。
様相論理では一般に、標準的な論理体系に「～は必然的である」ことを意味する必然性演算子 \Box と、「～は可能である」ことを意味する可能性演算子 \Diamond のふたつの演算子が追加される。
真理論的様相と認識論的様相

様相論理は真理論的（形而上学的、論理的）様相の文脈で語られることが最も多い。この様相においては「～は必然的である」、「～は可能である」といった言明が扱われるが、これは認識論的様相と混同されやすい。
例えば「雪男は存在しているはずがない」という主張と、「雪男が存在することは可能である」という主張は、矛盾無く行うことが可能である。この場合、前者は認識論的様相であり、「（これまでの情報からして）雪男が実際に存在するとは考えられない」という主張とみなしうる。一方、後者は真理論的様相であり「（実際には存在しないのだが）雪男が存在することは可能である」という主張であると解釈することができる。
あるいは、「ゴールドバッハ予想は正しいかもしれないし、正しくないかもしれない」という言明も認識論的である。これは現時点の知識では正しいかどうか分からないということであり、仮にゴールドバッハ予想の証明が存在し、その方法に気付いていないだけだとすれば、真理論的には「正しくないかもしれない」という主張は誤りであることになる。
これ以外の様相としては、時間的なものがある。例えば、「明日雨が降るかどうかは決まっていない」のに対し、「昨日雨が降ったかどうかは決まっている」と考えられる。このように素朴な時間観には同意しない哲学者も多いが、その構造は様相論理によって把握することができる。
さらに「～べきではない」「～してもよい」といった義務に関わる命題も様相論理によって扱うことができる。直感的にも、「～べきではない」と「～してもよい」の関係は「～は必然的である」と「～は可能である」の関係と極めて類似している。義務表現を扱う様相論理は義務論理と呼ばれる。
様相論理の公理系

様相論理には様々な公理系が考えられており、どのような公理系が妥当なのかはそれ自体が論争の的である。二つの様相演算子のあいだにド・モルガンの法則的な関係が成立することは、どの公理系でも共通している。 \Box は必然性演算子、 \Diamond は可能性演算子である。
\Box p\leftrightarrow \neg \Diamond \neg p
\Diamond p\leftrightarrow \neg \Box \neg p
即ち、「必然的に真」は「偽である可能性がない」と同等であり、「真である可能性がある」は「必然的に偽であるわけではない」と同等である。様相論理としての最低限の定義  \Diamond p=\neg \Box \neg p のみを満たす最小の公理系としては、E という公理系が知られている。これは古典命題論理に以下の推論規則を加えたものである。
推論規則 :  \varphi \leftrightarrow \psi  が成り立つならば、 \Box \varphi \leftrightarrow \Box \psi  も成り立つ。
この公理系 E より「強い」すべての公理系は、Classical な公理系と呼ばれる。
しかしながら、真と認めるべきかどうか直感的に明らかでない論理式も多く作ることができる。例えば「必然的に真ならば必然的に「必然的に真」である」と言えるのかどうか、即ち  \Box p\rightarrow \Box \Box p が成り立つのかどうかははっきりしない。こういった定理を認めるか否かによって、様々な公理系が生まれる。
必然化規則を満たす公理系（Normal な公理系）の中で、最も「小さな」公理系として知られているのは、クリプキによる K という公理系である。K の公理系に更に公理を付け加えることにより、様々な様相論理が得られる。
様相論理の公理系 > K の公理系

K の公理系は古典命題論理の公理系に公理図式K（太字になっていることに注意）と必然化規則（necessitation）を付け加えたものである。
公理K :  \Box (A\rightarrow B)\rightarrow (\Box A\rightarrow \Box B)
必然化規則 :  A が無仮定で証明可能ならば、 \Box A もまた無仮定で成立する。
ここで可能性演算子は定義  \Diamond p=\neg \Box \neg p によって導入される。
様相論理の公理系 > T の公理系

K の公理系に以下の公理図式T「必然的に真ならば、真である」を加えた体系は T と呼ばれる。
公理T :  \Box A\rightarrow A
T においては、K では証明可能でなかった  p\rightarrow \Diamond p などが証明可能となる。
様相論理の公理系 > S4, S5の公理系

公理系K,Tにおいては以下の1–4の同値性を証明できないために多重の様相（ \Diamond \Diamond ,  \Box \Box ,  \Diamond \Box ,  \Box \Diamond ,  \Box \Box \Box , ...）を減らすことができない。従って無限に多くの様相が区別されることになる。
\Diamond P\leftrightarrow \Box \Diamond P
\Box P\leftrightarrow \Diamond \Box P
\Diamond P\leftrightarrow \Diamond \Diamond P
\Box P\leftrightarrow \Box \Box P
これらは還元法則と呼ばれるが、右辺→左辺はTで証明可能なので、1–4の左辺→右辺の内、どれを公理系T に付け加えるかで S4, S5 の違いが生まれる。
公理4 :  \Box A\rightarrow \Box \Box A （還元法則の4に対応）をTに付け加えたのがS4である。
公理5 :  \Diamond A\rightarrow \Box \Diamond A （還元法則の1に対応）をTに付け加えたのがS5である。
実は、還元法則の1を仮定すれば、Tの下で2–4は証明可能となる。一方3を仮定すれば4がTで証明可能だが、2は証明可能でない。従ってS5はS4より真に強い（証明力の強い）公理系である。還元法則の導入により本質的に区別される様相はS4で7種類、S5で3種類と実際に減少する。
クリプキはこの S5 に非常に単純な意味論が当てはまることを示した（下の#様相論理の意味論参照）。しかし実際には、議論の目的によって適切な公理系は異なる。例えば、真理論的様相に関しては S5 が最も適当だが、認識論的様相では S4 という公理系が適切であると考えられている。
様相論理の意味論

様相論理の意味論としてはソール・クリプキによって与えられたクリプキ意味論と呼ばれる体系があり、それと関係するよく知られたアイディアとして可能世界論がある。上で見た公理系のバリエーションは、可能世界のあいだの二項関係として定義される到達可能性の概念によって捉えることができる。なお、可能世界という概念をどう解釈すべきかを巡っては、哲学上の議論も盛んである。
命題様相論理の意味論の概要は以下の通りである。
Wを空でない集合とする。これは個々の可能世界全体の集合を表していると考えられる。次にW上の二項関係Rを考える。つまり R\subseteq W^{2}である。また \langle w,w'\rangle \in R を  _{w}R_{w'}と表す。RはW上の到達関係と呼ばれ、様相演算子の付いた論理式の真偽に影響する。またPVを命題変数全体の集合とし、このPVと先に定義したWに対し、関数Vを
として定義する（ 2^{W}はWの冪集合、すなわち部分集合全体の集合である）。これは、ある原子命題について、それが真である可能世界の集合を与える解釈である。すなわち、可能世界wにおいて原子命題pが真であることを w\in V(p)として表す。このように定義された順序三組〈W, R, V〉を解釈（もしくはクリプキモデル）と呼ぶ。
さて、解釈Vを以下のように論理式全体に再帰的に拡張する。A、Bを任意の論理式、wをWの任意の要素とする。
w\in V(\neg A)\Leftrightarrow w\notin V(A)
w\in V(A\land B)\Leftrightarrow w\in V(A) かつ  w\in V(B)
w\in V(A\lor B)\Leftrightarrow w\in V(A) または  w\in V(B)
w\in V(A\rightarrow B)\Leftrightarrow w\notin V(A) または  w\in V(B)
w\in V(\Box A)\Leftrightarrow  全ての  _{w}R_{w'} である  w'\in W について  w'\in V(A)
w\in V(\Diamond A)\Leftrightarrow  ある  _{w}R_{w'} である  w'\in W において  w'\in V(A)
命題論理の結合子については古典命題論理と全く同じであるが、様相演算子については、可能世界と到達関係を持つ別の可能世界を考える必要がある。任意のクリプキモデル〈W, R, V〉の全ての w\in Wで w\in V(A)の時、AはK（クリプキに因む）で恒真であると言う。ルイスの公理系の一部の意味論は到達関係Rに制限（二項関係の制限について詳しくは集合上の関係を参照）を加えることにより作ることが出来る。例えばS5でAが証明可能なのは、反射的かつ対称的かつ推移的であるという制限をRに加えた全てのクリプキモデルの全ての世界でAが真である時であり、その時のみである。同様にS4は反射的かつ推移的という制限を加える。
次に「非正規世界」（non-normal worlds）を導入する。Wを空でない集合、NをWの部分集合、他R及びvは上と同様に定義する。この時、順序四組〈W, N, R, V〉が非正規様相論理における解釈である。vは、命題論理の結合子については、全ての w\in Wで上記と同様に拡張される。様相演算子については、正規世界Nにおいては上記と全く同じだが、非正規世界W - N（WのうちでNに含まれない世界全ての集合）においては異なる。
いわば、非正規世界では定義的に（到達関係と関係なく）全ての可能命題が真であり、全ての必然命題が偽である。Aが恒真であるとは全ての解釈〈W, N, R, V〉の下で全ての w\in Nに対し w\in V(A)であることを言う。非正規様相論理の解釈の到達関係Rに反射的であるという制限を加えるとS2、反射的かつ推移的という制限を加えるとS3の意味論となる。
公理系S4の位相的意味論では、原子命題達を位相空間の中の図形と解釈する。ここでは様相演算子 \Box と \Diamond は、それぞれ開核作用素と閉包作用素に解釈される。代数的意味論では、原子命題達を位相ブール代数の元と解釈する。
様相論理の歴史

アリストテレスの論理学は大部分がいわゆる三段論法に関わるものであり、古典論理の枠内で扱えるものであるが、有名な De Interpretatione （『命題論』）の海戦問題のように、時間と可能性に関わる発展的な議論も行っている。スコラ哲学では主に本質（essence）と付随的な性質（accident）の区別について、厳密な論理が展開された。中世の思想家の中で、様相論理に関わる重要な仕事をした人物としてはオッカムのウィリアム、ヨハネス・ドゥンス・スコトゥスが挙げられる。
今日の様相論理は、1918年の著書 A Survey of Symbolic Logic のなかで S1–S5 の公理系を導入した C・I・ルイスに始まる。1933年にはクルト・ゲーデルにより、必然性演算子 \Box を基準とした方法で S4 が定義された。J・C・C・マッキンゼーは1941年に代数的方法を用いてルイスの S2 と S4 の体系の決定可能性を証明した。
様相論理に対しての意味論は様々な形で考えられてきたが、1963年にソール・クリプキにより提唱されたクリプキ意味論（可能世界意味論とも）は、様々な様相論理の体系に対して完全性定理が成り立つことが示され、様相論理を飛躍的に前進させた。
様相論理から派生した論理体系としては、従来の演算子に代わり、それぞれ過去・未来の到達可能性を示す様相演算子P・Fを導入する時相論理や、従来の様相演算子 \Box 、 \Diamond にラベル付けを施した動的論理などがある。これらは認知現象の解析や計算機科学への応用など、目的に応じて様々に考案され、適用されている。
柳家さん治

柳家 さん治（やなぎや さんじ）は、落語家の名前。
柳家さん治 - 後∶十代目柳家小三治
柳家さん治 - 現∶柳家小袁治
サヒブ・シハブ

| サヒブ・シハブ Sahib Shihab |
| --- | --- |
出生名:  Edmund Gregory
生誕:   (1925-06-23) 1925年6月23日
出身地:   アメリカ合衆国 ジョージア州サヴァナ
死没:   (1989-10-24) 1989年10月24日（64歳没）  アメリカ合衆国 テネシー州ナッシュビル
ジャンル:  ハード・バップ・ジャズ
職業:  サクソフォン奏者
担当楽器:  サクソフォーン、フルート
活動期間:  1940年代 - 1980年代
共同作業者:  ジーン・クイル、フィル・ウッズ、ハル・ステイン
サヒブ・シハブ（Sahib Shihab、1925年6月23日 ジョージア州サヴァナ - 1989年10月24日 テネシー州）は、ジャズ・サクソフォーン奏者ならびにジャズ・フルート奏者。1947年にイスラム教に改宗するまでの名は、エドマンド・グレゴリー（Edmund Gregory）であった。
略歴

13歳でプロのアルト・サクソフォーン奏者として初舞台に立ち、ルーサー・ヘンダーソン楽団と共演する。その後、ボストン音楽院に進学し、トランペット奏者のロイ・エルドリッジと共演した。1940年代半ばには、フレッチャー・ヘンダーソンとともに首席アルト・サクソフォーン奏者となった。ジャズ・ミュージシャンとして最初にイスラム教に改宗し、改名した。1940年代にセロニアス・モンクと共演しており、またこの頃は、時間を割いてアート・ブレイキーやケニー・ドーハム、ベニー・ゴルソンらのアーティストによる数々の録音に参加した。1950年代にディジー・ガレスピーのビッグバンドに招かれて共演したことは、バリトン・サクソフォーンへの転機として特に重要である。1957年に写真家アート・ケインが撮影した集合写真『ハーレムの大いなる日（A Great Day in Harlem）』の中にも姿を見せた。
1959年に、アメリカ国内の人種問題に辟易して、クインシー・ジョーンズとともにヨーロッパに渡り、最終的にスカンジナビアに永住する。コペンハーゲン工科大学に勤め、映画やテレビ、劇場のための付随音楽を作曲した。1961年にケニー・クラークとフランシー・ボランのビッグバンドに入団し、12年にわたって一座の中心人物であり続けた。人種問題に敏感な良心的アフリカ系アメリカ人ではあったが、デンマーク人女性と結婚してヨーロッパで家庭を築いている。1966年のユーロビジョン・ソング・コンテストでは、スウェーデン代表のリル・リンドフォシュとスヴァンテ・トゥーレソンの伴奏を務めた。
1973年にアメリカに帰国し、ロックバンドやポップ・グループのセッションマンとして、また地方の音楽家のためのコピーライターとして3年間働いた。1978年、ケニー・ドリューと共同でマトリックス（ジャズ・レーベル）を設立した。最晩年はニューヨークとヨーロッパを行き来して、アート・ファーマーとの共演で成功を収めた。
テネシー州ナッシュビルにて逝去。
他に共演者はタッド・ダメロン、フィリー・ジョー・ジョーンズ、フィル・ウッズ、ハンク・ジョーンズ、ポール・チェンバース、アート・テイラー、ビル・エヴァンス、ニールス＝ヘニング・エルステッド・ペデルセン等が挙げられる。
ディスコグラフィ > リーダー・アルバム

『ザ・ジャズ・ウイ・ハード・ラスト・サマー』 - The Jazz We Heard Last Summer (1957年、Savoy) ※ハービー・マンとのスプリット
『ジャズ・サヒブ』 - Jazz Sahib (1957年、Savoy)
『サヒブズ・ジャズ・パーティー』 - Sahib's Jazz Party (1963年、Debut) ※『カンヴァーセイションズ (Conversations)』として再発あり
Summer Dawn (1964年、Argo)
『SAHIB SHIHAB AND THE DANISH RADIO JAZZ GROUP』 - Sahib Shihab and the Danish Radio Jazz Group (1965年、Oktav)
『シーズ』 - Seeds (1968年、Vogue Schallplatten)
『コンパニオンシップ』 - Companionship (1970年、Vogue Schallplatten)
『センチメンツ』 - Sentiments (1972年、Storyville)
La Marche dans le Désert (1972年、Futura) ※Sahib Shihab + Gilson Unit名義
『フルート・サミット』 - Flute Summit (1973年、Atlantic) ※with ジェレミー・スタイグ、ジェームス・ムーディ、クリス・ヒンゼ
Soul Mates (1988年、Uptown) ※with チャーリー・ラウズ
And All Those Cats (1988年) ※コンピレーション
サーボブレーキ

唐沢製作所製サーボブレーキ
サーボブレーキは自転車の後輪に用いられるブレーキの一形式である。
自転車業界において、広義のサーボブレーキとは、旧来のバンドブレーキの欠点を改良しつつ互換性を保った、複数の製品を指す普通名詞（商標の普通名称化）であり、狭義のそれは、株式会社唐沢製作所によって製造・販売されている製品を指す商品名である。
構造

車輪のハブにねじ込まれたブレーキドラムを、バンドで外側から押さえつけるバンドブレーキとは違い、ブレーキドラムの内側から、剛性の高いブレーキシューが広がって押さえる内拡式ドラムブレーキの一種である為「キーッ」と言う音が鳴りにくい。また、摩擦面がドラムの内側に位置するため、雨水も入り込みにくい。自動車でも採用されるシステムで、信頼性は高い。
ドラムブレーキにはいくつかの方式があるが、自転車用サーボブレーキは機械式のユニサーボ方式に属し、これが本製品群の呼び名の由来となっている。セルフサーボの特性を持つ点はバンドブレーキと共通している。
搭載車

1970年代の末に開発された本形式は、国産の高品質な軽快車に広く採用されたが、近年の自転車の低価格化圧力と、大手自転車部品メーカー、シマノ社の開発した後発製品であるローラーブレーキの普及による挟撃を受ける形となり、安売りされている自転車はバンドブレーキ、他の多くの軽快車ではローラーブレーキに市場を奪われ、新車でサーボブレーキが付く自転車は減少傾向である。
なお、後付けの補修部品としても購入可能であり、またローラーブレーキとは異なりバンドブレーキと同様の形状で取付けやケーブルの取り回しが共通で互換性があるため、バンドブレーキの音鳴りに悩まされるなどの場合の対処として、本形式への変更も可能である。
種類 > 唐沢製作所製サーボブレーキ

唐沢ブランドの製品は、外観がバンドブレーキとよく似ているが、外側面の目玉のような、色の付いたゴム製キャップの有無が識別点である。この製品は、ブレーキの効き過ぎによる車輪の滑走を防ぐため、ブレーキシューの摩擦面を小さくし、マイルドな効き味としている。同社では、子供車にも適する小型の製品も製造しているが、子供車向けのシェアは高くない。
表面。
裏面。機械式ユニサーボの構造
種類 > パナソニック サイクルテック製 パナサーボブレーキ

外側カバーの後部上方に突起を持つ形状が特徴だが、内部構造は唐沢の物とほぼ同じであり、効き味も似ている。
表面。
裏面。
種類 > ブリヂストンサイクル製 ダイネックスブレーキ

独自の内部構造を持ち、摩擦面の面積が大きく作られているため、比較的制動力が強い。
表面。
裏面。肉厚な鋼製のバンドがドラムの内面に接する独自の構造。
種類 > 前輪用サーボブレーキ

唐沢製作所では前輪用のサーボブレーキも製造しているが、これを採用する車種は国内では非常に少ない。
表面。
裏面。
椿昇

椿 昇（つばき のぼる、1953年 - ）は、日本の現代美術家。京都造形芸術大学芸術学部美術工芸学科教授。
1980年代から、美術と社会の関係を問い直す作品を発表している。2001年の横浜トリエンナーレで発表した全長50メートルの巨大なバッタ（椿昇＋室井尚「インセクト・ワールド-飛蝗」）等が知られている。
略歴

1953年（昭和28年） - 京都府京都市に生まれる
1976年（昭和51年） - 京都市立芸術大学西洋画専攻卒業
1978年（昭和53年） - 同大学美術専攻科西洋画科修了、松蔭女子学院中学校・高等学校の美術教師となる
1996年（平成8年） - インターメディウム研究所（現・IMI/グローバル映像大学）設立参加
2002年（平成14年） - 帝塚山学院大学助教授
2005年（平成17年） - 京都造形芸術大学教授
主な個展

2003年 - 「国連少年」（水戸芸術館）
2009年 - 「2004-2009 GOLD/WHITE/BLACK」（京都国立近代美術館）
レイモン・サレイユ

レイモン・サレイユ（Raymond Saleilles、1855年 - 1912年3月3日）は、フランスの法学者。
人物

19世紀末から20世紀初頭フランスにおいて、フランソワ・ジェニーと共に自由法運動を展開し、エールリッヒやカントロヴィッチらの運動と相まって世界的規模で影響を及ぼし、裁判過程の見方や法学的方法論に一大転換をもたらした。
ダバンによると、権利に関するサレイユの説は、サヴィニーやヴィントシャイトによる意思説や、イェーリングによる利益説のいずれでもない、折衷説である。その内容は、権利の本質を法的な意思、むしろ能力(pouvoir)と捉え、その中に「各人が自己の主人であること」(Maîtrise)を見いだし、それは「権利の観念に内有される能力を用いるべく資格づけられた者に、潜勢的に帰属されている支配(Maîtrise)」であって、権利の現実化、その行使とは無関係であると論じるものであった。ダバン曰く、利益と意思との両要因のそれぞれの重要性に関する折衷説の支持者間の論争を終了させた点で、イェリネックら他の折衷論者の見解よりも優れている。
029

| おにく 029 |
| --- | --- |
公式サイト:  029
テンプレートを表示
029（おにく）は、日本のイラストレーター。主にライトノベルの挿絵、キャラデザインを担当する。
人物・作風

関東在住、好きなものは焼き肉。。
色のコントラストや彩りをバランスよく用い、可憐で丸みのある絵柄を特徴とする。
挿絵を担当した「はたらく魔王さま!」「異能バトルは日常系のなかで」「くまクマ熊ベアー」などの3作品がTVアニメ化されている。
作品リスト > 挿絵

はたらく魔王さま!（電撃文庫、著：和ヶ原聡司）
勇者のセガレ（電撃文庫、著：和ヶ原聡司）
ドラゴンライズ（ガガガ文庫、著：水市恵）
8番目のカフェテリアガール（スーパーダッシュ文庫、著：石原宙）
異能バトルは日常系のなかで（GA文庫、著：望公太）
くまクマ熊ベアー（PASH! ブックス、著：くまなの）
この世界、わたしに都合がいいようです!（角川スニーカー文庫、著：気がつけば毛玉）
作品リスト > その他

ブルーアーカイブ青春あんさんぶる Vol.1 「アロナ」（ジャケットイラスト）
ブルーアーカイブ2周年記念画集（イラスト）
ブルーアーカイブ1周年記念画集（イラスト）
東山奈央キャラクターソングベストアルバム「Special Thanks！」ゲストイラスト
コミックマーケット「COMIC MARKET 45th Anniversary Book」 イラスト
電撃文庫「 FIGHTING CLIMAX IGNITION」（遊佐恵美イラスト）
Fate/hollow ataraxia（イラスト）
ルミナスアーク インフィニティ（イラスト）
せかい☆セイフク 〜COSTUME FES.〜（スパイク・チュンソフト／イラスト）
艦隊これくしょん -艦これ- ケッコンカッコカリアンソロジー（イラスト）
がっこうぐらし!公式アンソロジー 極（表紙）
超!A&G+ 逢坂市立花江学園〜Radio　逢坂良太&花江夏樹（ラバーストラップ）
ブラック・ブレット（第11話エンドカード）
グリザイアの楽園（ 第2話提供バックイラスト）
ご注文はうさぎですか?? TOKYO MX（再放送版第8話エンドカード）
はたらく魔王さま!（キャラソンアルバムジャケット）
異能バトルは日常系のなかで（サウンドドラマジャケット）
東山奈央のドリーム*シアター（桃山奈央、黄山奈央、白山奈央&黒山奈央／キャラソンジャケット）
楼

楼（ろう）
楼閣
塔
曽地村

| そちむら 曽地村 |
| --- | --- |
廃止日:  1901年11月1日
廃止理由:  新設合併 吉井村、油田村、曽地村、東城村（一部） → 中通村
現在の自治体:  柏崎市、刈羽村
廃止時点のデータ
国:   日本
地方:  中部地方、北陸地方 甲信越地方
都道府県:  新潟県
郡:  刈羽郡
市町村コード:  なし（導入前に廃止）
隣接自治体:  東城村、油田村、長鳥村、吉井村、日吉村、刈羽村
曽地村役場
所在地:  新潟県刈羽郡曽地村
ウィキプロジェクト
テンプレートを表示
曽地村（そちむら）は、かつて新潟県刈羽郡にあった村。曾地村と表記される場合がある。
沿革

1889年（明治22年）4月1日 - 町村制施行に伴い刈羽郡曽地村、曽地新田、花田村、飯塚村、飯塚新田が合併し、曽地村が発足。
1901年（明治34年）11月1日 - 刈羽郡吉井村、油田村、東城村（一部）と合併し、中通村となり消滅。
メアリー・ゾフレス

| メアリー・ゾフレス Mary Zophres |
| --- | --- |
 
生年月日:   (1964-03-23) 1964年3月23日（60歳）
出生地:   アメリカ合衆国 フロリダ州フォートローダーデール
職業:  衣裳デザイナー
活動期間:  1989年 - 活動中
配偶者:  マレー・バレリアーノ（2006年 - 継続中）
テンプレートを表示
メアリー・ゾフレス（Mary Zophres, 1964年3月23日 - ）は、1989年より映画業界で活動しているアメリカ合衆国の衣裳デザイナーである。2010年の映画『トゥルー・グリット』でアカデミー衣裳デザイン賞の候補となり、『ラ・ラ・ランド』と『バスターのバラード』を含め現在までに計3回候補になっている。また前述3作品と2002年の『キャッチ・ミー・イフ・ユー・キャン』で英国アカデミー賞衣裳デザイン賞（英語版）では4回候補となった。
生い立ちとキャリア

フロリダ州フォートローダーデールで生まれた。ニューヨーク州ポキプシーのヴァッサー大学に通い、美術史とスタジオアートの学位を得て卒業した。ゾフレスはノーマ・カマリ（英語版）やエスプリ（英語版）といったファッション業界で働いた。オリバー・ストーンの1989年の映画『7月4日に生まれて』で衣裳デザイナーのジュディ・ラスキンの下でエキストラワードローブスーパーバイザーとして雇われた。その後、『シティ・スリッカーズ』などでもラスキンと共に働き、ロサンゼルスに移った後はコーエン兄弟の『未来は今』などに参加した。これ以降のコーエン兄弟の作品全てに参加している。
フィルモグラフィ

PCU PCU (1994)
ジム・キャリーはMr.ダマー Dumb and Dumber (1994)
サバイバルガイド Bushwhacked (1995)
ファーゴ Fargo (1996)
キングピン/ストライクへの道 Kingpin (1996)
The Last of the High Kings (1996)
ウィズ・ユー Digging to China (1997)
不法執刀 Playing God (1997)
ビッグ・リボウスキ The Big Lebowski (1998)
God Said, 'Ha!' (1998)
ポーリー Paulie (1998)
メリーに首ったけ There's Something About Mary (1998)
マーローを捜せ! Where's Marlowe? (1998)
シック・アズ・シーヴス Thick as Thieves (1999)
エニイ・ギブン・サンデー Any Given Sunday (1999)
オー・ブラザー! O Brother, Where Art Thou? (2000)
バーバー The Man Who Wasn't There (2001)
ゴーストワールド Ghost World (2001)
ムーンライト・マイル Moonlight Mile (2001)
キャッチ・ミー・イフ・ユー・キャン Catch Me If You Can (2002)
ハッピー・フライト View from the Top (2002)
ディボース・ショウ Intolerable Cruelty (2003)
レディ・キラーズ The Ladykillers (2004)
ターミナル The Terminal (2004)
奥さまは魔女 Bewitched (2005)
スモーキン・エース/暗殺者がいっぱい Smokin' Aces (2006)
ノーカントリー No Country for Old Men (2007)
大いなる陰謀 Lions for Lambs (2007)
インディ・ジョーンズ/クリスタル・スカルの王国 Indiana Jones and the Kingdom of the Crystal Skull (2008)
バーン・アフター・リーディング Burn After Reading (2008)
シリアスマン A Serious Man (2009)
アイアンマン2 Iron Man 2 (2010)
トゥルー・グリット True Grit (2010)
カウボーイ & エイリアン Cowboys & Aliens (2011)
People Like Us (2012)
L.A. ギャング ストーリー Gangster Squad (2013)
インサイド・ルーウィン・デイヴィス 名もなき男の歌 Inside Llewyn Davis (2013)
インターステラー Interstellar (2014)
ヘイル、シーザー! Hail, Caesar! (2016)
ラ・ラ・ランド La La Land (2016)
バトル・オブ・ザ・セクシーズ Battle of the Sexes (2017)
ファースト・マン First Man (2018)
バスターのバラード The Ballad of Buster Scruggs (2018)
私生活

2006年3月9日、コメディ・セントラルのプロデューサー・脚本家であるマレー・バレリアーノと結婚した。
1975年大韓民国の国民投票

1975年大韓民国の国民投票（1975ねんだいかんみんこくのこくみんとうひょう、朝鮮語: 1975년 대한민국 국민투표）は、1975年2月12日に実施された大韓民国における国民投票である。
概要

1972年10月の「十月維新」を経て発足した第四共和国こと「維新体制」に対する在野勢力や学生達の反対運動は、1974年8月に緊急措置第1号、4号が解除されて以降、盛り上がりを見せた。また最大野党である新民党においても同年8月22日の党大会で当時47歳の金泳三が党総裁に選出されたことで、これまでの対政府協調路線を改め、維新憲法の改正と民主回復の運動に積極的に取り組むようになった。そして同年11月27日、政界や宗教界、学会、言論界、法曹界の関係者60名余で構成される「民主回復国民会議」が発足し、野党と在野が一元となって改憲を通じた新憲法撤廃と民主化のための運動を推進し始めた。
このように維新体制に対する反対運動が高まり、政局がにわかに混迷の度合いを深める中、朴正煕大統領は1975年1月23日に突如、維新憲法と維新体制に対する信任を国民に問うための国民投票を実施するとの特別談話を発表した。談話の中で朴大統領は「今回の国民投票は単に現行憲法に対する信任投票であるのみならず、大統領（朴大統領自身）に対する信任投票と看做す」と述べた上でさらに、「万一、国民が現行憲法の撤廃を浴するならば、それは大統領に対する不信任と見て即時私は大統領の職から退く」と言明した。そのため国民投票は単に維新憲法の信任を問うだけでなく大統領に対する信任投票の色合いが非常に濃いものとなった。
野党は現行の国民投票法では国民投票案が告示されてから投票日前日に至るまでの期間中、投票に対する賛成反対の運動がほとんどできないこと、投票と開票の立会いにおいて政党関係者の参加を排除している点を挙げて、国民投票に反対する姿勢を示した。
国民投票結果と動向

野党や在野勢力が国民投票をボイコットする中で、2月12日に実施された国民投票は、8割近い投票率と7割以上の賛成で、維新憲法が信任される形となった。
| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |

| 有権者数： | 有権者数： | 16,788,839名 （不在者：529,801名） | 投票率 |
| 投票者数 | 投票者数 | 13,404,245名 （不在者：518,692名） | 79.8% |
| 投票者数 | 投票者数 | 13,404,245名 （不在者：518,692名） | 得票率 |
| 有効票 | 賛成 | 9,800,201票 | 74.4% |
| 有効票 | 反対 | 3,370,085票 | 25.6% |
| 有効票 | 有効票合計 | 13,170,286票 | 100.0% |
| 無効票 | 無効票 | 233,959票 |  |

開票の翌日、朴大統領は「今回の国民投票で再確認された国民的正当性に立脚し、国民の総和を下に挙国的政治体制を発展させていく」との談話を発表、投票日3日後の2月15日には人民革命党事件と反共法違反者を除いた緊急措置1号と4号違反者を全員釈放する措置をとった。
メルド

メルドには以下のような意味がある。
メルド (フランス語)
メルド (競走馬)
メルド - カードゲーム用語。ラミーを参照。
メルド - ゲーム『エルファリア』シリーズに登場する強化方法。さまざまなアイテムを「ラ」の力によって武器に練り込むこと。
メルド - レオス・カラックス監督による、オムニバス映画TOKYO!の一編。
クレマンティーヌ＝エレーヌ・デュフォー

| クレマンティーヌ＝エレーヌ・デュフォー Clémentine-Hélène Dufau |
| --- | --- |
 
生誕:  1869年8月18日 フランス, カンサック
死没:  1937年3月18日 フランス,パリ
テンプレートを表示
クレマンティーヌ＝エレーヌ・デュフォー（Clémentine-Hélène Dufau、1869年8月18日 - 1937年3月18日）はフランスの画家である。
略歴

ジロンド県のカンサック(Quinsac) で生まれた。1888年に美術を学ぶために両親とパリに移った。アカデミー・ジュリアンでウィリアム・アドルフ・ブグローやトニ・ロベール＝フルーリー、ガブリエル・フェリエールに学んだ。1893年にサロン・ド・パリに初めて出展し、その後も出展を続け、フランス芸術家協会の会員になった。1898年に奨学金を獲得し、スペインで修行し、写実主義、印象派のスタイルから、より装飾的なスタイルに変わった。1900年のパリ万国博覧会では記念絵葉書をデザインした。1903年に創立されたサロン・ドートンヌには創立メンバーとして参加した。
J・H・ロニーのSF小説や、シャルル・ドゥレンヌ、ピエルー・ヴァルダーニュの著書の挿絵を描き、フェミニスト新聞、「ラ・フロンド」の挿絵も描いた。1909年にレジオンドヌール勲章（シュバリエ）を受勲した。パリ、ソルボンヌの建物の装飾画を描いた。
1920年に南フランスのアンティーブに移った。癌でパリで没した。
作品

はしけの子供 (1898)
ポスター (1903)
"Vision intime" (c.1913)
浴室