利用者:X meta/sandbox

沖縄密約（おきなわみつやく）は沖縄返還の際に米軍が使用していた土地の原状回復費などを日本国政府が肩代わりして、アメリカ合衆国に支払うという日米間の密約である。

概要

• 米軍が使用していた土地の原状回復費を日本政府が支払う。
• ボイス・オブ・アメリカの移転費用を日本政府が支払う。

背景

1969年11月21日 - 駐日アメリカ大使ウラル・アレクシス・ジョンソンは会合で「日本人は核貯蔵施設移転費用を支払うことになる」と述べた。

1970年 - 日本政府がアメリカ側の費用負担を肩代わりする方策を検討

1970年11月 - 日米合意文書の「日本政府の沖縄援助計画を米国が承認する」という内容の記述に対し、当時総理府総務長官だった山中貞則が「不適当だ」と指摘、米側の同意を得て削除。また削除された内容は非公開扱いである了解覚書に記載され、それに愛知揆一とアーミン・マイヤーはイニシャルを書き記した。

1971年 - 土地の原状回復の補償費400万ドルを日本が負担する密約を交わす

1971年6月2日 - 山中貞則は日本政府が土地の原状回復費を負担する用意があると述べた。

1971年6月17日 - 沖縄返還協定に調印

吉野文六は沖縄密約が行われた背景に「当時の米国の財政事情が悪く、米議会の中に『日本になぜ金を払う必要があるのか』と疑問視する意見のあったことが原因と思う」としている。

存在を否定する主張

2002年 - 福田康夫官房長官は記者会見で「密約は一切ない」と発言

2006年2月 - 官房長官だった安倍晋三は記者会見で「まったくそうした密約はなかった」と主張

存在を肯定する主張・証拠

2000年5月 - 我部政明・琉球大学教授と朝日新聞が、アメリカ国立公文書記録管理局で、25年間の秘密指定が解かれたアメリカ公文書類の中に、密約を裏付ける文書を発見。

2006年 - 北海道新聞の取材に対して、吉野が日本側当事者として密約の存在を初めて認めた。

2009年12月1日 - 口頭弁論の場で吉野文六は「米側と文書を取り交わした」と密約の存在を証言。

一般的なオーダー

以下に、アルゴリズムの（計算量の）解析の際によく使われるO-記法関数の種類を示す。（定数オーダー以外の）全ての関数はnの増加に従って無限大に発散するので、表は発散速度の遅い順に並べてある。また、cは任意の定数である。関数名については、ここで示した以外の名称で呼ばれることもある。

記法	名称	アルゴリズムの例
$O\left(1\right)$	定数時間 (Constant time)	（整数の）偶奇判別
$O\left(\log ^{*}n\right)$	反復対数時間 (iterated logarithmic)	Hopcroft, Ullmanによる素集合データ構造における探索アルゴリズム
$O\left(\log n\right)$	対数時間	ソート済み配列における二分探索
$O\left(\left(\log n\right)^{c}\right)$	対数多項式時間	AKS素数判定法による自然数nの素数判定（nは入力サイズではない）
$O\left({n^{c}}\right),0<c<1$	分数冪時間 (fractional power)	kd木上の探索
$O\left(n\right)$	線形時間 (Linear time)	非ソート配列上の探索、離散ウェーブレット変換
$O\left(n\log n\right)$	準線形、線形対数時間 (linearithmic, loglinear, or quasilinear)	ヒープソート、高速フーリエ変換
$O\left({n^{2}}\right)$	二乗時間 (Quadratic time)	挿入ソート、離散フーリエ変換
$O\left({n^{c}}\right),c>1$	多項式時間 (polynomial, algebraicとも)	ワーシャル-フロイド法
$O\left({c^{n}}\right)=2^{O(n)}$	指数時間 (Exponential time)	（現在最も速い）巡回セールスマン問題の（厳密解の）解法
$O\left(n!\right)$	階乗時間 (factorial time, combinatorialとも)	2つの論理式の同型判定[2]、巡回セールス問題などのNP完全問題の全探索による解法
$O\left(2^{c^{n}}\right)$	二重指数関数 (double exponential)	AC単一化子の完備集合の探索[3]

一般的ではないが、更に発散速度の速い関数も存在する（アッカーマン関数 A(m, n) など）。逆に更に発散速度の遅い関数として、逆関数である逆アッカーマン関数 α(n) などもあり、実際にあるアルゴリズムの計算量の見積りとして出現する。この関数は上界こそないものの、非常に発散速度が遅いために実用的には定数と見なされる (α(3) = 1, α(7) = 2, α(61) = 3, $\alpha (2^{2^{2^{65536}}}-3)=4$, ...)。

ウイルスの分類

『吸血鬼ドラキュラ』（きゅうけつきドラキュラ、原題：Dracula ）は、ブラム・ストーカーのゴシック小説、ホラー小説。

登場人物

ドラキュラ伯爵

トランシルヴァニアはカルパチア山脈に居を構える吸血鬼。

彼がロンドンのカーファックス屋敷を買いたい、とホーキンズに依頼したことから物語が始まる。

ジョナサン・ハーカー

ホーキンズの代理としてカーファックス屋敷の買い入れを依頼された新人司法書士。

ドラキュラ城に囚われるも脱出。しかしその恐怖体験から寝込んでしまう。

ウィルヘルミナ・“ミナ”・ハーカー

ジョナサン・ハーカーの婚約者。旧姓マリー。

物語後半で伯爵に襲われるも、それを逆手にとり逆に伯爵を追い詰める。

ルーシー・ウェステンラ

ホイットビーで心臓の弱い母親と住んでいる女性。ミナの吸血鬼ドラキュラ (1958年)。

夢遊病であり、それが元で伯爵に吸血されてしまう。

エイブラハム・ヴァン・ヘルシング教授

ジャック・セワードの恩師。ルーシーの治療を頼まれたアムステルダム大学名誉教授。

ルーシーの衰弱が吸血鬼の仕業だといち早く気づき、対策を練る。

アーサー・ホルムウッド（ゴダルミング卿）

ルーシーの婚約者の男爵。セワード、モリスとは親友。

ジャック・セワード

カーファックス屋敷の近所の精神病院の院長。ルーシーの求婚者の一人。

ルーシーの病変に恩師ヴァン・ヘルシング教授の助けを求める。

キンシー・モリス

北米テキサス州の大地主。ルーシーの求婚者の一人。

レンフィールド

セワードが院長を務める精神病院の患者。蝿、蜘蛛、鳥などを食べ、その命を奪うという独自の観念を持つ。

ドラキュラの花嫁たち

ドラキュラ城においてハーカーに迫る三人の女吸血鬼。

二人は浅黒く、一人は色白で金髪、いずれも美しく官能的な容貌をしている。

翻案

映画

• 吸血鬼ドラキュラ (1958年)
• 吸血鬼ドラキュラの花嫁 (1960)
• 凶人ドラキュラ (1966)
• 帰って来たドラキュラ (1968)
• ドラキュラ血の味 (1970)
• ドラキュラ復活・血のエクソシズム (1970)
• ドラキュラ'72 (1972)
• 新ドラキュラ/悪魔の儀式 (1973)
• ドラゴンvs7人の吸血鬼 (1974)
• ドラキュラ (1992年)