stanford-oval/wikipedia huggingface dataset:
表明 (プログラミング)
使用法 > 静的表明

コンパイル時にチェックされる表明は静的表明と呼ばれる。静的表明は言語規格で規定されていない数値型のサイズをコンパイル時にチェックするといった用途のほか、コンパイル時のテンプレートメタプログラミングに特に有効である。D言語は静的表明 static assert をサポートしている。また、C++ではC++11規格において static_assert が導入された。C言語でもC11規格で _Static_assert が導入された。
旧規格のC/C++でも、表明違反となったときのみ不正なコード（コンパイルエラーとなるコード）が導入されるようにすることで、静的表明を実装可能である。例えば、C言語では次のように静的表明を実装できる。
#define COMPILE_TIME_ASSERT(pred) switch(0){case 0:case pred:;}

COMPILE_TIME_ASSERT( BOOLEAN CONDITION );
(BOOLEAN CONDITION) が偽と評価されると、switch文の2つ目のラベルの値はゼロとなるため、コンパイラは2つのcaseラベルが同じ値だとしてエラーを検出する。なお、指定する式はコンパイル時に値が定まるものでなければならない。例えば (sizeof(int)==4) といった式である。また、関数定義内でないとswitch文が出現しただけでコンパイルエラーになるので、関数内でしか使えない。
もう1つのC言語でよく知られている静的表明の実装として、次の方式がある。
static char const static_assertion[ (BOOLEAN CONDITION)
                                    ? 1 : -1
                                  ] = {'!'};
(BOOLEAN CONDITION) が偽と評価されると、配列の長さが負になるため、このコードはコンパイルエラーになる。たとえコンパイラが負のサイズの配列を許したとしても、初期値（'!' の部分）を設定しようとした時点で問題に気付くだろう。
これを何度も使用するには、配列名がそれぞれ別々でなければならない。最近[いつ?]のメジャーなコンパイラにはプリプロセッサに __COUNTER__ というマクロ定義があり、出現の度に増加する数を返すので、それを名前に含める方法があるが、移植性はない。
Boost C++ライブラリではC++03以前でも利用可能なマクロBOOST_STATIC_ASSERTおよびBOOST_STATIC_ASSERT_MSGが用意されている。
表明の抑止

表明は有効化/無効化を切り替えられるよう多くの言語で実装されている。表明は本来、開発ツールであるため、最終テストおよびリリース時には無効化する。したがって有効化時/無効化時の違いがプログラムの意味的な違いを生じないことが前提にある。換言すれば、表明は副作用を持っていてはならない。
CやC++を含む多くの言語では、表明は、リリースコンパイル時にプリプロセッサによって完全に除去される。Javaでは、表明を有効化する場合、実行時にオプションの指定を必要とする。オプションの指定がない場合、表明は無視される。
エラー処理との比較

表明とエラー処理ルーチンを区別することには意味がある。表明は論理的にありえない状況をチェックするのに使うべきである。もし、「ありえない」ことが起きたとしたら、根本的に何かが間違っていたということである。エラー処理は通常発生しうるエラーを処理する（もちろん、一部の状況はほとんど「ありえない」かもしれない）。表明をあらゆるエラー処理に使用するのは賢明ではない。表明ではエラーからの復旧が考慮されておらず、表明違反は無条件でプログラムを停止させてしまう場合がほとんどである。表明はユーザー向けのエラーメッセージも表示しない。
エラー処理に表明を使っているC言語の例を以下に示す。
int *ptr = malloc(sizeof(int) * 10);
assert(ptr != NULL);
/* ptr を使用する。 */
ここで、プログラマは malloc が NULL を返す場合があることに気づいている（メモリを確保できなかった場合）。オペレーティングシステムは malloc が常に成功することは保証していない。したがってプログラムはメモリ確保失敗に対処すべきである。この例では表明は最良の選択ではないだろう。というのも、malloc の失敗は論理的にありえないことではないからである。大抵のケースでは滅多に発生しないが、特に大量のメモリを使用するソフトウェアでは、リソースの枯渇により新たな動的メモリ確保の失敗が容易に発生しうるため、設計上考慮すべき可能性である。しかし、このような表明にも利点がある。つまり、プログラマが自分の意思で malloc のエラーに対処するコードを書かない選択をしたことを他の人々に知らしめているのである。
表明の引数である式の副作用に依存するという間違いをすることもある。表明は条件の評価（バグがないことの確認）に使われるものであって、全く実行されないこともあることを常に念頭に置いておく必要がある。最終的にプログラムに問題がないと判断すれば表明を抑止する可能性がある。
例えば、次のようなC言語のプログラムがあるとする。
int *ptr;
assert(ptr = malloc(sizeof(int) * 10)); /* malloc() が失敗すると NULL を返す。しかし、この文は NDEBUG シンボルを定義してコンパイルすると実行されなくなる。 */
/* NDEBUG を定義してコンパイルすると、この時点で ptr は設定されていないことになる（未初期化）。 */

/* ptr を使用する。 */
...
一見すると、malloc の値を ptr に代入して、同時に NULL かどうかをチェックするという賢いコーディングに見えるかもしれない。しかし、malloc 呼び出しと ptr への代入は副作用を伴い、その副作用はプログラム本体で必須なものである。コンパイル時に NDEBUG というシンボルを定義すると assert() は除去されるので、malloc() が呼び出されなくなり、ptr が初期化されずに使われることになる。結果として未定義動作を引き起こす。
歴史

プログラムの正しさを証明する手段として表明の概念を最初に提案したのはアラン・チューリングである。1949年6月24日、ケンブリッジ大学で行った "Checking a Large Routine" と題した講演で「大きなルーチンが正しく動作していると確認するにはどうしたらよいだろうか? 確認する人物に多大な負担をかけないようにするには、プログラムの全体としての正しさを容易に確認できるようプログラマが個別に確認可能な明確な「表明」(assertions) をいくつもするべきである」と述べている。
天体のメソッド

| 天体のメソッド |
| --- | --- |
 
ジャンル: 青春、群像劇、ファンタジー
アニメ
原作: カレイドシフト
原案: 久弥直樹
監督: 迫井政行
脚本: 久弥直樹
キャラクターデザイン: QP:flapper（原案） 秋谷有紀恵
音楽: 加藤達也
アニメーション制作: 3Hz
製作: 霧弥湖町観光協会（第1話 - 第13話、OVA） infinite（Web配信）
放送局: #放送局参照（テレビ放送） YouTube（Web配信）
放送期間: 2014年10月 - 12月（テレビ放送） 2019年10月（Web配信）
話数: 全13話+OVA1話+Web配信1話
漫画
原作・原案など: 久弥直樹（原案・脚本）
作画: 浪咲ゆか
出版社: KADOKAWA アスキー・メディアワークス
掲載誌: 月刊コミック電撃大王
レーベル: 電撃コミックスNEXT
発表号: 2014年10月号 - 2015年3月号
巻数: 1巻
その他: 作者都合により連載休止
テンプレート - ノート
プロジェクト: アニメ・漫画
ポータル: アニメ・漫画
主舞台である霧弥湖のモデルとなった洞爺湖
『天体のメソッド』（そらのメソッド、sora no method、英: Celestial Method）は、日本のテレビアニメ作品。略称は「そらメソ」。2014年10月から12月にかけてTOKYO MX、テレビ北海道他にて放送された。
概要

北海道の洞爺湖をモデルにした、上空に謎の円盤が浮かぶ架空の街「霧弥湖」を舞台に、そこに引っ越してきた中学3年生の少女と、年齢不詳の謎の少女の2人を中心とした青春群像劇を描く。
原案・脚本を『Kanon』で知られる久弥直樹が担当する他、監督を『熱風海陸ブシロード』の迫井政行、キャラクター原案を『ガールフレンド（仮）』のQP:flapper、キャラクターデザインは『CØDE:BREAKER』の秋谷有紀恵、アニメーション制作を当時新会社であった3Hzがそれぞれ担当している。なお、久弥がオリジナルアニメの原案を手がけるのは2007年の『sola』以来、約7年ぶりとなる。
2019年10月11日、後日談のエピソードとして第17話「もうひとつの願い」がYouTubeで配信された。
ストーリー > 後日談

再び現れたノエルと乃々香たちが再会を果たしてしばらく経ったある日。ノエルは乃々香たちとの会話から「誕生日」というものを知るが、円盤である自身には生まれた日の事が分からなかった。乃々香は過去のアルバムを調べて皆で円盤を呼んだ初雪の日が2007年11月3日である事を突き止め、この日をノエルの誕生日とした。
同じ時、ノエルは同じ円盤の少女であるキャロルと出会う。キャロルは、ノエルが既に願いを叶えたにも関わらず別の願いを叶えに行かず霧弥湖町に居続けることを咎め、ノエルを連れ返しにやってきたのだ。しかしノエルはずっとこの街で皆と居たいと想いを語り、キャロルと共に帰ることを断る。キャロルはノエルに拒否されることを予想しておらず、その想いも理解できずにいた。
そんな中、乃々香はノエルの誕生日に際し、柚季、こはる、住んでいる遠方からやってくる汐音、海外留学の準備から帰国する湊太と共に誕生会で祝う事を計画する。一方のキャロルはノエルの円盤自体を追い出すことでノエルがこの街に居られなくなるよう画策するが、キャロルの円盤に力が戻っていないこともあり、悉く失敗に終わる。
そんなキャロルにノエルや乃々香たちはノエルが叶えようとした願いはノエルが居ないと叶わないと語りつつ、手を差し伸べる。ノエルたちと共に時間を過ごしていくうち、キャロルは徐々に態度を和らげていくが気持ちを素直に受け入れられず渡されたノエルの誕生会の招待状を捨ててしまう。
誕生会当日、ノエルの事で思い悩むキャロルを汐音が見つけ、かつての自分の面影を感じた汐音はキャロルの想いを後押しする。汐音の助言を聞いたキャロルは自身の想いに対し正直に行動し始める。
捨ててしまった招待状を見つけることができなかったものの、そこへやってきたノエルが一緒に誕生会へ行こうと誘う。ノエルの誕生会は、キャロルの誕生日も祝うものでもあったのである。
その時、キャロルの円盤に力が戻り、ノエルを連れ返すというかつてのキャロルの願いが発動しかけるがノエルの想いを理解したキャロルは「ノエルがずっと大好きな皆と一緒に居られますように」と願いを改めたことで事なきを得る。
乃々香たちが待つ、誕生会の会場であるのぞみ亭にノエルとキャロルが共にやってくる。こうして7人そろって、ノエルとキャロルの誕生日を祝うのであった。
スタッフ

原作 - カレイドシフト
原案・脚本 - 久弥直樹
監督 - 迫井政行
キャラクター原案 - QP:flapper
キャラクターデザイン - 秋谷有紀恵
総作画監督 - 秋谷有紀恵、奥田陽介（第6話 - 第13話）
メインアニメーター（第1話 - 第13話、OVA） - 長坂慶太
美術設定 - 金平和茂
美術監督 - 伊藤弘、根本邦明（第17話）
色彩設計 - 加藤里恵
撮影監督 - 出水田和人
3DCGI - 秋元央
編集 - 定松剛
音響監督 - 明田川仁
音楽 - 加藤達也
音楽制作 - ランティス
音楽プロデューサー - 斎藤滋、吉江輝成
プロデューサー（第1話 - 第13話、OVA） - 中路亮輔、岡村武真、吉江輝成、西川和良、雪田雅人、中島保裕、和田洋介
プロデュース - インフィニット
ラインプロデューサー - 久保秀彰（第1話 - 第13話、OVA）
アニメーション制作 - Studio 3Hz
製作 - 霧弥湖町観光協会（第1話 - 第13話、OVA）→infinite（第17話）
各話リスト

| 話数 | サブタイトル | 絵コンテ | 演出 | 作画監督 |
| --- | --- | --- | --- | --- |
| 第1話 | 円盤の街 | 迫井政行 | 迫井政行 | 古澤祐紀子 |
| 第2話 | ふたりの約束 | 若林信 | 鈴木拓磨 | 若山政志、りぱ 古澤祐紀子、古賀美裕紀 高橋瑞香 |
| 第3話 | 記憶のありか | 迫井政行 | 熨斗谷充孝 | 竹内由香里 |
| 第4話 | 思いのかけら | 島津裕行 | 佐土原武之 | 山本径子、しまだひであき 斉藤弘樹 |
| 第5話 | 光の花 | 迫井政行 | 室谷靖 | 斎田博之、小澤円 戸田麻衣 |
| 第6話 | 本当の友達 | 島津裕行 | 江副仁美 | 寺尾憲治 |
| 第7話 | 私のなくしたもの | 島津裕行 | 博史池畠 | 古澤祐紀子、中川洋未 |
| 第8話 | 彼女の信じること | 迫井政行 | 川畑喬 | 山崎愛、向川原憲 |
| 第9話 | さよならの意味 | 島津裕行 | 北川隆之 | 若山政志、田中志穂 りぱ |
| 第10話 | 願いの行方 | 島津裕行 | 熨斗谷充孝 | 向川原憲、J-CUBE |
| 第11話 | 流星群の夜 | 迫井政行 | 博史池畠 | 古賀美裕紀、田中志穂 中川洋未 |
| 第12話 | 円盤のない街 | 島津裕行 | 橘正紀 | 古澤祐紀子 |
| 第13話 | はじまりのそらから | 迫井政行 | 迫井政行 | 若山政志、りぱ |
| 第14話 （オープニング） | - | 迫井政行 | 迫井政行 | 奥田陽介 |
| 第15話 （エンディング） | - | 江畑諒真 | 江畑諒真 | 江畑諒真 |
| 第16話 （OVA・未放送） | ある少女の休日 | 迫井政行 | 迫井政行 | 古澤祐紀子 |
| 第17話 （Web配信） | もうひとつの願い | 迫井政行 | 迫井政行 | 秋谷有紀恵、中村深雪 辻智子、金丸綾子 大高雄太 |
放送局

|  放送期間  |  放送時間  |  放送局  |  対象地域  |  備考  |
| --- | --- | --- | --- | --- |
|  2014年10月5日 - 12月28日 |  日曜 22:30 - 23:00 |  TOKYO MX  |  東京都  |   |
|  |  日曜 23:00 - 23:30 |  KBS京都  |  京都府  |   |
|  2014年10月6日 - 12月29日 |  月曜 0:30 - 1:00（日曜深夜） |  サンテレビ  |  兵庫県 |   |
|  |  月曜 1:05 - 1:35（日曜深夜） |  テレビ北海道  |  北海道  |  作品の舞台のモデル地      |
|  |  月曜 20:30 - 21:00 |  AT-X  |  日本全域  |  CS放送 / リピート放送あり      |
|  2014年10月8日 - 12月31日 |  水曜 0:30 - 1:00（火曜深夜） |  BS11  |  日本全域  |  BS放送 / 『ANIME+』枠      |
|  配信期間  |  配信時間  |  配信サイト  |
| --- | --- | --- |
| 2014年10月8日 - 12月31日 |  水曜 23:00 - 23:30    |  ニコニコ生放送  |
|  2014年10月9日 - 2015年1月1日 |  木曜 0:00（水曜深夜） 更新 |  バンダイチャンネル  |
|  |  木曜 12:00 更新 |  dアニメストア  |
関連商品 > BD

| 巻 | 発売日 | 収録話 | 規格品番 |
| --- | --- | --- | --- |
| 1 | 2015年1月28日 | 第1話 - 第2話 | BCXA-0952 |
| 2 | 2015年2月20日 | 第3話 - 第4話 | BCXA-0953 |
| 3 | 2015年3月27日 | 第5話 - 第6話 | BCXA-0954 |
| 4 | 2015年4月24日 | 第7話 - 第8話 | BCXA-0955 |
| 5 | 2015年5月27日 | 第9話 - 第10話 | BCXA-0956 |
| 6 | 2015年6月26日 | 第11話 - 第12話 | BCXA-0957 |
| 7 | 2015年7月24日 | 第13話+OVA | BCXA-0958 |
関連商品 > CD

| 発売日 | タイトル | 規格品番 |
| --- | --- | --- |
| 2014年10月29日 | Stargazer | LACM-14278 |
| 2014年11月5日 | 星屑のインターリュード | LACM-14279 |
| 2014年12月24日 | 『天体のメソッド』イメージアルバム ソナタとインターリュード | LACA-15472 |
| 2015年1月14日 | 『天体のメソッド』オリジナルサウンドトラック 霧弥湖町音楽散歩 | LACA-9376/7 |
| 2015年2月11日 | 『天体のメソッド』キャラソンミニアルバム 約束のメソッド | LACA-15476 |
関連商品 > 書籍

『TVアニメ 天体のメソッド 公式ファンブック』一迅社、2015年4月5日。ISBN 978-4758014342。
『天体のメソッド 設定資料集アニメ版』ムービック、2015年10月。
『天体のメソッド memories』インフィニット、2015年3月18日。
『天体のメソッド OP＆ED 原画』Studio 3Hz。
『天体のメソッド 原画集』Studio 3Hz。
『ED Memories』0.3Hz。2019年8月10日(コミックマーケット96)発行。
『Sorameso Memories 2』0.3Hz。2019年12月28日(コミックマーケット97)発行。
関連商品 > アプリ

そらメソカメラ【天体のメソッド公式アプリ】、rootage　Android 4.0.3以上に対応。最終バージョンは1.1.2 (2015年10月3日更新)　円盤と登場キャラクターと写真が撮れるアプリ。なお、Google Playストアでの配布は終了している。
漫画

天体のメソッド (1) (電撃コミックスNEXT) コミック（2014-10-24）　ISBN 978-4-04-866974-0
太田一也

太田 一也（おおた かずや、1934年〈昭和9年〉12月14日 - 2025年〈令和7年〉1月15日）は、日本の火山学者、地質学者。九州大学名誉教授。専門分野は火山学、温泉学。
長崎県南高来郡国見町（現：雲仙市）出身。九州大学理学部卒業、九州大学大学院中退。九州大学理学部教授（1988 - 1994年）。2015年時点では島原市弁天町に居住。
略歴

1967年（昭和42年）、九州大学助手として長崎県島原市の「島原火山温泉研究所」（現・観測所）に赴任。普賢岳の構造の分析や、温泉と火山ガスの研究調査を行った。
小浜温泉と雲仙温泉の違いに着目し、その泉質やガス成分の差異より、熱源となるマグマ溜まりからの距離によってこれらの変化が説明できるとした論文を発表。｢噴火しない火山｣に満足できず、桜島や阿蘇山の観測隊にも参加していた。
1973年（昭和48年）には、それまで構造地形だと考えられていた長崎県橘湾がカルデラ地形であるとする千々石カルデラの概念を提唱した。千々石カルデラの概念は当初疑問視され賛同意見が少なかったが、1990-1991年の雲仙普賢岳噴火後は太田の提唱を裏付ける観測結果が相次いだ。
1998年（平成10年）、九州大学理学部教授を退官。島原半島ジオパーク協議会の顧問も務めた。
2025年（令和7年）1月15日17時15分、慢性呼吸不全のため島原市内の病院で死去。90歳没。死没日付で、従四位に叙され、瑞宝小綬章を受章した。
普賢岳噴火について

1990年（平成2年）に普賢岳が噴火した際には｢自分が研究してきた火山がやっと噴火した｣と研究者として当初感じた率直な意見を語っている（当時の役職は九州大学理学部付属島原地震火山観測所所長）。
1991年（平成3年）、普賢岳の火砕流や土石流による被害が深刻化すると、仕事内容は研究調査よりも災害対策が主体となり、ヘリコプターによる上空からの視察は900回にも及んだ。立ち入り禁止区域は、可能な限り広範囲にと主張し、避難生活の長期化や防災工事の遅れのために早期縮小と求める行政側としばした対立することが多かった。
1991年（平成3年）6月3日の大火砕流の際には、その8日前に島原市長に住民退避を進言し3000人の避難に結びついたが、避難を無視して取材を続けた20人の報道関係者と、23人の非報道関係者が死亡した。非報道関係者の死者数の中には、報道関係者を監視・誘導するために配置された消防団員・警察官、報道関係者がチャーターしたタクシー運転手も多かった。太田はこれだけの死者を出した原因は報道陣の過熱した取材競争と、報道の自由と使命感の根底に潜む特権意識であるとし、報道機関が退去していればこれらの人々の命も救われたはずであるとした。単に観測結果を提供するのではなく、一歩踏み込んで行政の暴走を止めるのも大学研究者の役目になっているとも述べている。
経歴

1958年3月：九州大学理学部地質学科卒業
1959年4月：貝島炭鉱（株）勤務
1963年：貝島開発（株）勤務
1967年10月：九州大学理学部助手
1971年4月：九州大学理学部付属島原火山観測所発足、同助手に就任
1973年5月：九州大学理学部助教授
1985年1月：九州大学理学部教授
1986年3月：九州大学理学部付属島原火山観測所所長
1998年3月：九州大学を定年により退官、のち名誉教授
以上、出典：
著書

「雲仙火山 ―地形・地質と火山現象―」（1984年3月、雲仙国立公園50周年記念誌，長崎県環境部編集・出版）
「火山と災害」（1989年、九州大学公開講座22，生活と科学2、53-85，九大出版会）
「Photographic Records of the 1990-1992 Eruptions at Unzen Volcano」(1992, Unzen Volcano the 1990-1992 Eruption, p5-11, Edited by T. Yanagi, H. Okada and K. Ohta, The Nishinippon & Kyushu University Press)
「普賢岳噴火の教訓、火山噴火と環境・文明」（1994年、文明と環境3, 101-132，思文閣）
「雲仙岳噴火活動の実態」（1995年、自然災害と地域社会の防災，第9回［大学と科学」公開シンポジウム組織委員会編、クバプロ）
「普賢岳鳴動す―太田一也聞書」（1999年2月、太田一也口述 吉田賢治著、西日本新聞）ISBN 978-4-8167-0477-2
「有史後の最初の噴火古焼溶岩・今でも語り継がれる大災害島原大変」．（2009年、図説島原半島の歴史、郷土出版社）
「寛政雲仙岳噴火・1990雲仙岳噴火」（2012年、日本歴史災害事典、北原糸子・松浦律子・木村玲欧編、吉川弘文館）ISBN 978-4-6420-1468-7
「雲仙普賢岳噴火回想録」（2019年4月、長崎文献社）ISBN 978-4-8885-1306-7
「雲仙火山 ―地形・地質と火山現象―」（2024年3月、ゆるり）ISBN 978-4-9100-0342-9
受賞歴

1993年11月3日：西日本文化賞
1996年9月3日：国土庁長官防災功績者表彰
1996年11月23日：長崎県民特別表彰（防災功績）
1996年11月29日：長崎新聞文化章
1997年4月1日：島原市民特別表彰（防災功績）
1998年3月22日：NHK長崎放送局放送功労賞
2000年6月1日：建設大臣土砂災害防止功労者表彰
2003年7月10日：環境大臣温泉関係功労者表彰
2007年9月27日：日本温泉科学会功労賞
2014年8月23日：環境省九州地方環境事務所長雲仙国立公園普及啓蒙功労表彰
2021年5月15日：島原半島文化賞
論文

主要論文
島原半島における温泉の地質学的研究 (1973)、九大理、島原火山観測所報告、8、1-33.
眉山大崩壊のメカニズムと津波 (1987)、月刊地球、9、4、214-220.
雲仙火山の地質構造と火山現象 (1987)、地団研専報、33、71-85.
雲仙岳噴火活動 (1993)、地学雑誌、99、835-854.
雲仙岳噴火活動の予知と危機管理支援 (1997)、火山、42、61-74.
雲仙火山の温泉とその地学的背景 (2006). 日本地熱学会誌, 28, 4, 337-346.
科学研究費助成事業　代表者
雲仙火山に発生している火山性微動の高密度観測 研究課題番号：02306016
雲仙岳における火山体構造探査の事前調査研究 研究課題番号：06306011
熱的活動に基づく火山噴火活動の推移予測に関する研究 研究課題番号：04201229
雲仙岳火山活動の推移予測のための地球化学的観測研究 研究課題番号：04453039
雲仙岳溶岩ドームの形成と崩落に関する総合的観測研究 Study of formation and collapse of lava dome at Unzen Volcano 研究課題番号：04302020
雲仙岳溶岩流出の予知に関する観測研究 研究課題番号：03306009
監視者たち

| 監視者たち |
| --- | --- |
 감시자들
監督:  チョ・ウィソク キム・ビョンソ
脚本:  チョ・ウィソク
製作:  イ・ユジン
音楽:  タルパラン チャン・ヨンギュ
撮影:  キム・ビョンソ
編集:  シン・ミンギョン
配給:   ネクスト・エンターテインメント・ワールド  クロックワークス
公開:   2013年7月3日  2014年9月6日
上映時間:  118分
製作国:   韓国
言語:  韓国語
テンプレートを表示
| 監視者たち> 各種表記 |
| --- | --- |
ハングル：:  감시자들
発音：:  カムシジャドゥル
日本語読み：:  かんししゃたち
英題：:  Cold Eyes
テンプレートを表示
『監視者たち』（かんししゃたち、原題：감시자들）は、2013年公開の韓国映画。2007年に制作された香港映画『天使の眼、野獣の街』のリメイク作品。監督はチョ・ウィソクと撮影監督も務めたキム・ビョンソ。
ストーリー

並外れた瞬間記憶力と観察力を持つ新人刑事ハ・ユンジュ（ハン・ヒョジュ）は、韓国警察特殊犯罪課（SCU）内の「監視班」に配属される。班長のハン・サンジュン（ソル・ギョング）やリス（イ・ジュノ）ら特殊な才能を持つ刑事らが集まる監視班は凶悪犯罪者の監視、追跡を専門とする部隊だった。しかし、武装犯罪集団のリーダー、ジェームズ（チョン・ウソン）は巧みに監視班の目を逃れて犯罪を繰り返す。警察本部からは監視班の存在意義が問われる中、ユンジュら監視班の面々は総力をあげてジェームズを追跡する。
キャスト

ハン・サンジュン：ソル・ギョング（吹替：咲野俊介）
ジェームズ：チョン・ウソン（吹替：前田一世）
ハ・ユンジュ：ハン・ヒョジュ（吹替：平井祥恵）
チョントン：キム・ビョンオク
イ・ヨンスク室長：チン・ギョン（吹替：仲村かおり）
リス：イ・ジュノ（2PM）（吹替：梶裕貴）
空港の男：サイモン・ヤム
受賞歴

第8回アジア・フィルム・アワード：編集賞（シン・ミンギョン）
第34回青龍映画賞：主演女優賞（ハン・ヒョジュ）
第22回釜日映画賞：主演女優賞（ハン・ヒョジュ）
第50回百想芸術大賞：映画部門 助演女優賞（チン・ギョン）
適応度

適応度（てきおうど、英: fitness）は生物学、とくに集団遺伝学など数理生物学分野で用いられる語である。
古典的適応度

字義通りに理解すれば、その生物個体がどれほどその生活する環境に適応しているかを示す値である。しかし、これには出産数や出産間隔など直接的に繁殖に関わる特性だけでなく筋力や視力、体の大きさといった多くの特性も間接的に関わってくる。このことから、適応度はその個体が生物として繁栄していく能力を総体として捉えるための概念と捉えることができる。チャールズ・ダーウィンの時代に用いられた適応度 (Fitness) はこの意味であり、現在でも「適応的（生き延びるのに適した性質だろう）」と同様の意味として「適応度が高い」と用いることがある。
個体適応度と遺伝的適応度

現在一般に用いられている定義としては、一般的には自然選択説の考えに立ち、より多く子供を残すものが選択されるのだから、「ある生物個体がその生涯で生んだ次世代の子のうち、繁殖年齢まで成長できた子の数」となる。動物学などのフィールドワークや実験では遺伝的適応度を計測することは困難であるため、この定義を近似値として用いる。これを個体適応度と呼ぶ。また子の実数で表す適応度のことを絶対適応度と呼ぶ。個体数が安定した環境では、平均的な絶対適応度は1である。しかし繁殖戦略によっては、次世代の子供の数が同じでも孫の数に差が出ることもある（「フィッシャーの原理」も参照）。そのためより正確な（厳密ではないが）表現としては「十分遠い将来のある世代に残った子孫の数」と言うことができる。
一方、遺伝的適応度は「ある形質をもたらす対立遺伝子（進化ゲーム理論の場合は戦略）が集団中に広まる速度」と言うことができる。たとえば二組のペアがおり、一方が遺伝子Xの影響で生涯に6匹の子をもうけたとする。もう一方は対立遺伝子Yの影響によって生涯に4匹の子をもうけたとする。この群れの平均産子数は (4 + 6) / 2 = 5 であり、Xの適応度は 6 / 5 = 1.2 となる。Yの適応度は 4 / 5 = 0.8 となる。この値を相対適応度と呼ぶ。集団遺伝学、数理生態学などで通常用いられるのは遺伝的適応度であり、相対適応度である。遺伝的適応度は個体適応度と一致しない場合がある。集団全体の相対適応度は常に1であり、相対適応度が1であればその遺伝子は広まりも減りもしないが、1より小さければ集団内で次第に数を減らし、1より大きければ次第に数を増す。値が大きければ大きいほど急速に広まる。この例ではXが増してゆく。
適応度地形

適応度地形（英語: fitness landscape）は1923年にシューアル・ライトらによって提唱された、遺伝子型と生殖成功率の関係（適応度）を視覚化するために用いられる数学的モデルである。例えば2次元空間上に個体群の各生物個体を配置したとすれば、そこに「高さ」の軸を追加してその軸の値に適応率を当てはめると起伏のある曲面が得られる。この曲面を適応度地形と呼ぶ。
適応度地形の概念を用いると、適応度の高い個体がその数を増やし低い個体は数を減らしていく様子を説明しやすい。適応度が高い個体は適応度地形の中で「高さ」が高い位置におり、適応度の低い個体は低い位置にいる。個体群はより多くの個体を高い位置に置こうとして低い位置の個体は次第に数を少なく、高い位置にいる個体の数を多くなるように繁殖を行う。図に示したときこれはあたかも曲面上の起伏を登っているかのように振る舞う。
包括適応度

適応度をある個体の子孫だけでなくその親族、あるいは同じ対立遺伝子を持つ可能性のある他個体にまで広げたものを包括適応度と言う。社会性行動の進化を扱うさいには包括適応度を用いなければならない。この場合は通常、子にも包括適応度における血縁度の計算が適用される（有性生殖では子の遺伝的価値は親の半分であり、親子の進化的対立の原因である）。包括適応度は遺伝的適応度の概念の一つであり、包括適応度を個体の数で計算すると混乱の原因となる。包括適応度の上昇はある社会行動の効果に対して用いられる。例えば自分が親族を助けたことでその親族が多くの子を残した場合、自分の「利他行動に関する対立遺伝子」の包括適応度が上昇する。全く別の地域に移住し相互作用できなくなった親族が子を産んでも自分の包括適応度が上昇したことにはならない。
適応度の概念を提唱し、数学的なモデルとして構築したのは集団遺伝学者ロナルド・フィッシャー、J・B・S・ホールデン、シューアル・ライトらであった。W.D.ハミルトンはこれを拡張して包括適応度を提唱した。さらに後年、G.プライスの共分散則を取り入れて、包括適応度を親族以外にも適用できる概念へと拡張した。
計算機科学への応用

→詳細は「遺伝的アルゴリズム」、「進化的計算」、および「最適化問題」を参照
自然選択説を計算に応用した遺伝的な最適化問題では、集団内の個体のもつさまざまな特徴から適応度を算出し個々の個体が問題に適当かを判定する。この適応度を判定する関数を適応度関数と呼ぶ。算出された適応度が高い個体は多くの子孫を残し、適応度が低い個体は子孫をあまり残さずに最終的に絶滅していくことで求める解に徐々に近づいていく。
適応度地形は最適化問題でも用いられ、山登り法、最急降下法、共役勾配法、焼きなまし法などの最適化アルゴリズム（英語版）は、適応度地形上での最良の値（最大値または最小値）を探索すると考えられる。
計算機科学への応用 > 適応度関数

適応度関数（てきおうどかんすう）またはフィットネス関数（英: Fitness function）は、一種の目的関数であり、遺伝的アルゴリズムにおける解の最適度を定量化し、特定の遺伝子が他の遺伝子より優れていることを示す。最適な遺伝子、あるいは少なくとも他よりも比較的最適な遺伝子で、「交叉」などの遺伝的操作が行われ、よりよい（と期待される）次世代を生み出す。理想的な適応度関数は、アルゴリズムの目的に密接に関連し、素早く計算できる。遺伝的アルゴリズムは何度も何度も世代交代を繰り返す必要があり、実行速度は非常に重要である。
適応度関数の定義は直接的でないことが多く、GA（遺伝的アルゴリズム）によって生成される最適解が期待したものでない場合は繰り返し実行される。場合によっては、適応度関数をどう定義すべきかも明らかでないことがある。このため、遺伝的アルゴリズムでの解の評価を外部エージェント（通常、人間）に任せる場合もある。
適応度地形の略図。矢印は適応度地形上の個体群の移動を表し、A点とC点が局所的な最適値を示す。赤い丸は非常に低い適応度の個体群が最も良い適応度を獲得するときの移動の仕方を表す。
3次元空間で表したNKモデルを基にした適応度地形。進化の経路は複数存在する。
瑚々

瑚々（ここ、2004年8月7日 - ）は、日本の女優、ファッションモデル、グラビアアイドル。
埼玉県出身。イトーカンパニー所属。
略歴

2015年
8月、イトーカンパニーグループ『ネクストヒロインオーディション』にてグランプリを受賞。イトーカンパニーグループ「ココロネクスト」に所属。ココロネクスト所属当初の芸名は「楠条 瑚子（なんじょう ここ）」であったが、すぐに現在の芸名「瑚々」に改名する。
12月、藍坊主 『魔法以上が宿ってゆく』にてMV初出演。
2016年
7月、同じ事務所所属の花田優里音、白上心望、宮園明優と共に、マザー牧場イメージガールに就任。
2017年
3月、小学校卒業。
4月、同じ事務所所属の結城亜実、水原雅、広橋佳苗、竹内詩乃と共に、定期イベント「第3火曜はTOWERでSHOW!!」に出演。
10月、『レミングスの夏』にて映画初出演。
11月、Instagramアカウントを開設。
12月、『フラーハウス season3』にてドラマ初出演。
2018年
7月、同じ事務所所属の竹内詩乃と共に、マザー牧場イメージガールに2度目の就任。
10月、Twitterアカウントを開設。
12月、『小柳ゆき I'm Fun Area』にてラジオ初出演。
2019年
4月、第11回 沖縄国際映画祭にて映画祭初参加、初レッドカーペット。
7月、ファッション誌『GINZA』に掲載され、以降定期的にモデルを務める。
9月、『support surface Spring & Summer 2020 Collection』にてファッションショー初出演。
2020年
3月、中学校卒業。
4月、『制コレ'20』ファイナリスト15名に選出。「ココロネクスト」が「イトーカンパニー」に統合された事に伴い、「イトーカンパニー」へ所属変更。
2022年
7月、『ミスマガジン2022』ベスト16に選出。
10月、『ミスマガジン2022』グランプリを咲田ゆなと同時受賞。
2023年
3月、高校卒業。
4月、Twitterのフォロワーが1万人到達。
5月、ショートムービープロジェクト「嘘の起源」『ホワイト ライ』にて映画初主演。
6月、Instagramのフォロワーが1万人到達。
7月、Threadsアカウントを開設。
9月、『スターライドオーダー』にて舞台初出演。初写真集「new crop」を発売。
2024年
7月、演劇プロデュース団体「朝プロダクション」による舞台『朝劇「恋の遠心力」』にレギュラーキャストとして出演開始。
2025年
2月、『おとなりコンプレックス』にてTVドラマ初レギュラー、および初ヒロインとして出演。
人物

家族は父、母、姉、兄(5歳上)、妹(3歳下)。
食品は牛乳とレバー、生き物は鳩が苦手。
猫好きだが、猫アレルギーである。
高身長だがスポーツ経験はほとんどなく、背の順では常に一番後ろだった。
出演 > テレビドラマ

ショジョ恋。（2023年4月12日 - 2023年6月1日、フジテレビ） - ユナ 役
おとなりコンプレックス（2025年2月20日 - 2025年3月13日、フジテレビ） - ヒロイン・久慈あきら 役
出演 > テレビ番組

痛快TV スカッとジャパン 2時間SP 「大逆転スカッと 劣等生が受験で大逆転」（2019年7月15日、フジテレビ）
漢字ふむふむ 「やっちまった〜!?餅」（2023年4月25日、Eテレ ） - 再現ドラマパート 周穎 役
開運音楽堂（2023年4月29日、TBS）
出演 > 映画

レミングスの夏（2017年10月1日、オムロ） - ヨーコ／茅野陽子 役
私たちは、（2019年8月3日、ユナイテッドエンタテインメント） - 瑚々／りりあ 役
ショートムービープロジェクト「嘘の起源」『ホワイト ライ』（2023年5月13日、ダブ） - 主演・出雲楓花 役
散歩屋ケンちゃん（2023年7月7日、株式会社たきびファクトリー） - 鉄道アイドル・美大生 瑚々 役
さよならエリュマントス（2023年8月11日、SPOTTED PRODUCTIONS） - 主演・ココ 役
ブルーイマジン（2024年3月16日、コバルトピクチャーズ） - 友情出演
HEROINES（2024年3月29日、SUPER BENTO ENTERTAINMENT） - 松山ミキ 役
代々木ジョニーの憂鬱な放課後（2025年3月24日、SPOTTED PRODUCTIONS）
出演 > 舞台

スターライドオーダー （2023年9月16日、ブルースクエア四谷） - 女子大生 みずきち 役
×××になれなくて （2023年10月18日 - 22日、ブルースクエア四谷） - チームBLUE ソラ 役
朝劇「恋の遠心力」
2023年12月公演 （2023年12月3日、NOS Bar&Dining 恵比寿） - ゲスト出演
新メンバーお披露目公演 （2024年7月14日、21日、NOS Bar&Dining 恵比寿） - あすか 役
2024年8月公演 （2024年8月12日、NOS Bar&Dining 恵比寿） - あすか 役
2024年9月公演 （2024年9月7日、NOS Bar&Dining 恵比寿） - あすか 役
2024年11月公演 （2024年11月30日、NOS Bar&Dining 恵比寿） - あすか 役
朝フェス （2024年12月29日、NOS Bar&Dining 恵比寿） - あすか 役
2025年1月公演 （2025年1月26日、NOS Bar&Dining 恵比寿） - あすか 役
2025年2月公演 （2025年2月9日、NOS Bar&Dining 恵比寿） - あすか 役
2025年3月公演 （2025年3月9日、20日、NOS Bar&Dining 恵比寿） - あすか 役
恋と呼ぶには気持ち悪い - 瑠璃 役
東京公演 （2024年4月26日 - 5月5日、ヒューリックホール東京）
大阪公演 （2024年5月10日 - 12日、COOL JAPAN PARK OSAKA TTホール ）
出演 > ラジオ

小柳ゆき I'm Fun Area（2018年12月14日、エフエム富士）
春先取り！いちごトレイルラン in マザー牧場（2018年12月22日、かずさエフエム）
島ぜんぶでおーきな祭 第11回沖縄国際映画祭 お出かけ生放送（2019年4月21日、RBCiラジオ）
ミスマガ放課後RADIO!（2022年10月20日 - 2023年8月17日、渋谷クロスFM）
河口恭吾 ブートラジオ（2023年2月18日、ミュージックバード、エフエム世田谷他）
小塚アナの褒めタイム！（2023年4月11日、ラジオNIKKEI第1）
藤江れいなのRunChiba Time（2024年9月7日、21日、SKYWAVE FM）
DIGLOUNGE ～木原武藤の最近どう？～ 「interfm × ヤングガンガン 2025年新春特番 DIGLOUNGE ～木原武藤2025年の最近どう？ 新二十歳へ送る、おっさん的エールSP！～」（2025年1月2日、interfm）
出演 > インターネットテレビ

矢口真里の火曜The NIGHT #240【特別企画】ミスマガジン水着で大集合SP（2022年7月7日、AbemaTV）
出演 > WEB配信ドラマ

フラーハウス season3 10話（2017年12月22日、Netflix） - 原宿ガール 役
ショジョ恋。（2023年3月21日、フジテレビオンデマンド） - ユナ 役
出演 > その他WEB配信

マザーファームツアー（2016年8月8日、マザー牧場）
乗馬体験（2016年8月8日、マザー牧場）
Jinnan Style（2016年12月9日 - 2018年9月14日、itohcompany）
瑚々バレエレッスン（2017年9月11日、#チャンネル#イケてる#動画）
溝口恵のgirls!Showroom（Showroom）
#8（2017年9月18日）
#12（2018年11月3日）
X'masスペシャル（2018年12月24日）
【ハロウィン】心霊スポットに行ったら大変な目に合いました（2018年10月27日、itohcompany）
ZENSHIN-TIGHTS GIRLS ／ ZENSHIN-TIGHTS GIRLS & BOY（itohcompany）
Creature（生き物編）（2018年11月30日）
Stationery（文房具編）（2018年12月1日）
Vegetable（野菜編）（2018年12月4日）
Dinosaur（恐竜編）（2018年12月6日）
Sign（シンボル編）（2018年12月7日）
Sushi（寿司編）（2018年12月8日）
Special Edition（2018年12月11日）
Free Style（2018年12月14日）
Challenge （2018年12月15日）
日本の女子高生と原宿デートしてみたら超インスタ映え。（2018年12月4日、サンエン台湾）
日本のイマドキの子に3万円渡したら、どう使う？（2018年12月11日、サンエン台湾）
【祝】トレエン斎藤さんとペペペペア動画（2018年12月24日、itohcompany）
【リスペクト】アンジュルム キソクタダシクウツクシク（2019年3月22日、ITOH COMPANY PLUS）
ライブ 藍坊主ツイキャス #540333495（2019年4月24日、藍坊主）
BTS boy with LUV 踊ってみた（2019年8月2日、ITOH COMPANY PLUS）
【瑚々 15歳誕生日記念】映画「私たちは、」舞台挨拶スピンオフ企画『近畿の都道府県当てクイズ』（2019年8月7日、ITOH COMPANY PLUS）
【密着ドキュメント】映画「私たちは、」初日舞台挨拶&ケボーンダンス！（2019年8月9日、ITOH COMPANY PLUS）
岸田タツヤくんの後輩でケボーンダンス！（2019年8月10日、ケボーンダンス東映Official）
【都道府県クイズ】映画「私たちは、」舞台挨拶スピンオフ企画『東北の都道府県当てクイズ』（2019年8月12日、ITOH COMPANY PLUS）
大家族ヒーロー戦隊ファミリーズ（2019年11月8日、TOKU channel）
映画「私たちは、」（2020年7月31日 - 2020年11月30日、MIRAIL）
【ハロウィン】ハロウィンダンス！HALLOWEEN PARTY-プペル（2022年10月22日、そらちゃんねる）
ミスマガジン2023
エントリー〆切直前！スペシャル生配信（2023年1月19日、TikTok LIVE）
エントリー〆切直前！スペシャル生配信（2023年1月19日、Instagram LIVE）
ベスト16発表記念 YouTubeLive（2023年5月9日、ミスマガTV）
グランプリ発表イベント（2023年8月28日、SHOWROOM）
御礼生配信（2023年8月28日、SHOWROOM）
グランプリ発表記念特別生配信（2023年8月28日、ミスマガTV）
舞台「スターライドオーダー」本番目前インスタライブ（2023年9月14日、Instagram LIVE）
エモいショートムービー「恋の不良品」 - 主演・吉川小春 役
前編「恋の不良品」 オンライン先行視聴会＆オンライン舞台挨拶（2023年12月7日、vimeo）
前編「恋の不良品」（2023年12月15日、RANKU TV）
後編「小春日和に恋をした」 オンライン先行視聴会＆オンライン舞台挨拶（2024年1月11日、vimeo）
後編「小春日和に恋をした」（2024年1月19日、RANKU）
舞台「×××になれなくて」アーカイブ配信（2023年12月14日 - 2024年1月20日、カンフェティ）
出演 > MV

藍坊主『魔法以上が宿ってゆく』（2015年12月28日）
TSUKEMEN『時を超える絆』 - 汐里（中学生時代） 役
ショートムービー #1 （2019年6月30日）
ショートムービー #2 （2019年7月7日）
ショートムービー #3 （2019年7月14日）
ショートムービー #4 （2019年7月21日）
ショートムービー #5 （2019年7月28日）
徳永ゆうき『車輪の夢』（2020年7月15日）
水いらず『su-mu』（2021年11月26日）
出演 > 広告

マザー牧場イメージガール（2016年、2018年 - 2019年）
JR西日本 企業イメージCM「2017年度下期（第3期）」（2017年11月） - 女学生 役
全薬工業 WEB CM アロパノール「受験」篇（2018年12月）
出演 > イベント

イトーカンパニーグループ『ネクストヒロインオーディション 2015』最終審査（2015年8月23日、浅草六区ゆめまち劇場）
映画『レミングスの夏』
完成披露試写会（2016年10月8日、取手市民会館 大ホール）
舞台挨拶（2017年10月1日、ユーロライブ）
第3火曜はTOWERでSHOW!!
レギュラー開催（2017年4月 - 2017年12月、東京タワー大展望台1F Club333）
ファイナル（2017年12月23日、浅草六区ゆめまち劇場）
Xmas FAN MEETING 2017 ～especially for you～（2017年12月23日、浅草六区ゆめまち劇場）
マザー牧場
マザー牧場がやってくる！「羊の毛刈りショー」＆「マーモママとのじゃんけん大会」（2018年7月21日、ラゾーナ川崎プラザ 2Fルーファ広場 グランドステージ）
渡辺あゆ香ライブステージ／サマーナイトファーム花火点火式（2018年8月25日、マザー牧場）
いちごトレイルラン（2018年12月22日、マザー牧場）
マザー牧場が「ラゾーナ川崎プラザ」にやって来た！「うさモルタッチ」＆「渡辺あゆ香ライブステージ＆マザー牧場2019イメージガール」＆「マーモママとのじゃんけん大会」（2019年8月13日、ラゾーナ川崎プラザ 2Fルーファ広場 グランドステージ）
映画『私たちは、』
完成披露試写会・決起集会（2019年3月21日、TCC試写室・カラオケの鉄人 新橋店）
第11回 沖縄国際映画祭 ワールドプレミア上映（2019年4月20日、桜坂劇場ホールA）
第11回 沖縄国際映画祭 レッドカーペット（2019年4月21日、国際通り）
女子高生・女子大生限定試写会（2019年6月24日、渋谷某所）
先行披露試写会（2019年7月30日、ユーロライブ）
舞台挨拶（2019年8月3日、5日、7日、10日、11日、12日、K's cinema）
support surface Spring & Summer 2020 Collection（2019年9月10日、東京国立博物館 表慶館）
ショートムービープロジェクト「嘘の起源」『ホワイト ライ』
第15回 沖縄国際映画祭 ワールドプレミア上映（2023年4月15日、桜坂劇場ホールA）
第15回 沖縄国際映画祭 レッドカーペット（2023年4月16日、国際通り）
プレミアム先行上映イベント（2023年4月27日、TOHOシネマズ六本木ヒルズ）
舞台挨拶（2023年5月14日 - 19日、ユーロスペース）
映画『散歩屋ケンちゃん』
初日舞台挨拶（2023年7月7日、シネマ・ロサ）
DVD化記念特別コラボ企画（2024年1月20日、シネマ・ジャック&ベティ）
映画『さよならエリュマントス』
公開記念「ミスマガジン×都市対抗野球大会スペシャルコラボ」チアダンス生披露（2023年7月24日、東京ドーム）
公開記念イベント＂ウィー・アー・エリュマントス！＂（2023年7月27日、Club Mixa）
舞台挨拶（2023年8月11日、ヒューマントラストシネマ渋谷）
舞台挨拶（2023年8月11日 - 13日、31日、シネマート新宿）
舞台挨拶（2023年8月27日、kino cinéma 横浜みなとみらい）
舞台挨拶（2023年9月23日、kino cinéma 立川髙島屋S.C.館）
舞台挨拶（2023年10月28日、シネマテークたかさき）
舞台挨拶（2023年10月28日、30日、11月2日、アップリンク吉祥寺）
舞台挨拶（2023年12月17日、川越スカラ座）
舞台挨拶（2023年12月23日、深谷シネマ）
舞台挨拶（2024年1月21日、シネマスコーレ）
第4回 SAITAMAなんとか映画祭（2024年3月2日、RaiBoC HaII）
「さよならエリュマントス」Blu-ray発売記念&「代々木ジョニーの憂鬱な放課後」クランクイン直前トークライブ feat.ミスマガジン2022-2023（2024年8月15日、LOFT9 Shibuya）
ミスマガジン2022 Wグランプリ写真集発売記念イベント（2023年10月1日、HMV&BOOKS SHIBUYA）
映画『HEROINES』舞台挨拶（2024年4月6日、池袋HUMAXシネマズ）
出演 > その他

Saucy Dog 「It Re:ARENA TOUR 2023-2024」オープニングムービー （2023年11月18日 - 2024年3月31日）
書籍 > 写真集

瑚々 1st写真集 「new crop」（2023年9月27日、講談社、撮影：Takeo Dec.）ISBN 978-4-06533-368-6