stanford-oval/wikipedia huggingface dataset:
イフ・ゴッド・ウィル・センド・ヒズ・エンジェルス
収録曲

Single Version
Slow Dancing
Two Shots of Happy, One Shot of Sad
Sunday Bloody Sunday (Live from Sarajevo)
Single Version
Mofo (Romin Remix)
PV

監督：フィル・ジョアノー
プロデューサー：ジェーン・リアドン
編集：フィル・ジョアノー
ロケ地：Hi-Liter Diner, Highland Park（デトロイト）
撮影日：1997年11月1日
リリース日：1997年11月19日
撮影は1997年11月1日の午後9時から翌朝の4時半にかけて行われた。ボノが宿泊していたRitz Carltonの外にU2ファンが何人かいたので、彼らのエキストラとして参加してもらった。このPVはヨーロッパで流され、北米ではこの曲を提供した『シティ・オブ・エンジェル』のシーンを挿入したヴァージョンが流された。
ライブ

Popmartツアーの1stレグで計22回演奏されたが、初日の1997年4月25日のラスベガス公演でのみ唯一フルバンドで、それ以外はアコギで演奏された。
アウトアピアランス

『シティ・オブ・エンジェル』 (1998) - ニコラス・ケイジとメグ・ライアンが出演した1998年のアメリカ映画のサントラ。ヴィム・ヴェンダースの『ベルリン・天使の翼』のリメイクである。
リミックス

Grand Jury Mix （1997）
by Gerald Baillergeau, AKA Big Yam, Victor Merritt, AKA Vino
(「Mofo」『Artificial Horizon』収録)
Big Yam Mix （2002）
by  Gerald Baillergeau, Victor Merritt
(『The Best Of 1990-2000 収録』)
B面 > Slow Dancing

「Stay (Faraway, So Close!)」のB面には、ボノとエッジによるアコギヴァージョンが収録されたが、こちらはウィリー・ネルソンを伴ってのフルバンド演奏。ミッキー・ラファエルがハーモニカを担当している。
B面 > Two Shots of Happy, One Shot of Sad

1992年にボノとエッジがフランク・シナトラのために書いた曲。1995年11月19日に放送された、シナトラの80歳の誕生日を祝うトリビュート番組のためにボノとエッジによってロンドンでレコーディングされた。ストリングス・アレンジメントはクレイグ・アームストロングである。結局、フランク・シナトラがレコーディングする機会はなかったが、2004年に娘のナンシー・シナトラがレコーディングし、アダムとラリーが参加した。その際、ナンシーは1人称から3人称に変え、父親に言及している。
→「Two Shots of Happy, One Shot of Sad」
B面 > Sunday Bloody Sunday (Live from Sarajevo)

1997年9月23日に行われたPopmartツアーサラエボ公園での演奏。喉を潰したボノの代わりにエッジがアコギで歌っている。この後、カラオケの代わりにエッジのアコギによる「Sunday Bloody Sunday」がセトリに入った。
ジャッジメント

ジャッジメント（Judgment / Judgement）は「審判を下す」「判決」などを意味する英単語。
映画

ジャッジメント (1990年のアメリカ映画)（英語版） - 1990年のアメリカ映画。
ジャッジメント (1990年のインド映画)（英語版） - 1990年のインド映画。
JUDGEMENT - 2012年の日本映画。
音楽

ジャッジメント (アナセマのアルバム)（英語版） - アナセマの1999年のアルバム。
ジャッジメント (VNVネイションのアルバム)（英語版） - VNVネイション（英語版）の2007年のアルバム。
ジャッジメント - RIP SLYMEの2001年のアルバム『FIVE』収録曲。
その他

風紀委員 - 鎌池和馬のライトノベル作品『とある魔術の禁書目録』に登場する学園都市の治安維持機関「風紀委員」(白井黒子その他)の読み
ジャッジメント作戦 - 1944年のイギリスの軍事作戦 → タラント空襲
悪魔城ドラキュラ ジャッジメント - 2008年に発売されたWii用ゲームソフト。
ジャッジメント (小説) - 小林由香の小説。
JUDGEMENT - 『JUDGE EYES:死神の遺言』の北米版タイトル。2019年6月25日発売。
検索

ジャッジメントから始まる記事一覧
Judgementから始まる記事一覧
松山城

松山城（まつやまじょう）は日本の城の名前。
松山城 (伊予国) - 愛媛県松山市にある城。現存12天守のひとつであり、「松山市」にあることから、単に「松山城」とした場合、一般的に本城を指すことが多い。
松山城 (備中国) - 岡山県高梁市にある城。現存12天守のひとつであり、上記に対し、こちらは一般的に「備中松山城」と呼ばれる。
松山城 (陸奥国志田郡) - 宮城県大崎市にある城。
松山城 (出羽国) - 山形県酒田市にある城。
松山城 (陸奥国岩瀬郡) - 福島県須賀川市にある城。
松山城 (武蔵国) - 埼玉県比企郡吉見町にある城。
松山城 (下総国) - 千葉県匝瑳市にある城。
宇陀松山城 - 奈良県宇陀市にある城。「続日本100名城」に選ばれている。
松山城 (石見国) - 島根県江津市にある城。
松山城 (豊前国) - 福岡県京都郡苅田町にある城。
松山城 (日向国) - 鹿児島県志布志市にある城。
セルゲイ・クルグロフ (詩人)

セルゲイ・ゲンナディエヴィチ・クルグロフ（1966年7月26日 - , ロシア語: Серге́й Генна́дьевич Кругло́в, ラテン文字転写: Sergei Gennadiyevich Kruglov）は、ロシアの詩人、正教の司祭。
クラスノヤルスクに生まれる。ジャーナリズムをシベリア連邦大学（Сибирский федеральный университет）で学んだが卒業はしていない。都市の新聞『ヴラスチ・トゥルードゥ』（ロシア語: Власть труду, "労働への力"の意）で働き、1993年から詩を刊行してきた。1996年にはロシア正教会で洗礼を受け、3年後には司祭に叙聖された。ミヌシンスクの救世主大聖堂で奉職している。2002年には、地方文学撰（Нестоличная литература）に選ばれていた彼の詩集の一つが、アンドレイ・ベリー賞の最終選考に残った。2008年には、作品『鏡』（2007年、Зеркальце）と『タイピスト』（2008年、Переписчик）でこれを受賞している。
刊行物

Снятие Змия со креста (The Deposition of the Serpent, 2003)
Зеркальце (The Mirror, 2007)
Приношение (The Offering, 2008)
Переписчик (The Typist, 2008)
批評

（ロシア語） Galina Ermoshina, Power to the Dark, a review at Russian Journal, 13 November 2002.
（ロシア語） Dmitry Kuzmin, Underground Fire, a review of Deposition of the Serpent in the New Literary Review, 2003.
（ロシア語） Elena Fanailova, Deposition of the Serpent, a review in The Critical Mass, issue 2, 2004.
（ロシア語） Boris Dubin, By Cellulose and Saliva, an analysis of Kruglov's style in the New Literary Review, 2007.
イオン亀岡店

| イオン亀岡店 ÆON KAMEOKA |
| --- | --- |
 
地図
 
店舗概要
所在地:  〒621-0815 京都府亀岡市古世町西内坪101
座標:  北緯35度0分53.3秒 東経135度35分2.1秒﻿ / ﻿北緯35.014806度 東経135.583917度﻿ / 35.014806; 135.583917﻿ (イオン亀岡店)座標: 北緯35度0分53.3秒 東経135度35分2.1秒﻿ / ﻿北緯35.014806度 東経135.583917度﻿ / 35.014806; 135.583917﻿ (イオン亀岡店)
開業日:  1994年（平成6年）6月24日
施設所有者:  ニチイ ↓ マイカル ↓ イオンリテール株式会社
施設管理者:  イオンリテール株式会社
敷地面積:  15,335 m²
延床面積:  59,895 m² 
商業施設面積:  11,129 m²※直営売場面積:9,949 m²
中核店舗:  イオン亀岡店
店舗数:  ÆONと17の専門店
営業時間:  9:00 - 23:00（1F） 9:00 - 21:00（2・3F） ※一部売場・専門店では異なる
駐車台数:  753台
駐輪台数:  バイク：31台 自転車：285台
前身:  亀岡サティ
最寄駅:  亀岡駅
最寄IC:  亀岡IC
外部リンク:  イオン亀岡店
ÆON RETAIL
テンプレートを表示
イオン亀岡店（イオンかめおかてん）は、京都府亀岡市にあるイオンリテール株式会社が運営管理するショッピングセンターである。
概要

1994年（平成6年）6月24日にニチイ（後のマイカル）が京都府内におけるサティ業態の2号店となる亀岡サティとして開業した。JR亀岡駅前再開発の一環で建設された地上7階建てのビル内に出店した。
開業時には、店舗面積約10,283 m2のうち直営が8,512 m2でテナント部分が1,771 m2と大半を直営売り場としていた。
2011年（平成23年）3月1日に営業していたサティは全てイオンへ転換したため、当店も店名を変更している。
沿革

1994年（平成6年）6月24日 - ニチイ運営の「亀岡サティ」として開店。
1996年（平成8年）- 運営会社がマイカルに改称。
2011年（平成23年）3月1日 - GMS事業の再編に伴い、運営会社のマイカルがイオンリテールに吸収合併され「イオン亀岡店」へ店名変更。
フロアとテナント > フロア概要

核店舗のイオン亀岡店と17の専門店で構成される。
| 階 | フロア概要 |
| --- | --- |
R階: 屋上駐車場
6階: 立体駐車場
5階: 立体駐車場
4階: 立体駐車場
3階: 住まいと暮らし、書籍・アミューズメントのフロア
2階: ファッションライフのフロア
1階: 総合食料品と暮らしのフロア
フロアとテナント > 主なテナント

1階
ハニーズ（レディス）
マクドナルド（ファストフード）
ベーカーシェフ（ベーカリー）
2階
洋服のお直し（仕立て）
3階
Ｗatts（100円ショップ）
セイハ英語学院（英語教室）
※テナント情報は2022年6月時点
出店テナント全店の一覧詳細情報は公式サイト「専門店」「フロアガイド」を、営業時間およびATMを設置している金融機関の詳細は公式サイト「営業時間」を参照。
アクセス

サンガスタジアムそば、京都府道25号沿いに位置している。
アクセス > 鉄道

亀岡駅（JR西日本・山陰本線）から徒歩約4分
アクセス > 自動車

京都縦貫自動車道 - 亀岡ICより8分
アクセス > 駐車・駐輪場

当施設の駐車場及び駐輪場は、753台（自動車）31台（バイク）285台（自転車）利用可能である。
| 施設駐車場 | 駐車台数 | 駐車可能時間 | 料金 | 備考 |
| --- | --- | --- | --- | --- |
| 立体駐車場 | 753 | 9:00 - 23:00 | 通常日：120分無料（以後60分100円） 特別日：90分無料（以後30分500円） | 高さ制限2.1m |
| 施設駐輪場 | 駐輪台数 | 駐輪可能時間 | 料金 | 備考 |
| --- | --- | --- | --- | --- |
| 南エリア駐輪場 | 16  （バイク） 48  （自転車） | 0:00 - 23:59 | バイク：120分無料（以後24時間250円） 自転車：180分無料（以後24時間100円） |  |
| 西エリア駐輪場 | 70  （自転車） | 0:00 - 23:59 | 120分無料（以後24時間150円） |  |
| 北エリア駐輪場 | 15  （バイク） 167（自転車） | 0:00 - 23:59 | バイク：120分無料（以後24時間250円） 自転車：120分無料（以後24時間150円） |  |
近隣施設

亀岡駅
サンガスタジアム by KYOCERA
亀岡市文化資料館
亀山城跡
近隣の大型商業施設
西友 亀岡店
プシェヴォルスク文化

前2世紀ごろの西部スラヴ人文化であるプシェヴォルスク文化（黄緑）と東部スラヴ人文化であるザルビンツィ文化（赤）のおおまかな位置関係。
紫はローマ帝国。
プシェヴォルスク文化（プシェヴォルスクぶんか、英語:Przeworsk Culture）は紀元前2世紀から4世紀にかけてポーランドの南部と中部およびウクライナの西部に広がって存在していた鉄器時代文化。ヴァンダル族（ルギイ族（英語版））の文化と推定される。プシェヴォルスク（Przeworsk）はポーランド東南部、ポトカルパチェ県の街で、この街で典型的な遺跡が最初に発見されたことにちなむ。さらに東方のザルビンツィ文化やチェルニャコヴォ文化との類似性から、この三者は鉄器時代のスラヴ人の各地方の文化と考えられる。
前期ポメラニア文化の時代。（ヤストルフ文化の影響を受ける前。）
オリーブ色がポメラニア文化。
西隣のエンジ色はゲルマン系のヤストルフ文化
3世紀初頭の中央ヨーロッパから東ヨーロッパ。
オレンジ色は後期プシェヴォルスク文化のおおまかな広がり。
紫はザルビンツィ文化のおおまかな広がり。
緑はチェルニャコヴォ文化のおおまかな広がり。
水色はこれらの文化が重なった地域。
キエフ文化（英語版）はゴート族のヴィェルバルク文化がチェルニャコヴォ文化と接触・融合して成立した文化。
ザルビンツィ文化に比べて、プシェヴォルスク文化とその北隣のゲルマン系と推定されるオクシヴィエ文化（おそらくゴート族の、集団としての最初の文化）はこの前の時代にこれらの地域に広がっていた前期鉄器時代のポメラニア文化（前7世紀-前2世紀）の特徴を色濃く引き継いでいる。
ポメラニア文化はイリュリア人と推定される青銅器時代・初期鉄器時代文化のラウジッツ文化（前14世紀-前6世紀）に、東方のスラヴ人の前期鉄器時代文化である農耕スキタイのチェルノレス文化（前12世紀-前3世紀。スラヴ語派発生の決定的な文化と考えられる。）が拡大しこれに加わって成立したものである。のちには北部一帯を中心に西方のゲルマン人の初期・前期鉄器時代文化であるヤストルフ文化（前6世紀-1世紀）の影響を受けるようになった。なお、ヤストルフ文化はゲルマン語派発生の決定的な文化と考えられ、エルベ川流域を中心として西はヴェーザー川東岸下流、東はオドラ川（オーデル川）河口域にまで広がっている（左図参照）。後にはプシェヴォルスク文化自体が南部で西進しヤストルフ文化の地域に食い込んで、ヤストルフ文化に対して影響を及ぼしている。
プシェヴォルスク文化は黄緑色の範囲から、東南方角の緑色の範囲にまで勢力を拡大した。
ピンクはゴート族の最初の文化と推定されるオクシヴィエ文化。
赤はゴート族がヴァンダル族の地域に進出したため影響を受けてオクシヴィエ文化から発展したと推定される、ゴート族文化のヴィェルバルク文化。
黄色はヤトヴィンガ人と思われる西バルト語群系の石塚（ケルン）文化。
南方の紫は古代ローマ帝国。
ヴィスワ川を遡上すると、ワルシャワの北の一地点で本流、ナレフ川、ブク川に分かれる。
ゴート族のヴィェルバルク文化はブク川やナレフ川の水系を支配して南下、ドニエプル川中流域の支流であるプリピャチ川の水系に到達するとそれを下って、現在のキエフ方面へと向かった。
一方、本記事のプシェヴォルスク文化の担い手（おそらくヴァンダル族）は本流と、ルブリン県で合流するビストゥラ川以西の水系を支配して南下し、黒海へ注ぐ南ブク川の水系へと向かった。
両者はこのように、ウクライナへ向かって互いに競うように南下している。
ポメラニア文化のうち、ヤストルフ文化の影響を強く受けた地域（ポーランドのポモージェ県と西ポモージェ県に相当する、バルト海沿岸部の土地が痩せている地方）では後の前2世紀になるとオクシヴィエ文化（前2世紀-1世紀）に発展した。これはゲルマン系の「ゲルマン人」（ゲルマニア地方の部族）であるゴート族の部族文化の成立であると推定される。
残りの地域（ポーランドのヴィスワ川とオドラ川（オーデル川）が作った比較的肥沃な平原と湿地が混在する大森林地帯）は同じ時期（前2世紀）よりバルト海沿岸一帯とは明らかに内容が異なるプシェヴォルスク文化として発展、これはスラヴ系の「ゲルマン人」（ゲルマニア地方の部族）であるヴァンダル族と推定される。
1世紀になるとオクシヴィエ文化の担い手（ゴート族と推定される）はヴィスワ川の東岸一帯で南下を開始、プシェヴォルスク文化の担い手（ヴァンダル族と推定される）のうちこの地方に住む人々の文化と融合することで即座に変貌し、ヴィェルバルク文化に発展した。
プシェヴォルスク文化の担い手（ヴァンダル族）もヴィスワ川の西岸一帯で、東岸のヴィエルバルク文化の担い手（ゴート族）と同時期に南下し、上流部ではヴィスワ川を越えて東岸一帯に大きく進出していく。このようにプシェヴォルスク文化（ヴァンダル族）とヴィェルバルク文化（ゴート族）の両者はまるで互いに競うようにウクライナへ向かって勢力を拡大していくことになる（右中図・右下図参照）。
これまで40ほどの遺跡が発見されている。これらには防塁や環濠などといった防御のための工夫がまったく見られない開けた集落もある。住居は初期には半地下式であったが、のちには地上式となった。大きな墓地もあり、火葬が習慣で、初期は直接穴に埋めていたようだが、後には骨壺を用いるのが一般化した。亡くなった人が生前に愛用していたと思われる武器も一緒に埋葬されていることがある。装飾品にはオオカミ、グリフィン、結婚式、雄ヤギ、騎士像などが精巧に彫られており、これらの象徴物は意味が互いに関連していることから、各地の部族それぞれの歴史を説明していると推測されている。
5世紀に入ると、プシェヴォルスク文化はウクライナやベラルーシの方面からやってきた類似の文化と融合、プラハ・コルチャク文化へと移行する。東方で何らかの政治的な大変動がこの直前の時代に起こった推測される（ウクライナへのフン族襲来？）。
農具（犂、斧、短剣など）
農具（斧）
農具（大鎌は現代のポーランドでも使用される）
農具（鎌、短剣）
ローマ帝国のコインを使用
ガラス製の器
ヴァンダル人庶民の使った陶器
ヴァンダル人庶民の陶器
当時の男女の姿
青銅製のミルク鍋
バルサムやその他の香水を入れていたガラス瓶
ヴァンダル人庶民の火葬墓
鉄製の器具
プシェヴォルスク文化時代の大型古墳（ポーランドの古代君主クラクスの墓とされるクラクフ郊外のクラクス山）
センゴク 〜大失敗したリーダーの大逆転〜

| センゴク 〜大失敗したリーダーの大逆転〜 |
| --- | --- |
ジャンル:  テレビドラマ
原案:  宮下英樹 「センゴク」シリーズ
脚本:  （ドラマ）高矢航志
演出:  小山靖史 木學亮子
出演者:  中村蒼 橋本マナミ 林裕太 奥田洋平 今村裕次郎 斉藤由貴 蒼野孝介 道田里羽 石倉来輝 石川界人 木村昴 置鮎龍太郎 西川健介 吉澤孝浩
国・地域:   日本
言語:  日本語
製作
制作統括:  藤田英世 小山靖史
プロデューサー:  平体雄二
制作:  スタジオブルー（協力）
製作:  NHKエンタープライズ

放送
放送チャンネル: NHK BS4K NHK BSプレミアム
放送国・地域:  日本
放送期間: 【NHK BS4K】 2022年3月30日 【NHK BSプレミアム】 2022年5月13日
放送時間: 【NHK BS4K】1:30 - 2:30 【NHK BSプレミアム】22:00 - 23:00
放送分: 60分
回数: 全1回
 [ドラマ×マンガ「センゴク～大失敗したリーダーの大逆転～」 ]
テンプレートを表示
『センゴク 〜大失敗したリーダーの大逆転〜』（せんごく だいしっぱいしたりーだーのだいぎゃくてん）は、宮下英樹の漫画『センゴク』シリーズを原案として、2022年3月30日にNHK BS4K、同年5月13日にNHK BSプレミアムで放送されたテレビドラマ。主演は中村蒼。
本作は戦争とは縁遠い世代に戦争について考えてもらう企画「ドラマ×マンガ」の第5弾。過去4年は戦争に纏わる漫画が原案となっていたが、今回は視野を広げる形で戦国時代に生きた仙石権兵衛秀久を主役とした「センゴク」シリーズを原案として、現代に生きる広告代理店のプロジェクトリーダーを任された千石健人が仙石権兵衛の生き様、豊臣秀吉や織田信長などから授けられた言葉からリーダーとしての心得を学び、自分らしい生き方を模索する姿を描く。
スタッフ

原案 - 宮下英樹「センゴク」シリーズ（ヤンマガKCスペシャル / 講談社刊）
ドラマ脚本 - 高矢航志
演出 - 小山靖史、木學亮子
プロデューサー - 平体雄二
制作統括 - 藤田英世、小山靖史
制作協力 - スタジオブルー
制作 - NHKエンタープライズ
セマフォ

| --- | --- |
: この項目では、計算機科学での意味について説明しています。その他の用法については「#語義」をご覧ください。
語源の腕木式信号機
セマフォ（英: semaphore）とは、計算機科学において、並行プログラミング環境での複数の実行単位（主にプロセス）が共有する資源にアクセスするのを制御する際の、単純だが便利な抽象化を提供する変数または抽象データ型である。
概要

セマフォは、ある資源が何個使用可能かを示す記録と考えればわかりやすく、それにその資源を使用する際や解放する際にその記録を「安全に」（すなわち競合状態となることなく）書き換え、必要に応じて資源が使用可能になるまで待つ操作が結びついている。セマフォは競合状態を防ぐ便利なツールであるが、セマフォを使うことでプログラムにおける競合状態がなくなると保証するものではない。任意個の資源を扱うセマフォをカウンティングセマフォ、値が0と1に制限されている（ロック/アンロック、使用可能/使用不可の意味がある）セマフォをバイナリセマフォと呼ぶ。後者はミューテックスと同等の機能を持つ。
セマフォの概念はオランダ人計算機科学者エドガー・ダイクストラが考案した。今ではさまざまなオペレーティングシステムで採用されている。
「en:semaphore」の本来の語義は「視覚による通信・信号」全般を指し、腕木通信や、それから派生した鉄道の腕木信号（や自動車の方向指示器）、手旗信号などが含まれる。
図書室のたとえ

ある図書室に学習室が10部屋あり、それぞれの学習室は一度に1人の学生が使用するとする。争奪戦が始まらないよう、学生は受付カウンターで学習室の使用を申し込むことになっている。学習室を使用し終えたら、学生は受付所に立ち寄ってその学習室が空いたことを知らせなければならない。全ての学習室が埋まっている場合、学生は受付所で学習室が空くのを待つ。
受付カウンターの図書係はどの学習室が空いているかは把握しておらず、単に空いている部屋数のみを知っている。学生が申し込んできたとき、図書係は空き部屋数から1を引く。学生が学習室の利用を終えたとき、図書係は空き部屋数に1を加える。学習室の使用許可が与えられたとき、その部屋は必要なだけ使い続けることができる。学習室は事前に予約することはできない。
このシナリオでは、受付カウンターがセマフォ、学習室が資源、学生が実行単位に相当する。また、セマフォの初期値は10になっている。学生が学習室の使用を申し込んで許可されたとき、セマフォ値から1が引かれて9になる。次の学生のときには8、さらに次は7となる。1を引くとセマフォ値が負になるという状態で学生が申し込んだ場合、その学生は待たされる。複数人の学生が待っているとき、彼らは待ち行列を形成するか、いずれかの学生が学習室の使用を終えて受付カウンターにやってきたときに空いた部屋を割り当てる。割り当て方式には、ラウンドロビン・スケジューリング方式等がある（セマフォが正しく制御されるよう実装されていれば、割り当て方式は妥当なものであればよい）。
図書室のたとえ > 重要な観点

複数の資源に対して使用する場合、セマフォは個々の資源の使用/解放状態を把握せず、単に個数のみを保持する。特定の資源を指定したい場合は、他の機構が必要とされる（複数のセマフォの組合せでも可能）。
実行単位群はそのプロトコルに従うという点で信頼されている。1つの実行単位が間違った動作をすれば、公平性と安全性は損なわれ、性能低下、不正動作、フリーズ、クラッシュなどが発生しうる。例えば、次のような動作が間違った動作である。
資源を要求しておいて、使用後に解放し忘れる。
要求したことのない資源を解放する。
使っていない資源を長期に渡って獲得したままにする。
要求せずに資源を使用する。
解放済みの資源であるにもかかわらず当該資源を継続使用する。
全実行単位がその規則に従ったとしても、資源が複数種類あって、それぞれにセマフォが設定されている場合、実行単位が複数の資源を同時に使用するなら新たな問題が発生しうる。例えば、食事する哲学者の問題がそのような状況を示している。
意味論と実装

セマフォ変数の重要な属性として、その値の変更には特定の関数群を使わなければならないという点が挙げられる。ここではそれらの関数を wait() と signal() とする。
カウンティングセマフォでの2つの操作は、歴史的には V（または signal()）と P（または wait()）と記述される。V操作はセマフォSをインクリメントし、P操作はデクリメントする。角括弧で囲まれた部分は不可分操作であることを意味し、その部分の途中経過は他の実行単位からは見えない。
セマフォSの値は、その時点で使用可能な資源の個数である。P操作は資源を獲得しようとするもので、セマフォで守られている資源が使用可能になるまでビジーウェイトまたはスリープ（英語版）で待つことになる。V操作はその逆であり、使用していた資源を解放する。
wait() と signal() を簡単に説明すると次のようになる。
wait(): セマフォの値を1だけデクリメントする。その結果、値が負になるなら wait() を実行している実行単位はブロックされる。つまり、セマフォの待ちキューに追加される。
signal(): セマフォの値を1だけインクリメントする。その後、インクリメント前の値が負だったら（つまり資源待ち状態の実行単位があるなら）、セマフォの待ちキュー上にあるブロックされた実行単位をレディ（実行可能）キューに移す。
多くのOSは効率的なセマフォのプリミティブを提供しており、セマフォをインクリメントした際には1つだけ待ち状態の実行単位をアンブロックする。すなわち、複数の実行単位を同時にアンブロックした際の無用なセマフォ値のチェック処理を防いでいる。
カウンティングセマフォの概念は、一度に複数個の資源を獲得・解放できるように拡張でき、UNIXでの実装もそのようになっている。その場合のVおよびP操作は次のように修正される。
function V(semaphore S, integer I):
    [S ← S + I]

function P(semaphore S, integer I):
    repeat:
        [if S >= I:
            S ← S - I
            break]
リソーススタベーションを防ぐため、セマフォには実行単位のキュー（通常はFIFO）が1つ付属している。セマフォ値がゼロのときにP操作をすると、その実行単位はセマフォ付属のキューに追加される。別の実行単位がV操作でセマフォ値をインクリメントしたとき、キュー上に実行単位があれば、そのうちの1つをキューから外して実行再開させる。実行単位に優先度が設定されている場合、キュー上で優先度順に実行単位を並べるなどして、最も優先度の高い実行単位が最初に実行再開できるようにする。
実装においてインクリメント/デクリメントや比較の不可分性が保証されていない場合、インクリメントやデクリメントが行われなかったり、セマフォ値が不正になる危険性が生じる。不可分性を達成するには、リード・モディファイ・ライト（英語版）（読み取って、変更を加えて、書き込むという処理サイクル）を不可分に実行できる機械語命令を使用する。そのような機械語命令がない場合、デッカーのアルゴリズムなどのソフトウェアによる排他制御を使用する。シングルプロセッサのシステムでの不可分操作は、プリエンプションを一時的に禁止したり、割り込みをマスクしたりすることでも実現できる。マルチプロセッサシステムではそれだけでは不十分で、同じセマフォを共有する2つのプログラムが別々のプロセッサ上で同時に動作している場合に対処できない。そのためテスト・アンド・セット命令などを使用してセマフォ変数へのアクセスをロックする必要がある。
例: 生産者/消費者問題

生産者/消費者問題（英語版）では、1つの実行単位（生産者）がデータを生成し、もう1つの実行単位（消費者）がそれらを受け取って使用する。データの受け渡しは最大サイズNのキューで行い、次のような条件に従う。
キューが空の場合、消費者は生産者がデータを生成するのを待たなければならない。
キューが満杯の場合、生産者は消費者がデータを消費するのを待たなければならない。
生産者/消費者問題をセマフォで解決する場合、キューの状態を2つのセマフォで表す。emptyCount はキュー上の空いているスロット数を保持し、fullCount はキュー上の要素数を保持する。完全性を維持するには、emptyCount を実際の空きスロット数より小さくなるようにし、fullCount を実際のキュー上の要素数より小さくなるようにする（どちらも実際の数を越えてはならない）。空きスロットと要素は、空の箱と満たされた箱という2種類の資源を表しており、セマフォ emptyCount と fullCount はそれら資源についての制御を管理する。
バイナリセマフォ useQueue は、例えば2つの生産者が同時にデータをキューに格納しようとするなどといった不正な状態が発生しないことを保証するためにある。このバイナリセマフォはミューテックスで代替することもできる。
emptyCount の初期値は N、fullCount の初期値は0、useQueue の初期値は1である。生産者は次のような処理を繰り返す。
produce:
    P(emptyCount)
    P(useQueue)
    putItemIntoQueue(item)
    V(useQueue)
    V(fullCount)
消費者は次のような処理を繰り返す。
consume:
    P(fullCount)
    P(useQueue)
    item ← getItemFromQueue()
    V(useQueue)
    V(emptyCount)
具体的には次のような動作をする。
1つの消費者がクリティカルセクションに入る。fullCount は0なので、消費者はブロックする。
いくつかの生産者が生産者側のクリティカルセクションに入る。emptyCount で制限されるのでN以上の生産者はクリティカルセクションに入れない。
生産者は useQueue により一度に1つずつキューにアクセスし、データをキューに入れていく。
最初の生産者がクリティカルセクションを抜けるとき、fullCount がインクリメントされるので、ブロックしていた消費者がクリティカルセクション内の処理に進むことができる。
emptyCount はキュー上の実際の空きスロット数より小さくなる可能性がある。例えば、複数の生産者がデクリメントを行っても、useQueue によってキューへのデータ投入は逐次化されるためである。したがって常に emptyCount + fullCount ≤ N  であり、等号が成り立つのは生産者も消費者も全くクリティカルセクションに入っていない場合だけである。
関数名の語源

歴史的に用いられてきた名前であるPとVは、オランダ語の単語の頭文字に由来している。Vは verhogen（増加する）を意味する。Pについては、proberen（テストする）、passeer（通過）、probeer（試みる）、pakken（つかむ）などいくつかの説明がある。セマフォの本来の意味である腕木通信から、Vを verhoog（腕木を上げる、通行禁止）、Pを passeren（腕木を下げる、通行許可）とする説もある。ただしダイクストラ自身はPを probeer te verlagen（減らすことを試みる）を略したかばん語 prolaag の頭文字だとしている。この混乱のもとは、オランダ語で increase と decrease に相当する語がどちらも V で始まるためで、かといってオランダ語の単語をそのまま使ってもオランダ語を知らない人はかえって混乱するとダイクストラが考えたためである。
ALGOL 68 やLinuxカーネル、いくつかの英語の教科書では、PとVはそれぞれ down と up とされている。ソフトウェア工学では一般に wait と signal、acquire と release、pend と post などと呼ばれることが多い。教科書によっては元もとのオランダ語の頭文字に一致するよう procure と vacate としているものもある。
セマフォとミューテックス

ミューテックスは基本的にバイナリセマフォと等価であり、時には基本実装が同一ということもある。ただし、ミューテックスは2つの実行単位が同時に共用資源にアクセスするのを防止する構成物を表し、バイナリセマフォは単一の資源へのアクセスを制限する構成物を表す。
多くの場合、ミューテックスには「所有者」の概念がある。すなわちミューテックスをロックした実行単位だけがそれをアンロックすることができる。対照的にセマフォにはそのような制限がなく、上述の生産者/消費者問題の例でもそれを利用している。
したがって基本的には、ミューテックスは実行単位などの実行実体と結びついており、セマフォは資源と結びついている。
環境ごとの使用方法 > POSIX

POSIX準拠の環境では、semaphore.hに宣言された型と関数を使用できる。sem_init()で無名のセマフォを生成するか、sem_open()で名前付きセマフォを生成またはオープンできる。sem_init()の引数psharedに非ゼロの値を指定することで、プロセス間で共有されるセマフォを生成することもできる。sem_wait()でセマフォの値を減らし（ロック）、sem_post()でセマフォの値を増やす（ロック解除）。sem_destroy()で無名のセマフォを破棄する。sem_close()で名前付きセマフォをクローズする。
環境ごとの使用方法 > Windows

WindowsのWin32 APIでは、CreateSemaphore()関数でセマフォを生成またはオープンできる。WaitForSingleObject()関数でセマフォを待機する（カウント減少）。ReleaseSemaphore()関数でセマフォを解放する（カウント増加）。CloseHandle()関数でセマフォのハンドルをクローズする（オブジェクト破棄）。OpenSemaphore()関数で既存の名前付きセマフォをオープンできる。スレッド間同期だけでなく、プロセス間同期に使用することもできる。
MFCにはC++のコンストラクタ/デストラクタによるRAII機構を利用した、Win32同期オブジェクトのラッパークラスCSemaphoreが用意されている（実際にはCSingleLockと組み合わせて使用することが多い）。
環境ごとの使用方法 > .NET

.NET Framework 2.0以降では、System.Threading.Semaphore クラスを使う。バージョン1.1以前では自作するかWin32 APIを呼び出す必要がある。ローカルセマフォはスレッド間同期にのみ使用できるが、名前付きシステムセマフォはプロセス間同期に使用することもできる。Semaphoreクラスは.NET Coreおよび.NET 5以降でも利用可能だが、Windows以外のプラットフォームではスレッド間同期にのみ使用でき、プロセス間同期には使用できない。
.NET Framework 4.0以降では、同一プロセス内のスレッド間同期であれば、軽量化されたSystem.Threading.SemaphoreSlim クラスを利用できる。
環境ごとの使用方法 > Java

Javaでは、java.util.concurrent.Semaphore クラスを使う。Java 5 以降で使用可能である。
環境ごとの使用方法 > Perl

Perlでは、Thread::Semaphore モジュールや、新しくはCoro::Semaphore モジュールなどを使う。
環境ごとの使用方法 > Python

Pythonでは、threadingモジュール中に Semaphoreクラスが用意されている。
環境ごとの使用方法 > Swift

Swiftでは、Grand Central Dispatch（英語版）の機能として Dispatch フレームワーク中に DispatchSemaphore クラスが用意されている。
長野県道177号鹿教湯別所上田線

長野県道177号鹿教湯別所上田線（ながのけんどう177ごう かけゆべっしょうえだせん）は長野県上田市を通る一般県道である。
概要

上田市の奥座敷・鹿教湯温泉から、信州最古と伝わる温泉・別所温泉を経て、上田市中心部方面を結ぶ路線である。ただし、鹿教湯温泉 - 別所温泉間は冬季閉鎖となる隘路であり、実質的には上田市中心部から別所温泉へのアクセスルートとして機能している。
起点となる鹿教湯交差点（国道254号交点）から約4.8kmは、長野県道12号丸子信州新線に重複する。上田市・小県郡青木村境で県道12号と別れて単独区間となり、市村境上をしばらく進んだのち山を下って別所温泉へと向かう。この区間は、一部冬季閉鎖となる狭隘な険しい道である。
別所温泉街を屈折を繰り返して進み、別所温泉駅を過ぎると平坦な快走路となる。この区間は別所街道ともコスモス街道とも呼ばれる。下小島交差点（長野県道65号上田丸子線（築地下之郷バイパス）交点）で終点となり、同バイパスを介して上田市中心部・国道18号方面に連絡する。なお、かつては更に800mほど東方の神畑交差点（県道65号旧道交点）を終点としていたが、2020年（令和2年）12月18日に県道65号の旧道が県道指定を解除されたのと同時に、本路線の下小島交差点 - 神畑交差点間（L=874.7m）も県道指定が解除された。
概要 > 路線データ

起点 - 上田市西内字土合（鹿教湯交差点＝国道254号交点）
終点 - 上田市小島字迎田（下小島交差点＝長野県道65号上田丸子線交点）
延長 - 12.3363km
路線状況 > 別名

別所街道（下小島交差点 - 別所温泉駅前）
コスモス街道（上記同区間）
路線状況 > 重複区間

長野県道12号丸子信州新線（鹿教湯交差点 - 小県郡青木村大字沓掛字女神岳地籍）
長野県道82号別所丸子線（別所温泉駅前 - 別所温泉交差点）
路線状況 > 冬季通行止区間

小県郡青木村大字沓掛字女神岳（長野県道12号丸子信州新線交点） - 上田市野倉字新田：4.5km
11月下旬 - 翌年3月下旬
地理 > 通過する自治体

上田市
小県郡青木村（500mほど市村境上を通過するのみ）
地理 > 交差する道路

鹿教湯交差点（上田市西内＝起点）
国道254号
長野県道12号丸子信州新線 - ※ここから重複区間
（小県郡青木村沓掛地籍）
長野県道12号丸子信州新線 - ※ここまで重複区間
（上田市別所温泉駅前）
長野県道82号別所丸子線 - ※ここから重複区間
別所温泉交差点（上田市別所温泉）
長野県道82号別所丸子線 - ※ここまで重複区間
舞田交差点（上田市舞田）
長野県道171号塩田仁古田線
下小島交差点（上田市小島＝終点）
長野県道65号上田丸子線（築地下之郷バイパス）
地理 > 沿道

鹿教湯温泉
上田市野倉民俗資料館
北向観音
別所温泉
上田電鉄 別所温泉駅
上田電鉄 八木沢駅
上田電鉄 舞田駅
AGS・JH24

AGS・JH24は、AGSチームが1989年のF1世界選手権用に製作したフォーミュラ1カー。JH24は失敗作であった。1989年の参戦した全てのグランプリで予選落ちした。
背景

1988年から89年にかけてAGSは深刻な変化に見舞われた。1988年の終わりに創設者アンリ・ジュリアンはチームを新たな組織構造を導入しようとした起業家シリル・ド・ルーブル（英語版、フランス語版）に売却した。その数ヶ月前にAGSは長年のデザイナー、クリスチャン・バンダープレイン（ドイツ語版）を失っていた。バンダープレインは1970年以来AGSチームの全てのレーシングカーを設計して来たが、1988年の晩夏にイタリアのコローニに移籍していた。彼の後任として前年のリジェで失敗作JS31の開発に携わったことで解任されたクロード・ギャロパン（英語版）を獲得し、彼が新たな車の設計を担当したが、それはチームの所有権変更まで開始できなかったため結果としてJH24の完成は1989年の夏まで延期された。チームは昨年のモデルJH23Bで1989年シーズンの前半を戦わなければならなかった。
開発

JH24はクロード・ギャロパンが設計。モノコックは再設計され、カーボンファイバーコンポジット製でより剛性が高められた。車体はコンパクトに設計され、ホイールベースは2,794mmと1989年のF1マシン中最短であった。エンジンは以前のモデルよりも2.5cm低く造られ、この特性は重量配分およびハンドリングに利点となった。サスペンションは当初JH23Bと変わらないものが採用された。これは1989年の冬から90年にかけてギャロパンが設計したものだが、1990年シーズンの序盤2戦に使用された後、JH25に引き継がれた。
JH24のボディは完全に再設計された。尖ったノーズと非常に低いコクピットを持ち、新たな特徴としてドライバーの頭上に空気取り入れ口を持つエンジンカバーが採用された。エンジンは前作でも採用されたハイニー・マーダー・レーシング・コンポーネンツ（ドイツ語版）チューンのコスワースDFRを搭載する。トランスミッションは6速で、このミッションは1989年6月に完成してカナダグランプリでJH23Bに搭載され先にデビューしたものであった。
JH24は技術的に未熟だった。エンジン冷却システムは容量不足で、1989年シーズンのほぼ全てのレースでエンジン冷却に問題があり、またブレーキも「重大な欠点」を有していた。
JH24は3台が製作され、シャシーナンバーは037、038、039であった。最初のシャシーはイギリスグランプリ前に完成しガブリエル・タルキーニがドライブした。2台目の完成は9月の第11戦ベルギーグランプリまで遅れ、3台目は秋に製作された。
レース戦績 > 1989

1989年シーズンはチーム二年目のフィリップ・ストレイフと、新人のヨアヒム・ヴィンケルホックの2台体制で開幕を迎えたが、両者ともJH24の完成前にチームを去っていた。ストレイフは開幕前のリオ合同テストでドライバー生命を終える大きなクラッシュに見舞われたため離脱。後任として2戦目からファースト・レーシングでの参戦計画が中止となっていたガブリエル・タルキーニを起用した。金曜朝に行われる予備予選を通過できず苦しんだヴィンケルホックも8戦目からヤニック・ダルマスと交代した。
問題は、同年の参加台数増加により予備予選が行われ、AGSは前半戦1台がその対象であったことである。タルキーニはその対象ではなかったものの、AGSは前半戦を時代遅れのJH23Bで戦わなければならず、成績不振のため後半戦は2台とも予備予選の対象に降格した。
JH24は7月に完成し、第8戦のイギリスグランプリでタルキーニによってデビューしたが、予選落ちしている。AGSはJH24の問題をシーズン中に解決することはできなかった。限られた予算の中でテストはほとんど行うことができず、マシンの開発は滞った。戦闘力を持たないJH24でドライバー両名は全戦予備予選落ちすることとなった。
レース戦績 > 1990

1990年シーズンもタルキーニとダルマスの2台体制であったが、序盤2戦をJH24のサスペンションを改良したJH24Bで戦った。タルキーニは2戦とも予備予選落ちしたが、ダルマスは第2戦ブラジルグランプリでポールポジションのアイルトン・セナから3.8秒遅れのタイムであったが決勝進出した。決勝では28ラップ目にサスペンショントラブルでリタイアした。このレースがJH24の最終レースとなり、第3戦からはミッシェル・コスタの設計した後継のJH25に代わられた。
F1における全成績

(key) （太字はポールポジション）
| 年 | シャシー | エンジン | タイヤ | No>  | ドライバー | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | ポイント | 順位 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1989年 | JH24 | フォード-コスワース  DFR, V8, 3.5 | G  |  |  | BRA  | SMR  | MON  | MEX  | USA  | CAN  | FRA  | GBR  | GER  | HUN  | BEL  | ITA  | POR  | ESP  | JPN  | AUS  | 1 | 15 |
| 1989年 | JH24 | フォード-コスワース  DFR, V8, 3.5 | G  | 40 |  ガブリエル・タルキーニ |  |  |  |  |  |  |  | DNQ |  | DNPQ | DNPQ | DNPQ | DNPQ | DNPQ | DNPQ | DNPQ | 1 | 15 |
| 1989年 | JH24 | フォード-コスワース  DFR, V8, 3.5 | G  | 41 |  ヤニック・ダルマス |  |  |  |  |  |  |  |  | DNPQ | DNPQ | DNPQ | DNPQ | DNPQ | DNPQ | DNPQ | DNPQ | 1 | 15 |
| 1990年 | JH24 | フォード-コスワース  DFR, V8, 3.5 | G  |  |  | USA  | BRA  | SMR  | MON  | CAN  | MEX  | FRA  | GBR  | GER  | HUN  | BEL  | ITA  | POR  | ESP  | JPN  | AUS  | 0 | NC |
| 1990年 | JH24 | フォード-コスワース  DFR, V8, 3.5 | G  | 17 |  ガブリエル・タルキーニ | DNPQ | DNPQ |  |  |  |  |  |  |  |  |  |  |  |  |  |  | 0 | NC |
| 1990年 | JH24 | フォード-コスワース  DFR, V8, 3.5 | G  | 18 |  ヤニック・ダルマス | DNPQ | Ret |  |  |  |  |  |  |  |  |  |  |  |  |  |  | 0 | NC |
その後

3台製作されたJH24の内2台は1990年代にAGSレーシングスクールで使用された。ここでは代金を支払うことでフォーミュラカーの走行を体験することができる。ウェブサイトの情報では2012年に5台のJH24を所有しているとしている。
ジョゼフ・ジウンタ

| --- | --- |
: この項目では、指揮者について説明しています。画家については「ジョセフ・ジウンタ」をご覧ください。
ジョゼフ・ジウンタ（Joseph Giunta, 1951年5月8日 - ）は、アメリカの指揮者。
ニュージャージー州アトランティックシティの生まれ。ノースウェスト大学でヘンリー・メイザー、ジョン・ペインター、ウィリアム・スミス、バーナード・ルーベンスタインの各氏に師事し、ゲオルク・ショルティ、カルロ・マリア・ジュリーニやエーリヒ・ラインスドルフらの助手として研鑽を積んだ。1974年から1992年までウォータールー＝シーダー・フォールズ交響楽団の音楽監督の任に当たり、1984年にはアメリカ交響楽リーグからヘレン・M・トンプソン賞を贈られている。1985年からロンドン楽壇にも登場した。1988年からデイモン交響楽団の音楽監督を務め、シカゴ交響楽団、ミネソタ管弦楽団、フィルハーモニア管弦楽団、ロンドン・フィルハーモニー管弦楽団等に客演している。
ブルーフラール

| ブルーフラール |
| --- | --- |
品種:  サラブレッド
性別:  牝
毛色:  鹿毛
生誕:  1980年4月8日
死没:  不明（1995年7月以降）
父:  ノーザンネイティヴ
母:  クリムード
生国:   日本
生産者:  ユートピア牧場
馬主:  栗林英雄
調教師:  橋口弘次郎（栗東） →大久保勝之（美浦）
競走成績
生涯成績:  平地12戦1勝 障害22戦4勝
獲得賞金:  平地2390万円 障害4460万円
テンプレートを表示
ブルーフラールは、日本の競走馬である。1985年の中山大障害（春）に優勝した。
経歴 > 初出走から1984年まで

1982年9月に阪神競馬場で初出走を行い、1着のカツラギエースから3.6秒差の13着に敗れたが、3戦目で初勝利を挙げた。その後は芝短距離を中心に9戦したが4着が最高であり、最後の平地出走となった1983年10月の400万以下競走では21頭立ての最下位に沈んだ。その後栗東の橋口厩舎から美浦の大久保勝之厩舎に転厩。翌年より障害競走に転向した。
1984年3月に中山競馬場の障害未勝利で障害戦初出走。14頭立ての最低人気だったが、レースではスガノキングに半馬身差で勝利。単勝273倍の高配当となった。続く障害400万以下でも10頭立ての9番人気ながら2着に1馬身半の差をつけて連勝した。オープン入り後4戦は、2度最下位となるなど振るわず、続いて出走した秋の東京障害特別は中段後方から直線やや伸びて4着。中山大障害は中段につけたが、最後伸びを欠いて優勝したライバコウハクから2.6秒差の5着となった。
経歴 > 1985年以降

年が明けて1985年1月の障害勝入では9頭立ての7番人気だったがピーチシャダイから0.1秒差の2着と好走。メジロアンタレス、シノンシンボリ、オキノサキガケなどの有力馬に先着した。続く東京障害特別（春）では道中先行から襷を過ぎて一旦先頭に立ち、その後先に抜け出したピーチシャダイからアタマ差の2着となった。そして3月の障害オープンでオキノサキガケにハナ差凌いでオープン初勝利を挙げた。
春の中山大障害は10頭立てで行われ、レースはまず単勝1.6倍の圧倒的1番人気ライバコウハクが逃げ、2番手ブルーフラール、そしてメジロアンタレス、ピーチシャダイの順で進んだ。そして大竹柵でまずライバコウハクが躓いたが、体勢を立て直し、続く3頭も飛越。しかしその後方にいたバウンスポート、ナックルフォンテン、エイティレオ、ダイナドルフィンの4頭が人馬転倒し、オキノサキガケ、スマッシングダイナも躓いて騎手が落馬、全て競走を中止した。残った4頭のうちブルーフラールはいったん最後方に下がったが、大土塁を越えて徐々に進出し、直線を向いて逃げていたライバコウハクをかわし、半馬身の差をつけて優勝した。牝馬としては1972年秋のマスヒロ以来13年ぶりの優勝となった。
その後は成績が低迷し、秋の大障害は後方から伸び切れず5着、1986年の東京障害特別（春）は優勝したハクホウダンディから9.9秒差の6着、中山大障害（春）も完走馬としては最下位の6着と大敗し、5月の障害勝入で4戦連続となる6着に敗れ、これを最後に引退した。
翌年より繁殖入りしたが、初仔のブルーカナリア（父ターゴワイズ）が1勝したのみで、活躍馬を出すことはなかった。1995年7月をもって転売不明となっている。