stanford-oval/wikipedia huggingface dataset:
Battle of Titans
装備 > 武器

全14種の武器が実装されている。軽武器、中武器、軽中重それぞれのスペシャル武器、bully専用である盾を対応する武器スロットに搭載する。
AP・HEAT・HEF・Heating/Thermalの4種類のダメージタイプがあり、
AP : 距離に応じて威力減衰と弾速減衰が生じる。ダメージを部位に集中させやすく、精度も高い傾向がある。
HEAT : 距離問わず同じダメージが入るが、ダメージが各部位に分散する。ミサイル、ロケット系であり、精度は低い傾向にある。
HEF :爆風による範囲ダメージを与えることが出来る。着弾地点から離れるほど威力は減衰する。
Heating/Thermal :レーザーを当て続けることにより敵機体の装甲耐性を減少させることができる。さらに、熱量に応じてDoTダメージを与える。装甲は時間経過と共に元の機能を回復する。
という特徴がある。
これに加えてダメージは与えられないが、敵の動きを一時的に拘束することが出来るEMPがある。
装備 > モジュール

タイタン・武器に装備することによって、性能をプレーヤー好みに調整することができる。
課金

基本無料であるが、EC、プレミアムアカウント、課金機体・武器を購入することができる。
課金 > プレミアム

2種類が用意されており、値段は同じである。
プレミアム : 戦闘で得られるECの量が75%増加する。
V.I.P : ブラックマーケットでより多くの装備が並び、レアな商品が出やすくなる。
-25%ブラックマーケットでの割引
ティアアップグレードのコストが半額
課金 > 課金機体・武器

新しく実装された機体・武器は課金で購入することになり、T3の状態で入手できる。新機体・武器が実装されると、それまでの課金機体・武器はECで購入できるようになるため、課金専用ではなく先行入手という形となっている。その他、スキンは完全課金という形がとられているが、ブラックマーケットに低確率で課金要素が並ぶことがあることや、リーダーボードの景品になるため無課金でも入手は可能。
国民議会 (セーシェル)

| 国民議会  National Assembly Assemblée Nationale |
| --- | --- |

種類
種類: 一院制
役職
議長: ロジャー・マンシェン（セーシェル民主連合）、 2020年10月28日より現職
副議長: ジャーヴェイス・ヘンリー（セーシェル民主連合）、 2020年10月28日より現職
野党院内総務: セバスチャン・ピレー（統一セーシェル）、 2020年10月28日より現職
構成
定数: 35

院内勢力:   セーシェル民主連合 (25)   統一セーシェル (10)
選挙
選挙制度: 小選挙区比例代表並立制
前回選挙: 2020年10月22日-24日
議事堂
 セーシェル、ヴィクトリア
ウェブサイト
www.nationalassembly.sc
国民議会（こくみんぎかい、英語: National Assembly、フランス語: Assemblée Nationale）は、セーシェルの立法府である。
概要

一院制、定数35、任期5年。
小選挙区比例代表並立制で選出される。
JR貨物U19D形コンテナ

U19D形コンテナ（U19Dがたコンテナ）は、日本貨物鉄道（JR貨物）輸送用として籍を編入している12ft形の、私有コンテナ（有蓋コンテナ）である。形式の数字部位 「 19 」は、コンテナの容積を元に決定される。このコンテナ容積19 m3の算出は、厳密には端数四捨五入計算の為に、内容積18.5 m3 - 19.4 m3の間に属するコンテナが対象となる。
2005年度より製造された。また形式末尾のアルファベット一桁部位「D」は、コンテナの使用用途（主たる目的）が「特殊構造を有するコンテナ」を表す記号として付与されている。
特記事項

外部からの油圧ポンプ接続により、昇降式中間床（いわゆる、室内が上下に分れる）を持つ「W-DECKER」コンテナである。「コキ50000積載禁止」並びに、最大全高2.6 mのために、高さ規格外・ハローマーク = H 表記がある。
番台毎の概要 > 0番台

U19D-1 中央通運所有。
U19D-7 中央通運所有。HORIBA借受。
Crewsing2

『Crewsing 2』（クルージングツー）は、ビーグルクルーの4枚目のアルバムである。2010年7月13日発売。発売元は自主制作。
概要

ビーグルクルーとして4枚目のアルバムである。
収録曲 > CD

intro〜Crewsing２〜
SWING
Break Out!!
Miss you
愛のメロディ
サンタクロースの贈りもの
優しい場所
声の鳴る方へ
Big MAMA
SWING〜月刊！ホークスver〜
ニュー・ポープ 悩める新教皇

『ニュー・ポープ 悩める新教皇』（THE NEW POPE）は、2019年制作のテレビドラマ。主演はジュード・ロウとジョン・マルコヴィッチ。脚本・監督はパオロ・ソレンティーノ。製作はロウやソレンティーノ他。制作はHBOとCANAL+他で、2019年から放送。全9話。
概要

『ヤング・ポープ 美しき異端児』の続編として制作された。
新教皇の教皇名であるヨハネ・パウロ3世は、謎の死を遂げた実在の教皇であるヨハネ・パウロ1世の名を引き継いだものであり、1世の死亡を踏まえた描写が見られる。
マリリン・マンソンおよびシャロン・ストーンの両名が本人役で出演した。劇中において、ストーンは持論である同性愛者の結婚について教皇に進言した。一方で、教皇はストーンに対し、足を組み替えないよう忠告している。
キャスト

※括弧内は日本語吹替
ピウス13世 / レニー・ベラルド - ジュード・ロウ（森川智之）
ヨハネ・パウロ3世 / ジョン・ブラノックス - ジョン・マルコヴィッチ（樋浦勉）
ヴォイエッロ枢機卿 - シルヴィオ・オルランド（石田圭祐）
ソフィア・デュボワ - セシル・ド・フランス（水落幸子）
グティエレス枢機卿 - ハビエル・カマラ（塾一久）
エスター・オーブリー - リュディヴィーヌ・サニエ（三木美）
サトウカエデ

| --- | --- |
: 「佐藤楓」とは異なります。
サトウカエデ, ペルハム (オンタリオ州)
サトウカエデ（砂糖楓、学名: Acer saccharum）は、ムクロジ科カエデ属の落葉高木。樹液を煮詰めたものをメープルシロップとして利用する。また、樹木はその堅牢性から、家具に利用される。別名、メープルツリー。和名の由来は、カエデの仲間で、樹液からメープルシロップをつくることから名付けられている。
特徴

北アメリカ原産。高さは30～40メートルにもなり、葉も日本のカエデと比べるとかなり大ぶりで、特徴ある形状を成す。日本では、北海道と本州に公園などに植栽されたものが見られる。
カナダを代表する木で、特にケベック州、オンタリオ州と関係が深く、カナダの国旗にはサトウカエデの葉がデザインされているほか、メイプルリーフ金貨などの硬貨のデザインにも取り入れられている。また、アメリカ合衆国北東部のウィスコンシン州、ニューヨーク州、バーモント州、ウェストバージニア州では、州の木とされている。大きくて形が美しい葉は、新緑や紅葉を楽しむことができ、赤色や黄色など様々に色づいた紅葉は見事で、このカエデの魅力にもなっている。
樹液から、ホットケーキなどにかけるメープルシロップが作られ、硬い材からは野球のバットが作られる。
日本では明治時代以降に移入されたが、樹液採取はあまり行われず、もっぱら街路樹として用いられている[要出典]。
木材としては堅牢で家具など、また、耐摩耗性が高い事から床材などに適している。呼称としては日本産のイタヤカエデなどを『カエデ材』と呼ぶのに対し、北アメリカから輸入したサトウカエデは『メープル材』と呼ぶ。
変わったところでは、その耐摩耗性とオイル等を取り込みやすく放出しにくい木質からオイルやワックス等を含浸させたサトウカエデが木製軸受として利用されている。これは用途によっては樹脂や金属の軸受よりも高い性能をしめす事もあり、同じく木製軸受として高い性能を持つが成長の遅さから希少となったリグナムバイタの代替品としても使われる。
ロバート・ジェミソン・ヴァン・デ・グラフ

ロバート・ジェミソン・ヴァン・デ・グラフ
ヴァンデグラフ起電機
ロバート・ジェミソン・ヴァン・デ・グラフ（Robert Jemison Van de Graaff、1901年12月20日 - 1967年1月16日）は、アメリカの物理学者。1929年に静電発電機の一種であるヴァンデグラフ起電機を発明したとして名高い。
生涯

アラバマ州タスカルーサに生まれ、アラバマ大学で工学を学び、1922年に学士号を取得して1923年に修士号を取得した。
その後はヨーロッパに渡り、ソルボンヌ大学、オックスフォード大学にて物理学を学んだ。なお、ソルボンヌ大学ではポーランド立憲王国（現:ポーランド）の物理学者、化学者であるマリ・キュリーの講義を1925年に聴き、物理学の関心を高めた。また、オックスフォード大学では高圧送電の技術を研究して高電圧を発生させる装置に関心を持つようになり、1926年に2回目の学士号を取得し、1928年にPh.D.（学位）を取得した。
1929年、プリンストン大学にて特別研究員を務めている時に、8万ボルトの電圧を生み出せる帯電ベルト式静電起電機を製作した（ヴァンデグラフ起電機）。1931年にはマサチューセッツ工科大学に移り、本格的な開発を行って700万ボルトを発生させることができていた。1934年までマサチューセッツ工科大学の研究員を務め、その後は1960年までマサチューセッツ工科大学の准教授を務めた。1935年、ヴァンデグラフ起電機の開発特許を得た。
1936年にはエリオット・クレッソン・メダル、1965年には静電加速器の開発でアメリカ物理学会よりトム・W・ボナー原子核物理学賞を受賞。
1967年1月16日にマサチューセッツ州のボストンで死去した。
特許

US1,991,236
US2,024,957
US2922905
US3,187,208
US3,323,069
US3239702
US3,308,323
国民議会 (スロベニア)

| 国民議会  Državni zbor |
| --- | --- |

種類
種類: スロベニア議会下院
役職
議長: ウルシュカ・クラコチャル・ズパンチッチ（自由運動（英語版））、 2022年5月13日より現職
構成
定数: 90

院内勢力: 与党 (53)   自由運動（英語版） (41)   社会民主党 (7)   左翼党（英語版） (5) 閣外協力 (2)   少数民族代表 (2) 野党 (35)   スロベニア民主党（英語版） (27)   新生スロベニア（英語版） (8)
選挙
選挙制度: 非拘束名簿式比例代表制 (88)  ボルダ制 (2)
前回選挙: 2022年4月24日
議事堂
リュブリャナ、国民議会議事堂
ウェブサイト
www.dz-rs.si/
国民議会（こくみんぎかい、スロベニア語: Državni zbor）は、スロベニアの議会を構成する議院（下院）である。
議院構成 > 定数

90。
議院構成 > 選挙制度

88人が非拘束名簿式比例代表制で選出され、残る2人は同国内のマイノリティであるイタリア系とハンガリー系からボルダ方式による選挙で選出される。この2人には、それぞれの民族グループに関する事案に対して拒否権が与えられている。
議院構成 > 任期

4年。
井澤諒

井澤 諒（いざわ りょう、1988年－）は、日本のバレエダンサー。
群馬県伊勢崎市出身。2004年ローザンヌ国際バレエコンクールでスカラシップを受賞。2006年ジャクソン国際バレエ・コンクールでは、審査員奨励賞を受賞。Kバレエカンパニーを経て、2017年に新国立劇場バレエ団に入団した。4歳下の弟は、同じく新国立劇場バレエ団のプリンシパル・井澤駿
経歴

群馬県で生まれ、バレエ愛好家の母のもと、地元のバレエ教室に入門し、4歳からバレエを始める。当初はテニスと並行して習っていたが、中学のころからバレエ一本に。
ローザンヌ国際バレエコンクールを経て、15歳でドイツ・ハンブルクへバレエ留学。後に、雑誌のインタビューで、「世界から集まったプロを目指す同世代のダンサーと競い合ったことで、世界が広がった」と語り、非常に大きな経験、転機となった。
帰国後は、バレエと大学生活を両立。共愛学園前橋国際大学情報・経営コースでは、経営学を学ぶ。その後、1年ほどの中断を経てバレエを再開し、2011年に熊川哲也率いるK-BALLET COMPANYに入団し、最後はファーストソリストとして活動。2017年に新国立劇場バレエ団に入団した。
K-BALLET SCHOOL ティーチャーズ・トレーニングコース修了し、バレエ教員資格を有する。
経歴 > 年表

4歳よりバレエを始める
2004年ローザンヌ国際バレエ・コンクールにてスカラシップを受賞。同年、ドイツ・ハンブルクバレエスクールに留学
2006年ジャクソンバレエコンクール 審査員奨励賞を受賞
2011年4月 K-BALLET COMPANYに入団
2012年9月 ファースト・アーティスト
2013年9月 ソリスト
2015年8月 ファースト・ソリストに昇格
2017年8月 K-BALLET COMPANYを退団
2017年9月 新国立劇場バレエ団にファースト・ソリストとして入団
Studio R⁺を設立
新国立劇場バレエ団などでのレパートリー

2004年8月にローザンヌ国際バレエコンクール受賞者による高円宮憲仁親王殿下メモリアル ローザンヌ国際バレエコンクール日本開催15周年では、「眠れる森の美女」第3幕よりデジレ王子のバリエーションを演じる。
初の大役は、2012年Kバレエカンパニーで「真夏の夜の夢」のパック。このころは、まだ舞台での経験が少なく、遅沢佑介など先輩から舞台上だけでなく多くを学び、多大な影響を受ける。2014年12月「くるみ割り人形」の王子、2015年には「シンデレラ」の王子を経験する。「海賊」のアリ役で、初めてのキャラに挑戦。
2017年12月の「シンデレラ」でダンス教師と道化の役で、新国立劇場バレエ団デビュー。2018年2月の「ホフマン物語」ではホフマンの友人（ナサーニエル）と幻影者たち（交替出演）。同年4月の「白鳥の湖」では道化とナポリの踊りで出演。6月の「眠れる森の美女」では、村の人々（交代出演）と親指トムを演じる。
また、NHKバレエの饗宴2018では、「くるみ割り人形」第2幕の中国の踊りで出演する。他にも、「新国立劇場 こどものためのバレエ劇場」『シンデレラ』（こどもシンデレラ）でも、ダンス教師と道化の役で出演している。
新国立劇場バレエ団などでのレパートリー > 主な出演作一覧

K-BALLET COMPANYにて
『シンデレラ』の王子／2人の道化師／王子の友人
『くるみ割り人形』のくるみ割り人形／王子／花のワルツのソリスト／中国人形
『海賊』のアリ／物乞い／海賊の男達
『ロミオとジュリエット』のベンヴォーリオ／マンドリンダンス
『ラ・バヤデール』のブロンズ・アイドル／マグダヴェヤ
『カルメン』のオフィサー／バンデリュロス
『白鳥の湖』のベンノ／パ・ド・トロワ／ナポリ／マズルカ
『ジゼル』のパ・ド・シス／ペザント
『ベートーヴェン 第九』
『Simple Symphony』
アシュトン振付『真夏の夜の夢』のパック
スカーレット振付『Promenade Sentimentale』
新国立劇場バレエ団にて
牧阿佐美版『白鳥の湖』の道化／ナポリ
アシュトン『シンデレラ』の道化
P.ダレル『ホフマン物語』ホフマンの友人
人物 > 井澤諒と弟・井澤駿の関係

井澤諒と井澤駿は4歳差の兄弟であり、バレエダンサーとしてライバル関係ともいえる。兄弟仲は良好で、弟・駿は雑誌の対談などで、兄・諒を「尊敬し、今でも追いかける存在で、目標」と発言する。
兄・諒の性格について、弟・駿は「静かに燃えるタイプで、がんばっている姿を誰にも見せないようにするが、実はたまに見えている」と評した。逆に、兄・諒からは「弟の方が繊細で細かいことにもいろいろと気がついている」と評する。
二人の演技は、昔から手が似ているといわれる。それについては、弟・駿が小さいころから兄の真似をしてきたからだと答えていた。
幼少のころには、お互いのバレエに関してあまり関わってはこなかったが、バレエダンサーとして自立してからは、お互いにアドバイスをしたり、相談をしたりするような関係になる。
JUKE SPACE

JUKE SPACE（ジューク・スペース）は2004年から毎年11月23日に放送されている、JFN系列のホリデースペシャルプログラム。
1889年11月23日、アメリカのパシフィック・フォノグラム社で「ジュークボックス」が誕生したことをきっかけにスタートした。
この番組は、電リク番組なので、電話はOK。FAXも許容範囲だが、メールの受付は無い。また、JFNホリスペ用サイトもあるが“電リク”にこだわっているのでサイトの開設はない。
DJ

第1回　井門宗之・わたなべヨシコ
第2回　井門宗之・神田亜紀
第3回　CHAGE・宮本せいら
埼玉県道59号羽生妻沼線

| 主要地方道 |
| --- | --- |
    
埼玉県道59号羽生妻沼線
路線延長: 15.76km
起点: 埼玉県羽生市小須賀
終点: 埼玉県熊谷市妻沼
接続する 主な道路 （記法）:  国道407号  国道122号
■テンプレート（■ノート ■使い方） ■PJ道路
羽生市大字上新郷地区
熊谷市妻沼地区
埼玉県道59号羽生妻沼線（さいたまけんどう59ごう はにゅうめぬません）は、埼玉県羽生市小須賀から熊谷市妻沼に至る県道（主要地方道）である。
概要

国道122号との交差点を起点とし、埼玉県熊谷市妻沼の国道407号、埼玉県道45号本庄妻沼線を結ぶ県道（主要地方道）である。連続する埼玉県道45号本庄妻沼線と合わせ、埼玉県の最も北側を走る県道（主要地方道）の一つであり、利根川の南側を並走する路線である。
2007年4月1日には他の県道路線名が、市町村合併に伴い一部変更されたが、熊谷市の市街地と羽生市を結ぶ埼玉県道128号熊谷羽生線があるため、当路線名の変更は行われていない。
路線データ

起点：羽生市小須賀（国道122号 小須賀交点）
終点：熊谷市妻沼（国道407号 登戸交差点）
路線延長：15,76m
通過する自治体

埼玉県
羽生市
行田市
熊谷市
交差する道路

国道122号（羽生市小須賀）
埼玉県道7号佐野行田線（羽生市愛宕神社前）
埼玉県道83号熊谷館林線（行田市北河原 - 熊谷市秦小入口 ※ 重複区間）
埼玉県道359号葛和田新堀線（熊谷市葛和田） ※ 83号との重複区間内
埼玉県道263号弁財深谷線（熊谷市弁財）
埼玉県道341号太田熊谷線（熊谷市妻沼 - 聖天山前） ※ 重複区間
国道407号、埼玉県道45号本庄妻沼線（熊谷市登戸）
沿道の主な施設

愛宕塚古墳
行田市立須加小学校（2022年3月閉校）
行田市須加公民館
行田須加郵便局
利根大堰
行田警察署須加駐在所
行田市老人福祉センター
行田市立北河原小学校（2022年3月閉校）
行田北河原郵便局
熊谷市立秦小学校
日清シスコ東京工場
能美防災メヌマ工場
熊谷市立妻沼東中学校
熊谷警察署妻沼交番
熊谷市立妻沼小学校
妻沼聖天山
道路愛称

縁結び通り：熊谷市妻沼、聖天山前交差点 - 登戸交差点（終点）
C5

C5
C5 級関数
位数 5 の巡回群 C5
ルート系 C5
炭素数が5の化合物。ペンタンなど。
C-5 (航空機) - ロッキードの航空機。
C-5 (潜水艦) - アメリカ海軍の潜水艦。
USSサンフランシスコ C-5/CM-2 - アメリカ海軍の防護巡洋艦。
シトロエン・C5 - シトロエンの乗用車。
シボレー・コルベット C5 - ゼネラルモーターズのスポーツカー。
ワラシ・ソウザ・シウヴァ

ワラシ（Walace）こと、ワラシ・ソウザ・シウヴァ（Walace Souza Silva、1995年4月4日 - ）は、ブラジル・サルヴァドール出身のサッカー選手。ウディネーゼ・カルチョに所属。ブラジル代表。ポジションはミッドフィールダー。
経歴 > クラブ

アヴァイFCの下部組織で育ち、2013年にグレミオFBPAの下部組織へ移籍。トップチームに昇格すると、2014年4月27日にカンピオナート・ブラジレイロ・セリエAでプロデビューをした。同年夏に監督に就任したルイス・フェリペ・スコラーリの下で出場機会を得るようになり、後任監督のホージェル・マシャド・マルケスの下で2016年12月にはコパ・ド・ブラジル優勝に貢献した。
2017年1月、ドイツ・ブンデスリーガのハンブルガーSVへ移籍した。契約期間は2021年6月30日までの4年半。同年2月7日に行われたDFBポカールの1.FCケルン戦でデビューし、同年2月11日に行われたRBライプツィヒ戦でリーグ戦デビューを果たした。
2018年6月、ハノーファー96へ2022年6月までの4年契約で完全移籍した。
2019年8月12日、ウディネーゼ・カルチョと2024年までの契約を締結した。
経歴 > 代表

2015年、U-20ブラジル代表に選出され南米ユース選手権に出場。2016年には負傷したルイス・グスタヴォの代わりとしてコパ・アメリカ・センテナリオに挑むブラジル代表に招集され、同年6月9日のハイチ代表戦で代表デビューを飾った。
また、U-23ブラジル代表として同年8月に地元ブラジルで開催されたリオデジャネイロオリンピックに挑むと4試合に出場し、金メダル獲得に貢献した。
タイトル > クラブ

コパ・ド・ブラジル：1回 (2016)
タイトル > 代表

オリンピック 金メダル：1回 (2016)
ワン・モーメント・イン・タイム

ワン・モーメント・イン・タイム（One Moment in Time）は、
ホイットニー・ヒューストンの楽曲。→ワン・モーメント・イン・タイム (曲)（英語版）
マーベルコミックスのスパイダーマンのストーリーライン。→ワン・モーメント・イン・タイム (マーベル・コミック)
JIS X 4051

JIS X 4051（ジス エックス 4051）は文書の組版を規定したJISの規格で、規格名称は「日本語文書の組版方法」（改正前の名称は「日本語文書の行組版方法」）。
印刷物などにおける文字の処理方法やページ内での配置を規定している。
特徴

印刷物などにおいて、行や段落、ページ内での配置、禁則処理やルビ処理などを縦書きと横書きそれぞれの場合にどうすべきかが細かく規定されている。
JIS X 0213の各符号位置を文字クラスごとに分け、各文字クラスの使用方法が規定されている。
印刷会社だけにとどまらず、一般の文書を作成する人であれば知っておかなければいけない事項が記載されている。
2004年に改正され、最新版はJIS X 4051:2004。
2009年6月4日付で公開されたW3Cの技術ノート「日本語組版処理の要件 (Requirements for Japanese Text Layout)」はJIS X 4051を基に作成されている。
内容 > 漢文処理

漢文における訓点や送り仮名などの処理について規定
内容 > ページ構成

用紙サイズ、ガイドマーク、綴じの方向、ページ番号、ノンブル処理、柱処理について規定
内容 > 改丁・改ページ・改段・見出し処理

改ページ処理、中扉の処理、見出し処理、箇条書き処理について規定
内容 > 注の処理

注記処理について規定
内容 > 図・写真等の処理

図や写真の処理について規定
内容 > 表処理

表の罫線や文字の配置について規定
内容 > 行送り方向の組版規則

行送り処理について規定
型理論

型理論（かたりろん、英: Type theory）とは、プログラミング・数学・言語学等に現れる型の概念及びそれらが成す型システムを研究対象とする数学・計算機科学の分野である。特定の型システムのことを型理論と呼ぶこともある。集合論の代替となる数学の基礎として役立てられる型理論（型システム）も存在する。そのような例としてアロンゾ・チャーチの型付きラムダ計算やマルティン・レーフの直観主義型理論が有名である。
20世紀初頭にバートランド・ラッセルが発見した、ラッセルのパラドックスによるフレーゲの素朴集合論の欠陥を説明する中で提起されたタイプ理論（theories of type）が型理論の起源であり、後年にAxiom of reducibilityが付随された型理論は、ホワイトヘッドとラッセルの 『プリンキピア・マテマティカ』に収録されている。
単純階型理論（Simple Theory of Types）

詳細は「」を参照
ここでは、Mendelson (1997, 289-293）の体系 ST を解説する。量化の議論領域は型の階層に分けられ、個体要素（individuals）には型が割り当てられる。基盤となる論理は一階述語論理であり、量化変数の範囲は型によって限定される。ST は『数学原理』の型理論に比べて単純であり、任意の関係の議論領域は全て同じ型でなければならない。
階層中、最も低い型では、個体要素にはメンバーはなく、それらは2番目に低い型のメンバーとなる。最下層の型の個体要素は、ある集合論の原要素 (Ur-elements) に対応する。それぞれの型にはより高位の型があり、ペアノの公理の後者関数 (successor function) の記法にも似ている。ST では、最高位の型があるかどうかは規定していない。超限数個の型があってもなんら不都合は生じない。このようにペアノの公理と似た性質であるため、各型に自然数を割り当てることが容易で、最下層の型に 0 を割り当てる。ただし、型理論そのものは自然数の定義を前提とはしていない。
ST に固有な記号として、プライム付きの変数と接中辞 ∈ がある。論理式において、プライムのない変数は全て同じ型に属し、プライム付き変数 (x′) はその1つ上の型に属する。ST の原子論理式は、x = y（恒等式）か y ∈ x′ という形式である。接中辞記号 ∈ は、集合の所属関係を示唆している。
以下にあげる公理に使われている変数は、全て2つの連続する型のいずれかに属する。プライムなしの変数は低位の型の変数であり、 ∈ の左辺にのみ出現する（プライムつきは逆）。ST での一階述語論理では、型をまたいだ量化ができない。従って、ある型とそれに隣接する型ごとに外延性と内包性の公理を定義する必要が出てくるが、下記の外延性と内包性の公理を型をまたいで成り立つ公理図式 (axiom schema) とすればよい。
ST は型理論が公理的集合論と似ていることを明らかにした。さらに、ZFC などの従来の集合論よりも単純な存在論に基づく "iterative conception of set" と呼ばれる ST のより精巧な存在論がもっと簡単な公理（公理図式）を構成している。型理論の出発点は集合論だが、その公理、存在論、用語は異なる。型理論には他にも New Foundations や Scott-Potter set theory がある。
型システム

詳細は「型システム」を参照
型システムの定義は様々だが、プログラミング言語理論の世界では Benjamin C. Pierce の定義が一般に受け入れられている。
換言すれば、型システムはプログラムの値を「型」と呼ばれる集合に分類し（これを「型設定」あるいは「型割り当て」と呼ぶ）、特定のプログラムの動作が不正であることを示す。例えば、"hello" という値を文字列型、5 という値を整数型としたとき、プログラマに "hello" と 5 を加算できないといった制限を課すのである。このような型システムでは、次のプログラム
は不正である。もちろん、文字列と整数を加算することを許す型システムもありうる。
型システムの設計と実装は、プログラミング言語そのものと同じ程度に広がりを持った話題である。実際、プログラミング言語の最大の基盤は型システムであるとも言われ、「型システムを正しく設計すれば、言語は自分自身で設計される」と言われている[要出典]。
型理論の他分野への影響 > コンピューター

型理論の最も顕著な応用は、プログラミング言語のコンパイラでの意味論解析部での型チェックアルゴリズムの構築である。
型理論は自然言語の意味論の理論構築にもよく使われる。以下ではモンタギュー文法の内包論理（型理論と様相論理を折衷したもの）での型を例として説明する。最も基本的な型として  e（entity=もの）と  t（truth-value=真理値）があり、以下の規則を帰納的に適用して型の集合を定義する。
a と  b が型であるとき、 \langle a,b\rangle  も型である。
a が型であるとき、 \langle s,a\rangle  も型である。ここで、 s は型ではなく、指標（可能世界と時点の組み合わせ）である。こちらの規則は様相論理（可能世界）や時相論理（時点）も関わってくる。
\langle a,b\rangle  という複合型は、ある型  a の要素から  b の要素への関数型である。つまり、 \langle e,t\rangle  は「もの」から真理値への関数であり、いわば集合の指示関数である。 \langle \langle e,t\rangle ,t\rangle  は、指示関数の指す集合から真理値への関数であり、いわば集合の集合である。後者は自然言語で言えば、 every boy とか  nobody といった表現に相当する（Montague 1973, Barwise and Cooper 1981）。
型理論の他分野への影響 > 言語学

言語学の分野では自然言語の形式意味論の研究に用いられている。モンタギュー文法が代表的である。
K-ROCK

K-ROCK（ケー・ロック）
K-ROCK (韓国の音楽) - 大韓民国の音楽ジャンル
K-ROCK (ラジオ局) - アメリカ合衆国やカナダなどのエリアで放送を行うラジオ局
K-ROCK (アルバム) - アン・ルイスのアルバムタイトル
井野隆一

井野 隆一（いの りゅういち、1920年3月30日 - 2001年7月1日）は、日本の農業経済学者、マルクス主義者、日本共産党員。
生涯

東京府豊多摩郡生まれ。父は井野碩哉。1942年東京帝国大学経済学部卒、農林省に入り応召。1946年日本農業研究所勤務、日本共産党に入る。1958年東京経済大学専任講師、1961年助教授、1965年教授。1973年退職、日本農業研究所に戻る。農民運動全国連合会顧問。野呂栄太郎賞を二度受賞した。墓所は多磨霊園。
著書

『貧農に訴える 原典解説』マルクス=レーニン主義入門叢書 青木書店 1966
『開放体制と日本農業』汐文社 解放新書 1969
『日本農業の国際環境』民衆社 1970
『農業問題研究』青木書店 1970
『現代資本主義と農業問題』大月書店 1975
『日本の食糧』新日本新書 1975
『食糧危機はくるか その理解と解決のために』東研 1977
『戦後日本農業の変遷 1 (農業の戦後再編)』東研選書 1979
『アメリカの食糧戦略と日本農業』新日本出版社 1985
『日本農業存亡の危機と展望』新日本出版社 1992
『戦後日本農業史』新日本出版社 1996
著書 > 共編著

『戦後日本の農業と農民』暉峻衆三,重富健一共編者 新評論. 1968
『国家独占資本主義と農業』暉峻衆三, 重富健一共編 大月書店 1971
『食料問題の基本視角』重富健一共編著 新評論 1976
『日本農業再建の道標』千葉燎郎、重富健一共編著 筑波書房 1991
『農業問題入門』田代洋一共著 大月書店 1992
『現代資本主義と食糧・農業』暉峻衆三、重富健一、宮村光重共編著 大月書店 1995
東鋼杯プロ囲棋戦

東鋼杯プロ囲棋戦（とうこうはいぷろいきせん、東鋼盃職業圍棋賽）は、台湾の囲碁の棋戦。2001年開始。
主催 台湾棋院
後援 東和鋼鉄株組有限公司
優勝賞金 (1-14期)10万元、(15期)30万元
方式

31名によるトーナメント制。決勝は三番勝負（第1、3期、第8期以降は一番勝負）。
持ち時間は、トーナメント戦は各2時間で残り3分から秒読み、決勝戦は各3時間で残り5分から秒読み。
コミは6目半。
前期ベスト4の選手は、次期2回戦シード。
歴代優勝者と決勝戦

（左が優勝者、2001年は1番勝負、2002年から2007年まで3番勝負、2008年より決勝1番勝負）
第1期 2001年 周俊勲 - 周可平
第2期 2002年 彭景華 2-0 黄祥任
第3期 2003年 周可平 1-0 戴嘉伸
第4期 2004年 林至涵 2-1 林聖賢
第5期 2005年 陳詩淵 2-0 載嘉伸
第6期 2006年 周俊勲 2-0 林書陽
第7期 2007年 陳詩淵 2-0 林至涵
第8期 2008年 蕭正浩 - 林至涵
第9期 2009年 陳詩淵 - 周俊勲
第10期 2010年 周俊勲 - 陳詩淵
第11期 2011年 周俊勲 - 蕭正浩
第12期 2012年 林君諺 - 林書陽
第13期 2013年 蕭正浩 - 林立祥
第14期 2014年 王元均 - 陳祈睿
第15期  2015年 林士勛 - 蕭正浩
久米田美穂

| 久米田美穂 |
| --- | --- |
別名:  くめみほ
生誕:   (1987-12-14) 1987年12月14日（36歳）
出身地:   日本・青森県青森市
ジャンル:  J-POP
職業:  歌手
担当楽器:  歌
活動期間:  2008年-
レーベル:  J Star Record
事務所:  ジャイロ・ミュージック・エンタテインメント
公式サイト:  kumeta miho
久米田 美穂(くめた みほ、1987年12月14日-)は、日本のモデル、歌手。
青森県青森市出身。所属レコード会社は、ジャイロ・ミュージック・エンタテインメント。身長163cm。血液型はB型。
ピチレモンの専属モデルとして活動し、その後、地元の青森を中心としてテレビやラジオなどに出演する。また、同じ青森県出身のバンド、マニ★ラバの「青森駅」「上野駅」のPVに出演するなど幅広く活動。
2007年に上京し、ジャイロ・ミュージック・エンタテインメントに所属し、歌手活動を開始する。その傍ら、同じ事務所であるLOOSELYの「MOTHER」のへの出演するなどしていた。
2008年6月25日にミニアルバムを発売し、CDデビューを果たす。
略歴

2000年 - ピチレモンの読者モデルオーディションでグランプリとなる。
2002年 - ピチレモンの専属モデルとして活動。
2007年8月 - ジャイロ・ミュージック・エンターテイメントに所属する。
2008年6月25日 - ミニアルバム「JAM」でCDデビュー。
2009年5月13日 - ファーストシングル「Step up!!」発売。
2015年12月14日 - 28歳の誕生日に入籍。
ディスコグラフィ > シングル

Step up!!(2009年5月13日) - ファーストシングル。
ディスコグラフィ > アルバム

JAM (2008年6月25日) - ファーストミニアルバム。
My Life - 青森朝日放送「第90回全国高校野球青森大会」エンディングテーマ
LOVELY DAY - 青森放送 「今日も!あさぷり」2008年6月度エンディングテーマ
夢列車 - FM青森 「ELMAGA」エンディングテーマ
VOICE - ヴァイオリニストの田中美帆が参加
今すぐKiss Me - リンドバーグのカバー
出演 > テレビ

JAM THE TV (青森朝日放送)
MONO EXPRESS 2 (青森朝日放送)
ELM TV (2008年5月3日-、青森放送) - エルムの街の情報を発信しているミニ番組
出演 > ラジオ

JAM THE MUSIC (FM青森)
週刊 MUSIC PUNCH! (FM青森 コーナー「“くめだ”じゃなくて“くめた”です」を担当)
久米田美穂のふくしまFM ROCK部 〜クメ流JAM〜 (2008年9月6日-、ふくしまFM)
出演 > CM

エルムの街
出演 > PV

マニ★ラバ 「青森駅」(2005年)
マニ★ラバ 「上野駅」(2006年)
LOOSELY 「MOTHER」(2008年)
出演 > 映画

問題のない私たち (2004年)
参考文献・出典

[脚注の使い方]
↑  LOOSELY「MOTHER」PV
↑  LOOP-MUSIC時代のプロフィール Archived 2005年9月14日, at the Wayback Machine.
↑  久米田美穂 official blog 重大発表！！
↑  ご報告
Class book-class 1993to1996 Best-

『class book-class 1993 to 1996 Best-』（クラスブック　クラス・ナインティーンナインスリー・トゥ・ナインティーンナインシックス・ベスト）は、アポロン/M-ONEから発売されたclassの2作目のベスト・アルバム。1996年3月28日発売。2009年現在、廃盤。音楽配信で音源入手可能。規格品番：APCA-158。
解説

タイトルのClass bookとは卒業アルバムのこと。解散時に発表されたベスト・アルバム。前年1995年までに発表された楽曲から選ばれた15曲を収録。「夏の日の1993」のシングル・バージョンが初めてアルバムに収められた。全曲日本コロムビア所属のエンジニアにより、リマスタリングが施されている。ブックレットにはこれまで未発表だったフォトも使用され、音楽ライター・河合美佳の寄稿文も収載されている。
収録曲

Slowly but surely 作詞・作曲：日浦孝則 編曲：斎藤誠
4thアルバム『That's cool!』収録曲。
君だけが知ってる 作詞・作曲：日浦孝則 編曲：斎藤誠
7thシングル。解散前のラストシングル。
HALF MOON 作詞・作曲：津久井克行 編曲：斎藤誠
4thアルバム『That's cool!』収録曲。
サヨナラがにじむ街 作詞：class 作曲：大内義昭 編曲：十川知司
3rdアルバム『Re-Prologue』収録曲。
夏にかかるWedding Song 作詞：松本一起 作曲：日浦孝則 編曲：斎藤誠
6thシングル。
百万本の雨 作詞：松本一起 作曲：太田美知彦 編曲：松本晃彦
5thシングル。
セピア色の微笑 作詞・作曲：class 編曲：関根安里
1stアルバム『Mellow Prism』収録曲。
永遠の素顔 作詞：朝水彼方作曲：太田美知彦 編曲：松本晃彦
4thシングル。
Holiday 作詞・作曲：class 編曲：class,十川知司
3rdシングル。
もう君を離さない 作詞：class 作曲：柘植由秀 編曲：関根安里
2ndシングル。
Melody 作詞・作曲：津久井克行 編曲：有賀啓雄
5thシングルのカップリング。
Rainy Day 作詞：松本一起 作曲：北村勝彦 編曲：十川知司
1stシングルのカップリング。
サヨナラ 作詞・作曲：class 編曲：中村哲
2ndシングルのカップリング。
夏の日の1993 作詞：松本一起 作曲：佐藤健 編曲：十川知司
1stシングル。シングルバージョンはアルバム初収録。
Re-Prologue 作詞・作曲：class 編曲：class,岩戸崇
3rdアルバム『Re-Prologue』収録曲。
KBS春川放送総局

| KBS春川放送総局 |
| --- | --- |

運営: KBS春川放送総局
設立: 1978年7月
在籍国:  韓国
所在地: 江原特別自治道春川市放送ギル109（退渓洞739-5）
外部リンク: 公式サイト （朝鮮語）
  特記事項： 1944年12月20日 - 社団法人朝鮮放送協会春川放送局開局。 1986年12月 - 現在の名称に改称。
| KBS春川放送総局> 各種表記 |
| --- | --- |
ハングル：:  KBS춘천방송총국
漢字：:  KBS春川放送總局
発音：:  ケービーエスチュンチョンバンソンチョングク
日本語読み：:  けーびーえすしゅんせんほうそうそうきょく
英語表記：:  KBS Chuncheon Broadcasting Station
テンプレートを表示
KBS春川放送総局（ケービーエスチュンチョンほうそうそうきょく、朝: KBS춘천방송총국）は大韓民国江原特別自治道嶺西の中・北部を放送対象地域とする韓国放送公社（KBS）の地域放送局。
所在地

大韓民国24363江原特別自治道春川市放送ギル109（退渓洞739-5）
（英文表記）109, Bangsong-gil, Chuncheon-si, Gangwon-do 24363.
沿革

1944年12月20日 - 社団法人朝鮮放送協会春川放送局（呼出符号（コールサイン）：JBMK）として開局（第1放送）。
1947年10月1日 - 呼出符号をHLKMに変更。
1986年12月 - KBS春川放送総局に改称。
組職

編成製作チーム:テレビ製作、編成
報道チーム:映像取材、取材
技術チーム:技術管理、テレビ技術、ラジオ技術、中継技術、送出技術
総務チーム:総務、財源管理
送信所・中継局一覧 > デジタルテレビ

リモコンキーID：9-1
呼出符号（コールサイン）：HLKM-DTV
リモコンキーID：7-1
呼出符号：HLCE-DTV
リモコンキーID：10-1
| 送信所 | 物理チャンネル> 第１テレビ | 物理チャンネル> 第２テレビ | 物理チャンネル> EBSテレビ | 空中線電力 |
| --- | --- | --- | --- | --- |
| 華岳山 | K-32ch | K-41ch | K-48ch | 2.5kW |
| 大龍山 | K-15ch | K-17ch | K-18ch | 1kW |
| 洪川 | K-22ch | K-25ch | K-38ch | 90W |
| 瑞石 | K-25ch | K-28ch | K-29ch | 20W |
| 西川里 | K-32ch | K-41ch | K-48ch | 0.05W |
| 江村 | K-32ch | K-41ch | K-48ch | 0.05W |
| 芝村 | K-20ch | K-21ch | K-23ch | 5W |
| 原川里 | K-32ch | K-41ch | K-48ch | 0.05W |
| 華川 | K-22ch | K-35ch | K-37ch | 20W |
| 山陽 | K-14ch | K-15ch | K-16ch | 5W |
| 多木里 | K-32ch | K-41ch | K-48ch | 0.05W |
| 看東 | K-44ch | K-46ch | K-50ch | 5W |
| 大岩山 | K-22ch | K-25ch | K-37ch | 90W |
| 楊口 | K-20ch | K-28ch | K-29ch | 20W |
| 麟蹄 | K-31ch | K-35ch | K-47ch | 20W |
| 寒渓 | K-20ch | K-28ch | K-29ch | 5W |
| 瑞和 | K-20ch | K-27ch | K-29ch | 5W |
| 新豊 | K-44ch | K-46ch | K-50ch | 20W |
| 麒麟 | K-31ch | K-35ch | K-47ch | 20W |
| 鉄原 | K-20ch | K-28ch | K-29ch | 20W |
| 金化 | K-14ch | K-15ch | K-16ch | 20W |
送信所・中継局一覧 > アナログテレビ

呼出符号：HLKM-TV
呼出符号：HLCE-TV
| 送信所 | 第１テレビ | 第２テレビ | EBSテレビ | 空中線電力 |
| --- | --- | --- | --- | --- |
| 華岳山 | K-8ch | K-22ch | K-28ch | 10kW / 30kW / 30kW |
| 大龍山 | K-12ch | K-6ch | - | 1kW |
| 洪川 | K-47ch | K-45ch | K-51ch | 100W |
| 芝村 | K-53ch | K-51ch | K-47ch | 10W |
| 看東 | K-45ch | K-41ch | K-47ch | 10W |
| 山陽 | K-53ch | K-41ch | K-47ch | 10W |
| 大岩山 | K-50ch | K-39ch | K-45ch | 500W |
| 楊口 | K-23ch | K-33ch | K-21ch | 100W |
| 麟蹄 | K-43ch | K-51ch | K-47ch | 100W |
| 寒渓 | K-23ch | K-29ch | K-33ch | 10W |
| 新豊 | K-57ch | K-51ch | K-47ch | 100W |
| 瑞和 | K-35ch | K-33ch | K-29ch | 10W |
| 麒麟 | K-29ch | K-33ch | K-35ch | 100W |
| 鉄原 | K-45ch | K-48ch | K-51ch | 100W |
送信所・中継局一覧 > ラジオ

| 送信所 | 周波数 | 空中線電力 | 呼出符号 |
| --- | --- | --- | --- |
| 司農 | AM 657kHz | 50kW | HLKM |
| 華岳山 | FM 99.5MHz | 5kW | HLKM-SFM |
| 大巖山 | FM 97.5MHz | 100W | HLSE-SFM |
| 送信所 | 周波数 | 空中線電力 | 呼出符号 |
| --- | --- | --- | --- |
| 華岳山 | FM 98.7MHz | 3kW | HLCE-SFM |
| 送信所 | 周波数 | 空中線電力 | 呼出符号 |
| --- | --- | --- | --- |
| 華岳山 | FM 91.1MHz | 5kW | HLKM-FM |
送信所・中継局一覧 > 地上波DMB

呼出符号：HLKM-TDMB
| 送信所 | 物理チャンネル（周波数） | 空中線電力 |
| --- | --- | --- |
| 大龍山 | K-13Bch (213.008MHz) | 2kW |
| 大岩山 | K-13Bch (213.008MHz) | 500W |
江原特別自治道の放送局

春川文化放送（春川MBC）
G1（G1・SBS系列）
基督敎春川放送
春川仏教放送
松浦郵便局

松浦郵便局（まつうらゆうびんきょく）
長崎県松浦市にある郵便局。本記事にて記述する。
新潟県新発田市にある郵便局。局番号は12439。
松浦簡易郵便局（まつうらかんいゆうびんきょく）
北海道松前郡福島町にある簡易郵便局。局番号は94733。2012年10月現在一時閉鎖中。
|  松浦郵便局 |
| --- | --- |
 

基本情報
正式名称:  松浦郵便局
前身:  志佐郵便取扱所、志佐郵便局
局番号:  76050
設置者:  日本郵便株式会社
所在地:  〒859-4599 長崎県松浦市志佐町里免381-1
位置:  北緯33度20分21.2秒 東経129度42分32.3秒﻿ / ﻿北緯33.339222度 東経129.708972度﻿ / 33.339222; 129.708972﻿ (松浦郵便局)座標: 北緯33度20分21.2秒 東経129度42分32.3秒﻿ / ﻿北緯33.339222度 東経129.708972度﻿ / 33.339222; 129.708972﻿ (松浦郵便局) ja

貯金
店名:  ゆうちょ銀行 代理店

保険
店名:  かんぽ生命保険 代理店

特記事項
 ATMホリデーサービス実施
テンプレートを表示
松浦郵便局（まつうらゆうびんきょく）は、長崎県松浦市にある郵便局。民営化前の分類では集配特定郵便局であった。
概要

住所：〒859-4599 長崎県松浦市志佐町里免381-1
松浦市志佐町の中心街南寄り、交差点に面している。
沿革

1874年（明治7年）12月16日 - 志佐郵便取扱所として開設。
1875年（明治8年）1月1日 - 志佐郵便局（五等）となる。
1885年（明治18年）10月1日 - 貯金取扱を開始。
1886年（明治19年）5月14日 - 貯金取扱を廃止。
1891年（明治24年）2月16日 - 貯金・為替取扱を開始。
1901年（明治34年）3月6日 - 志佐郵便電信局となる。郵便物集配業務を開始。
1903年（明治36年）4月1日 - 通信官署官制の施行に伴い志佐郵便局となる。
1916年（大正5年）10月1日 - 保険取扱を開始。
1920年（大正9年） - 電話交換業務を開始。
1952年（昭和27年）11月1日 - 電気通信業務の取扱を志佐電報電話局に移管。
1956年（昭和31年）10月1日 - 電話通話及び和文電報受付事務の取扱を開始。
1969年（昭和44年）10月27日 - 松浦市志佐町大字浦免から、同市志佐町大字里免に移転。
1994年（平成6年）1月24日 - 松浦郵便局に改称。
1995年（平成7年）3月12日 - 上志佐郵便局、調川郵便局、今福郵便局から集配業務を移管。
2007年（平成19年）10月1日 - 民営化に伴い、併設された郵便事業佐世保支店松浦集配センターに一部業務を移管。
2012年（平成24年）10月1日 - 日本郵便株式会社発足に伴い、郵便事業佐世保支店松浦集配センターを松浦郵便局に統合。
2017年（平成29年）10月16日 - 投資信託の取り扱いを開始予定。
取扱内容

郵便、印紙、ゆうパック、内容証明
貯金、為替、振替、振込、国債
生命保険、バイク自賠責保険
ゆうちょ銀行ATM
松浦市内の一部地域の集配業務
周辺

松浦市役所
生涯学習センターきらきら21
長崎県立松浦高等学校
松浦市立志佐中学校
国道204号
志佐川
アクセス

松浦鉄道西九州線 松浦駅から徒歩約10分
西肥バス 松浦市役所前停留所下車
駐車場あり：9台
脚注・出典

[脚注の使い方]
↑  松浦市編・刊「松浦市史」
↑  山口修監修 『全国郵便局沿革録 明治編』 日本郵趣出版 1980年12月28日発行
↑  昭和27年郵政省告示第583号（昭和27年11月10日付官報第7754号掲載）
↑  『「投資信託取扱局」および「投資信託紹介局」の拡大』（プレスリリース）日本郵便株式会社、2017年9月26日。https://www.post.japanpost.jp/notification/productinformation/2017/0926_01.html。2017年9月28日閲覧。
CONTROL〜犯罪心理捜査〜

| CONTROL 〜犯罪心理捜査〜 |
| --- | --- |
ジャンル:  刑事ドラマ
脚本:  寺田敏雄 田辺満 中村功一 佐伯俊道 吉高寿男
演出:  村上正典 佐藤源太 城宝秀則
出演者:  松下奈緒 藤木直人 横山裕 北村有起哉 臼田あさ美 佐藤二朗 勝村政信 泉谷しげる
エンディング:  桑田佳祐「銀河の星屑」
製作
プロデューサー:  貸川聡子
制作:  フジテレビ 共同テレビ

放送
音声形式: ステレオ放送
放送国・地域:  日本
放送期間: 2011年1月11日 - 3月22日
放送時間: 火曜 21:00 - 21:54
放送枠: フジテレビ火曜9時枠の連続ドラマ
放送分: 54分
回数: 11
 フジテレビ番組基本情報
特記事項： 初回は21:00 - 22:04の10分拡大。 最終話は21:00 - 22:14の20分拡大。
テンプレートを表示
『CONTROL〜犯罪心理捜査〜』（コントロール はんざいしんりそうさ）は、2011年1月11日から3月22日まで毎週火曜日21:00 - 21:54に、フジテレビ系の「火曜21時」枠で放送された日本の刑事ドラマ。主演は松下奈緒。
概要

熱血過ぎて周囲に煙たがれる大井町署の女刑事・瀬川里央と理論的で偏屈過ぎる心理学教授・南雲準が警視庁に設置された「凶行犯捜査課分室」のメンバーとしてコンビを組み、「人間心理」と「行動分析」によって様々な凶悪事件を解決していく刑事ドラマ。
松下奈緒は本作が民放の連続ドラマ初主演作品であり、初めて刑事の役を演じた。フジテレビの連続ドラマ出演は『トップキャスター』（2006年）以来4年半ぶり。
キャッチコピーは「心が解ければ、事件が解ける。」。