stanford-oval/wikipedia huggingface dataset:
インヴィテイション
作品名 > 音楽作品 > アルバム

インヴィテーション (アル・ヘイグのアルバム) - アル・ヘイグのアルバム。
インヴィテーション (アンドリュー・ヒルのアルバム) - アンドリュー・ヒルのアルバム。
インヴィテイション (ジャコ・パストリアスのアルバム) - ジャコ・パストリアスのアルバム。
Invitation (オム・ジョンファのアルバム) - オム・ジョンファのアルバム。
invitation (金井夕子のアルバム) - 金井夕子のアルバム。
Invitation (prediaのアルバム) - prediaのアルバム。
Invitation (Aileeのアルバム) - Aileeのミニ・アルバム。
Invitations (邦題：インヴィテーション) - シャカタク3枚目のアルバム。
作品名 > 音楽作品 > 楽曲

Invitation (河合奈保子の曲) - 河合奈保子のシングル曲。
invitation (柴咲コウの曲) - 柴咲コウのシングル曲。TBS系 金曜ドラマ『タイヨウのうた』主題歌。
Invitation - Kis-My-Ft2のアルバム「Yummy!!」収録曲。
Invitations (邦題：インヴィテーション) - シャカタクのアルバム「Invitations」収録曲。
作品名 > その他作品

インビテーション (映画) - 2015年のアメリカ映画。
その他

Invitation (レーベル) - JVCケンウッド・ビクターエンタテインメントのレーベル。
Invitation (雑誌) - ぴあがかつて発行していた月刊誌。
INVITATION - 2021年よりWOWOWで放送されているオリジナル音楽番組。ナビゲーターは古舘伊知郎。
キルヒェン (ジーク)

| 紋章 | 地図 （郡の位置） |
| --- | --- |

基礎情報
連邦州:: ラインラント＝プファルツ州
郡:: アルテンキルヒェン郡 
連合自治体:: キルヒェン連合自治体
緯度経度:: 北緯50度48分31秒 東経07度53分00秒﻿ / ﻿北緯50.80861度 東経7.88333度﻿ / 50.80861; 7.88333
面積:: 39.59 km²
人口::  8,380人（2021年12月31日現在） 
人口密度:: 212 人/km²
平均の標高:: 海抜 230 m
郵便番号:: 57548
市外局番:: 02741
ナンバープレート:: AK
自治体コード:: 07 1 32 032
市の構成:: 7 小街区
市庁舎の住所:: Lindenstraße 1 57548 Kirchen (Sieg)
公式ウェブサイト:: 
行政
首長:: Hella Becker
郡内の位置

キルヒェン (ジーク) (独: Kirchen (Sieg))はドイツ連邦共和国 ラインラント＝プファルツ州北部のアルテンキルヒェン郡にある市。ジーク川沿いにあり、ジーゲンの南西約12kmに位置する。
キルヒェン連合自治体 (独: Verbandsgemeinde Kirchen (Sieg)) の行政庁所在地でもある。
システム科学

システム科学（システムかがく、英語：systems science. - systemology (greco. σύστημα - systema, λόγος - logos)）は、学際的な学問の領域の1つであり、自然、生命、医療、社会科学にわたる広範な領域で、複雑な対象を"システム"として把握し、対象固有の領域知としてではなく、認識装置（epistemic device）としてのシステムモデルやシステム的性質（systemic properties）によって、対象を把握・分析し、またそれらを人工物としてデザインし、或は合成・分解・制御・マネージしようとする学問体系である。この学問は、多様な分野（工学、生物学、医学、社会科学など）に適用可能な、可能な限り学際的で異領域をつなぐ事のできる認識地図や諸モデルを構築することを目標としている。
具体的には、システム科学には、以下のような形式科学の分野が関連している -- 複雑系（complex systems）、サイバネティックス（cybernetics）、力学系理論（dynamical systems theory）、ソフトシステム方法論（英語版）、エージェント・ベース・モデル。また学際的な学問領域として、システム科学は自然科学、社会科学および工学の応用領域も含む。例としては、制御理論（control theory）、オペレーションズ・リサーチ（operations research）、社会システム理論（social systems theory）、システム生物学（systems biology）、システムダイナミクス（systems dynamics）、システム生態学（systems ecology）、システム工学（systems engineering）、システム心理学（systems psychology）などがある。
歴史

システム的な考え方自体の端緒は、研究者によって様々な見解はあるが、古代ギリシャや紀元前のエジプトのピラミッド建設におけるプロジェクトマネジメントや工学まで遡ることができる。その後も、ライプニッツの哲学や熱力学など、各所にシステム的な考え方を見出すことができる。
また哲学者らは（科学や工学や技術の側では、それとは全く別にサイバネティックスの提唱と発展などがあった）、ルートヴィヒ・フォン・ベルタランフィの1945年（原著）の著書である『一般システム理論: その基礎・発展・応用』（General System Theory: Foundations, Development, Applications 、邦訳版はみすず書房ISBN 4-622-02522-1 ）に記された「一般システム理論」について研究を深めた。1954年にスタンフォード大学高等行動科学センター（Center for Advanced Study in the Behavioral Sciences）において着想され、1956年に一般システム協会（英語版）が設立された。1988年には「スコープの範囲が拡がった」として、"International Society for the Systems Sciences" と名称を変更した。
分野

今日、システム科学は、その学際的特徴より、極めて多様な分野に応用されている。
| --- | --- |
 カオス理論 (Chaos theory)  複雑系 (Complex systems)  サイバネティックス (Cybernetics) バイオサイバネティックス (Biocybernetics)  エンジニアリングサイバネティックス (Engineering cybernetics)  マネジメントサイバネティックス (Management cybernetics)  メディカルサイバネティックス (Medical cybernetics)  新サイバネティックス (New cybernetics)  二次サイバネティックス (Second-order cybernetics)  制御理論 (Control theory) 感情統御理論 (Affect control theory)  制御工学 (Control engineering)  制御システム (Control systems)  力学系 (Dynamical systems)  知覚制御理論 (Perceptual control theory)  オペレーションズ・リサーチ (Operations research)  システム生物学 (Systems biology) 計算システム生物学 (Computational systems biology)  合成生物学 (Synthetic biology)  システム免疫学 (Systems immunology)  システムダイナミクス (Systems dynamics) 社会動学 (Social dynamics)  システム生態学 (Systems ecology) 生態系生態学 (Ecosystem ecology)  :  システム工学 (Systems engineering) 生物システム工学  (Biological systems engineering)   地球システムマネジメント工学 (Earth systems engineering and management, ESEM)  企業システム工学 (Enterprise systems engineering)  システム解析 (Systems analysis)  人間工学 (Ergonomics)  人類学におけるシステム理論 (Systems theory in anthropology)  システム理論 (Systems theory) バイオケミカルシステム理論 (Biochemical systems theory)  一般システム理論 (General systems theory)  家族療法 (Family systems theory)  生態システム理論(社会福祉援助技術,ソーシャルワーク#機能主義) (Ecological systems theory)   発生システム理論 (Developmental systems theory)  リビングシステム理論 (Living systems theory)  LTIシステム理論 (LTI system theory)  社会技術システム論 (Sociotechnical systems theory)  数理的システム理論 (Mathematical system theory)  世界システム論 (World-systems theory)  社会学におけるシステム理論 タルコット・パーソンズ (Talcott Parsons)  ニクラス・ルーマン (Niklas Luhmann)
組織

詳細は「」を参照
数ある学会の中で、最も顕著に学際的、かつ統合的にシステム科学の研究を推進しているのが The International Society for the Systems Sciences（ISSS）である。メンバーは、学術、ビジネス、政府、そして非営利組織と広範囲にわたり、５０年余りにわたって複雑系の科学的研究からコミュニティー発展や経営への相互作用アプローチまで極めて学際的に取り組んでいる。さらに、ノーベル化学賞受賞者であるイリヤ・プリゴジンをはじめとして、そうそうたる面々が会長を歴任している。日本国内では、ISSS に直結した拠点として東京工業大学の知能システム科学専攻、価値システム専攻がある。2007 年には日本人で唯一会長に選出されている木嶋恭一のもと、東京工業大学において東京大会が開催された。
今日では、システム科学は世界中で非常に多数の学会・研究機関により推進されている。こうした多数の国際・地域学会間の国際連合として1981年に設立された非営利の科学・教育機関が International Federation for Systems Research（IFSR）である。様々な国からの30もの組織のメンバーからなる。IFSRの総合的な目的は、学会間の関係強化と創発的意見交換を通じて、サイバネティックスやシステムズリサーチ、システムズアプリケーションを学会の枠を超えて推進することである。２年に一度各学会・テーマの専門家を参加者として開催される対話（conversation）が主な活動であるが、一度だけ2005年に神戸で世界大会が開催された。
システム科学の分野で最もよく知られている研究所はサンタフェ研究所（Santa Fe Institute, SFI）である。サンタフェ研究所はアメリカのニューメキシコのサンタフェに位置し、複雑系の研究に注力している。この研究所 は1984年、ジョージ・コーワン（George Cowan）、デイヴィッド・パインズ（David Pines）、スターリング・コルゲート（Stirling Colgate）、マレー・ゲルマン（Murray Gell-Mann）、ニック・メトロポリス（Nick Metropolis）、ハーブ・アンダーソン（Herb Anderson）、ピーター・A・カルザース（Peter A. Carruthers）、そしてリチャード・スランスキー（Richard Slansky）らによって設立された。パインズとゲルマンをのぞく全員がロスアラモス国立研究所の科学者である。SFIの元々の使命は、別々な学際的な研究領域、複雑性科学（complexity science）としてSFIにおいて引用される複雑適応系の分野、の考えを広めることであった。
日本国内では、21世紀COEプログラムで 「エージェントベース社会システム科学の創出」が採択され、A 評価を得ている。これに伴い、エージェントベース社会システム科学をさらに拡める目的で、エージェントベース社会システム科学研究センター（CABSSS）が2005年4月に設立された。
関連文献

B. A. Bayraktar, Education in Systems Science, 1979, 369 pp.
Kenneth D. Bailey, "Fifty Years of Systems Science:Further Reflections", Systems Research and Behavioral Science, 22, 2005, pp. 355–361.
Robert L. Flood, Ewart R Carson, Dealing with Complexity: An Introduction to the Theory and Application of Systems Science, 1988.
George J. Klir, Facets of Systems Science, Plenum Press, 1991.
Ervin László, Systems Science and World Order: Selected Studies, 1983.
Mihajlo D. Mesarovic and Yasuhiro Takahara, Abstract Systems Theory, Springer, 1989.
Anatol Rapoport (ed.), General Systems: Yearbook of the Society for the Advancement of General Systems Theory, Society for General Systems Research, Vol 1., 1956.
Li D. Xu, "The contributions of Systems Science to Information Systems Research", Systems Research and Behavioral Science, 17, 2000, pp. 105–116.
George P Richardson, "Feedback Thought in Social Science and Systems Theory." 1991, Pegasus Communications. ISBN 1-883823-46-3.
Graeme Donald Snooks, "A general theory of complex living systems: Exploring the demand side of dynamics", Complexity, vol. 13, no. 6, July/August 2008.
John N. Warfield,  "A proposal for Systems Science", Systems Research and Behavioral Science, 20, 2003, pp. 507–520.
ケイマン諸島の空港の一覧

ケイマン諸島の地図
ケイマン諸島の空港の一覧を示す。
空港

| 都市 | ICAO | IATA | 空港名 |
| --- | --- | --- | --- |
| ジョージタウン | MWCR | GCM | オーウェン・ロバーツ国際空港 |
| ケイマンブラック | MWCB | CYB | キャプテン・チャールズ・カークコーネル国際空港（英語版） (以前はジェラルド・スミス空港) |
| リトルケイマン | MWCL | LYB | エドワード・ボーデン空港（英語版） |
AQS

AQS
Saqani 空港 (Saqani、フィジー諸島共和国)の空港コード
Aviation Quality Services GmbH（英語版）
Advanced Query Syntax（英語版）
キャスリン・C・ソーントン

| キャスリン・コーデル・ソーントン |
| --- | --- |
 
NASA所属宇宙飛行士
国籍:   アメリカ合衆国
現況:  引退
生誕:   (1952-08-17) 1952年8月17日（72歳） アラバマ州モンゴメリー
他の職業:  物理学者
宇宙滞在期間:  40日15時間14分
選抜試験:  1984年NASA選抜試験
ミッション:  STS-33, STS-49, STS-61,STS-73
記章:  
キャスリン・C・ソーントン（Kathryn Ryan Cordell Thornton、1952年8月17日-）は、アラバマ州モンゴメリー出身のアメリカ合衆国の科学者、アメリカ航空宇宙局の宇宙飛行士である。現在はバージニア大学の工学応用科学部の副学部長を務めている。
家族

ソーントンはテネシー州オークリッジ出身のステファン・T・ソーントン博士と結婚している。ケネスとマイケルという2人の義理の息子、キャロル、ローラ、スーザンという3人の娘がいる。父のウィリアム・C・コーデルと母のエリザベス・コーデルは離婚している。夫の母ヘレン・リー・ガードナーと夫の父バートン・ブラウン・ソーントンも離婚している。趣味はスキューバダイビングとスキーである。
教育

ソーントンは1970年にモンゴメリーのシドニー・ライナー高校を卒業した。1974年にはオーバーン大学で物理学の学士号、1977年にはバージニア大学で物理学の修士号、1979年にはバージニア大学で物理学の博士号を取得した。
経歴

1979年に博士号を取得すると、北大西洋条約機構のフェローシップを受け、ハイデルベルクのマックス・プランク核物理学研究所で研究を続けた。1980年にバージニア州シャーロッツビルに帰国し、そこのアメリカ陸軍海外科学技術センターに就職した。
NASAでのキャリア

1984年5月にNASAにより宇宙飛行士の候補に選ばれ、1985年7月に宇宙飛行士となって、飛行ソフトウェアの検査等に携わった。1989年のSTS-33、1992年のSTS-49、1993年のSTS-61、1995年のSTS-73と4度の宇宙飛行を経験し、21時間の宇宙遊泳を含む975時間を宇宙で過ごした。これは第14次長期滞在でスニータ・ウィリアムズに抜かれるまで、女性としての宇宙遊泳の最多時間の記録であった。
彼女は1996年8月1日にNASAを退職し、バージニア大学の教員となった。
電子調達

電子調達（でんしちょうたつ）とは企業が企業間取引（B2B）の調達をインターネット等の情報システムを利用して行うこと。
今日では、電子調達の手法として、電子データ交換(Electronic Data Interchange,EDI)を利用したものが最も広く利用されている。しかしこの方法だと購入企業はそれぞれのサプライヤー間をEDIで繋ぐ必要がある。
サプライヤーが商品カタログをインターネットのハブ上に掲載し調達企業が必要なものを選び購入する方法をカタログハブと呼ぶ。この方法で調達企業は発注コストを削減でき、サプライヤーは商品、サービスのコストを下げることができる。この方法だと企業はEDIへ投資する必要がなくインターネット上で数多くのサプライヤーと取引できる。ただし、値段交渉はオフラインでする必要がある。
サプライヤーとバイヤーが電子上のマーケットで売買することをエクスチェンジと呼ぶ。エクスチェンジは企業間の契約交渉やその他の長期的な条件交渉をする手間を省く。従ってこの方法は単発的な発注に向いている。
オークションではシステム上で購入側企業が入札をし最も高い値段を付けた企業がサプライヤーからの商品、サービスを落札をする。入札は競争企業にクローズド形式なものとオープン形式なものとに分類される。逆にサプライヤーが入札をし最も安い値段を付けた企業が商品、サービスを納入するシステムをリバースオークションと呼ぶ。
SRM(Supplier Relationship Management)と呼ばれる手法は、RFI（情報提供依頼）RFP（提案依頼）RFQ（見積依頼）を複数のサプライヤーに送付し、その回答を分析して最適なサプライヤーを選定する手法で、通常は購買企業のクローズドなシステムとして実装される。
インターネットを使用した最初の大規模な電子調達システムは、1996年にゼネラル・エレクトリックが開発した「TPN」だと言われている。
| --- | --- |
典拠管理データベース: 国立図書館 :  ドイツ
シナツヒコ

神産み神話（イザナギ・イザナミが生んだ神々） SVGで表示（対応ブラウザのみ）
シナツヒコは、日本神話に登場する神である。
『古事記』では志那都比古神（しなつひこのかみ）、『日本書紀』では級長津彦命（しなつひこのみこと）と表記され、神社の祭神としては志那都彦神などとも書かれる。
概要

『古事記』では、神産みにおいてイザナギとイザナミの間に生まれた神であり、風の神であるとしている。『日本書紀』では神産みの第六の一書で、イザナミが朝霧を吹き払った息から級長戸辺命（しなとべのみこと）またの名を級長津彦命という神が生まれ、これは風の神であると記述している。シナトベは、神社の祭神としては志那戸辨命、志那都比売神などとも書かれる。
『日本書紀』のシナトベは女神とされることもあり、神社によってはシナツヒコの姉または妻とされている。本居宣長の『古事記伝』では、賀茂真淵の説として、本来は男女一対の神であり、それが同一の神とされるようになったとしている。龍田大社（奈良県生駒郡）の祭神は天御柱命・国御柱命であるが、社伝や祝詞では天御柱命は志那都比古神、国御柱命は志那都比売神（しなつひめのかみ）のこととしている。志那都比古神は男神、志那都比売神は女神である。
伊勢神宮には内宮の別宮に風日祈宮（かざひのみのみや）、外宮の別宮に風宮があり、どちらも級長津彦命と級長戸辺命を祀っている。風日祈宮は元々「風神社」と呼ばれていたが、元寇の際に神風を吹かせたのは風神社の神であるとされたことから、「風日祈宮」の宮号が宣下された。
内宮別宮風日祈宮
ナイト・ロアー

| --- | --- |
ジャンル:  アクションパズル
対応機種:  ZX Spectrum (ZX) 対応機種一覧 Amstrad CPC (CPC) BBC Micro (BBC) MSX ディスクシステム (FCD) 
開発元:  Ultimate Play the Game（英語版）
発売元:  Ultimate Play the Game
デザイナー:  クリス・スタンパー ティム・スタンパー
プログラマー:  クリス・スタンパー ジョン・ラスバリー
美術:  ティム・スタンパー キャロル・スタンパー
シリーズ:  Sabreman（英語版）シリーズ
人数:  1人
メディア:  カセットテープ
発売日:   1984111984年11月  発売日一覧 CPC,BBC  1985年 MSX  1985111985年11月  1986年 FCD  198612191986年12月19日  
エンジン:  Filmation engine（英語版）
テンプレートを表示
『ナイト・ロアー』（Knight Lore）は、Ultimate Play the Game（英語版）（現：レア）が開発し、1984年よりZX Spectrum、BBC Micro、Amstrad CPC、MSX、ファミリーコンピュータ ディスクシステム向けに順次発売されたアクションパズルゲーム。
概要

これまでUltimate Play the Gameにより発売された『Sabre Wulf』、『Underwurlde（英語版）』に続く『Sabreman（英語版）』シリーズの第3作目。前2作と異なり自社製ゲームエンジン「Filmation engine（英語版）」を用いて制作されている。ゲームのフィールドは当時あまり一般的ではなかった等角図の方式で描かれており、このことを評価する専門家もいる 。
本作は大ヒットを記録したが、一方で『WordStar』に次いで多くの会社にコピーされる事態も起きている。
日本では、ジャレコからMSXとファミリーコンピュータ ディスクシステム用としていずれも1986年に発売された。タイトルはそれぞれ『ナイト・ロアー 伝説の狼男』『ナイト・ロアー -魔城の狼男-』となっている。
ゲーム内容

夜になると狼男になる呪いをかけられた主人公が魔法使いに呪いを解いてもらうため、80日（PC版は40日）以内にお使いを済ませるパズルゲーム。ナイト・ロアー城は全部で128部屋あり、そのほとんどはトリッキーな仕掛けと罠、魔物たちが待ち構えていて、狼の姿の際には光から攻撃される。これらの難関を突破して、魔法使いの老人の部屋にたどり着き、魔法の壺が示す14個のオブジェクトを正確に壺の中に納めなければならない。あちこちの部屋にある数種類のオブジェクトを収集していくことになるが、一度にもてる数は3個しかなく、持ち帰るオブジェクトの選択を迫られる。
ストーリー

長かった戦争が終わり、一人の兵士が故郷への帰路を急いでいた。その帰路の途中、ふとしたことで道に迷い込み、ジャングルウルフ王国へ入り込んでしまった。しかも伝説の狼男と遭遇して、兵士は呪いをかけられてしまう。兵士は夜の水面に映った自身の姿が満月を背にした狼男そのものであることに驚愕して、このままでは妻子が待つ故郷へ帰ることができないと絶望した。ただ、日が昇れば兵士は元の自分の姿に戻ることができた。
しかし、絶望の淵にあった兵士には、たったひとつだけ希望が残されていた。それは、この呪いを解けるのはジャングルウルフ王国のナイト・ロアー城に住む魔法使いの老人かもしれないのだ。気を取り直した兵士は、ナイト・ロアー城を探し求めて再び歩き始めた。兵士の背後に冷たい気配を感じたが、その相手は姿を見せることはなかった。
それから何日が経っただろうか。兵士は霧にかすむ長い石段と古い城壁を見つけ、そこがナイト・ロアー城であることを確信した。魔城のたたずまいを見せるナイト・ロアー城の巨大な扉の前に立つと、扉は音を立てて開き、兵士は吸い込まれるように城の中へと踏み入った。立ちすくむ兵士に、音もなく巨大な渦が吹き付け、恐ろしい男の声がこだました。「おまえに40日（80日）の猶予をやろう。その間に老人に会え。そして、老人の部屋にある魔法の壺が指示するものを、その老人に貢げ。さもなくば、おまえは永遠に狼男となってこの城からは出ることができない…」。声が終わると、背後の扉は閉まり、もう外へは出られなくなっていた。
移植版

| No>  | タイトル | 発売日 | 対応機種 | 開発元 | 発売元 | メディア | 型式 | 売上本数 | 備考 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | Knight Lore |  1985年  | Amstrad CPC BBC Micro | ティム・スタンパー&クリス・スタンパー | Ultimate Play The Game | カセットテープ | - | - |  |
| 2 | Knight Lore |  1985111985年11月  | MSX | ティム・スタンパー&クリス・スタンパー | Ultimate Play The Game | カセットテープ | - | - |  |
| 3 | ナイト・ロアー 伝説の狼男 |  1986年  | MSX/2 | 日本デクスタ | ジャレコ | ロムカセット | ND-04MR | - | メモリ16KB以上必要 |
| 4 | ナイト・ロアー －魔城の狼男－ |  198612191986年12月19日  | ディスクシステム | トーセ | ジャレコ | ディスクカード両面 | JFD-KLM | - |  |
スタッフ

デザイン：スタンパー・ブラザーズ（クリス・スタンパー、ティム・スタンパー）
グラフィック：ティム・スタンパー、キャロル・スタンパー
プログラム：クリス・スタンパー、ジョン・ラスバリー
カバー・アートワーク：ティム・スタンパー
評価

ホビーパソコン関連雑誌『マイコンBASICマガジン』の1987年2月号とじ込み付録小冊子「dexter SOFT CATALOGUE 全ソフト紹介 —日本デクスタ編—」のコメント欄では、イギリスをはじめ、ヨーロッパで大ヒットしたゲームだという紹介を踏まえ、「多彩な仕掛けといい、見事な3Dの重ね処理といい、破格のできのゲーム」と称賛している。「128の部屋の多くには独自のワナが隠されていて、はじめのうちは迷ったり進めなかったりとかなりのむずかしさだけど、しっかりマッピングしていけば、やり込むほどにおもしろくなってくる」と紹介している。
ゲーム誌『ファミコン通信』の「クロスレビュー」では合計20点（満40点）、『ファミリーコンピュータMagazine』の読者投票による「ゲーム通信簿」での評価は以下の通り10.15点（満25点）と歴代最下位になっており、同雑誌1991年5月24日号特別付録の「ファミコンディスクカード オールカタログ」でも「画面は斬新なのだが、3次元風のため操作が困難なのが欠点」と紹介された。
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 項目 | キャラクタ | 音楽 | 操作性 | 熱中度 | お買得度 | オリジナリティ | 総合 |
| 得点 | 2.16 | 1.97 | 1.83 | 1.78 | - | 2.41 | 10.15 |
コタエル信託

| --- | --- |
種類:  株式会社
本社所在地:   日本 〒100-6390 東京都千代田区丸の内二丁目4番1号 丸の内ビルディング  北緯35度40分51.69秒 東経139度45分49.61秒﻿ / ﻿北緯35.6810250度 東経139.7637806度﻿ / 35.6810250; 139.7637806座標: 北緯35度40分51.69秒 東経139度45分49.61秒﻿ / ﻿北緯35.6810250度 東経139.7637806度﻿ / 35.6810250; 139.7637806
設立:  2020年10月15日
業種:  その他金融業
法人番号:  9010001195937 
事業内容:  管理型信託会社 関東財務局長(信)第19号
代表者:  代表取締役 松田良成
資本金:  1億円
発行済株式総数:  100,000,000株
売上高:  4億9197万8000円
営業利益:  1億4034万5000円
経常利益:  1億4076万6000円
純利益:  1億591万8000円
従業員数:  40名(2023年1月31日時点)
主要株主:  株式会社iXp(66.7%) 株式会社ミスティゲート(33.3%)
関係する人物:  広瀬英明(顧問)
外部リンク:  kotaeru-trust.co.jp
特記事項：経営指標は2022年03月期
テンプレートを表示
コタエル信託株式会社（コタエルしんたく）は、東京都千代田区に本社を置く会社。
信託型ストックオプション(時価発行新株予約権信託)始めとする、新株予約権・株式を中心とした信託ソリューションの開発・提供をしている管理型信託会社である。
概要

創業者で弁護士の松田良成が2014年に開発した信託型ストックオプション（時価発行新株予約権信託）を中心とした信託ソリューションの開発・提供を目的に、2020年10月に開業。
管理型信託会社 関東財務局長(信)第19号。
創業者が開業前から導入支援を行っている信託型ストックオプション（同社の登録商標名は時価発行新株予約権信託）は、導入後にIPOをした企業数が2021年に20社、2022年には14社に上っており、同社開業から2023年1月時点で累計263件の導入実績を有する。
沿革

2014年6月5日 - 創業者による時価発行新株予約権信託の第1号案件実施
2018年10月25日 - 準備会社設立
2020年9月25日 - 管理型信託業の登録完了
2020年10月15日 - 開業
主な取扱い商品

時価発行新株予約権信託（信託型ストックオプション）
有償ストックオプション信託
取崩し交付タイプ
凍結タイプ
1円ストックオプション信託
取崩し交付タイプ
凍結タイプ
コール・オプション信託
時価発行新株予約権信託の主な導入企業

ラクスル株式会社
株式会社エニグモ
UUUM株式会社
株式会社IDOM
株式会社エフ・コード
リネットジャパングループ株式会社
フォースタートアップス株式会社
株式会社鎌倉新書
株式会社INFORICH
株式会社トリドリ
株式会社ELEMENTS
株式会社AViC
株式会社M&A総合研究所
HYUGA PRIMARY CARE株式会社
株式会社コアコンセプト・テクノロジー
株式会社エクサウィザーズ
株式会社GRCS
株式会社Photosynth
7 WONDERS

「7 WONDERS」（セブン・ワンダーズ）は、西内まりやの楽曲。2015年1月28日に2枚目のシングルとして発売された。
リリースと背景

2015年1月2日に放送された『新年だから カンテツde音楽ナイト』（フジテレビ）にて音楽番組初披露された。その後2015年1月6日にavex Channelにてスペシャルムービー公開。
カップリングの「Don’t let me down」は、テレビ東京アニメ『FAIRY TAIL』の2015年1月から3月のエンディング・テーマに使用された。
イベント

「7WONDERS」発売記念イベント（ミニライブ&握手会）が2015年1月28日に神奈川のラゾーナ川崎で、2月1日に東京の池袋サンシャインシティ、2月8日に愛知のアスナル金山で開催される。
収録トラック

| 0 | 1 | 2 | 3 | 4 | 5 |
| --- | --- | --- | --- | --- | --- |
| 全作詞: Satomi。 | 全作詞: Satomi。 | 全作詞: Satomi。 | 全作詞: Satomi。 | 全作詞: Satomi。 |  |
| # | タイトル | 作詞 | 作曲 | 編曲 | 時間 |
| 1. | 「7 WONDERS」 | Satomi | Lisa Desmond, Janet Leon, Niklas Bergwall | Lisa Desmond, Janet Leon, Niklas Bergwall | 3:10 |
| 2. | 「Don’t let me down」 | Satomi | Pete Woodroffe, Charlie Grant, Carmen Reece, Shridhar Solanki | Pete Woodroffe, Charlie Grant | 3:08 |
| 3. | 「7 WONDERS」(Instrumental) | Satomi |   |   | 3:10 |
| 4. | 「Don’t let me down」(Instrumental) | Satomi |   |   | 3:05 |
| # | タイトル | 作詞 | 作曲・編曲 | 時間 |
| --- | --- | --- | --- | --- |
| 1. | 「7 WONDERS -Music Video-」 |   |   | 3:23 |
| 2. | 「7 WONDERS -Making Movie-」 |   |   | 16:30 |
| 合計時間: | 合計時間: | 19:53 |  |  |
遷州

遷州（せんしゅう）は、中国にかつて存在した州。
魏晋南北朝時代

西魏により設置された光遷国を前身とする。563年（保定3年）、北周により光遷国は光遷郡と改められ、遷州が置かれた。
隋代

隋初には、遷州は1郡2県を管轄した。582年（開皇2年）、綏州が遷州に統合された。583年（開皇3年）、隋が郡制を廃すると、遷州の属郡は廃止された。605年（大業元年）、羅州が遷州に統合され、遷州は5県を管轄した。606年（大業2年）、遷州は房州と改称された。607年（大業3年）に州が廃止されて郡が置かれると、房州は房陵郡と改称され、下部に4県を管轄した。隋代の行政区分に関しては下表を参照。
| 隋代の行政区画変遷> 区分 | 隋代の行政区画変遷> 開皇元年 | 隋代の行政区画変遷> 開皇元年 | 隋代の行政区画変遷> 開皇元年 | 隋代の行政区画変遷> 区分 | 隋代の行政区画変遷> 大業3年 | 隋代の行政区画変遷>  |
| --- | --- | --- | --- | --- | --- | --- |
| 州 | 遷州 | 綏州 | 羅州 | 郡 | 房陵郡 |  |
| 郡 | 光遷郡 | 新城郡 | 上庸郡 | 県 | 光遷県 永清県 上庸県 竹山県 |  |
| 県 | 光遷県 永清県 | 綏陽県 | 孔陽県 竹山県 | 県 | 光遷県 永清県 上庸県 竹山県 |  |
唐代

618年（武徳元年）、唐により房陵郡は遷州と改められた。遷州は光遷・永清・受陽・房陵・淅川の5県を管轄した。622年（武徳5年）、淅川県が廃止された。624年（武徳7年）、受陽・房陵の2県が廃止された。636年（貞観10年）、遷州は廃止されると、房州に統合されたが、光遷県は房陵県と改称された。
グラフ彩色

3色に頂点彩色（最適彩色）されたグラフ。ピーターセングラフの彩色数は3である。
グラフ彩色（グラフさいしょく、英: Graph coloring）とは、グラフの何らかの要素に、ある制約条件を満たすように色を割り当てることである。最も単純なものは、隣接する頂点同士が同じ色にならないように全頂点に彩色する問題である。これを頂点彩色（ちょうてんさいしょく）という。同様に辺彩色（へんさいしょく）は、隣接する辺同士が同じ色にならないように全辺を彩色する問題、面彩色（めんさいしょく）は、平面グラフの辺で囲まれた各領域（面）を隣接する面同士が同じ色にならないように彩色する問題である。
概要

頂点彩色が出発点であり、他の彩色問題は頂点彩色に変換可能である。例えば、辺彩色問題は、そのグラフをライングラフに変換したときの頂点彩色と同じであり、面彩色は平面グラフの双対グラフの頂点彩色と同じである。しかし、頂点彩色以外の問題もそのままの形で研究されている。これは、見通しの良さのためでもあり、頂点彩色以外の形式で研究が進んでいるためでもある。
彩色という表現を使うようになったのは、地図を国ごとに彩色する問題が起源である。地図の彩色問題は、平面グラフの面彩色問題に他ならない。また平面グラフの双対性により、頂点彩色問題とも等価であり、あらゆるグラフの問題として一般化できる。数学やコンピュータでは、非負または正の小さい整数を「色」を表現する値として使うことが多い。一般に、任意の有限集合を「色集合」として使うことができる。彩色問題の性質は色数には依存するが、個々の色をどう表すかは関係しない。
グラフ彩色はグラフのラベル付けとは異なる。ラベル付けは数で表される「ラベル」を頂点や辺に割り当てるものである。グラフ彩色問題では、色（を表す数）は任意のマーカーであり、隣接性や結合性に関わる状態を表す。グラフのラベル付け問題では、ラベル（を表す数）は計算可能な値であり、ラベル付けの際の定義で示される何らかの数値的条件を満たす必要がある。
グラフ彩色問題は理論的にも意味があるが、実用的な応用も多い。古典的問題以外にも、色の割り当て方や色自体に異なる制約を加えた問題もある。広く知られているパズルである数独もグラフ彩色問題の変形である。グラフ彩色は研究が盛んな分野のひとつである。
歴史

「四色定理#歴史」も参照
グラフ彩色は、地図の色分けの形で始まったものであり、当初はほとんど平面グラフだけを対象としていた。イングランドの地図をカウンティごとに色分けしようとしたフランシス・ガスリーは、4色あればどの境界線も両側が同じ色になることがないよう色分けできることに気づき、四色定理を主張した。ガスリーの兄弟がこの問題を数学の先生だったユニヴァーシティ・カレッジ・ロンドンのオーガスタス・ド・モルガンに提示してみたところ、彼は1852年にウィリアム・ローワン・ハミルトンへの手紙でこの問題に言及した。1879年、ロンドン数学会の会合でアーサー・ケイリーがこの問題を提示した。同年、アルフレッド・ケンプがその証明をしたとする論文を発表し、その後10年ほどはこの問題は証明済みとみなされていた。この業績によってケンプは王立協会フェローに選ばれ、後にロンドン数学会の会長に就任している。
1890年、パーシー・ヘイウッドはケンプの証明が間違っていることを指摘した。ケンプの証明は地図の塗りわけに「五色」あれば十分であることを示したに過ぎなかった。その後約1世紀に渡って四色定理を証明すべく様々な努力がなされ、とうとう1976年にケネス・アッペルとヴォルフガング・ハーケンが証明した。驚くべきことに、その証明の考え方はヘイウッドやケンプの考え方に沿ったもので、途中の数十年間の様々な努力は無視されている。四色定理の証明では初めて大規模にコンピュータを利用したことも注目に値する。
1912年、彩色問題を研究する過程でジョージ・デビット・バーコフが彩色多項式を導入。これをW・T・タットがタット多項式として一般化し、代数的グラフ理論の重要な構成要素となっている。ケンプは1879年の時点で既に平面グラフ以外のグラフ一般にも言及しており、グラフ彩色のより高次のグラフへの一般化は20世紀初頭から続々となされていった。
1960年、クロード・ベルジュはグラフ彩色についての新たな予想である「強パーフェクトグラフ予想」を定式化した。これは、クロード・シャノンの情報理論の概念であるグラフのゼロエラー容量が発想の元になっている。この予想は40年間証明されなかったが、2002年にChudnovsky、Robertson、Seymour、Thomasが証明し、「強パーフェクトグラフ定理」となった。
1970年ごろから、グラフ彩色についてのアルゴリズムの研究が盛んになってきた。彩色数問題は1972年にリチャード・カープが提案した21のNP完全問題の1つになっており、ほぼ同じころにバックトラッキングや Zykov (1949) の削除・縮約の繰り返し (deletion-contraction recurrence) などに基づいた指数関数時間の様々なアルゴリズムが開発された。グラフ彩色の応用の1つとしてコンパイラにおけるレジスタ割り付けがあり、1981年に登場した。
定義と用語 > 頂点彩色

単にグラフの彩色(coloring)と言った場合、「頂点彩色」を意味することが多い。また、隣接する頂点が同じ色にならないよう彩色すること、すなわち最適彩色を意味する。隣接する頂点とは、同じ辺と接している頂点である。ある頂点から同じ頂点へ戻る辺（ループ）が存在する場合、頂点彩色問題は決して最適解を持たないので、以下ではループがないグラフのみを扱う。
頂点のラベルを「色」で表すのは地図の塗りわけに起源がある。「赤」や「青」といったラベルは色数が小さい場合のみ使われ、一般にはラベルとして整数 {1,2,3,...} を使う。
最大 k 色を使った彩色を k-彩色と言う。グラフ G の彩色に必要な最小の色数を彩色数(chromatic number)と呼び χ(G) で表す。例えば、n 個の頂点からなる完全グラフ（あらゆる頂点間に辺があるグラフ） K_{n} の彩色数は、 \chi (K_{n})=n である。k-彩色できるグラフをk-彩色可能(k-colorable)といい、そのkがそのグラフの彩色数であるとき、k-彩色的(k-chromatic)という。同じ色が割り当てられた頂点の集合を「色クラス」と呼び、色クラス同士は独立集合となっている。したがって、k-彩色することは、頂点集合を k 個の独立部分集合に分割するのと等価であり、k-部 (k-partite) グラフや k-彩色可能といった用語も同じ意味を持つ。
定義と用語 > 彩色多項式

彩色多項式(chromatic polynomial)とは、与えられたグラフを与えられた色数内で彩色したときの彩色の組合せ数を求める式である。例えば、右図のグラフは3色で彩色すると12通りの彩色が可能である。2色では彩色できない。4色では 24 + 4×12 = 72 通りである。4色を使った彩色は24通りで、4色のうちの3色を使った彩色はそれぞれ12通りなので、このような計算になる（4色を4つの頂点に割り当てる場合は、任意の組み合わせが可能である）。従って、このグラフの彩色数を表にすると次のようになる。
| 0 | 1 | 2 | 3 | 4 | 5 |
| --- | --- | --- | --- | --- | --- |
| 色数 | 1 | 2 | 3 | 4 | … |
| 彩色の組み合わせ数 | 0 | 0 | 12 | 72 | … |
彩色多項式は、 P(G,t) で表され、グラフ  G を  t 色で彩色したときの色の組合せ数である。名前が示すとおり、ある  G についての彩色多項式は、 t に関する多項式となる。例に挙げたグラフでは、 P(G,t)=t(t-1)^{2}(t-2) となる。
彩色多項式は彩色数と共に、 G の彩色可能性についての情報をもたらす。実際、彩色数 χ は彩色多項式の根ではない最小の正の整数である。
この概念を最初に使ったのは George David Birkhoff と D. C. Lewis であり、四色定理の証明を試みる過程で用いた。
| --- | --- |
三角形  K_{3}:  t(t-1)(t-2)
完全グラフ  K_{n}:  t(t-1)(t-2)... (t-(n-1))
 n 頂点の木:  t(t-1)^{n-1}
閉路グラフ  C_{n}:  (t-1)^{n}+(-1)^{n}(t-1)
ピーターセングラフ:  t(t-1)(t-2)(t^{7}-12t^{6}+67t^{5}-230t^{4}+529t^{3}-814t^{2}+775t-352)
彩色多項式には次のような属性がある。
P(G,0)=0
P(G,1)=0 （ G に辺がある場合）
P(G,t)=0（ t<\chi (G) の場合）
G が n 個の頂点、 m 個の辺、 k 個の連結成分 G_{1},G_{2}, …, G_{k} から成るとき、
P(G,t) の次数は  n である。
P(G,t) における  t^{n} の係数は 1 である。
P(G,t) における  t^{n-1} の係数は  -m である。
t^{0},t^{1}, …  t^{k-1} の係数は全てゼロである。
t^{k} の係数はゼロではない。
P(G,t)=P(G_{1},t)P(G_{2},t)⋯ P(G_{k},t)
全ての彩色多項式の係数は符号が交互に変化する。
P(G,t)=t(t-1)^{n-1} であるときのみ、 n 頂点のグラフ G は木である。
単位元で評価された導関数  P'(G,1) は「彩色不変量(chromatic invariant)」 \theta (G) である。
定義と用語 > 辺彩色

グラフの辺彩色とは、グラフの辺を彩色するもので、1つの頂点に接合するそれぞれの辺が常に別々の色になるように最適彩色する。k色を使った辺彩色を「k-辺彩色」と呼び、辺集合をk個のマッチングに分割する問題と等価である。グラフ G の辺彩色に必要な最小の色数を彩色指数 (chromatic index) または辺彩色数 (edge chromatic number) と呼び、χ′(G) で表す。テイト彩色 (Tait coloring) とは、立方体グラフ（3-正則グラフ）の3-辺彩色を意味する。四色定理は、3-正則で辺が交差しない平面グラフをテイト彩色できることと等価である。
属性 > 彩色数の境界

個々の頂点にそれぞれ異なる色を割り当てれば、その彩色は正しい。従って次が成り立つ。
1-彩色可能なのは辺のないグラフに限られる。n個の頂点を持つ完全グラフ  K_{n} を彩色するには  \chi (K_{n})=n 色が必要である。最適な彩色では、グラフ内の m 個以上の辺が色クラス間を結ぶ位置にある。従って、次が成り立つ。
G に大きさ k のクリークが含まれている場合、そのクリークの彩色に少なくとも k 色を必要とする。言い換えれば、グラフ G の彩色数について次が成り立つ。
区間グラフでは、この境界がきつい。
2-彩色可能なグラフは常に2部グラフであり、木や森もそれに含まれる。四色定理により、全ての平面グラフは4-彩色可能である。
貪欲彩色法によれば、あらゆるグラフは頂点の最大次数より1つ多い色数で彩色可能である。
完全グラフは  \chi (G)=n かつ  \Delta (G)=n-1 であり、奇閉路は  \chi (G)=3 かつ  \Delta (G)=2 である。したがってこの境界条件はこれらのグラフでは彩色数をよく限定する。それら以外のグラフでは、境界条件をさらに若干改良する余地がある。ブルックスの定理は次の通りである。
属性 > 彩色数の大きいグラフ

最大クリークの大きなグラフは彩色数も大きいが、逆は必ずしも真ではない。Grötzschグラフ(en)は4-彩色的だが、三角形を含まない（クリークがない）。それを一般化したグラフをMycielskianと呼ぶ。
ブルックスの定理から、彩色数の大きいグラフは次数が高くなければならない。また、局所的には大きなクリークがあれば彩色数は大きくなる。しかし、彩色可能性はグラフの局所的現象ではない。内周（最短閉路の長さ）が大きいグラフは、局所的に見れば木のようになっているが、その彩色数は2になるとは限らない。
属性 > 彩色指数の境界

G の辺彩色は、そのライングラフ  L(G) の頂点彩色と等価であり、逆も成り立つ。従って、
辺彩色可能性とそのグラフの最大次数  \Delta (G) には強い関連性がある。同じ頂点に接合する全ての辺は異なる色にしなければならないので、次が成り立つ。
さらに次が成り立つ。
一般に、この関係はブルックスの定理が頂点彩色に与える関係よりも強い。
属性 > その他の属性

平面グラフでは、頂点彩色は基本的に nowhere-zero flow と双対関係にある。
無限グラフについては、まだよく判っていない。無限グラフの彩色について判明している数少ない事実として次の事柄がある。
属性 > 未解決の問題

単位距離だけ離れている任意の2つの点が同じ色にならないように平面を彩色する問題 (Hadwiger–Nelson problem) は未解決だが、その彩色数は5、6、7のいずれかだということまでは判明している。その他のグラフの彩色数に関する未解決問題としては、Hadwiger予想(en)がある。これは、彩色数 k のグラフはマイナーとして頂点 k 個の完全グラフを含む、という予想である。また、Erdős–Faber–Lovász予想(en)は、k-クリークが互いに高々1つの頂点を共有する形でk個連結されたグラフはk-彩色的だ、というものである。Albertson予想(en)は、k-彩色的グラフの中で完全グラフが最も交差数が小さい、というものである。
BirkhoffとLewisは四色問題を攻略する手段として彩色多項式を導入し、平面グラフ G の彩色多項式  P(G,t) は  [4,\infty ) の領域でゼロにならないという予想を立てた。そのような彩色多項式が  [5,\infty ) の領域でゼロにならないことと、 P(G,4)\neq 0 であることは判明しているが、彼らの予想自体は未解決である。任意の2つのグラフの彩色多項式が同一かどうかの判定や、ある多項式が彩色多項式かどうかの判定も未解決の問題である。
アルゴリズム

| --- | --- |
グラフ彩色
   
決定問題
名称: グラフ彩色、頂点彩色、k-彩色
入力: n 個の頂点を持つグラフ G。整数 k
出力: G は k 個の色で最適彩色可能か?
時間計算量: O(2 nn)
複雑性クラス: NP完全
還元: 3-SAT
Garey–Johnson: GT4
最適化問題
名称: 彩色数
入力: n 個の頂点を持つグラフ G
出力: χ(G)
複雑性クラス: NP困難
近似計算量:  O(n (log n)−3(log log n)2)
非近似計算量:  O(n1−ε) - P=NPでない場合
数え上げ問題
名称: 彩色多項式
入力: n 個の頂点を持つグラフ G。整数 k
出力: G を k-彩色する場合の P (G,k) の値
時間計算量: O(2 nn)
複雑性クラス: #P完全
近似計算量: 多項式時間 - 一部のケースのみ
非近似計算量: P=NPでない場合、多項式時間アルゴリズムは存在しない。
アルゴリズム > 多項式時間

あるグラフが2色で彩色可能かどうかを決定する問題は、そのグラフが2部グラフかどうかの決定問題と等価であり、幅優先探索を使って多項式時間で解ける。より一般化すれば、パーフェクトグラフの彩色数と具体的な彩色は半正定値計画法を使って多項式時間で計算できる。森、弦グラフ、閉路グラフ、車輪グラフ、梯子グラフといった種類のグラフは彩色多項式がわかっているので、多項式時間での評価が可能である。
アルゴリズム > 正確なアルゴリズム

k-彩色の判定を力まかせ探索で行う場合、n 個の頂点に k 色を割り当てる  k^{n} の組み合わせを全て試し、制約をみたしているか調べる。彩色数や彩色多項式を計算する場合、力まかせ探索では  k=1,\ldots ,n-1 の全ての k について同じ作業をすることになり、小さいグラフ以外では現実的でない。
動的計画法と最大独立集合の数の制約を利用するとk-彩色可能性の判定は時間および空間計算量  O(2.445^{n}) で行える。包除原理と高速ゼータ変換のためのYatesのアルゴリズムを使えば、k-彩色可能性の判定は任意のkについて  O(2^{n}n) の時間で行える。3-彩色可能性および4-彩色可能性の判定についてはさらに高速なアルゴリズムが知られており、それぞれ  O(1.3289^{n}) および  O(1.7504^{n}) の時間で判定できる。