stanford-oval/wikipedia huggingface dataset:
オーストラリアの空港の一覧
ビクトリア州（VIC）

| 都市   > メルボルン大都市圏 | ICAO   > メルボルン大都市圏 | IATA   > メルボルン大都市圏 | 空港   > メルボルン大都市圏 |
| --- | --- | --- | --- |
| エッセンドン・ノース | YMEN | MEB | エッセンドン空港 |
| Moorabbin | YMMB | MBW | Moorabbin 空港  |
| タルマリン | YMML | MEL | メルボルン空港  |
| アバロン | YAVV | AVV | アバロン空港  |
地方
| アララット | YARA | ARY | アララット空港 |
| ベアンズデイル | YBNS | BSJ | ベアンズデイル空港 |
| バララット | YBLT |   | バララット空港 |
| ベナラ | YBLA | BLN | ベナラ空港 |
| ベンディゴ | YBDG |   | ベンディゴ空港 |
| ブライト | YHOT | MHU | Mount Hotham 空港 |
| Corryong | YCRG | CYG | Corryong 空港 |
| エチューカ | YECH | ECH | エチューカ空港 |
| ハミルトン | YHML | HLT | ハミルトン空港 |
| Hopetoun | YHPN | HTU | Hopetoun 空港 |
| ホーシャム | YHSM | HSM | ホーシャム空港 |
| ケラング | YKER | KRA | ケラング空港 |
| リーオンガサ  | YLEG |   | リーオンガサ空港 |
| Mallacoota | YMCO | XMC | Mallacoota 空港 |
| Mangalore | YMNG |   | Mangalore 空港 |
| Maryborough | YMBU |   | Maryborough 空港 |
| メルトン |   |   | メルトン飛行場 |
| ミルデューラ | YMIA | MQL | ミルデューラ空港 |
| モーウェル | YLTV | LTB | ラトローブバレー空港 |
| ニル | YNHL |   | ニル空港 |
| オーボスト | YORB | RBS | オーボスト空港 |
| ポートランド | YPOD | PTJ | ポートランド空港 |
| ロビンベール | YROI | RBC | ロビンベール空港 |
| セール | YWSL | SXE | ウエストセール空港 |
| シェパートン | YSHT | SHT | シェパートン空港 |
| ストール | YSWL | SWC | ストール空港 |
| スワンヒル | YSWH | SWH | スワンヒル空港 |
| ワンガラッタ | YWGT | WGT | ワンガラッタ空港 |
| ウォラックナビール | YWKB | WKB | ウォラックナビール空港 |
| ウォーナンブール | YWBL |   | ウォーナンブール空港 |
| ヤラウォンガ | YYWG |   | ヤラウォンガ空港 |
西オーストラリア州（WA）

| 都市   > パース大都市圏 | ICAO   > パース大都市圏 | IATA   > パース大都市圏 | 空港   > パース大都市圏 |
| --- | --- | --- | --- |
| レッドクリフ | YPPH | PER | パース空港  |
| Jandakot | YPJT | JAD | Jandakot 空港  |
地方
| アルバニー | YABA | ALH | Albany 空港 |
| ブルーム | YBRM | BME | ブルーム国際空港 |
| バセルトン | YBLN | BQB | バセルトン地域空港  |
| カーナーボン | YCAR | CVQ | カーナーボン空港 |
| キュー | YCUE | CUY | キュー空港 |
| デナム | YSHK |   | シャークベイ空港 |
| ダービー | YCIN |   | カーティン空港 |
| ダービー | YDBY | DRB | ダービー空港 |
| エスペランス | YESP | EPR | エスペランス空港 |
| エクスマウス | YPLM | LEA | Learmonth 空港 |
| フィッツロイクロッシング | YFTZ | FIZ | フィッツロイクロッシング空港 |
| フォレスト | YFRT | FOS | フォレスト空港 |
| ジェラルトン | YGEL | GET | ジェラルトン空港 |
| ホールズクリーク | YHLC | HCQ | ホールズクリーク空港 |
| カルバリー | YKBR | KAX | カルバリー空港 |
| カルグーリー | YPKG | KGI | Kalgoorlie-Boulder 空港 |
| カラーサ | YPKA | KTA | カラーサ空港 |
| カナナラ | YPKU | KNX | カナナラ空港 |
| Laverton | YLTN |   | Laverton 空港 |
| Leinster | YLST | LER | Leinster 空港 |
| Leonora | YLEO | LNO | Leonora 空港 |
| ミーカサラ | YMEK | MKR | ミーカサラ空港 |
| Mount Keith | YMNE | WME | Mount Keith 空港 |
| マウントマグネット | YMOG | MMG | マウントマグネット空港 |
| ニューマン | YNWN | ZNE | ニューマン空港 |
| オンスロウ | YOLW |   | オンスロウ空港 |
| パラバドゥー | YPBO | PBO | パラバドゥー空港 |
| ポートヘッドランド | YPPD | PHE | ポートヘドランド国際空港 |
| ロットネスト島 | YRTI | RTS | ロットネスト島空港 |
| ウィルナ | YWLU | WUN | ウィルナ空港 |
| ウィンダム | YWYM |   | ウィンダム空港 |
他の領土

| 都市 | ICAO | IATA | 空港 | 一覧 |
| --- | --- | --- | --- | --- |
| クリスマス島 | YPXM | XCH | クリスマス島空港 | クリスマス島の空港の一覧 |
| ココス諸島 | YPCC | CCK | ココス島国際空港 | ココス諸島の空港の一覧 |
| ノーフォーク島 | YSNF | NLK | ノーフォーク島空港 | ノーフォーク島の空港の一覧 |
軍空港

| 都市   > 空軍 | ICAO   > 空軍 | IATA   > 空軍 | 空港   > 空軍 |
| --- | --- | --- | --- |
| 西オーストラリア州Bullsbrook | YPEA |   | RAAF Base Pearce |
| 北部準州ダーウィン | YPDN |   | RAAF Base Darwin（joint use） |
| 西オーストラリア州ダービー | YCIN |   | RAAF Curtin（joint use） |
| 西オーストラリア州エクスマウス | YPLM | LEA | RAAF Learmonth（joint use） |
| 西オーストラリア州Gingin | YGIN |   | RAAF Gingin |
| ニューサウスウェールズ州Glenbrook | YGNB |   | RAAF Glenbrook（ヘリ専用） |
| クイーンズランド州イプスウィッチ | YAMB |   | RAAF Base Amberley |
| 北部準州キャサリン | YPTN |   | RAAF Base Tindal |
| ニューサウスウェールズ州ニューカッスル | YWLM | NTL | RAAF Base Williamtown |
| ビクトリア州ポイントクック | YPCK |   | RAAF Base Williams |
| ニューサウスウェールズ州リッチモンド | YSRI |   | RAAF Base Richmond |
| ビクトリア州セール | YMES | SXE | RAAF Base East Sale |
| 南オーストラリア州ソルズベリー | YPED |   | RAAF Base Edinburgh |
| クィーンズランド州タウンズビル | YBTL |   | RAAF Base Townsville（joint use） |
| クィーンズランド州ウェイパ | YBSG |   | RAAF Base Scherger |
| 南オーストラリア州ウーメラ | YPWR |   | ウーメラ飛行場 |
陸軍
| クイーンズランド州Enoggera | YENO |   | Enoggera Barracks |
| ニューサウスウェールズ州Holsworthy | YSHW |   | Holsworthy Barracks |
| クイーンズランド州Oakey | YBOK |   | Oakey Army Aviation Centre |
| 北部準州パーマストン | TBA |   | Robertson Barracks |
| クイーンズランド州ロックハンプトン | YWIS |   | ウィリアムソン飛行場 |
| ニューサウスウェールズ州シングルトン | YDOC |   | Dochra 飛行場 |
| クイーンズランド州タウンズビル | YLVK |   | Lavarack Barracks |
海軍
| 西オーストラリア州ガーデン島 | YGAD |   | HMAS Stirling |
| ジャービス湾特別地域 | YJBY |   | ジャービス湾空港 |
| ニューサウスウェールズ州ナウラ | YSNW | NOA | HMAS Albatross |
G550

G550
ガルフストリーム G550 - ガルフストリーム社のビジネスジェット(プライベートジェット)。
MGA-G550 - マトロックス社が製造していたグラフィックチップ。
WISH (I WiSHのアルバム)

『WISH』（ウィッシュ）は、I WiSHの2枚目のオリジナルアルバム。
解説

このアルバムをもってI WiSHは解散、2人はそれぞれの道を歩むことになった。
収録曲

キミと僕
4thシングル。テレビ東京系アニメ『SDガンダムフォース』エンディングテーマ曲。
いい日旅立ち
日本国有鉄道（国鉄）が行っていた旅行誘致キャンペーン、及びそのキャンペーンソングの「いい日旅立ち」のカバー。
Best Friend
夏の幻
幸せのうた
約束の日
3rdシングル。
15の夏
SHA-LA-LA
I wish
Precious days
5thシングル。
| 表 話  歴I WiSH |
| --- | --- |
 ai (Vocal&Piano) | nao (Keyboard)
シングル:  1.明日への扉 - 2.ふたつ星 - 3.約束の日 - 4.キミと僕 - 5.Precious days - 6.LOVE SONGS 4 YOU 
オリジナルアルバム:  伝えたい言葉 〜涙のおちる場所〜 - WISH 
ベストアルバム:  BEST WiSHES - The Complete Collection of I WiSH
バリャドリッド大学

| --- | --- |
 Universidad de Valladolid
 大学の紋章 UVaスペイン内での位置
モットー:  Sapientia Aedificavit Sibi Domvm (Knowledge built its house)
種別:  公立大学
設立年:  1241年
学長:  Marcos Sacristán Represa
学生総数:  31,780人
所在地:   スペイン カスティーリャ・イ・レオン州バリャドリッド 北緯41度39分08秒 西経4度43分17秒﻿ / ﻿北緯41.65222度 西経4.72139度﻿ / 41.65222; -4.72139座標: 北緯41度39分08秒 西経4度43分17秒﻿ / ﻿北緯41.65222度 西経4.72139度﻿ / 41.65222; -4.72139
キャンパス:  バリャドリッド、パレンシア、ソリア、セゴビア
公式サイト:  www.uva.es
 
テンプレートを表示
バリャドリッド大学（スペイン語: Universidad de Valladolid、略称：UVa）は、スペイン・カスティーリャ・イ・レオン州バリャドリッド県バリャドリッドに本部を置く公立大学。1241年創立の中世大学であり、世界有数の歴史を持つ大学である。キャンパスはバリャドリッドのほか、パレンシア県パレンシア、ソリア県ソリア、セゴビア県セゴビアにもある。約2万6000人の学部生、約2300人の教員が在籍している。
歴史

1208年から1212年まで、カスティーリャ王アルフォンソ13世によって設立されたパレンシア大学があった。パレンシア大学が閉鎖された後、1241年にバリャドリッド大学が設立された。
学部

ウエルタ・デル・レイ・キャンパス、中央キャンパス、リオ・エスゲバ・キャンパスに分かれている。
理学部
経済学・経営学部
法学部
教育学・社会労働学部
哲学・文学部
医学部
労働科学部
翻訳・通訳学部
社会科学・司法・コミュニケーション科学部
CLOVA WAVE

| --- | --- |
 
 
開発元:  LINE
製造元:  中国
種別:  スマートデバイス、音声コマンドデバイス、ワイヤレススピーカー
発売日:  2017年10月5日
標準価格:  正式版 1万4000円 (税込) 先行体験版 1万円 (税込)
OS:  Android 5.0以上 iOS 11.0以上
CPU:  クアルコム APQ8009
入力機器:  音声認識
外部接続:  WiFi、Bluetooth、赤外線
電源:  12V / 2.1A
サイズ:  86.25×139.84×201.05mm
重量:  998g
関連商品:  CLOVA Desk CLOVA Friends CLOVA Friends mini
ウェブサイト:  https://clova.line.me/wave/
CLOVA WAVE（クローバ・ウェーブ）は、AIアシスタント「LINE CLOVA」を搭載したスマートスピーカーである。音声操作によるLINEメッセージの読み上げや返信、LINE MUSICが提供する4000万曲に及ぶ楽曲の再生などが利用可能である。対応言語は日本語と朝鮮語。
2017年7月に機能が限定された先行体験版の予約受付が開始され、2017年10月5日に正式版が発売開始された。先行体験版は正式版の発売に合わせてアップデートされ、正式版と同様の機能が使えると発表された。
CLOVA Friends

CLOVA Friends（クローバ・フレンズ）、CLOVA Friends mini（クローバ・フレンズ・ミニ）は、LINE FRIENDSのキャラクターをモチーフとしたスマートスピーカーである。CLOVA Friendsは2017年12月14日に税込8640円で発売された。CLOVA Friendsは378g、CLOVA Friends miniは258gと、WAVEより軽量の仕様となっているが、赤外線による家電操作機能が省かれている。
シェイピング法

シェイピング法（シェイピングほう）とは、目的とする行動の変化（増加・減少）にたどり着くために、その方向で少しやりやすい変化をもたらす所から始め、徐々に目的に近づけて行くやり方。逐次接近法ともいう。バラス・スキナーによって開発された。
シェイピング法はオペラント条件づけにおいて、偶然の反応の生起（オペラント水準）が低い行動を形成するために行われる強化と消去を組み合わせた訓練法である。訓練対象となる生体の自発的な反応の中で生起頻度が高く目的（スキナー箱ではレバー押し）に適った反応を選び、報酬を充分に与えてその反応を強化する。次に、生起頻度が高まったところで強化を中止し消去する。消去を受けた生体は、強化されていた反応と似た反応をいろいろと行うようになり、反応のレパートリーを増やす。増えた反応の中で、今までの反応に近い反応のみを選び、強化・消去を行う。この訓練を繰り返すことで、目的とする行動を身に付けさせることができる。
行動療法では、患者に必要な目標行動の生起頻度が低い場合にシェイピング法が行われる。臨床場面におけるシェイピング法は、反応を生起させる手がかりを与えるプロンプティングと、反応の頻度の高まりと共に手がかりを撤去するフェイディングが併用されることが多い。
納雍

納雍（のうよう）
納雍県 - 中国貴州省畢節市の県。
納雍郷（中国語版） - 中国貴州省畢節市織金県の郷。
L5協会

| --- | --- |
   名称の由来であるラグランジュ点（地球-月系）の概念図
創立者:  キャロリン・メイネル（英語版） キース・ヘンソン（英語版）
団体種類:  NPO
設立:  1975年
解散:  1986年（米国宇宙協会（英語版）に統合）
活動地域:   アメリカ合衆国
主眼:  宇宙移民の推進
会員数:  1万人（1986年）
テンプレートを表示
L5協会 (L5 Society) とは、ジェラード・K・オニールの宇宙移民のアイデアを広めるべく、1975年にキャロリン・メイネル（英語版）とキース・ヘンソン（英語版）により設立された団体である。1986年に米国宇宙協会（英語版）へと統合された。
名称の由来

その名称はオニールが描いた巨大な回転するスペースコロニーを設置する場所として候補にあがっている L4 および L5 のラグランジュ点から来ている。L4/L5 は地球と月から同じ距離で月の軌道上にある重力的に安定した地点である。L5（またはL4）に置かれた物体は、燃料を消費せずにその場に留まり続けることができる。一方、L1/L2/L3 は完全に安定ではなく、その場に留まるには燃料を消費する。
歴史 > L5協会の設立

1974年9月、オニールは Physics Today誌に最初の論文 The Colonization of Space を発表した。後にL5協会の主導的メンバーとなる人々がこの論文の考え方に影響を受けたのである。その中にアリゾナ州ツーソンに住むキース・ヘンソンとキャロリン・メイネルもいた。彼らはオニールと文通し、オニールが主催した 1975年の Princeton Conference on Space Manufacturing Facilities という会議で論文 "Closed Ecosystems of High Agricultural Yield"（高農業生産性の閉鎖生態系）を発表するよう要請された。
この会議で、オニールはピーター・グレイザーの太陽光発電衛星というアイデアと自身のスペースコロニーのコンセプトを結合した。
ヘンソンらは1975年8月にL5協会を設立し、9月には最初の4ページのニューズレターを上記会議で登録した人々とオニールのメーリングリスト参加者に送付した。その中には後に大統領候補となった Morris Udall からの応援の手紙も入っており、「我々の最終目標は協会の全体集会を L5 で開催することだ」と書いてあった。
歴史 > 月協定の否決と米国宇宙協会への統合

L5協会の影響のピークは1980年の合衆国上院での月協定の否決までだった。これは、ワシントンの法律家/ロビイスト Leigh Ratiner の活動によるもので、彼は後にインスローの事件にからんで法律事務所から追い出された。
経済的分析によればスペースコロニーには利点があるとされたものの、政治経済の短期的視野においては、宇宙までの輸送コストが例えばモルモン開拓者のコロニーなどに比較して1万倍にもなるという事実によって支持を失ったのである。
1986年、協会の会員数は1万人に成長していたが、2万5千人の会員を有する米国宇宙研究所（英語版）と合併した。米国宇宙研究所はアポロ計画などで知られるロケット工学者ヴェルナー・フォン・ブラウンが創設した組織である。合併後は米国宇宙協会（英語版）と改称している。
影響

L5協会は宇宙移民という目標を達成できなかったが、同好の士が集まるシェリングポイントとしての役割を果たし、そこから後にナノテクノロジー、ミーム学、Extropianism、人体冷凍保存、トランスヒューマニズム、人工知能、テザー推進などの分野で活躍する人々を輩出した。例えば、K・エリック・ドレクスラー、ロバート・L・フォワード、ハンス・モラベックなどが有名である。
1990年代後半、かつてL5協会で活躍した人々は、スペースコロニーや本格的な人類の宇宙での活動は技術的特異点以前にはあり得ないだろうという見解でほぼ一致している。彼らの多くはその機会に恵まれないことを残念に思っている。それは単に宇宙での太陽エネルギー利用が緊急の世界的問題への対策となるということだけが理由ではない。
L5 News

L5 News は L5協会がスペースコロニー開発や関連する事柄についてレポートしたニューズレターであった。L5 News は 1975年9月から 1987年4月まで発行された。National Space Institute との合併後、米国宇宙協会が機関誌 Ad Astra を発行している。
オニールが提案したシリンダー型スペースコロニー
スタンフォード・トーラス型スペースコロニー
カルベオールデヒドロゲナーゼ

カルベオールデヒドロゲナーゼ（carveol dehydrogenase）は、次の化学反応を触媒する酸化還元酵素である。
反応式の通り、この酵素の基質は(-)-trans-カルベオールとNADP+、生成物は(-)-カルボンとNADPHとH+である。
組織名は(-)-trans-carveol:NADP+ oxidoreductaseで、別名に(-)-trans-carveol dehydrogenaseがある。
茨城カントリークラブ事件

茨城カントリークラブ事件（いばらきカントリークラブじけん）とは日本の詐欺事件。略称は茨城CC事件。
概要

茨城県高萩市のゴルフ場「茨城カントリークラブ」の開発会社、常陸観光開発がゴルフ会員権を2830名限定と偽って募集し、実際には5万2000人以上もの会員から金銭を集めて、約1000億円の資金を関連会社に横流しした事件。
1991年7月に、国税庁東京国税局がゴルフ会員権販売代理店を脱税容疑で捜査し、そこで押収した帳簿書類から会員権乱売の事実が発覚。ゴルフ場「茨城カントリークラブ」は完成することなく、開発会社は倒産した。
事件の中心人物は、144億円の所得を隠匿して57億5000万円の法人税を脱税したとして、法人税法違反で逮捕され、懲役11年罰金7億円の有罪判決が言い渡された。
この事件がきっかけとなって、ゴルフ会員権の乱売を抑制するゴルフ会員契約等適正化法が成立した。
事件後、破産管財人が入り、会員権購入者に対し数万円程度の配当が支払われた。ゴルフ場建設予定地は、2003年7月に売却されゴルフ場として利用されることはなかったが、ゴルフ場故の広い敷地を利用した自然をテーマとしたリゾートホテルとなった。
池田幸美

池田 幸美（いけだ ゆきみ、1978年12月22日 - ）は、福井県出身で群馬県在住の元競艇選手。登録番号3962。身長158cm。血液型O型。82期。夫に競艇選手の毒島誠（登録番号4238）、師匠に武田光史（登録番号3654）、同期に赤岩善生、坪井康晴、菊地孝平らがいる。
来歴

1998年5月14日、三国競艇場でデビュー（4着）。
2004年12月6日、宮島競艇場での女子リーグ第20戦で初優出（4着）。
2009年11月25日、芦屋競艇場での「第4回マリンテラスあしやカップ 〜三つ巴戦〜」を最後に引退（節間成績564665331）。
戦績

出走回数：1775回
1着回数：150回
優出回数：4回
優勝回数：0回
フライング(F)回数：12回
出遅れ(L)回数：1回
通算勝率：3.93
2連対率：19.61
3連対率：32.23
生涯獲得賞金：101,833,800円
ザ・パークハウス

ザ・パークハウス（The Parkhouse）とは、三菱地所レジデンスが展開する分譲マンションブランド。
分譲後のマンション管理はグループ会社の三菱地所コミュニティが担う。供給エリアは、北海道・東北・首都圏・中部・近畿・中国・福岡。
概要

1969年（昭和44年）5月、第1号物件「赤坂パークハウス」分譲開始
2013年には、都心の一等地でフラグシップとなる高級マンション『ザ・パークハウス グラン』（The Parkhouse Gran）を加え、近年では都心部の賃貸マンション（ザ・パークハビオ、The Parkhabio）、分譲戸建（ザ・パークハウス ステージ、The Parkhouse Stage）、投資用コンパクト分譲マンション（ザ・パークワンズ） 、一棟リノベーション分譲マンション（ザ・パークリモア）も展開する。
主なマンション

ザ・パークハウス晴海タワーズ
KACHIDOKI THE TOWER
ザ・パークハウス西新宿タワー60
ザ・パークハウス新宿タワー
ザ・パークハウス中之島タワー
主なマンション > 2022年以降

ザ・パークハウス 御苑内藤町
ザ・パークハウス 所沢レジデンス
ザ・パークハウス 板橋大山大楠ノ杜
ザ・パークハウス 十条
ザ・パークハウス 石神井公園テラス
猿江恩賜公園レジデンス
ザ・パークハウス アーバンス 早稲田
ザ・パークハウス 大宮吉敷町翠邸
ザ・パークハウス 川越タワー
ザ・パークハウス 府中
ザ・パークハウス 新浦安マリンヴィラ サニープラザ・カームプラザ
リビオタワー羽沢横浜国大
CM出演者

黒木華
紀元前471年

| --- | --- |
世紀:  前6世紀 - 前5世紀 - 前4世紀
十年紀:  前490年代 前480年代  前470年代  前460年代 前450年代
年:  前474年 前473年 前472年  紀元前471年 前470年 前469年 前468年
紀元前471年（きげんぜん471ねん）は、ローマ暦の年である。
当時は、「サビヌスとバルバトゥスが共和政ローマ執政官に就任した年」として知られていた（もしくは、それほど使われてはいないが、ローマ建国紀元283年）。紀年法として西暦（キリスト紀元）がヨーロッパで広く普及した中世時代初期以降、この年は紀元前471年と表記されるのが一般的となった。
他の紀年法

干支 : 庚午
日本
皇紀190年
孝昭天皇5年
中国
周 - 元王6年
秦 - 厲共公6年
晋 - 出公4年
楚 - 恵王18年
斉 - 平公10年
燕 - 孝公27年
趙 - 襄子5年
朝鮮
檀紀1863年
ベトナム :
仏滅紀元 : 74年
ユダヤ暦 : 3290年 - 3291年
できごと > ギリシア

アテナイの政治家テミストクレスは、自身の横柄さと賄賂の疑惑により、市民の信頼を失った。その結果、彼は陶片追放され、アルゴスに隠居した。
マグナ・グラエキアにピクスンテ植民地が建設された。
できごと > 中国

魯の哀公が越を訪問した。
誕生

「Category:紀元前471年生」も参照
死去

「Category:紀元前471年没」も参照
ザクセンの貴婦人の肖像

| --- | --- |
フランス語: Portrait d'une noble dame saxonne 英語: Portrait of a Saxon Noblewoman

作者: ルーカス・クラナッハ (父)
製作年: 1534年
種類: 板上に油彩
寸法: 53 cm × 37.5 cm (21 in × 14.8 in)
所蔵: リヨン美術館
『ザクセンの貴婦人の肖像』（ザクセンのきふじんのしょうぞう、仏: Portrait d'une noble dame saxonne、英: Portrait of a Saxon Noblewoman）は、ドイツ・ルネサンス期の画家ルーカス・クラナッハ (父) が1534年に板上に油彩で描いた絵画である。1534年の年記が画面下部左端に見える。モデルの女性は不明とされるが、ザクセン公女マリア (1515-1583年) と提唱されたこともある。作品は1892年以来、リヨン美術館に所蔵されている。なお、本作と同年に描かれた別ヴァージョンが、ダルムシュタットのヘッセン州立博物館（英語版）に収められている。
作品

絵画は、豪華に着飾り、画家にポーズを取っている女性を表している。彼女の正確な素性は不明であるが、宝石を豊富に身に着けていることは既婚の高位の女性であることを示唆しているようである。彼女の髪の毛には謎めいた「W」の文字がついているが、一方で彼女のペンダントにはヨハン・フリードリヒ (ザクセン選帝侯) の肖像が見える。このヨハンの肖像から、この絵画は本来、エルネスティン系ヴェッティン家のものであったと考えられる。1942年に、美術史家E. ハインリヒ・ツィーマン (Heinrich Ziemann) は、本作の若々しい夫人をザクセン公女マリアと同定することを提案した。マリアはヨハンと彼の2番目の妻アンハルト・フォン・マルガレーテの娘にあたる。
ダルムシュタットのヘッセン州立博物館にある別ヴァージョンでは、女性は本作のように鑑賞者を見つめるのではなく、画面の左外を向くものに変更されている。このことは、その視線の先にもう1つの別の絵画、すなわち彼女の夫の肖像画が配置されることを示唆しており、本作とヘッセン州立博物館の絵画の女性が既婚者であることを裏付ける。
女性の服装は、当時の洗練された宮廷モードを表したものである。クラナッハは、膨らんだ袖に施された丸みのある切れ込み、ネックレス、髪飾り、コルセットの結び目、立ち襟などの彼女の身なりに入念な注意を払いながら、それらを造形要素に高めている。すなわち、それら身なりの装飾的細部は、固有の表現価値を備えた線描の戯れへと発展させられている。
女性は腰の位置で手を握りしめ、胸はやや左側を向いているが、彼女の身体や顔のモデリングは装飾作用に寄与すべく、彫塑的な三次元性を減じている。クラナッハの絵画にしばしば見られるように衣服の色数は限定されている。本作で、色彩は黒色とオレンジ色のコントラストをなし、黒色とオレンジ色は背景の明るい青色ともコントラストをなしている一方、やはり色彩は三次元性を抑制されている。
作品に見られる、このような抽象化、あるいは縮約された造形言語は、20世紀絵画の巨匠パブロ・ピカソを感嘆せしめた。この絵画は、さらにピカソのリトグラフ『クラナッハにもとづく若い女性の肖像』にも刺激を与えたと思われる。
ルーカス・クラナッハ 『ザクセンの貴婦人の肖像』(1532年)、ヘッセン州立博物館（英語版）
DIAS

DIAS
ダブリン高等研究所（英: Dublin Institute for Advanced Studies）の略称。
週刊ディアス - 光文社が発行していた週刊誌。
月花霧幻譚〜TORICO〜

| --- | --- |
ジャンル:  アドベンチャーゲーム
対応機種:  セガサターン
開発元:  システムサコム
発売元:   セガ・エンタープライゼス  アトラス  SEGA
プロデューサー:  山田辰夫、吉永匠
ディレクター:  丸濱博之
音楽:  野見祐二
シリーズ:  夢見館の物語シリーズ
人数:  1人
メディア:  CD-ROM(2枚組)
発売日:   1996年6月28日 (1996-06-28)  1997年5月31日 (1997-05-31)  1997年3月27日 (1997-03-27)
対象年齢:   全年齢  K-A(ESRB)  3+(ELSPA)
デバイス:  パワーメモリー対応
その他:  型式： GS-9056  T-14403H  MK81053-50
テンプレートを表示
『月花霧幻譚〜TORICO〜』（げっかむげんたん とりこ）は、1996年6月28日にセガ・エンタープライゼスより発売されたセガサターン用ソフトである。ジャンルはアドベンチャーゲーム。
北米にて『LUNACY』（ルナシー）、欧州では『TORICO』（トリコ）のタイトルで発売された。
概要

1993年に発売され人気を博したメガCD用ソフト『夢見館の物語』、1994年に発売されたセガサターン用アドベンチャーゲーム『真説・夢見館 扉の奥に誰かが…』に続くシリーズ三作目。外伝的な位置づけの作品であり、旧作の登場人物の多くや舞台となった狩人の館は登場せず、前二作とストーリーの関連は薄い。シリーズ中の時間軸上では第一作目より前の時代の物語にあたる。
3Dポリゴンで描かれた街を移動し、情報を集め「月の街」への道を探索するゲームである。メディアのCD-ROMは2枚組で、現世を舞台とした凶兆編と、異世界を舞台とした崩壊編に分かれている。プレーヤーの行動によってゲームの内容が異なるマルチエンディング機能を搭載している。
ストーリー

4年前に記憶を失ってしまった主人公・フレッドは、過去の自分を知る人を探して旅をしていた。
ところが立ち寄った「霧の街」で、よそ者というだけで牢屋に入れられてしまう。
同じ牢屋で知り合ったアントニーの手助けで牢屋を脱出し街から逃げ出そうとするが、あえなく捕らえられ、街の有力者であるゴードンの前へと突き出される。
ゴードンは、フレッドの額にある紋章が、街に伝わる「不老不死の都 月の街」の伝説と関係があるのではという。伝説では「月の街」へ行けばどんな願いでも叶い、そこから現世に戻ろうとすると、額に紋章が描かれ記憶は失われるといい、そして、この街にその「月の街」へと続く道が存在するという。
ゴードンはフレッドにその道を探すことを命じ、もし探せなかった場合には命は無いと脅す。
スタッフ

原案・協力：竹本健治
企画：土屋佳緒里
絵コンテ：祝浩司
作曲：鈴木日出男、神保直明
音響：玉田佳央子、井上雅晴
プログラム：谷川健一、古幡真一
映像：武田則子、岡村光、高見典宏、渡辺真理
録音制作：株式会社 AUDIO・タナカ
オープニング・エンディングミュージック：野見祐二
スーパーバイザー：伊佐弘、マーク・フリント、佐藤浩一
プロデューサー：山田辰夫、吉永匠
監督：丸濱博之
マニュアル：三井弘幸、竹林勇人、中里治
製作：株式会社セガ・エンタープライゼス
評価

ゲーム誌『ファミ通』の「クロスレビュー」では浜村通信 / 水ピン / 渡辺美紀 / 羽田隆之の各レビュワーにより8 / 6 / 7 / 8点の合計29点（満40点）を獲得した。
ゲーム誌『SATURN FAN』の読者投票による「ゲーム通信簿」での評価は21.8点（満30点）となっている。
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 項目 | キャラクタ | 音楽 | お買得度 | 操作性 | 熱中度 | オリジナリティ | 総合 |
| 得点 | 4.0 | 3.8 | 3.4 | 3.3 | 3.6 | 3.6 | 21.8 |
ゲーム誌『セガサターンマガジン』の読者投票による「読者レース」での最終評点・順位は、7.9678点（満10点）で945タイトル中403位である。
DJシリーズ

| D・Jシリーズ |
| --- | --- |
ジャンル: 少女漫画、コメディ
漫画
作者: 山下友美
出版社: 白泉社
レーベル: 花とゆめコミックス
発表期間: 1990年 - 1993年
巻数: 全3巻
話数: 13話
テンプレート - ノート
プロジェクト: 漫画
ポータル: 漫画
『D・Jシリーズ』（ディージェイシリーズ）は、山下友美の漫画。
概要

アメリカの単営ラジオ放送局「KTUN」で深夜番組を担当する若手D・J、ドナルド・ウォーカーを中心に繰り広げる人情味あふれるライトコメディー。1992年から1993年にかけて発表された3作品については単行本未収録の状態が長年続いていたが、白泉社は2021年、描き下ろし新作と合わせたシリーズ第4巻「ラスト・ギャンブル」として電子書籍の配信を開始した。
また2020年には『ホラー シルキー』（白泉社）でブラッド・スリングを主人公とする新シリーズ『ゴーストD・J』が発表された。
シリーズ一覧

白泉社〈花とゆめコミックス〉刊行。
シリーズ一覧 > モンスターD・J

コミックス1巻目。1991年6月25日発行。ISBN 978-4592125662
The Monster D.J（1990年花とゆめ12号掲載）
追憶のメロディー（1990年花とゆめ17号掲載）
SHOUT!（1990年花とゆめ22号掲載）
招かれざる客（1991年花とゆめ1号掲載）
Mr.D.Jの伝説（1989年花ゆめEPO11月号掲載）
シリーズ一覧 > 真夜中のストレンジャー

コミックス2巻目。1991年11月25日発行。ISBN 978-4592125730
真夜中のストレンジャー（1991年花とゆめ5 - 6号掲載）
OH! FATHER（1991年花とゆめ11号掲載）
OH! MOTHER（1991年花とゆめ15号掲載）
STARS WAY HOME（1990年花とゆめPLANET7月1日号掲載）
シリーズ一覧 > 憧れのアメリカンD・J

コミックス3巻目。1992年6月25日発行。作者デビュー作「鬼棲む町」を併録。ISBN 978-4592125938
憧れのアメリカンD.J（1991年花とゆめ19号掲載）
Say! Say! Say!（1992年花とゆめ2 - 5号掲載）
鬼棲む町（1989年花とゆめFRESH増刊掲載）
シリーズ一覧 > ラスト・ギャンブル

コミックス4巻目。2021年2月17日配信。電子書籍版（白泉社e-net!ほか）。
OH! BROTHER（1993年花とゆめPLANET増刊7月号掲載）
TABOO（1992年花とゆめ9号掲載）
ラスト・ギャンブル（1992年花とゆめ14号掲載）
Get Me to the Studio on Time ～時間通りにスタジオへ～（描き下ろしおまけマンガ）
ブルーノ・キューシェ

| ブルーノ・キューシェ Bruno Cuche |
| --- | --- |
生誕:   (1948-04-13) 1948年4月13日（76歳）  連合国軍占領下のドイツ・コンスタンツ
所属組織:  フランス陸軍
軍歴:  1968 -2008
最終階級:  陸軍大将
指揮:  陸軍参謀総長 サンシール・コエキダン士官学校長 第2機甲師団長 第501戦車連隊長
戦闘:  コソボ紛争
テンプレートを表示
ブルーノ・キューシュ（Bruno Cuche、1948年4月13日 - ）は、フランスの陸軍軍人。陸軍参謀総長。陸軍大将（軍将軍）。
略歴

1968年9月：サンシール陸軍士官学校卒業
1970年：騎兵学校にて教育を受ける
1971年：中尉に昇進
1975年7月：ソミュールに所在する上級騎兵学校に入校
1976年1月：大尉に昇進
1977年8月：オルレアンに駐屯する第2驃騎兵連隊に配属される
1979年：第501戦車連隊に配属される
1981年：イギリスボービントンにある王立機甲学校に留学
1982年7月：少佐に昇進
1984年8月：カナダトロントにある指揮幕僚学校に留学（1985年6月まで）
1986年7月：中佐に昇進
1989年：機甲騎兵科の訓練官を務める
1990年12月：大佐に昇進
1992年：ランブイエに駐屯する第501戦車連隊連隊長に就任する
1996年：国防大臣秘書官となる
1998年：少将に昇進。第2機甲師団長に就任する
1999年：コソボ紛争に派遣される
2000年：サンシール・コエキダン士官学校長となる
2001年：中将に昇進
2006年7月16日：陸軍参謀総長に昇進
2008年7月2日:同年6月29日にカルカソンヌで発生した公開展示訓練中の誤射事件をうけて辞任した。後任には、エルリック・イラストザ参謀次長が暫定的に業務を引き継ぐ。
| 0 | 1 | 2 |
| --- | --- | --- |
| 先代ベルナール・トレ | フランス陸軍参謀総長2006年 - 2008年 | 次代エルリック・イラストザ |
| 典拠管理データベース  |
| --- | --- |
全般:  ISNI  VIAF  WorldCat 
国立図書館:  フランス  BnF data  ドイツ  アメリカ 
その他:  IdRef
デソト郡 (フロリダ州)

デソト郡（デソトぐん、英: DeSoto County）は、アメリカ合衆国フロリダ州のフロリダ半島中央部に位置する郡である。2010年国勢調査での人口は34,862人であり、2000年の32,209人から8.2%増加した。郡庁所在地はアーカディア市（人口7,637人）であり、同郡で人口最大の都市でもある。
デソト郡はアーカディア小都市圏を構成している。
歴史

デソト郡は1887年に設立された。郡名はスペイン人探検家エルナンド・デ・ソトに因んで名付けられており、州内のヘルナンド郡も同様である。
当初の領域は現在ある他の幾つかの郡も含んでいたが、1921年、州議会がシャーロット郡、グレーズ郡、ハーディ郡、ハイランズ郡を創設して小さくなった。
第二次世界大戦中、デソト郡はカールストローム陸軍航空基地を運営しており、アメリカ人とイギリス人パイロットの訓練を行った。この基地での訓練中に23人のイギリス人パイロットが亡くなり、アーカディアの町にあるデソト郡のオークリッジ墓地に埋葬されている。1945年、この基地から最後の訓練生を送り出して、任務を終えた。その後フロリダ州に1ドルで売却され、G・ピアース・ウッド記念病院と呼ばれる精神病院になった。さらにその後非行少年の矯正施設に転換された。
2004年8月13日、ハリケーン・チャーリーがデソト郡の頭上を通過した。暴風が1時間も持続し、多くの建物に被害を与え、全壊したものも多かった。
地理

アメリカ合衆国国勢調査局に拠れば、郡域全面積は639.50平方マイル (1,656.3 km2)であり、このうち陸地637.27平方マイル (1,650.5 km2)、水域は2.23平方マイル (5.8 km2)で水域率は0.35%である。
地理 > 隣接する郡

ハーディ郡 - 北
ハイランズ郡 - 東
グレーズ郡 - 南東
シャーロット郡 - 南
サラソータ郡 - 西
マナティ郡 - 北西
| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
|  | マナティ郡 | ハーディ郡 |  |  |
|  | サラソータ郡 |  | ハイランズ郡 |  |
|  | サラソータ郡 |    デソト郡    | ハイランズ郡 |  |
|  | サラソータ郡 |  | ハイランズ郡 |  |
|  |  | シャーロット郡 | グレーズ郡 |  |
人口動態

| 人口推移> 年 | 人口推移> 人口 | 人口推移>  | 人口推移> %± |
| --- | --- | --- | --- |
| 1890 | 4,944 |  | — |
| 1900 | 8,047 |  | 62.8% |
| 1910 | 14,200 |  | 76.5% |
| 1920 | 25,434 |  | 79.1% |
| 1930 | 7,745 |  | −69.5% |
| 1940 | 7,792 |  | 0.6% |
| 1950 | 9,242 |  | 18.6% |
| 1960 | 11,683 |  | 26.4% |
| 1970 | 13,060 |  | 11.8% |
| 1980 | 19,039 |  | 45.8% |
| 1990 | 23,865 |  | 25.3% |
| 2000 | 32,209 |  | 35.0% |
| 2010 | 34,862 |  | 8.2% |

以下は2000年の国勢調査による人口統計データである。
| 0 | 1 | 2 |
| --- | --- | --- |
|  基礎データ 人口: 32,209人  世帯数: 10,746 世帯  家族数: 7,672 家族  人口密度: 20人/km2（50人/mi2）  住居数: 13,608軒  住居密度: 8軒/km2（21軒/mi2） 人種別人口構成 白人: 73.33%  アフリカン・アメリカン: 12.72%  ネイティブ・アメリカン: 1.59%  アジア人: 0.41%  太平洋諸島系: 0.04%  その他の人種: 10.49%  混血: 1.43%  ヒスパニック・ラテン系: 24.90% |  年齢別人口構成 18歳未満: 22.7%  18-24歳: 11.2%  25-44歳: 26.7%  45-64歳: 20.5%  65歳以上: 19.0%  年齢の中央値: 36歳  性比（女性100人あたり男性の人口） 総人口: 128.3  18歳以上: 134.7 世帯と家族（対世帯数） 18歳未満の子供がいる: 26.5%  結婚・同居している夫婦: 55.5%  未婚・離婚・死別女性が世帯主: 10.3%  非家族世帯: 28.6%  単身世帯: 21.0%  65歳以上の老人1人暮らし: 11.4%  平均構成人数 世帯: 2.70人  家族: 3.00人 |  収入 収入と家計 収入の中央値 世帯: 30,714米ドル  家族: 34,726米ドル  性別 男性: 22,572米ドル  女性: 20,004米ドル  人口1人あたり収入: 14,000米ドル  貧困線以下 対人口: 23.6%  対家族数: 14.2%  18歳未満: 31.5%  65歳以上: 7.3% |
都市と町 > 法人化自治体

アーカディア - 郡庁所在地
都市と町 > 未編入の町

ブラウンビル
フォートオグデン
ハル
レイクスージー
ノカティ
パインレベル（ゴーストタウン）
サウスイーストアーカディア（国勢調査指定地域）
政治

州および国政選挙の大半でデソト郡は共和党候補を支持しているが、郡レベルでは保守派民主党候補を選ぶ傾向がある。
| 年 | 共和党 | 民主党 | その他 |
| --- | --- | --- | --- |
| 2008年 | 55.4% | 43.1% | 1.5% |
| 2004年 | 58.1% | 41.1% | 0.8% |
| 2000年 | 54.5%  | 42.5% | 3.0% |
| 1996年 | 43.7% | 43.0% | 12.9% |
| 1992年 | 41.3% | 35.6% | 22.7% |
| 198年 | 65.6% | 33.7% | 0.6% |
アーカディア市にあるデソト郡庁舎
スペイン人探検家エルナンド・デ・ソト
WISE Audit マルチテナントエディション

| --- | --- |
開発元:  日立システムズエンジニアリングサービス

最新版:  2.1/2013年7月2日    
対応OS:  Red Hat Enterprise Linux 5、6
種別:  メールアーカイブ メールフィルタリング メール誤送信防止 ASP/SaaS
公式サイト:  WISE Audit MTE 株式会社日立システムズエンジニアリングサービス
テンプレートを表示
WISE Audit MTE（ワイズオーディット マルチテナントエディション）は、2003年に発売を開始した高速検索とフィルタリング機能を備えたWISE Auditから派生した、SaaS/ASP事業者・グループ企業向けのメールアーカイブソリューション。複数テナントに対応したメールアーカイブシステムであり、SaaS/クラウドコンピューティングに対応可能。
概要

機能 ： メールアーカイブ機能（フレキシブルリテンションピリオド、多機能検索など）、メールフィルタ機能、グループ企業統括管理機能
オプション ： Exchangeサーバ対応、時間差配送オプション
導入効果 ： 内部統制システムの構築、情報漏えい防止、各種コンプライアンスの対応、不適切メールの抑止、メール復元
バージョン

WISE Audit MTE Ver. 1.1
WISE Audit MTE Ver. 1.2
WISE Audit MTE Ver. 2.0
WISE Audit MTE Ver. 2.1
WISE Audit MTE 販売終了
以後はWISE Auditマルチモデルで同一機能を提供。
遠い青空

遠い青空（とおいあおぞら）
遠い青空 (牧野吉晴の小説) - 牧野吉晴の小説。「婦人生活」連載、富永謙太郎が挿絵を担当した。1956年刊行
遠い青空 (山川方夫の小説) - 山川方夫の小説。1972年の『山川方夫珠玉選集』上巻などに収録
遠い青空 (曲) - 櫻井隆仁作曲の楽曲。JR東日本の駅で発車メロディとして使用されている。
デヴィッド・ジュリアン

| デヴィッド・ジュリアン David Julyan |
| --- | --- |
生誕:  1967年??月??日 チェルトナム
テンプレートを表示
デヴィッド・ジュリアン（David Julyan、1967年 - ）はイギリスの作曲家。
参加作品

キャビン
死霊院 世界で最も呪われた事件
ハートレス
ディセント2
バイオレンス・レイク
必殺処刑人
パーフェクトゲーム　究極の選択
プレステージ
ラストフロント -1944英米連合軍マーケット・ガーデン作戦-
ダンシング・インサイド/明日を生きる
ダンジョン&ドラゴン2
ディセント
インソムニア
メメント
フォロウィング
ジャンボジェットトロフィー

| ジャンボジェットトロフィー Jumbo Jet Trophy |
| --- | --- |
競馬場:  クランジ競馬場
創設:  2000年
距離:  芝1400メートル
格付け:  G3
賞金:  賞金総額175,000シンガポールドル
出走条件:  サラブレッド3歳以上
負担重量:  別定、牝馬1.5kg減
テンプレートを表示
ジャンボジェットトロフィー（Jumbo Jet Trophy）とは、シンガポールのクランジ競馬場の芝1400メートルで行われていた競馬の競走である。競走名は1972年にツンクゴールドカップ、シンガポールダービー、ペラクダービー、クイーンエリザベス2世カップを優勝し、ワシントンDCインターナショナルにも招待され出走した競走馬を記念している。
2000年に新設された競走で、当初は1800メートル、2004年から1400メートルに距離変更して実施されていた。
2018年に馬齢重量から別定に条件が変更され、2019年に総賞金が200,000シンガポールドルから175,000シンガポールドルに減額された。
歴代優勝馬

| 施行年 | 優勝馬 | タイム | 優勝騎手 | 管理調教師 | 馬主 |
| --- | --- | --- | --- | --- | --- |
| 2000年 | The Mighty Finn | 1:52.4 | D Nikolic | P Busuttin |  |
| 2001年 | Kim Angel | 1:48.9 | L Dittman | J Meagher | Kimmui's Stable |
| 2002年 | Saddle Up | 1:53.8 | J Geroudis | L Laxon |  |
| 2003年 | Bon Amie | 1:50.7 | J Saimee | C Leck | Orange Stable |
| 2004年 | Exaggerate | 1:23.7 | J Patton | J Meagher | Lucky Stable |
| 2005年 | World Airlines | 1:25.0 | J Winks | S Burridge | Top Champ Stable |
| 2006年 | Arenti | 1:23.5 | KB Soo | J Meagher | Sawmills Stable |
| 2007年 | King And King | 1:22.9 | J Saimee | S Burridge | Top Champ Stable |
| 2008年 | Waikato | 1:23.5 | J Saimee | L Laxon | Silver Fern Racing Stable |
| 2009年 | Waikato | 1:22.1 | J Saimee | L Laxon | Silver Fern Racing Stable |
| 2010年 | Better Than Ever | 1:21.56 | J Saimee | L Laxon | Jupiter Stable |
| 2011年 | Captain Obvious | 1:22.47 | R Woodworth | S Burridge | Milton Stable |
| 2012年 | Super Easy |  | J Moreira | M Freedman |  |
| 2013年 | Mr Big |  |  |  |  |
| 2014年 | Flax | 1:22.40 | I Santana | D Hill |  |
| 2015年 | Spalato | 1:22.79 | M Nunes | J O'hara |  |
| 2016年 | Debt Collector | 1:23.02 | M Rodd | C Brown |  |
| 2017年 | Countofmontecristo | 1:21.86 | A Munro | M Clements |  |
| 2018年 | Preditor | 1:21.28 | APP M Poon | S Baertschiger | Shane Donald Baertschiger |
| 2019年 | Star Emperor | 1:21.84 | APP WH Kok | L Dragon | Unique Racing Stable |
近藤久 (工学者)

近藤 久（こんどう ひさし、1965年9月 - ）は、日本の工学者。茨城大学工学部知能システム工学科講師。
| 人物情報 |
| --- | --- |
生誕:  1965年（58 - 59歳）
国籍:   日本
出身校:  北海道工業大学工学部 北海道大学大学院工学研究科
学問
研究分野:  知能情報学 計算機科学
研究機関:  茨城大学
学位:  博士（工学）(北海道大学)
学会:  情報処理学会 日本ソフトウェア科学会 人工知能学会 IEEE Computer Society
公式サイト
 http://www.ise.ibaraki.ac.jp/~kondo/
テンプレートを表示
経歴 > 学歴

1988年（昭和63年）3月 - 北海道工業大学工学部経営工学科卒業
1994年（平成6年）3月 - 北海道大学大学院工学研究科情報工学専攻博士後期課程修了（工学博士）
経歴 > 職歴

1994年（平成6年）4月 - 茨城大学工学部システム工学科計算機応用学講座助手
2001年（平成13年）10月 - 茨城大学工学部システム工学科計算機応用学講座講師
2005年（平成17年）4月 - 茨城大学工学部知能システム工学科講師
専門（研究・活動内容等） > 研究概要 > 研究分野

情報学基礎
知能情報学
専門（研究・活動内容等） > 研究概要 > 研究テーマ

複雑ネットワーク
複雑ネットワークの生成モデルに関する研究
強化学習の応用
強化学習
プログラム検証
停止性学習