stanford-oval/wikipedia huggingface dataset:
デッドウッド
人口統計 > 2000年国勢調査

2000年国勢調査結果は以下の通り。
| 0 | 1 | 2 |
| --- | --- | --- |
|  基礎データ 人口: 1,380 人  世帯数: 669 世帯  家族数: 341 家族  人口密度: 141.0 人/km2（365.4 人/mi2）  住居数: 817 軒  住居密度: 83.5 軒/km2（216.3 軒/mi2） 人種別人口構成 白人: 95.87%  ネイティブ・アメリカン: 1.88%  アジア人: 0.36%  その他の人種: 0.65%  混血: 1.23%  ヒスパニック・ラテン系: 2.75%  ドイツ系: 29.8%  アイルランド系:9.6%  イングランド系:9.5%  ノルウェー系:9.5% |  年齢別人口構成 18歳未満: 19.3%  18-24歳: 8.7%  25-44歳: 27.3%  45-64歳: 27.8%  65歳以上: 16.8%  年齢の中央値: 42歳  性比（女性100人あたり男性の人口） 総人口: 93.8  18歳以上: 92.6 世帯と家族（対世帯数） 18歳未満の子供がいる: 20.5%  結婚・同居している夫婦: 37.7%  未婚・離婚・死別女性が世帯主: 10.9%  非家族世帯: 48.9%  単身世帯: 40.1%  65歳以上の老人1人暮らし: 14.6%  平均構成人数 世帯: 2.01人  家族: 2.71人 |  収入と家計 収入の中央値 世帯: 28,641米ドル  家族: 37,132米ドル  性別 男性: 28,920米ドル  女性: 18,807米ドル  人口1人あたり収入: 17,673米ドル  貧困線以下 対人口: 10.8%  対家族数: 6.9%  18歳未満: 19.4%  65歳以上: 8.3% |
人口統計 > 2010年国勢調査

2010年国勢調査結果は以下の通り。
| 0 | 1 | 2 |
| --- | --- | --- |
|  基礎データ 人口: 1,270 人  世帯数: 661 世帯  家族数: 302 家族  人口密度: 128.0 人/km2（331.6 人/mi2）  住居数: 803 軒  住居密度: 81.0 軒/km2（209.7 軒/mi2） 人種別人口構成 白人: 94.9%  アフリカ系アメリカ人: 0.2%  ネイティブ・アメリカン: 1.8%  アジア人: 0.5%  その他の人種: 0.6%  混血: 2.0%  ヒスパニック・ラテン系: 3.4% |  年齢別人口構成 18歳未満: 15%  18-24歳: 5.9%  25-44歳: 23.3%  45-64歳: 37.9%  65歳以上: 17.8%  年齢の中央値: 48歳  性比（女性100人あたり男性の人口） 総人口: 110.5 世帯と家族（対世帯数） 18歳未満の子供がいる: 17.2%  結婚・同居している夫婦: 33.4%  未婚・離婚・死別女性が世帯主: 7.4%  非家族世帯: 54.3%  単身世帯: 44.6%  65歳以上の老人1人暮らし: 12.7%  平均構成人数 世帯: 1.88人  家族: 2.60人 |  |
デッドウッドが登場する作品

『きみならどうする?』「Deadwood City」：子供向けの本。1980年出版。
『新スタートレック』「A Fistful of Datas」：1992年放送、シーズン6エピソード8。19世紀のデッドウッドのホログラムが登場。
『デッドウッド 〜銃とSEXとワイルドタウン』：HBO制作の2004年から2006年まで放送されたテレビドラマ。1870年代のデッドウッドが舞台。
著名人物

グランビル・Ｇ・ベネット（英語版） (1833–1910)：弁護士、政治家
ジェリー・ブライアント（英語版）：歴史家
カラミティ・ジェーン (1852–1903)：女性開拓者
フィリップ・Ｓ・ヴァン・サイズ（英語版） (1884–1969)：コロラド州検察官
ウィリアム・H・クラゲット（英語版） (1838–1901)：弁護士、政治家
チャールズ・バッジャー・クラーク（英語版） (1883–1957)：詩人
リチャード・クラーク（英語版） (1845–1930)：開拓者
ローランド・クロフォード（英語版） (1902–1973)：建築家
ゲイリー・ミュール・ディアー（英語版） (1940-)：コメディアン、カントリー・ミュージシャン
チャールズ・ヘンリー・ディートリッヒ（英語版） (1853–1924)：第11代ネブラスカ州知事
ドーラ・デュフラン（英語版） (1868–1934)：売春宿の女主人
ワイアット・アープ (1848–1929)：投資家、保安官。1876年から1887年までデッドウッドに在住
E.B.ファーナム（英語版） (1826–1878)：開拓者
サミュエル・フィールズ（英語版）：南北戦争の重要人物と噂された。探鉱者
アーサー・デウィント・フット（英語版） (1849–1933)：技師
メアリー・ハロック・フット（英語版） (1847–1938)：作家、イラストレーター
ワイルド・ビル・ヒコック (1837–1876)：ギャンブラー、ガンマン
エミー・ヒル (1953- )：日系・フィンランド系アメリカ人の女優
キャロル・ヒラード（英語版） (1936–2007)：サウスダコタ州副知事(1995–2003)
モリー・ジョンソン（英語版） (?-1883以後)：売春宿の女主人
フリーマン・ノウルズ (1846–1910)：政治家
セス・ブロック（英語版） (1849–1919)：保安官、金物屋の主人
ジョセフ・ラデュー（英語版） (1855–1901)：探鉱者、実業家、ドーソン・シティの設立者
ワード・ランバート（英語版） (1888–1958)：カレッジバスケットボールのコーチ。主にパデュー大学を指揮
ジャック・ラングリッシュ（英語版） (?-1895)：俳優
キティ・リロイ（英語版） (1850–1878)：ギャンブラー、女性開拓者
Ｈ・Ｒ・ロック（英語版） (1856–1927)：写真家
マダム・モスターシュ（英語版） (1834–1879)：ギャンブラー
ウィリアム・Ｈ・パーカー（英語版） (1905–1966)：元・ロサンゼルス警察署長
ドロシー・プロヴァイン (1937–2010)：女優、ダンサー
クレイグ・プキ（英語版） (1957- )：サンフランシスコ・フォーティナイナーズ、セントルイス・カージナルスの元ラインバッカー
アンジェロ・リズート（英語版） (1906–67)：写真家
ビル・ラッセル（英語版） (1949- )：作詞家
ボブ・シュロアド（英語版） (1939- )：元・カレッジフットボール、ワシントン・ハスキーズ（英語版）の選手
ジム・スコット（英語版） (1888–1957)：シカゴ・ホワイトソックスの元選手
ヘンリー・ウェストン・スミス（英語版） (1827–1876)：初期の開拓者、説教者
ウィリアム・ランドルフ・スティール（英語版） (1842–1901)：デッドウッド市長、弁護士、兵士、政治家
アル・スウェレンジン（英語版） (1845–1904)：娯楽産業の事業家
チャーリー・アター（英語版） (1838頃-1912以後)：開拓者
アルフレッド・L・ワーカー（英語版） (1896–1975)：映画監督
クリス・ウィリアムソン（英語版） (1947- )：ミュージシャン
1894年のBullock-Clark Buildingの写真を元に作成した3Dイメージ
亀田長潟

| 亀田長潟 |
| --- | --- |
 大字
 亀田長潟亀田長潟の位置新潟市の地図を表示亀田長潟亀田長潟 (新潟県)新潟県の地図を表示
 北緯37度52分34.74秒 東経139度4分6.06秒﻿ / ﻿北緯37.8763167度 東経139.0683500度﻿ / 37.8763167; 139.0683500
国:   日本
都道府県:   新潟県
市町村:   新潟市
区:  ■ 江南区
人口（2018年（平成30年）1月31日現在）
 • 合計:  0人
等時帯:  UTC+9 (日本標準時)
郵便番号:  950-0169
市外局番:  025 (新潟MA)
ナンバープレート:  新潟
亀田長潟（かめだながた）は、新潟県新潟市江南区の町字。郵便番号は950-0169。
概要

1889年（明治22年）から現在の大字。信濃川水系小阿賀野川下流右岸、清五郎排水路右岸に位置する。
もとは江戸時代から1889年（明治22年）まであった長潟村の区域の一部で、地名の由来は、長い潟があったことによる。
概要 > 隣接する町字

北から東回り順に、以下の町字と隣接する。
長潟
亀田早通
丸潟
鍋潟新田
歴史

1640年（寛永17年）の開発とされる。
1889年（明治22年）4月1日 : 合併により早通村の大字となる。
1925年（大正14年） : 合併により亀田町の大字となる。
2005年（平成17年）3月21日 : 合併により新潟市の大字となり、亀田長潟に改称する。
2007年（平成19年）4月1日 : 新潟市の政令指定都市移行により、江南区の大字となる。
東観音町

東観音町（ひがしかんおんまち、ひがしかんのんちょう）
東観音町 (広島市) - 広島県広島市西区の地名（ひがしかんおんまち）。観音 (広島市)を参照。
東観音町 (下関市) - 山口県下関市の地名（ひがしかんのんちょう）。
オッズパークグランプリ

オッズパークグランプリとは2007年から2014年まで地方競馬において持ち回りで開催されていた全国交流競走（平地競走）である。
概要

オッズパーク株式会社の特別協賛による競走。同社は地方競馬の電話投票システムを運営する企業で、ほかにもオッズパーク・ファンセレクションin笠松とばんえい十勝オッズパーク杯という重賞競走に協賛している。本競走は第1回を除き重賞競走として施行しているが、ダートグレードなどの格付はされていない。
出走条件はサラブレッド系3歳以上。2008年からジャパンネット銀行（JNB）の協賛により全国の地方競馬場で地区予選に当たる「JNBシリーズ」が行われ、それぞれ上位に入賞した馬に本競走への優先出走権が与えられる。シリーズが行われない地区については各主催者の推薦により出走馬を選定する。
概要 > 優勝賞金・副賞

優勝賞金は1000万円。
2008年からは社台スタリオンステーションの協賛により、副賞として優勝馬の馬主に特定種牡馬の次年度種付権が贈られる（以下参照）。
概要 > 2007年

距離は水沢競馬場ダート1600メートル。この年のみアラブ系競走馬も出走可能とされた。トライアル競走として赤松杯（オープン特別競走・東日本地区交流）が行われ上位2頭に優先出走権が与えられたほか、佐賀競馬場と高知競馬場でもトライアル競走が行われた。加えて下級条件馬のタイガーマスクがオッズパークの推薦馬として出走を予定していたが、疾病のため競走除外となった。
概要 > 2008年

福山競馬場ダート1250メートルで開催。福山競馬場でサラブレッドの全国交流競走が開催されるのは史上初。この年から重賞競走となった。なお、本競走の優勝賞金は福山大賞典（400万円）を上回る2008年度の福山競馬場最高賞金競走であった。
JNBシリーズ（後述）を勝ち抜いた8頭が指定馬となり、福山競馬のトライアル競走は上位2頭が優先出走権を得る。またホッカイドウ競馬、南関東4競馬場から推薦された2頭、全国枠として推薦された1頭が出走する。ただし、最大出走頭数は10頭以内である。
レース開催節には「七夕祭りinふくやまけいば」と題して、北海道のばん馬によるそり実演などのイベントが開催された。またレース当日は多くのアンダーカードの特別競走が行われ、第8Rの馬券ブレイク特別では俳優の嶋大輔がプレゼンターを務めた。
概要 > 2009年以降

2009年は園田競馬場、2010年は名古屋競馬場、2011年は佐賀競馬場、2013年・2014年は笠松競馬場で開催（全てダート1400ｍ）。また、2011年と2013年はラブミーチャンが初の連覇達成。さらに2013年は福永祐一騎手がJRA所属騎手として初制覇した。
2014年の開催を最後に休止されている。
概要 > JNBシリーズ

ジャパンネット銀行協賛。シリーズはポイント制で争われる。対象競走の数は地区により異なり複数競走が行われる場合は、獲得したポイントの合計で順位を決定する。上位の着順ほど高ポイントが付与される。夏開催だった2008年から2010年のみ実施。
| 所属 | 2008年 | 2009年 | 2010年 |
| --- | --- | --- | --- |
| 岩手 | ダイワフォーチュン | フリーモア | ベルモントギルダー |
| 金沢 | ナムラカイソク | 未開催 | 未開催 |
| 笠松 | マルヨスポット | ケイアイカルディナ | エーシンアクセラン |
| 名古屋 | トーホウクローネ | センゲンゴロー | シルバーウインド |
| 兵庫 | ノーモアウオー | ドリカムジャガー | アルドラゴン |
| 福山 | アブソルートウイン | フロントダッシュ ナムラベンケイ | フジノアリオン |
| 高知 | マリスブラッシュ | セトノヒット | グッドヘラクレス |
| 佐賀 | シルクエレメント | エフケーフィル | コスモシェアト |
| 荒尾 | ケイウンヘイロー | タニノウィンザー | ペプチドジャスパー |
歴代優勝馬

走路はすべてダート。
「R(赤文字タイム)」はコースレコード。
| 回数 | 施行日 | 競馬場 | 距離 | 優勝馬 | 性齢 | 所属 | タイム | 優勝騎手 | 管理調教師 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 第1回 | 2007年11月12日 | 水沢 | 1600m | テンショウボス | 牡4 | 岩手 | R1:38.5 | 小林俊彦 | 佐々木修一 |
| 第2回 | 2008年7月7日 | 福山 | 1250m | マルヨスポット | 牡7 | 笠松 | R1:19.6 | 尾島徹 | 柴田高志 |
| 第3回 | 2009年7月16日 | 園田 | 1400m | マルヨフェニックス | 牡5 | 笠松 | 1:26.9 | 尾島徹 | 柴田高志 |
| 第4回 | 2010年7月15日 | 名古屋 | 1400m | アルドラゴン | 牡9 | 兵庫 | 1:26.7 | 田中学 | 田中範雄 |
| 第5回 | 2011年12月5日 | 佐賀 | 1400m | ラブミーチャン | 牝4 | 笠松 | 1:26.6 | 濱口楠彦 | 柳江仁 |
| 第6回 | 2013年2月28日 | 笠松 | 1400m | ラブミーチャン | 牝6 | 笠松 | 1:24.5 | 福永祐一 | 柳江仁 |
| 第7回 | 2014年2月28日 | 笠松 | 1400m | エプソムアーロン | 牡10 | 高知 | R1:23.8 | 下原理 | 雑賀正光 |
デンハム・ブラウン

| 引退 |
| --- | --- |
ポジション:  SG/SF
基本情報
英語:  Denham W. Brown
国籍:   カナダ
生年月日:   (1983-01-06) 1983年1月6日（41歳）
出身地:  オンタリオ州トロント
身長(現役時):  198cm (6 ft 6 in)
体重(現役時):  100kg (220 lb)
キャリア情報
出身:  コネチカット大学
ドラフト:  2006年 40位
選手経歴
2006-2007 2007 2007-2008 2008 2009 2010 2011 2011-2012 2012-2013 2013-2014:   タルサ・66ers  ガラタサライ  BCカントゥ  ダコタ・ウィザーズ  アイオワ・エナジー Barangay Ginebra Kings  オシャワ・パワー Ciclista Olímpico Timba Timişoara BC Mures
受賞歴
 NCAAチャンピオン：2004
 Stats  Basketball-Reference.com
代表歴
キャップ:   2003年,2005年,2007年
デンハム・ブラウン（Denham Brown）ことデンハム・W・ブラウン（Denham W. Brown、1983年1月6日 - ）は、カナダオンタリオ州トロントのプロバスケットボール選手。ポジションはシューティングガード、スモールフォワード。198cm、100kg。
来歴

コネチカット大学では2年次にチームはNCAAトーナメントに優勝した。4年次のNCAAトーナメントでは、ジョージメイソン大学との試合でブザービーターを決めてオーバータイムに持ち込んだが、決勝3ポイントシュートを外し、チームは84-86で敗れた。
バスケットボールカナダ代表として2003年のバスケットボールアメリカ選手権予選に出場、先発出場はなかったものの10試合で平均20分出場し、12.4得点、4.2リバウンド、1.0アシストをあげた。2004年には4か国トーナメントに出場、平均23.3分に出場し、13.8得点、5.3リバウンド、1.3アシストをあげた。2005年も代表でプレーしたが、2006年はNBAに挑戦するため、代表ではプレーしなかった。2007年バスケットボールアメリカ選手権でもプレーしている。
2006年のNBAドラフト2巡40位でシアトル・スーパーソニックスに指名された。プレシーズンゲーム2試合で8得点、5リバウンドの成績を残した後、10月26日にソニックスからウェイバーされた。NBAデベロップメントリーグドラフト1巡8位でタルサ・シックスティシクサーズから指名された。2006-2007シーズン終盤にタルサを退団、トルコリーグのガラタサライでプレーした。タルサでは平均19得点をあげた。
2007-2008シーズンは、セリエAのパラカネストロ・カントゥでプレーした。
2008年11月7日、NBAデベロップメントリーグドラフト1巡9位でユタ・フラッシュから指名された。2008-2009シーズンは、ダコタ・ウィザーズでプレーすることとなった。同年12月19日、負傷のためウェイバーされた。2009年3月4日、Dリーグのアイオワ・エナジーと契約した。
2010年6月には、フィリピンプロバスケットボールリーグのチームで3週間プレーした。
2011年10月11日、NBLカナダのオシャワ・パワーと契約した。
南浅川町

| 南浅川町 |
| --- | --- |
 町丁
 大垂水峠
 南浅川町南浅川町の位置
 北緯35度37分3.82秒 東経139度15分42.49秒﻿ / ﻿北緯35.6177278度 東経139.2618028度﻿ / 35.6177278; 139.2618028
国:   日本
都道府県:   東京都
市町村:   八王子市
地域:  西南部地域
面積
 • 合計:  8.623 km2
人口（2017年（平成29年）12月31日現在）
 • 合計:  343人
 • 密度:  40人/km2
等時帯:  UTC+9 (日本標準時)
郵便番号:  193-0846
市外局番:  042
ナンバープレート:  八王子
※座標は南浅川町会館付近
南浅川町（みなみあさかわまち）は東京都八王子市の地名である。丁番を持たない単独町名であり、住居表示未実施区域。郵便番号は193-0846（八王子西郵便局管区）。
地理

八王子市の南西端にあたる区域。西は神奈川県相模原市との都・県境であり、国道20号に大垂水峠がある。地内の多くが山間部であり人口は少ない。中心部を通過する国道20号（甲州街道）沿いに人口が集中する。
北は裏高尾町・高尾町、東は初沢町・館町・町田市相原町・相模原市緑区川尻、南は相模原市緑区三井、西は相模原市緑区千木良と接する。
歴史

江戸時代には上椚田村の一部であった。
1889年（明治22年）4月1日 - 町村制施行により、神奈川県南多摩郡浅川村が発足。浅川村大字上椚田が成立。
1927年（昭和2年）11月3日 - 浅川村が町制施行し浅川町となる。
1959年（昭和34年）4月1日 - 浅川町が八王子市に編入。浅川町大字上椚田は八王子市大字上椚田となる。
1960年（昭和35年）10月1日 - 大字上椚田の一部が南浅川町となる。
世帯数と人口

2017年（平成29年）12月31日現在の世帯数と人口は以下の通りである。
| 町丁 | 世帯数 | 人口 |
| --- | --- | --- |
| 南浅川町 | 197世帯 | 343人 |
小・中学校の学区

市立小・中学校に通う場合、学区は以下の通りとなる。
| 番地 | 小学校 | 中学校 |
| --- | --- | --- |
| 全域 | 八王子市立浅川小学校 | 八王子市立浅川中学校 |
交通 > 道路

国道20号（甲州街道）
首都圏中央連絡自動車道（圏央道） - 高尾山インターチェンジが国道20号と接続しており利用が可能。
交通 > 路線バス

国道20号（甲州街道）上を走行する系統が乗り入れる。
神奈川中央交通西 津久井営業所
八07：相模湖駅 - 千木良 - 大垂水 - 高尾山口 - 高尾駅 - 西八王子入口 - 八王子駅
湖29：相模湖駅 - 千木良 - 大垂水 - 高尾山口
施設

南浅川町会館
高尾厚生病院
形式仕様記述

形式仕様記述（けいしきしようきじゅつ、英: formal specification）とは形式手法のひとつで、何らのシステムなどについて、その性質などの仕様を形式的に記述する手法や、そういった手法による仕様の記述である。
形式的な仕様を与えることにより、対象システムが仕様に照らして正しいかどうかを形式的に判定することが可能となる(形式的検証)。また、仕様策定の工程で仕様の不整合を検出することが可能となり、実装工程のような開発の後半での仕様不備発覚、それに伴う手戻り(多大なコストを要する場合が多い)を防ぐという利点がある。他の使われ方として、仕様から設計、設計から実装へと段階的に検証可能なステップを踏んで詳細化し、開発工程で不具合を作りこむのを防ぐ。
設計（や実装）の「正当性」はそれ自身だけで確認できないという点が重要である。正当性は与えられた仕様に照らして初めて検証可能であり、形式仕様記述が解決すべき問題を正しく記述できるかどうかは別の問題である。これもまた困難な問題であり、非形式的な実際の問題を抽象化された形式的仕様記述で正しく記述する問題に帰着する。そして、そのような抽象化は形式的証明が不可能である。しかし、仕様が表現することを期待されている特性に関わる定理を証明することによって仕様記述を検証することは可能である。もし検証結果が正しければ、それらの定理は仕様記述者の仕様記述および根底にある問題領域との関係への理解を深める。検証結果が正しくない場合、その仕様は元となっている問題領域を正しく反映しているとは言えないので、仕様記述者はさらに理解を深めて仕様記述を改訂することになるだろう。
危険なメソッド

| 危険なメソッド |
| --- | --- |
 A Dangerous Method
監督:  デヴィッド・クローネンバーグ
脚本:  クリストファー・ハンプトン
原作:  クリストファー・ハンプトン 『The Talking Cure』
製作:  ジェレミー・トーマス
出演者:  マイケル・ファスベンダー ヴィゴ・モーテンセン キーラ・ナイトレイ
音楽:  ハワード・ショア
撮影:  ピーター・サシツキー
編集:  ロナルド・サンダース（英語版）
製作会社:  レコーデッド・ピクチャー・カンパニー
配給:   ユニバーサル・ピクチャーズ  ライオンズゲート  ソニー・ピクチャーズ クラシックス  ブロードメディア・スタジオ
公開:   2011年9月2日（第68回ヴェネツィア国際映画祭）  2011年9月10日（第36回トロント国際映画祭）  2011年11月23日  2012年10月27日
上映時間:  99分
製作国:   イギリス  ドイツ  カナダ  スイス   アメリカ合衆国
言語:  英語
製作費:  €15,000,000
興行収入:  $27,462,041
テンプレートを表示
『危険なメソッド』（きけんなメソッド、A Dangerous Method）は、デヴィッド・クローネンバーグ監督、マイケル・ファスベンダー、ヴィゴ・モーテンセン、キーラ・ナイトレイ出演による歴史映画。
概要

第一次世界大戦前夜、精神科医カール・グスタフ・ユングとジークムント・フロイト、そしてザビーナ・シュピールラインの3人のドラマを描く。心の奥底に眠る感情をあぶり出す“言語連想テスト"やユングとフロイトが意見交換する“夢分析"シーンなど知的好奇心を刺激するエピソードも数多く描かれている。
1993年のノンフィクション本『A Most Dangerous Method』の舞台版である『The Talking Cure』（2002年）を原作としており、その脚本家でもあるクリストファー・ハンプトン自らが脚色した。
クローネンバーグとヴィゴ・モーテンセンコラボレーションは『ヒストリー・オブ・バイオレンス』、『イースタン・プロミス』に続いて3度目である。また、クローネンバーグとプロデューサーのジェレミー・トーマスのコラボは『裸のランチ』、『クラッシュ』以来である。
ストーリー

1904年。ロシア系ユダヤ人女性ザビーナが、チューリッヒにある精神病院ブルクヘルツリ（チューリッヒ大学付属病院）へ重度のヒステリー患者として運び込まれた。29歳のドイツ人ユングはこの病院で精神科医として働いていた。精神分析学の大家であるユダヤ人フロイトが提唱する“談話療法”に刺激を受けた彼は、受け持ち患者であるザビーナにその斬新な治療法を実践する。ザビーナは自分自身も精神分析医になりたいと思っている。間もなくユングは、ザビーナの幼少期の記憶を辿り、彼女が抱える性的トラウマの原因を突き止めることに成功する。ザビーナはその自らの性的トラウマを治療者であるユングに転移し、ユングを誘惑する。ユングはその誘惑つまり転移を受け入れてしまう。医師と患者の一線を越えてしまった2人は、秘密の情事を重ねるようになり、ザビーナをめぐるユングの葛藤はフロイトとの友情にも亀裂を生じさせてゆく。ユングは貞淑な妻よりも遥かに魅惑的なザビーナとの“危険なメソッド”に囚われ、欲望と罪悪感の狭間で激しく揺れ動く。
同時に、ユングは心の中に葛藤を持っていた。フロイトとの会話の中でユングは「丸太を引きずる馬の目の前に立ちはだかる小屋」や「老人」の夢を語る。フロイトは「ユングは抑えがたい性的衝動を持っており、目の前に障害を感じていること」「その障害はフロイトであるかも知れない」という夢判断をユングに語る。ユングはフロイトやフロイトの家族に対し配慮に欠ける行為をしたり、超常現象を受け入れないフロイトに激高したりするが、フロイトは基本的にユングに寛大であった。フロイトはザビーナから「ユングとの関係」についての相談の手紙を受け取るが、ユングはザビーナとの関係を否定し、フロイトはユングを信じ、ザビーナの手紙の内容を虚偽として扱う。
ザビーナとユングとの関係が公になりふたりは離れ、ザビーナはフロイトに師事する。ザビーナはロシア人と結婚、妊娠し、生活は安定する。ユングの妻は精神が不安定なユングに会ってほしいとザビーナを招待する。ザビーナがユングと話すと、ユングは現在も患者を愛人にしていると言う。ザビーナはその愛人は「私に似ているか？」と訊く。ユングは「似ていない」と答える。しかし、愛人は「精神分析医を目指しているユダヤ人女性」だという。それを聞いたザビーナは帰途の車中で涙を流す。ユングとザビーナの関係は愛だったのか、転移・逆転移だったのか？
キャスト

カール・グスタフ・ユング - マイケル・ファスベンダー
ジークムント・フロイト - ヴィゴ・モーテンセン
ザビーナ・シュピールライン - キーラ・ナイトレイ
オットー・グロース（英語版） - ヴァンサン・カッセル
エマ・ユング（英語版） - サラ・ガドン
製作

イギリスのレコーデッド・ピクチャーズ・カンパニー、ドイツのレゴ・フィルム、カナダのプロスペロ・フィルムが共同で製作した。追加資金はドイツ連邦映画委員会や映画ファンドなどから出された。ジークムント・フロイト役にはクリストフ・ヴァルツがキャスティングされていたが、スケジュールの都合のためにヴィゴ・モーテンセンに替わった。撮影は2010年5月26日から7月24日まで行われた。
公開

ドイツ語圏ではユニバーサル・ピクチャーズ、イギリスではライオンズゲートが配給する。また、アメリカ合衆国ではソニー・ピクチャーズ クラシックスが配給する予定である。ワールド・プレミアは第68回ヴェネツィア国際映画祭で行われ、さらに第36回トロント国際映画祭でも上映された。
評価

レビュー・アグリゲーターのRotten Tomatoesでは192件のレビューで支持率は78%、平均点は6.90/10となった。Metacriticでは41件のレビューを基に加重平均値が76/100となった。
評価 > 受賞とノミネート

| 映画祭・賞 | 部門 | 候補 | 結果 |
| --- | --- | --- | --- |
| ヴェネツィア国際映画祭 | 金獅子賞 | デヴィッド・クローネンバーグ | ノミネート |
| ゴールデングローブ賞 | 助演男優賞 | ヴィゴ・モーテンセン | ノミネート |
| サテライト賞 | 映画助演男優賞 | ヴィゴ・モーテンセン | ノミネート |
| サターン賞 | 主演女優賞 | キーラ・ナイトレイ | ノミネート |
| ロサンゼルス映画批評家協会賞 | 主演男優賞 | マイケル・ファスベンダー | 受賞 |
| ロンドン映画批評家協会賞 | 英国男優賞 | マイケル・ファスベンダー | 受賞 |
サン・セヴェリーノ・ルカーノ

| サン・セヴェリーノ・ルカーノ San Severino Lucano> 行政 |
| --- | --- |
国:   イタリア
州:   バジリカータ
県／大都市:   ポテンツァ
CAP（郵便番号）:  85030
市外局番:  0973
ISTATコード:  076078
識別コード:  I157
分離集落:  #分離集落参照
隣接コムーネ:  #隣接コムーネ参照
地震分類:  zona 2 (sismicità media)
気候分類:  zona E, 2504 GG
公式サイト:  リンク
人口
人口:  1,518  人 (2018-01-01)
人口密度:  24.8 人/km2
文化
住民の呼称:  sanseverinesi
守護聖人:  San Severino 
祝祭日:  6月8日
地理
座標:  北緯40度01分 東経16度08分﻿ / ﻿北緯40.017度 東経16.133度﻿ / 40.017; 16.133座標: 北緯40度01分 東経16度08分﻿ / ﻿北緯40.017度 東経16.133度﻿ / 40.017; 16.133
標高:  877 (429 - 1616)  m
面積:  61.14  km2
  サン・セヴェリーノ・ルカーノの位置
  ポテンツァ県におけるコムーネの領域
 ポータル イタリア
テンプレートを表示
サン・セヴェリーノ・ルカーノ（イタリア語: San Severino Lucano）は、イタリア共和国バジリカータ州ポテンツァ県にある、人口約1,500人の基礎自治体（コムーネ）。
地理 > 位置・広がり > 隣接コムーネ

隣接するコムーネは以下の通り。
キアロモンテ
エピスコピーア
ファルデッラ
フランカヴィッラ・イン・シンニ
テッラノーヴァ・ディ・ポッリーノ
ヴィッジャネッロ
行政 > 分離集落

サン・セヴェリーノ・ルカーノには、以下の分離集落（フラツィオーネ）がある。
Mezzana, Cropani, Mancini, Villaneto
江戸川乱歩の怪人二十面相DS

『江戸川乱歩の怪人二十面相DS』（えどがわらんぽのかいじんにじゅうめんそうでぃーえす）は株式会社タカラトミーが2008年12月18日に発売したニンテンドーDSのゲーム。ジャンルは「推理アドベンチャー」。
概要

「本編」と「明智事件録」からなる。本編は原作第一作『怪人二十面相』を比較的忠実になぞったもので、原作通り二十面相は羽柴家のロマノフ王家の冠のダイヤモンドを狙い、小林少年は観世音像に化け、最後に二十面相は国立博物館を狙う。ただし日下部家から古名画を守るくだりは無し。
所々に選択肢が出るものの、ストーリーは一本道。プレイヤーは小林少年になり、人々から証言を聞いたり、画面をタッチペンでクリックして怪しい場所を操作したりして、ストーリーを進めて行く。ストーリーの要所要所で、ジグソーパズルのピースを入手し、各章の終わりでジグソーパズルを完成させる画面になる。パズルを完成させると小林少年が推理を開始。総プレイ時間は4時間から5時間程度。
「明智事件録」は、全51問からなる推理クイズ。明智が提示する事件の文書を読んで、（その文書ないしその後に現れる事件現場の絵の）怪しいところをタッチペンでなぞる。
本編では明智、二十面相、小林少年、花崎マユミ、中村警部、羽柴荘二（＝原作第一作で少年探偵団結成を発案した人物）、七つ道具、BDバッヂ、ピッポちゃんといった原作でおなじみのキャラクター・道具が登場し、二十面相を「賊」と呼んだり「土蔵」があったりと原作に特徴的な表現を再現したところも多い。ただし、原作と異なる部分も存在する。
主人公を小林少年にした関係上、原作では明智が行っていた行為を小林少年が行っている所がある。
本編が始まった段階ですでに少年探偵団が結成されているという設定。しかも原作第一作『怪人二十面相』ではまだ登場していなかったマユミもすでに団員。団員は小林少年、荘二、マユミの3人。
中村警部、BDバッヂはこのソフトではそれぞれ中村刑事、探偵バッヂと呼ばれる。ただし探偵バッヂの表には「BD」と書かれている。
原作では本物のハトであるピッポちゃんが、からくり伝書鳩になっている。ちなみにピッポちゃんをはじめ七つ道具は羽柴荘二少年の発明である。
七つ道具

探偵バッヂ、探偵手帳、縄ばしご、呼子の笛、からくり伝書鳩（ピッポちゃん）、ルーペ、万能ナイフ
章構成

第一章「二十面相ノ予告状」：羽柴邸からロマノフ王冠のダイヤが盗まれるまでを描く。
第二章「アジトカラノ脱出」：二十面相が羽柴邸から脱出し、観音像の盗難事件が解決するまでを描く。
第三章「怪人 対 名探偵」：明智が洋行から帰ってきてから、二十面相が国立博物館の美術品を全て盗む事を予告するまでを描く。
第四章「決戦!国立博物館」：国立博物館の事件を描く。
登場人物

☆印は原作でも登場。
戦慄の子供たち

「戦慄の子供たち」（せんりつのこどもたち）は、ALI PROJECTの楽曲。宝野アリカが作詞、片倉三起也が作曲を手掛けた。ALI PROJECTの26枚目のシングルとして2009年8月19日にGloryHeavenから発売された。
概要

「戦慄の子供たち」は『Phantom 〜Requiem for the Phantom〜』のオープニングテーマに使われている。
当初は7月22日発売予定であったが、8月19日に発売が延期となった。
2010年1月13日に発売されたベストアルバム『La Vita Romantica』に付属したDVDにPV(TVサイズ90秒バージョン)が収録されているがオリジナル版が未だに一般に公開されていない作品である（堕天國宣戦は一部の携帯サイトでオリジナル版が購入可能）。
概要 > キャッチコピー

愛は凶器 ― 生かすも殺すもわたしたちの業
収録曲

戦慄の子供たち [4:42]
テレビアニメ『Phantom 〜Requiem for the Phantom〜』オープニングテーマ
イントロ、2番 - 3番の間奏にBUNKER 8 DIGITAL LABS社のソフト音源『HYBRIDIZER 3』より「Twisted Beyond Hope」が利用されている。
Hell's Maria [4:49]
戦慄の子供たち [instrumental] [4:41]
Hell's Maria [instrumental] [4:45]
佐伯春海

|  凡例佐伯春海 |
| --- | --- |
時代:  平安時代初期
生誕:  不明
死没:  不明
官位:  従五位上・安芸権守
主君:  淳和天皇→仁明天皇
氏族:  佐伯氏
父母:  父：佐伯村主
子:  良人
テンプレートを表示
佐伯 春海（さえき の はるみ）は、平安時代初期の貴族。名は春治とも記される。征東副将軍・佐伯葛城の曾孫で、佐伯村主の子とする系図がある。官位は従五位上・安芸権守。
経歴

淳和朝末の天長9年（832年）従五位下に叙爵。翌天長10年（833年）仁明天皇の即位に伴って従五位上に叙せられる。
承和8年（841年）には2月左京亮、4月刑部少輔、5月治部大輔と短期間に京官を転々としている。承和10年（843年）安芸権守に任ぜられ地方官に転じた。
官歴

『六国史』による。
時期不詳：正六位上
天長9年（832年） 正月7日：従五位下
天長10年（833年） 3月6日：従五位上
承和8年（841年） 2月6日：左京亮。4月5日：刑部少輔。5月13日：治部大輔
承和10年（843年） 正月12日：安芸権守
系譜

父：佐伯村主
母：不詳
妻：不詳
男子：佐伯良人
滋賀県道501号安養寺虎姫線

滋賀県道501号安養寺虎姫線（しがけんどう501ごう あんようじとらひめせん）は、滋賀県長浜市安養寺交点を起点に長浜市虎姫地区に至る4.6kmの一般県道である。
概要

この県道は、旧滋賀県道257号を取り込んでいる。また、市町村合併により長浜市のみを通過する道となった。
地理 > 通過する自治体

長浜市
地理 > 接続道路

滋賀県道44号木之本長浜線
滋賀県道252号南浜山本高月線
国道8号
滋賀県道275号三川月ヶ瀬線
地理 > 沿線

大安神社
小倉神社
林栖寺
月ヶ瀬神社
近江高野山蓮華山天徳寺
菱琶テクノ
蜜指〜ミツユビ〜

「蜜指〜ミツユビ〜」はシドの7作目のシングル。2007年9月26日にデンジャークルー・レコードから発売された。
解説

初登場5位を記録し、後のシングルも常にベスト10位を記録している。
「蜜指〜ミツユビ〜」はNTV系『女神のハテナ』9月度エンディングテーマに起用された。
発売形態は初回限定盤A、Bと通常盤の3種類。また、初回限定盤Aと初回限定盤Bにはそれぞれ異なる内容のDVDが付属されている。
表題曲のプロモーションビデオの撮影は、実際に営業しているキャバレーを借り切って行われた。
収録曲

蜜指〜ミツユビ〜 作詞：マオ、作曲：しんぢ
NTV系「女神のハテナ」9月度エンディングテーマ
何故かマオはこの曲のレコーディングを行うときに、サビの部分でかなりの回数歌詞を間違えたり歌う途中で噛んでしまったりしてミステイクを重ねたようである。その事もあるのか、あまりライブでは演奏されることがない楽曲である。
小さな幸せ 作詞：マオ、作曲：ゆうや
ゆうや曰く、「『盛り上がり厳禁ライブ』にはピッタリ」。また、同じMC内でマオ、ゆうやに「小さな幸せ限定ライブ」と題してイジられ、散々妄想トークをした挙句にマオが「できるかーい！」とツッコミを入れた楽曲でもある。
収録アルバム

センチメンタルマキアート(#1)
Side B complete collection〜e.B〜 (#2)
SID ALL SINGLES BEST（#1）
| --- | --- |
典拠管理データベース :  MusicBrainzリリース・グループ
サン・ゼノーネ・アル・ポー

| サン・ゼノーネ・アル・ポー San Zenone al Po> 行政 |
| --- | --- |
国:   イタリア
州:   ロンバルディア
県／大都市:   パヴィーア
CAP（郵便番号）:  27010
市外局番:  0382
ISTATコード:  018145
識別コード:  I416
分離集落:  
隣接コムーネ:  #隣接コムーネ参照
公式サイト:  リンク
人口
人口:  540  人 (2021-01-01)
人口密度:  78.6 人/km2
文化
住民の呼称:  sanzenonesi
守護聖人:   
祝祭日:   
地理
座標:  北緯45度04分 東経09度21分﻿ / ﻿北緯45.067度 東経9.350度﻿ / 45.067; 9.350座標: 北緯45度04分 東経09度21分﻿ / ﻿北緯45.067度 東経9.350度﻿ / 45.067; 9.350
標高:  59 (56 - 63)  m
面積:  6.87  km2
  サン・ゼノーネ・アル・ポーの位置
  パヴィーア県におけるコムーネの領域 
 ポータル イタリア
テンプレートを表示
サン・ゼノーネ・アル・ポー（伊: San Zenone al Po）は、イタリア共和国ロンバルディア州パヴィーア県にある、人口約500人の基礎自治体（コムーネ）。
地理 > 位置・広がり > 隣接コムーネ

隣接するコムーネは以下の通り。
アレーナ・ポー
コスタ・デ・ノービリ
スペッサ
ゼルボ
地理 > 気候分類・地震分類

気候分類では、zona E, 2628 GGに分類される。
また、イタリアの地震リスク階級 (it) では、zona 3 (sismicità bassa) に分類される
。
伊藤加奈子

| --- | --- |
: その他の「いとうかなこ」の同名の人物については「Wikipedia:索引 いとう#いとうか」をご覧ください。
| 伊藤 加奈子 |
| --- | --- |
生誕:   (1985-01-08) 1985年1月8日（39歳）
出身地:   日本・大阪府池田市
学歴:  大阪音楽大学短期大学部電子オルガンコース卒業
職業:  演奏者 タレント
担当楽器:  エレクトーン キーボード
活動期間:  2004年 -
事務所:  舞夢プロ
共同作業者:  sirius
公式サイト:  所属事務所プロフィール
伊藤 加奈子（いとう かなこ、1985年1月8日 - ）は、近畿地方を拠点に活動するエレクトーン（キーボード）奏者、タレント。舞夢プロ所属。
来歴

大阪府池田市出身。大阪音楽大学短期大学部音楽科音楽専攻電子オルガンコース卒業。短大在学中の2004年10月から、『おはよう朝日土曜日です』（朝日放送）にエレクトーン奏者兼リポーターとして出演していた。
2008年、同じく近畿地方を拠点とする音楽ユニット「sirius」にサポートメンバーという形で参加し、「sirius feat. Kanako Ito」として活動。自らが出演する『Like a Wind』（サンテレビ）のエンディングテーマも手掛けた。
2013年9月22日、自身のブログにて結婚したことを公表。同時に、『おはよう朝日土曜日です』を9月28日放送分をもって卒業することも公表した。番組土曜日のエレクトーン奏者としては、歴代最長の出演期間であった。後に出産し、1児の母になる。
メディア出演時以外には、楽器店などでエレクトーンのデモンストレーターを務めている。また、箕面市で音楽教室「ému cafe music」を開いている。リトミック研究センター認定、池田市教育委員会認定のリトミック（幼児教育）講師でもある。過去には樟蔭東中学校の非常勤講師（教科：総合文化）とヤマハ音楽教室の講師も務めていた。
人物

身長156cm、B88cm/W64cm/H86cm、靴のサイズ23.5cm。血液型O型。
普通自動車運転免許（マニュアル車）と大型自動二輪運転免許を所持している。後者は、『Like a Wind』の企画「MALI＆加奈子 大型免許への道」で取得したものである。
出演 > テレビ番組

おはよう朝日土曜日です（2004年10月 - 2013年9月、朝日放送） - エレクトーン奏者、リポーター
週刊タイガースかわら版（2007年 - 2009年、Baycom） - アシスタント（隔週出演）
熱血!!タイガース党（2007年、サンテレビ） - 秘書（進行アシスタント）
Like a Wind（2007年 - 2009年、サンテレビ） - リポーター
明日どこいこ（2009年、Baycom） - リポーター
ビジネス新伝説 ルソンの壺（2009年、NHK大阪放送局） - リポーター
好き！神戸（2009年 - 2011年、サンテレビ）
ときめき沿線ドラマティックロード（2010年 - 2012年、Baycom）
8時です！生放送!!（2010年 - 2012年、J:COM ウエスト）
駅ぶら 街ぶら 阪神沿線（2012年 - 2013年、朝日放送）
デイリーニュース北摂（2016年 - 2018年、J:COM ウエスト）
エキスタ集まれ！（2016年 - 、J:COM ウエスト）
フロムにしのみや（2022年5月～、ベイ・コミュニケーションズ）番組進行（隔週）
出演 > ラジオ番組

KOBE STYLE by 7creators（2006年7月 - 12月、FM COCOLO） - DJアシスタント
山中つよしの美・happy（2010年 - 2011年、ABCラジオ） - リポーター
出演 > ネット配信番組

王子動物園の音図鑑（2010年、神戸市広報サイト内 神戸ポッドキャストステーション） - リポーター
出演 > CM

アート引越センター「エプロンサービス ご近所パック」（2005年）
アート引越センター「ドラえもん冷温庫 アンコールキャンペーン」（2006年）
パナソニック（2009年）
阪神なんば線（2009年 - 2011年）
阪神尼崎ローレルタワー インフォマーシャル（2010年）
パナソニック「ポケットドルツ」インフォマーシャル（2011年）
阪急三番街 MBSインフォマーシャル（2012年）
出演 > 新聞

毎日新聞「阪神沿線歩き」（2009年 - 2010年）
出演 > スチールモデル

阪神なんば線（2009年 - 2012年）
ロサンゼルス・カウンティ美術館

|  ロサンゼルス・カウンティ美術館 |
| --- | --- |
 
 
施設情報
正式名称:  Los Angeles County Museum of Art
愛称:  LACMA
開館:  1910年
所在地:  15905 Wilshire Boulevard, Los Angeles, CA
外部リンク:  公式ウェブサイト
プロジェクト:GLAM
テンプレートを表示
ロサンゼルス・カウンティ美術館 (ロサンゼルス・カウンティびじゅつかん、ロサンゼルス郡美術館、Los Angeles County Museum of Art、通称LACMA) は、アメリカ合衆国カリフォルニア州ロサンゼルス市にある美術館である。美術館としては西海岸最大級の規模を有する。美術館には、伊藤若冲を中心とする日本画の収集家として知られるジョー・プライスが建設を主導し、プライスコレクション約600点のうち約200点を寄託品として収蔵する日本館（en:Pavilion for Japanese Art）が設置されている。
ギャラリー

アルベルト・ボウツ, Madonna and Child Enthroned, av. 1510
ティツィアーノ・ヴェチェッリオ, Portrait of Jacopo (Giacomo) Dolfi, 1532
レンブラント・ファン・レイン, 『ラザロの復活』, 1630年
レンブラント・ファン・レイン, Portrait of Martin Looten, 1632
ジョルジュ・ド・ラ・トゥール, 『ゆれる炎のあるマグダラのマリア』, 1638-40年頃
ジャンバッティスタ・ピットーニ, Group of Figures from a Banquet Scene, av. 1720
ジャン・シメオン・シャルダン,『シャボン玉遊び』, 1793年以降
トーマス・ローレンス, Portrait of Arthur Atherley as an Etonian, 1791
ワージントン・ウィットレッジ, A Home by the Seaside, circa 1872
メアリー・カサット, Mother About to Wash Her Sleepy Child, 1880
ポール・セザンヌ, Still Life with Cherries and Peaches, 1885
ポール・ゴーギャン, The Swineherd, 1888
クロード・モネ, 睡蓮, 1897–1898
トマス・エイキンズ, Wrestlers, 1899
ピエール＝オーギュスト・ルノワール, Jean Renoir as a Hunter, 1910
ジョージ・ベローズ, Cliff Dwellers, 1913
Michael Heizer, Levitated Mass, 2012
円山応挙, 群鶴図（左隻）, 1772
円山応挙, 群鶴図（右隻）, 1772
ジョンソンヴィル

ジョンソンヴィル本社
ジョンソンヴィル (Johnsonville) は、アメリカ合衆国の食品加工メーカー。ウィスコンシン州にてソーセージの他にマスタードソースやミートボールの製造と販売を行っている。
歴史

包装会社で働いていたミネソタ州出身のドイツ系アメリカ人ラルフ・ステイヤーが、1945年にウィスコンシン州ジョンソンヴィルにある食肉店を買い取ってステイヤーズ・ジョンソンヴィル・ミーツ (Stayer's Johnsonville Meats) として商売を始めたのが会社の始まりで、1950年代には他店にジョンソンヴィル・ソーセージを卸し始め、1970年代までにウィスコンシン州中で売られるようになり、1980年代に大規模な宣伝活動を行い全米で知られるようになり、海外にも進出した。
日本には2002年に進出し、2010年に子会社のジョンソンヴィル・ジャパン合同会社を設立してプリマハムと販売代理店契約を結んで日本中で販売されている。
バーンサイドの補題

バーンサイドの補題（英: Burnside's lemma）、あるいはバーンサイドの数え上げ補題、コーシー・フロベニウスの補題、軌道の数え上げ補題とは、対称性を考慮して数学的な対象を数え上げるときに有用な群論の結果である。
以下では G は有限群で集合 X に作用しているとする。群 G の各元 g に対して Xg で元 g によって固定されるすべての X の元からなる集合を表す。バーンサイドの補題は軌道の数 |X/G| は次の式で表せることを主張している。
つまり軌道の数（これは自然数あるいは+∞）は群 G の元による固定点の数の平均（これも自然数あるいは+∞）と等しい。もし G が無限群ならば |G| による除法は定義されないが、その場合には次の基数に関する主張が成り立つ。
例と応用

以下ではこの補題を使って立方体の面を3色で塗り分ける数を決定する。ただし回転させて一致するものは同一視する。
X をある特定の向きの立方体の面を塗り分ける36通りの彩色からなる集合とし、立方体の回転群 G (≅ S4) は自然に X に作用しているとする。このとき集合 X の2元が同じ軌道に属するのは一方がもう一方の回転であるとき、かつそのときに限る。したがって塗り分ける数は軌道の数と一致し、それは群 G の24元がそれぞれ固定する集合の大きさを数えることで計算できる。
よって各元が固定する集合の大きさの平均は次の通り。
したがって立方体の面を3色で塗り分ける方法は57通りある。一般に立方体の面を n 色で塗り分ける方法は次の通り。
証明

証明の第一歩は群 G の元 g に関する和を集合 X の元 x に関する和に書き直すことである（二重数え上げ）。
（ここで Xg = { x ∈ X | gx = x } は群 G の元 g で固定される X のすべての元からなる集合で Gx = { g ∈ G | gx = x } は集合 X の元 x を固定する G のすべての元からなる固定群である。）
軌道・固定群定理により集合 X の各元 x の軌道 Gx = { gx ∈ X | g ∈ G } と固定群 Gx による左剰余類 G/Gx の間には自然な全単射がある。ラグランジュの定理と合わせると次を得る。
したがって最初の等式の右辺にある集合 X の元に関する和を次のように書き換えることができる。
最後に集合 X は軌道の直和であることに注意すれば直前の X に関する和は各軌道に関する和へ分解できる。
すべてをまとめれば目的の結果を得る。
歴史

ウィリアム・バーンサイドは『有限群論』（1897年）でFrobenius (1887)に拠るものとしてこの補題を述べ、証明した。しかしフロベニウス以前にもこの式はコーシーによって1845年には知られていた。実際にはこの補題はよく知られていたのでバーンサイドが単にコーシーへ帰するのを省いたようである。結果としてこの補題はしばしばバーンサイドのでない補題とも呼ばれる。バーンサイドはこの分野において多くの貢献をしているのでこれは一見感じられるほど曖昧ではない。
彩色された立方体
形式意味論

形式意味論（けいしきいみろん、英: formal semantics）とは、自然言語や、コンピュータプログラミング言語の意味論（プログラム意味論）において、その「意味」、たとえば自然言語であれば「全ての犬は黒い」「ある犬は黒い」「全ての犬は黒くない」「ある犬は黒くない」の各文にはそれぞれ対称的な意味があるわけだが、それを形式的（formal）にあらわさんとする、あるいはプログラミング言語においては、それで書かれたプログラムをコンピュータに実行させた結果どのようにコンピュータが動作するのか（「効果」などとも言う）を、形式的にあらわさんとしたものである。この記事では主として自然言語およびそれに近い分野のものについて述べる。プログラミング言語の意味論に関してはプログラム意味論の記事を参照のこと。
自然言語においては、自然言語を一種の形式的体系と捉え、文の意味はその構成要素から一定の手順に従って構成的に決定されると考える立場である。集合、論理記号など数学で用いる概念を理論に応用して自然言語の文の真理条件の規定や、前提・含意・矛盾などの論理的関係を記述することを目標とする。論理学者モンタギューの研究に端を発し、現在では多様な理論的枠組みが提案されている。自然言語処理にも応用されている。
形式意味論は、言語と外界との直接の結びつきを仮定し、実際に言語を用いる人間の認知活動を捨象しているため、主に認知意味論の研究者からの強い批判もある。ただし、批判の中には形式意味論の研究者によっても既に自覚されて、理論の改良が試みられているものもある。