tet550/jawiki_sentences huggingface dataset:
松阪市立仁柿小学校
松阪市立仁柿小学校(まつさかしりつ にがきしょうがっこう)は三重県松阪市の市立小学校。
2010年4月1日に松阪市立柿野小学校へ統合され、休校扱いとなっている。
校歌は西村芳男の作詞、野呂淳次の作曲による。3番まであり、各番とも「母校よ 仁柿小学校」で終わる。
1975年(昭和50年)には5学級68人が在籍していたが、少子化が進み、2009年(平成21年)には3学級16人まで減少した。最後の卒業生は6名だった。
校舎面積:1,222m2
屋内運動場面積:266m2
1874年(明治7年)
9月19日 - 公立の第二大学区第四〇中学区第四九番小学区上仁柿学校が開校。
11月 - 私立の第二大学区第四〇中学区第四八番小学区下仁柿学校が開校。
1876年(明治9年)10月3日 - 公立の下仁柿小学校が開校。
1879年(明治12年)2月 - 下仁柿小学校が新校舎に移転。
1882年(明治15年)9月 - 上仁柿小学校と下仁柿小学校が統合し、仁柿小学校となる。本校と分校は旧上仁柿小と旧下仁柿小の間で1年おきに入れ替えることに決めるが、実際には統合前と同じように運用された。
1883年(明治16年) - 初等科(3年)・中等科(3年)を設置。
1885年(明治18年)1月 - 上仁柿校舎を移転。
1887年(明治20年)4月1日 - 学区改正により、粥見簡易科授業所の分校となる。
1888年(明治21年)1月 - 下仁柿校舎の3年生以上の児童を上仁柿校舎への通学とする。上仁柿が本校、下仁柿が分校となる。
1889年(明治22年)5月1日 - 町村制により柿野村が成立、柿野第二尋常小学校に改称。
1890年(明治23年)11月 - 小学校令改正により、1日から4年制となる。15日に3年制の補習科を設置。
1898年(明治31年)5月4日 - 柿野高等小学校(現在の松阪市立柿野小学校)設置により、補習科を廃止。
1908年(明治41年)3月30日 - 新校舎の工事が竣工。翌日より児童を収容。
1923年(大正12年)9月 - 運動場を拡張。
1924年(大正13年)4月 - 高等科を併設し、柿野第二尋常高等小学校に改称。
1941年(昭和16年)4月 - 柿野町第二国民学校に改称。
1947年(昭和22年)4月 - 学制改革により、柿野町立柿野第二小学校に改称、新制の柿野中学校第二校舎を併設。
1948年(昭和23年)4月 - 峠分校を設置。
1950年(昭和25年)9月3日 - ジェーン台風により校舎1棟が倒壊するが、日曜日だったため、人的被害はなかった。
1951年(昭和26年)4月1日 - 新校舎を運動場に建設し、旧校舎跡を運動場とする。
1954年(昭和28年)1月6日 - 柿野中学校が分離。
1956年(昭和31年)8月1日 - 飯南町発足により、飯南町立仁柿小学校に改称。
1959年(昭和34年)9月26日 - 伊勢湾台風の被害を受ける。
1960年(昭和35年)8月29日 - 台風16号の被害を受ける。
1961年(昭和36年)
6月 - 職員室と第二校舎の間に渡り廊下を設置。
9月 - 室戸台風の被害を受ける。
1965年(昭和40年)3月 - 鉄筋コンクリート3階建の新校舎が落成、旧校舎跡を運動場とする。
1970年(昭和45年)7月25日 - プール竣工。
1971年(昭和46年)5月7日 - 峠分校を廃校。
1985年(昭和60年) - 「仁柿っ子カレンダー」の作成を開始。
2005年(平成17年)1月1日 - 市町村合併に伴い、松阪市立仁柿小学校に改称。
2009年(平成21年)6月7日 - 春季運動会で34年ぶりに鼓笛隊を復活。
2010年(平成22年)
1月26日 - 松阪市立柿野小学校の3年生と仁柿小3年生が合同で伝統工芸「深野和紙」の紙すきを体験。
3月19日 - 最後の卒業式を挙行。
3月24日 - 修了式と閉校式を挙行。
3月31日 - 閉校。翌日から休校扱いとなる。
飯南町下仁柿、飯南町上仁柿
松阪市立有間野小学校
松阪市立有間野小学校(まつさかしりつ ありまのしょうがっこう)は三重県松阪市にあった市立小学校。
2010年4月1日から松阪市立粥見小学校へ統合され、休校扱いとなった。
校歌は3番まであり、各番とも「有間野 有間野 小学校」で終わる。
1975年(昭和50年)には6学級59人が在籍していたが、少子化が進み、2009年(平成21年)には3学級13人まで減少した。最後の卒業生は6名だった。
校舎面積:407m2
有間野小学校の歴史は粥見小学校への統合と分離を繰り返しであった。
1876年(明治9年)8月 - 第二大学区第四〇中学区第五一番有間野学校が開校。下等科を設置。
1881年(明治14年)5月 - 飯高郡第二一学区有間野学校に改称、中等科を設置。
1887年(明治20年)
1月 - 小学校令により、飯高郡第一三学区組合有間野学校に改称。
8月6日 - 粥見尋常小学校へ編入され、有間野分教室となる。2年生までが通学した。
1890年(明治23年)1月13日 - 粥見尋常小学校第三分教室に改称。
1891年(明治24年)3月 - 仮校舎としていた民家の大規模な修繕を実施。
1892年(明治25年)7月7日 - 小学校令改正を受け、粥見第四尋常小学校として独立。4年制の尋常小学科を置く。
1897年(明治30年)7月 - 運動場を拡張する。
1898年(明治31年)8月31日 - 粥見第二尋常小学校に改称。
1909年(明治42年)4月16日 - 尋常科5年を設置。
1910年(明治43年)6月9日 - 新校舎落成。尋常科6年を設置。
1930年(昭和5年)8月 - 雨天体操場を改修し、講堂とする。
1941年(昭和16年)4月 - 国民学校令により粥見第二国民学校に改称。
1943年(昭和18年)3月31日 - 高等科を設置。
1947年(昭和22年)4月30日 - 学制改革により、粥見町立有間野小学校に改称。
1948年(昭和23年)2月3日 - 普通教室1棟増設。
1956年(昭和31年)8月1日 - 飯南町発足により飯南町立有間野小学校に改称。
1959年(昭和34年)10月 - 講堂兼公民館が落成。
1969年(昭和44年)5月29日 - 鉄筋コンクリート平屋建の新校舎が竣工。
1970年(昭和45年)7月 - プール完成。
2007年(平成19年)度 - 三重県ユニバーサルデザインのまちづくり賞学校賞を受賞。
2010年(平成22年)
3月19日 - 最後の卒業式を挙行。
3月24日 - 修了式と閉校式を挙行。
3月31日 - 閉校。翌日から休校扱いとなる。
松阪市立宮前小学校
松阪市立宮前小学校(まつさかしりつ みやまえしょうがっこう)は三重県松阪市の市立小学校。2022年5月1日現在の児童数は66人。
飯高町宮前、飯高町下滝野、飯高町野々口、飯高町作滝、飯高町赤桶、飯高町田引
松阪市飯高地域は、地理的に松阪市図書館(松阪図書館・嬉野図書館)を利用しにくい環境にあるため、小学校内に地域開放型図書館「みんなの堂山Books」を開設している。学校の休校日を除く毎週木曜日の13時30分から15時30分まで開館しており、松阪市在住・在勤であれば、図書室利用カードの発行を受けて利用することができる。図書室利用カードは入館証を兼ねるため、貸出利用の予定がなくとも、図書館利用時は持参する必要がある。
貸出は1人5冊までで、2週間借りることができる。学校図書館の本や、取り寄せた松阪市図書館の本を借りることもできるが、松阪市図書館の本を借りる際は、松阪市図書館の利用カードが別途必要である。
小津安二郎 - 代用教員を務めた。
滝野要 - 元プロ野球選手(中日ドラゴンズ)
松阪市立松尾小学校
松阪市立松尾小学校(まつさかしりつ まつおしょうがっこう)は三重県松阪市の市立小学校。
大足町、藤之木町、阿形町、立野町、丹生寺町、岡本町、西野町、岡山町、平成町
2009年5月1日現在の児童数は454人。
松阪市立香肌小学校
松阪市立香肌小学校(まつさかしりつ かはだしょうがっこう)は三重県松阪市の市立小学校。2022年(令和4年)5月1日現在の児童数は12人。
2008年4月に川俣小学校、波瀬小学校、森小学校の3校が併合されて新しく設置された。校舎は旧森小学校のものを使用している。
飯高町森、飯高町青田、飯高町猿山、飯高町蓮、飯高町粟野、飯高町富永、飯高町七日市、飯高町宮本、飯高町波瀬、飯高町太良木、飯高町草鹿野、飯高町落方、飯高町舟戸、飯高町木梶、飯高町栃谷、飯高町乙栗子、飯高町加波、飯高町桑原、飯高町月出
松阪市飯高地域は、地理的に松阪市図書館(松阪図書館・嬉野図書館)を利用しにくい環境にあるため、小学校内に地域開放型図書館「本処かはだ」を開設している。学校の休校日を除く毎週火曜日の13時30分から15時30分まで開館しており、松阪市在住・在勤であれば、図書室利用カードの発行を受けて利用することができる。図書室利用カードは入館証を兼ねるため、貸出利用の予定がなくとも、図書館利用時は持参する必要がある。
貸出は1人5冊までで、2週間借りることができる。学校図書館の本や、取り寄せた松阪市図書館の本を借りることもできるが、松阪市図書館の本を借りる際は、松阪市図書館の利用カードが別途必要である。
ヨゼフ・ライネルス
ヨゼフ・ライネルス(Joseph Reiners、1874年3月20日 - 1945年8月28日)は、ドイツ出身のカトリック教会神言修道会司祭。宣教師として戦前の日本に到来し、名古屋市に旧制南山中学校を設立。南山学園の基礎を築いた。
1874年にドイツのラインラント=プファルツ州に生まれ、24歳の時に司祭叙階を受ける。この後1907年にドイツのボン大学において哲学博士の学位を受領する。同年学位を受領した後わずか2ヵ月後にアーノルド・ヤンセンが設立したカトリック神言修道会に入会。
1909年、来日し金沢市にて日本語を修学し宣教活動に従事。1912年9月には第四高等学校(現在の金沢大学)にてドイツ語を教える。同年11月カトリック新潟知牧就任。ライネルス神父が北陸地方を宣教のため巡視していたところ、この地方の医療事情が乏しいのを見て単身アメリカ、ヨーロッパなどを遍歴し寄付を募り、1914年に現在の金沢聖霊総合病院を開設した。
1920年5月新潟教区長のヨゼフ・ライネルスによって、秋田で学校法人聖園学院の設立母体となる聖心の布教姉妹会(旧・聖心愛子会)が創立された。
1926年、カトリック名古屋知牧に就任し活動の場を名古屋地区に移したライネルス神父は、ローマ教皇庁布教聖省が知牧就任にあたり最も希望していた教育事業に従事することを決めた。
そして1932年、名古屋市に現在の南山学園の基礎となる南山中学校を設立し、初代理事長、校長を務めることとなる。この南山中学校設立にあたりライネルス神父が理想としていたことは円満な人格を育て、人格形成としての教養を身につけるための学校設立であった。このライネルス神父の理想を実現するために南山中学校では少人数の学級編制で自学自習教育が信念として置かれており現在の南山学園の教育方針にも取り入れられている。
1945年、すでに南山中学校の理事長と校長、名古屋知牧を辞任していたライネルス神父は、戦後の南山中学校の行く末を見ぬまま太平洋戦争終結の約2週間後の8月28日に岐阜県多治見市にある神言会多治見修道院にて永眠した。71歳没。
テレコミュニケーションズ
テレコミュニケーションズ(Tele-Communications, Inc、TCI)は、かつてアメリカ合衆国に存在した全米最大のケーブルテレビMSO (Multiple System Operator、ケーブルテレビ統括会社)。
1968年、コロラド州デンバーで設立。1973年にジョン・マローンが社長兼CEOに就任後、各地のケーブルテレビ局を買収、全米最大のMSOに成長する。
1990年にはMCO(Multiple Channel Operator、番組供給事業統括会社)「リバティメディア」を設立。それまでTCIが出資していたディスカバリー・コミュニケーションズ(1986年出資、2005年「ディスカバリー・ホールディング」としてスピンオフ)やターナー・ブロードキャスティング・システム(1987年出資、1996年タイム・ワーナーにより買収)などを統括する。なお、リバティメディアは1994年にTCIとに合併するが、翌1995年にはリバティメディアグループのトラッキングストックを発行、TCIから半ば独立した形として存続する。
海外展開の一環として、住友商事との合弁で1995年にはジュピターテレコム、1996年にはジュピター・プログラミング(現・SCメディアコムおよびJCOM メディア事業部門)を設立している。
1999年、AT&Tが480億ドルでTCIを買収。この際、リバティメディア・グループは技術投資・海外統括事業を行うTCIベンチャー・グループを統合している。
2001年、AT&Tはケーブルテレビ事業をAT&Tブロードバンドに分社化、翌2002年にコムキャストと合併した。また、リバティメディアはAT&Tよりスピンオフした。
キサンテン
キサンテン (xanthene) は、有機化合物のひとつ。アントラセンの中心のベンゼン環をピラン環に置き換えた3環構造をもつ。
エオシン、フルオレセイン、ローダミンなど、様々な色素の発色団となる。カラーインデックス番号において、C.I. 45000 から C.I. 45999 まではキサンテンを母核とする化合物に割り振られている。
川俣小学校
川俣小学校(かわまたしょうがっこう、かばたしょうがっこう)は、日本の公立小学校。
日光市立川俣小学校(廃校、日光市立栗山小学校へ統合)
松阪市立川俣小学校 (廃校、松阪市立波瀬小学校、松阪市立森小学校と統合して松阪市立香肌小学校に)
紺野あずれ
紺野 あずれ
紺野 あずれ(こんの あずれ、7月6日 - )は、日本の漫画家。男性。埼玉県在住。
成人向け作品で漫画家デビューしたのち、一般向けコミックに活動の場を移す。
代表作『こえでおしごと!』は2010年(平成22年)にOVA化された。2019年(平成31年)4月には『ノブナガ先生の幼な妻』がテレビアニメ化された。
漫画家デビュー前には調理師として働いていた。
『フォックスリミテッドアンソロジー 06 ブルマ運動会!:ブルマっ娘アンソロジー』(FOX出版)に収録の「私立紺青学園」にて漫画家デビューしている。
妻は同じく漫画家のカザマアヤミ。
ラジオ『集まれ昌鹿野編集部』のリスナーである。番組は以前から聴いていたが、番組内のコーナー「週刊!昌鹿野批評!」で『こえでおしごと!』が取り上げられ、後日番組にメールを送り、次回の放送でメール内容が紹介された。以来、番組内で紺野の知名度が上がり、『集まれ昌鹿野編集部DJCD vol.3』に小野坂昌也と鹿野優以とリスナー漫画家である紺野と忠臣蔵之介と森小太郎の対談が収録された。また2012年(平成24年)9月2日放送分では入籍したばかりのカザマとともにゲスト出演した。
かつては自らのブログにアニメや漫画の感想を公開していた。アニメ『けいおん!』については「かわいい。OPがすごくよかった。ただ面白くはない」、『夏のあらし!』については「(アニメ版は)かわいくもないし面白くもないしでまったく見所が無い」「原作も読んだんですがつまんないっすね…」と述べた。
軟骨細胞
軟骨細胞(chondrocyte)とは軟骨で認められる唯一の細胞。軟骨細胞は主にコラーゲンとプロテオグリカンより構成される軟骨基質の形成と維持を行う。軟骨芽細胞は未熟な軟骨細胞を意味する用語として使用されるが、軟骨細胞は骨芽細胞から分化して形成されることもあるため、未熟な軟骨細胞を意味する用語としては不正確であり推奨されない。
幸田朋弘
幸田 朋弘
幸田 朋弘(こうだ ともひろ、5月27日 - )は、日本の漫画家。男性。
1994年、少年画報社の『ヤングキング増刊 ヤングキングアワーズ』No.5に掲載された『円(つぶら)な話』でデビュー。
2022年現在、成人向け漫画雑誌『COMIC阿呍』(ヒット出版社)にて不定期に活動中。
同人活動ではサークル「幸田ん舎」を主宰している。
ロイヤル・ジェイムズ (戦列艦・2代)
ロイヤル・ジェイムズ (HMS Royal James) はイギリス海軍の100門1等戦列艦。ポーツマス工廠でアンソニー・ディーンにより建造され、1671年に進水した。
ロイヤル・ジェイムズは翌1672年のソールベイの海戦にエドワード・モンタギューの旗艦として参戦した。この戦いでロイヤル・ジェイムズはオランダ海軍のDolfijn、Groot Hollandia、そして火船の攻撃を受けて炎上・沈没してしまった。
1672年6月7日 - ソールベイの海戦(リチャード・ハドック艦長)
アウグスト・ティーネマン
アウグスト・フリードリヒ・ティーネマン(August Friedrich Thienemann、1882年9月7日 - 1960年4月22日)はドイツの陸水学者。
グライフスヴァルト大学にて「トビケラの蛹の生態」で学位を得た後、渓流動物の研究をしていた。1910年-1914年にドイツ北西部アイフェル地方の火口湖(マール)の研究を行い、その成果は湖沼標式の研究の草分けとなった。1924年にはキール大学の教授となった。その後1917年-1957年の間ホルシュタインにあるプリョン臨湖実験所の所長として、北ドイツの湖沼の研究により湖沼標式の研究を確かなものとした。1921年にスウェーデン人のアイナル・ナウマンとともに湖沼標式に関する論文を発表、翌1922年にはナウマンとともに国際理論応用陸水学会を設立し、その会長となった。1928年-1929年にはオーストリア人のフランツ・ルットナーとともに東南アジア・スンダ列島の熱帯湖の探検に赴いた。生涯に450篇の論文と10冊の著書を著した。
アイナル・ナウマン
アイナル・ナウマン(Einar Naumann、1891年8月13日 - 1934年9月22日)はスウェーデンの陸水学者。
ルンド大学で学び、1917年中部・南部スウェーデンのプランクトンと湖底沈殿物に関する論文で学位を得た。これは総合湖沼学の礎となった。1921年にはドイツ人のアウグスト・ティーネマンとともに生物を基礎とする湖沼標式に関する論文を発表、翌1922年にはティーネマンとともに国際理論応用陸水学会を設立した。1929年以降は母校ルンド大学で教授として教鞭を執った。研究分野は広範に及び、湖沼生物学の技術を応用し、淡水生物生産技術の研究に意欲的に取り組んだ。またミジンコを微量汚濁物質の検出に用いる研究も行っている。その後も湖沼研究の第一人者として活躍したが、1934年9月に自殺してしまった。
彼の業績を記念して、陸水学の分野で特に優れた業績のあった者には1948年からナウマン・メダル(1972年からはナウマン・ティーネマン・メダル)が贈られている。
Inetd
inetd(アイネットディー)は、多くのUNIXシステムで採用されたインターネットサービスを管理するスーパーサーバ型デーモンである。InternetDaemonの略。4.3BSDで初めて採用され、通常/usr/sbin/inetd にある。
後継のスーパーサーバ型デーモンとしては、xinetdがある。
inetd登場以前は、1台のサーバで複数のサービス(FTPサーバ、TELNETサーバ等)を稼働させておくには、それぞれのサービスのデーモン(ftpd、tftpd等)を起動しておき、それぞれのデーモンが、それぞれの待ち受けポートを監視する - というスタイルだった。しかし、この方法では、監視するポートの数だけデーモンが起動していることとなるため、実際にそのサービスが利用されていない時には、実質、メモリの無駄遣いということとなる。そこで、待ち受けポートを監視する専用の中継デーモンを用意し、待ち受けポートに要求がきた時には、あらかじめ決められたデーモン(ftpd、tftpd等)を起動させるという動作が用意されるようになった。
inetdが中継動作することとなるので、動作レスポンスが遅れる。
そのため、httpd等はinetdを経由させず、常時起動させておくことが多い。
inetdは、、POP3、telnet といったインターネットサービスが使うポート番号を(指定されて)監視する。監視対象のポートにTCPパケットあるいはUDPパケットが届くと、inetdは対応するサーバプログラムを起動し、コネクションを制御させる。この方式では、必要にならない限りサービスが起動されないため、メモリ利用効率がよい。さらに、個々のサーバデーモンはソケットが標準入出力および標準エラー出力にフックされた状態で起動されるため、ネットワークに関するコードを必要としない。トラフィックの多いHTTPやPOP3などのプロトコルでは、直接トラフィックを受け付ける専用サーバの方が望ましい(頻繁にサーバプロセスを起動する無駄を避けるため)。
ポート番号とサービス名の対応付けは/etc/servicesというファイルで行われ、サービス名とサーバ名の対応付けは/etc/inetd.conf というファイルで行われる。例えば、23番のポートにTCP要求が来る場合、/etc/servicesには次のように記述される。
telnet          23/tcp
/etc/inetd.confには、これに対応して次の行が記述される(以下の内容はAIX 5.1の動作するマシンから取得)。
telnet  stream  tcp6    nowait  root    /usr/sbin/telnetd      telnetd -a
これによると、inetdは/usr/sbin/telnetdというプログラムをtelnetd -aという引数付きで起動する。inetdは標準入出力および標準エラー出力をソケットにフックした状態でサーバプログラムを起動する。
一般にTCPソケットは個別のサーバをコネクション毎に並行して起動することで制御される。UDPソケットは一般に単一のサーバインスタンスがそのポート番号の全パケットを扱う。
echoなどの単純なサービスはinetd自身が扱い、別にサーバを起動することはない。
以下のコードはC言語で書かれた単純なinetdサービスの一例である。オプションでファイル名を引数として受け取り、それをログファイル名とし、そのソケット経由で送られてきた文字列を全てそのログファイルに記録する。これは例えば、異なるマシン上の複数のプロセスからメッセージを受け付けて、分散コンピューティングにおけるロギングサービスを実現するものである。inetdサービスをロギングメッセージ受信に使うことで、全てのマシンがメッセージを1つのマシンに送り、単一のログファイルにそれらを格納できる。
この場合、全メッセージを単一のファイルに記録したいので、サービスは1つのインスタンスのみで全要求に応えるようにしたい。従って、使うプロトコルとしてはUDPが適切である。まず、使っていないポート番号を選択する。ここでは9999が使われていなかったものとし、それを使うことにする。/etc/services には次のような一行が書かれる。
errorLogger 9999/udp
そして/etc/inetd.confには次のように書かれる。
errorLogger dgram udp wait root /usr/local/bin/errlogd errlogd /tmp/logfile.txt
これによりinetdは /usr/local/bin/errlogd というプログラムをerrlogd /tmp/logfile.txtという引数で起動する(inetd.confの他のフィールドの意味については、inetd.confのmanページを参照されたい)。第1引数は常に実行ファイル名であり、第2引数はログファイルのファイル名/tmp/logfile.txtである。inetdは必要に応じてサービスを起動し、入出力ストリームをポート番号9999にアタッチし、そのポートに送られた全文字列がログファイルに記録される。waitと指定することで、全要求を単一のサーバインスタンスで扱うことを inetdに知らせる。上で示したtelnetの場合とは異なる(telnetは要求が来るたびに新たなサーバが起動される)。
なお、この例で示したような機能は通常syslogを使って実装される。そのサーバであるsyslogdはinetdサービスではなく、inetdとは独立に起動される。
inetdはセキュリティへの配慮が乏しいため、最近では代替実装としてxinetd、rlinetd、ucspi-tcp、systemd などがよく使われている。Linuxの対応はディストリビューションによって様々である。macOSは(Mac OS X v10.2 以降)xinetdを使っていた。Mac OS X v10.4では、inetdの機能はlaunchdに統合されている。
inetdが提供するサービスは完全に切捨て可能である。これは、マシンを単機能サーバとする場合によく使われるようになりつつある。例えば、HTTPサーバは、httpdだけを起動するよう設定し、他のポートを全くオープンしないようにできる。ファイアウォール専用マシンは全くサービスを起動しないようにできる。
サービスディスパッチャとしてのinetdはセキュアでないというわけではないが、inetdが提供するサービスの長いリストはセキュリティ専門家でも正しく保つのが難しい。サービスに潜在的なセキュリティ問題がある可能性などを考慮する必要がある。このため不要なサービスをデフォルトではOFFにしておくのが一般化している。/etc/inetd.confのほぼ全てのサービスがコメントアウトされたディストリビューションも珍しくない。
ワンダフルデイズ (映画)
『ワンダフルデイズ』(Wonderful Days, 原題:원더풀 데이즈)は、2003年7月17日に韓国で公開、その後2005年4月23日に日本でも公開された、韓国のSFアニメ映画である。
製作期間5年、制作費約13億円をかけて作られた、日本の『AKIRA』等のディストピア作品の流れを組むSFアニメ映画である。アニメーション作品だが、背景はミニチュアセットを組み、実写映像で撮影されている。
シナリオの監修として、実写映画『猟奇的な彼女』『ラブストーリー』『僕の彼女を紹介します』『デイジー』『僕の彼女はサイボーグ』等で監督や脚本家を務めたことで知られるクァク・ジェヨンが参加している。
日本では山賀博之を中心としてガイナックスが日本語吹替版を制作し、配給も行った(ガイナックス第1回配給作品)。日本語吹替版は、映画の題名の映像も、日本語で『ワンダフルデイズ』と書かれたものに差し替えられている。
監督:キム・ムンセン
脚本:パク・ジュニョン、キム・ムンセン
脚本監修:クァク・ジェヨン
美術監督:イ・ソギョン
音楽:ウォン・イル
製作:TIN HOUSE
配給:オーラエンターテインメント
日本語脚本・演出:山賀博之(ガイナックス)
プロデューサー:武田康廣(ガイナックス)
翻訳:根本理恵
演出補:中村烈(テレシス)
音響プロデューサー:里口千(テレシス)
音響制作:株式会社テレシス
主題歌:「A Prayer」、「Aria」(歌:浅野美帆子)
日本語版歌詞:山賀博之
配給:ガイナックス
日本語版のDVD国内盤が発売中。発売元:ガイナックス、販売元:ジェネオンエンタテインメント。2005年7月22日発売、商品番号:GNBA7047、定価5,985円。
韓国のYBSソウルレコーズから、CD+予告編ほかVCDの2枚組でオリジナル・サウンドトラック盤が発売されたほか、フランスのミランレコーズから、CD1枚のオリジナル・サウンドトラック盤が発売されている。日本の輸入盤取扱店では後者の方が入手し易いが、後者のブックレットには挿入歌の歌詞や解説文が掲載されていない。
1702年8月の海戦
サンタ・マルタ沖のカリブ海
1702年8月の海戦(Action of August 1702)は、スペイン継承戦争における海戦の1つで、ユリウス暦の1702年8月19日から25日にかけてイングランド海軍の中将ジョン・ベンボウの艦隊と、フランス海軍のジャン=バティスト・デュカスの艦隊の間で行われた海戦である。
スペイン継承戦争の勃発を受けて、ベンボウは西インド諸島へ7隻の小艦隊を引きつれ向かった。スペイン領土の西インド諸島をフランスに渡さずにおく必要があったからである。デュカスはコロンビアのカルタヘナにやはり小艦隊を率いて派遣された、スペインのフェリペ5世を屈服させるのが目的だった。ベンボウはフランスの迎撃態勢に入った。
1702年の8月19日、イギリス艦隊は、コロンビアのサンタ・マルタ沿岸に布陣を敷いたフランス軍と出くわした。この地は、マグダレーナ川の河口にあたる場所だった。ベンボウは、艦隊に交戦命令を出したが、デフィアンスとウィンザーは、艦を後進させていた。帆を広げて速力を増すべき状態なのに、急ぐようなそぶりは見られなかった。ベンボウは、デファイアンスが接近するのを待つつもりでいたが、ファルマスが相手のフリゲート艦を攻撃して交戦を開始し、それと並行してウィンザーも、4時ちょうどに攻撃を始めた。ベンボウが乗った旗艦ブレダも参戦したが、デファイアンスとウィンザーは、数回射撃を行ったのみで、ブレダをその場に残したまま交戦をやめてしまった。この戦闘は夜まで続いた。ブレダとルビーは夜じゅうフランス艦隊を追跡していたが、他の艦は後方で、この2隻からは距離を置いて散らばっていた。
イギリスによる追跡は20日いっぱい続いた。ブレダとルビーは、艦首砲からできるだけの砲弾を浴びせたが、21日の朝になってまた交戦が始まり、この2艦はかなりの砲弾を受けた。デファイアンスとウィンザーは、フランス軍最後尾の艦にも後れを取っていたにもかかわらず、何ら行動を起こさなかった。グリニッジはもはや5隻の艦からも追い抜かれていた。22日、ブレダはフランス軍のガレー船アンを拿捕した。このアンは元々イングランド軍の船だったが、フランス軍に拿捕されて相手方のものになっていた。ルビーは被弾がひどく、ポート・ロイヤルに引き返すよう命令が出た。
24日の夜じゅう、ブレダのみが、フランス軍の1隻の艦と交戦していた時、ベンボウは右脚に連鎖弾を受け、手当てを受けるべくすぐに船尾甲板に戻った。艦長のフォグは他の艦長に戦闘を継続するよう命じたが、これにデファイアンスの艦長カービーはベンボウにこう返した、「思いとどまられた方がいいでしょう、フランス軍は非常に強いです」。他のほとんどの艦長も同じ意見であることを知り、ベンボウは交戦をやめてジャマイカに帰還した。
交戦の後、ベンボウはデュカスから手紙を受け取った。
先の月曜日には、貴殿の船室で夕食をいただけるのではないかと望みを抱いておりました。しかし神は他のやり方を思し召しだったのでしょう。すばらしい戦いに感謝します。かの臆病な、貴殿の職務を怠った艦長たちは吊るされるべきでしょう、神に誓って、彼らにはそれがふさわしいと存じます。 デュカス
ジャマイカでベンボウは軍法会議を開いた。艦長たちは書類で、参戦しない旨を示し合わせていたのがわかり、デファイアンスのカービーとグリニッジのウェイドを怯懦と命令不服従、職務放棄で銃殺刑とした。ウィンザーのコンスタブルは禁錮刑となった。ペンデマスのハドソンは既に死亡しており、ブレダのフォグとファルマスのヴィンセントは、ベンボウが温情を示して、停職処分だけを言い渡された。唯一ベンボウの味方であったウォルトンは、軍法会議から除外された。
ベンボウは、この負傷がもとで1702年の11月4日に死亡した。カービーとウェイドは1703年4月16日、軍艦ブリストル(HMS Bristol (1653))の艦上で銃殺刑に処せられた。
カービーの怯懦は疑わしいともいわれる。恐らくは、とっつきにくい性格のカービーと、平民出身で、一水兵から提督に上りつめたベンボウとは反りが合わなかったのではないかとも考えられる。
ベンボウの、不屈のフランス戦隊追撃は、一般大衆はこの戦いに、大いに想像力を刺激された。多くの「ベンボウ提督」「勇敢なベンボウ」と名づけられた曲が作られ、100年以上にわたって、水兵たちの間で愛唱され続けた。
ブレダ(HMS Breda (1692))、70門、艦長クリストファー・フォグ、旗艦
Le Heureux(ユールー)、68門、旗艦
L'Agreable(ラグレアブル)、50門
Le Phenix(ル・フェニス)、60門
L'Apollon(ラポヨン)、50門
Le Prince de Frise(ル・プランス・ド・フリーズ)、30門フリゲート
UFC Fight Night: Silva vs. Irvin
UFC Fight Night: Silva vs. Irvin
UFC Fight Night: Silva vs. Irvin(ユーエフシー・ファイトナイト:シウバ・バーサス・アーヴィン、別名UFC Fight Night 14)は、アメリカ合衆国の総合格闘技団体「UFC」の大会の一つ。2008年7月19日、ネバダ州ラスベガスのザ・パールで開催された。
メインイベントでは現役のUFC世界ミドル級王者アンデウソン・シウバがライトヘビー級のデビュー戦としてジェームス・アーヴィンと対戦した。
メインイベントのライトヘビー級戦では同級デビューとなったアンデウソン・シウバがジェームス・アーヴィンをKOで破った。
The Ultimate Fighter: Team Rampage vs. Team Forrestを失格となったジェシー・テイラーがUFCデビューを果たすが、CB・ダラウェイに一本負け。
キャリア10戦全勝のジョニー・リーズ、8戦全勝のネイト・ローラン、5戦全勝のデイル・ハートがUFCデビュー。
第1試合 ライト級 5分3R
○ USA シャノン・グジャーティ vs. USA デイル・ハート ×
1R 3:33 チョークスリーパー
第2試合 ウェルター級 5分3R
○ USA ブラッド・ブラックバーン vs. USA ジェームス・ギブー ×
2R 2:29 TKO(レフェリーストップ:跳び膝蹴り→パウンド)
第3試合 ミドル級 5分3R
○ USA ネイト・ローラン vs. USA ジョニー・リーズ ×
1R 4:21 三角絞め
第4試合 ウェルター級 5分3R
○ USA ローリー・マーカム vs. USA ブロディ・ファーバー ×
1R 1:37 KO(右ハイキック)
第5試合 ミドル級 5分3R
○ USA ティム・クレデュー vs. USA ケイル・ヤーブロー ×
1R 1:54 TKO(レフェリーストップ:パウンド)
第6試合 ミドル級 5分3R
○ USA CB・ダラウェイ vs. USA ジェシー・テイラー ×
1R 3:58 ペルヴィアン・ネクタイ
第7試合 ウェルター級 5分3R
○ USA ケヴィン・バーンズ vs. USA アンソニー・ジョンソン ×
3R 3:35 TKO(レフェリーストップ:右目の負傷)
第8試合 ヘビー級 5分3R
○ USA ケイン・ヴェラスケス vs. USA ジェイク・オブライエン ×
1R 2:02 TKO(レフェリーストップ:パウンド)
第9試合 ライト級 5分3R
○ USA フランク・エドガー vs. BRA エルメス・フランカ ×
3R終了 判定3-0(30-27、30-27、30-27)
第10試合 ライトヘビー級 5分3R
○ USA ブランドン・ヴェラ vs. USA リース・アンディ ×
3R終了 判定3-0(30-27、29-28、29-28)
第11試合 ライトヘビー級 5分3R
○ BRA アンデウソン・シウバ vs. USA ジェームス・アーヴィン ×
1R 1:01 KO(右ストレート→パウンド)
ファイト・オブ・ザ・ナイト: フランク・エドガー vs. エルメス・フランカ
ノックアウト・オブ・ザ・ナイト: ローリー・マーカム
サブミッション・オブ・ザ・ナイト: CB・ダラウェイ
各選手にはボーナスとして25,000ドルが支給された。
Portal (ゲーム)
『Portal』(ポータル)とは、Valve Corporationによって開発されたシングルプレイ専用アクションパズルゲームである。
同社の『Half-Life 2 Episode Two』や『Team Fortress 2』と同じゲームエンジンである、「Source Engine 2007」を使用している。
プラットフォームはパーソナルコンピュータ(以下「PC」)、Xbox 360。海外ではPlayStation 3(以下「PS3」)版も発売された。PC版ではSteamを介するダウンロード販売では最初から単品購入できたが、パッケージ版は当初5作のゲームがパッケージされた『The Orange Box』を購入するしかなかった。しかし後日Xbox 360版では単品で発売された。PS3版については単品発売はない。
2010年にはMac OS X対応版が公開され、Steam on Macの目玉として5月24日までの期間限定で無料でダウンロードが可能となった。2011年に続編『Portal 2』が発売された。
主人公「Chell」が目を覚めると、そこは無機質な部屋。ラジオから曲が流れてくる中、突然アナウンスが入り、ここはAperture Science Enrichment Centerであり、今からテストをすると告げる。
先に進んでいくと、Chellは「ポータルガン」を入手する。Chellはポータルガンを使って、様々な仕掛けを突破し、謎だらけの会社、「Aperture Science」の真相を解き明かす。
プレイヤーは「ポータルガン」という銃を所持している。
ポータルガンは攻撃はできないが、「ブルーポータル」、「オレンジポータル」という2つのつながっている穴を作ることができ、このポータルはブルーポータルに入ればオレンジポータルから、逆にオレンジポータルに入ればブルーポータルから出てくる。このポータルを使って様々な仕掛けを解いていくのが本作の目的である。ポータルを作れるのは白い壁や床などに限られ、基本的にその他の地形に作ることはできない。ポータルに入るときは、その時点の重力などの影響を残したまま移動できるため、左図のように高い段差からブルーポータルに飛び込めば、その勢いのままオレンジポータルから飛び出すため、通常の移動では行けない高い場所などへの移動ができる。その他のものをポータルに入れて別の場所へ移動させる事も可能。
ステージ(ゲーム中では「チェンバー」と呼ばれている)が19あり、ゲームをクリアした後は、さらに難しくなった上級チェンバーや、どれだけポータルを作らずにクリアできるかなどを競うチャレンジモードもできるようになる。
FPS(ファースト・パーソン・シューティングゲーム)の基本となっていた敵を倒すという要素の排除、今まで「テンポが悪くなるため不要」と言われていたパズルシーンのみを抜粋するアイデア、そして重力と物理エンジンをフルに生かしたゲーム性などが評価され、多数のGame Of The Yearを獲得。『The Orange Box』は100以上のGame Of The Yearを獲得したが、半分以上がこのPortalのパートで獲得している。
特筆すべき点として、この『Portal』はデジペン工科大学(ニンテンドー・オブ・アメリカの協力で設立された、米国初のゲーム系4年制大学)の学生が、卒業制作として作っていた『Narbacular Drop』というゲームが実質的な原型となっていることが挙げられる。同作の出来を見たValve Softwareの社長に見初められ、制作チームの全員がValve Softwareに就職し、Narbacular DropはSourceエンジン上で基本となるアイデアはそのままに、このような形で製品化されたのである。
なお、続編のPC版はユーザーが作ったステージなどを導入できる。
ニコニコ大会
『ニコニコ大会』(にこにこたいかい)は、日本で行われた、短編喜劇映画の上映会のこと。
戦前から昭和30年代において、短編喜劇映画の上映会が催されるときは「ニコニコ大会」と称する慣わしであった。常設の映画館や、夏休みなどに各地の学校の校庭や集落の広場で行われた移動映画会において、チャップリンやロイドらの映画がまとめて上映され、当時の子供たちに人気を博していた。
特に正月には「初笑いニコニコ大会」を行う慣わしで、とても面白かったことを、少年時代にこれを見た複数の人々が証言している。後に映画解説者になる淀川長治は、元旦に目が覚めると「初笑いニコニコ大会」のことで頭がいっぱいだったとのこと。
ニコニコ大会においてはディズニーやハンナ・バーベラなど海外の短編アニメが伴映されることも多かった。このスラップスティックコメディの流れが、子供時代にニコニコ大会を見て、昭和30年代にデビューすることになる漫画家たちに影響を与え、草創期の国産アニメの流れにつながるという指摘がある。漫画評論家の米沢嘉博は、『藤子不二雄論』において、ニコニコ大会と藤子不二雄『怪物くん』の関係を論じている。
『ニコニコ大会 追ひつ追はれつ』(松竹、1946年、川島雄三監督、22分)の例に見られるように、ドタバタ喜劇映画が量産された映画草創期のみならず、映画作品が総じて長編化かつ高度化した戦後期においても、ニコニコ大会向けの手ごろな長さの喜劇映画は作られ続けた。
加賀谷圭
加賀谷 圭(かがや けい、1965年6月25日 - )は、日本の俳優、殺陣師。石川県出身。所属事務所はガイズエンタティメント。東京経済大学卒。身長165cm、体重90kg。
かりん(1993年、NHK)
七曲署捜査一係(1997年7月18日、日本テレビ)
はみだし刑事情熱系(1998年、テレビ朝日)- ヤクザ 役
はみだし刑事情熱系 最終章 第1話・第2話(2004年、テレビ朝日)- 大石 役
天使のお仕事 第4話(1999年、フジテレビ)
櫂 第1話(1999年5月6日、NHK BS2)
池袋ウエストゲートパーク(2000年、TBS)- ヤクザ 役
刑事(デカ)(2000年12月8日、日本テレビ)
史上最悪のデート 第10話(2001年、日本テレビ)
城下町サスペンス 姫さま事件帖(2001年、フジテレビ)- ヤクザ 役
ドラマ愛の詩「ズッコケ三人組3」(2001年、NHK教育テレビ)- 悪人 役
ビッグマネー!〜浮世の沙汰は株しだい〜(2002年、フジテレビ)- 総会屋 役
精霊流し〜あなたを忘れない〜(2002年、NHK)
秘太刀 馬の骨 第6話(2005年9月30日、NHK)
PS羅生門 警視庁東都署 第3話(2006年7月19日、テレビ朝日)
天てれドラマ 3ニンジャー! (2006年9月25日-27日、NHK Eテレ)
終着駅の牛尾刑事VS事件記者・冴子 第7作「路」(2007年12月22日、テレビ朝日)- 村山 役
実録! 和田アキ子物語(2008年6月20日、フジテレビ)
プリズナー(2008年、WOWOW)
東野圭吾ドラマスペシャル 探偵倶楽部(2010年10月22日、フジテレビ)
熱海の捜査官(2010年、テレビ朝日)- ヤクザ 役
闇金ウシジマくん 第8話(2010年)- ヤクザ 役
疾風・虹丸組 第4話(2013年、BS11ほか)
ドラマスペシャル 家政婦は見た!(2014年3月2日、テレビ朝日)- 総会屋 役
ラスト・ドクター〜監察医アキタの検死報告〜(2014年、テレビ東京)- 中国人空手家 役
ゴシップ#彼女が知りたい本当の○○ 第1話(2022年1月6日、フジテレビ)
雨に消えた向日葵 第3話(2022年、WOWOW) - 食品社長 役
オクトー 〜感情捜査官 心野朱梨〜 第6話(2022年7月7日、読売テレビ・日本テレビ) - 通行人 役
七星闘神ガイファード(1996年) - 悟道 役
ウルトラマンガイア(1998年) - XIGチームハーキュリーズ隊員・志摩貢 役
燃えろ!!ロボコン 第21話(1999年6月20日) - 長塚 役
ウルトラマンコスモス(2001年) - ベンガルズ隊員・牛島 役
ウルトラQ dark fantasy(2004年) - 第四惑星人 役
仮面ライダーキバ(2008年)- ヤクザ 役
天才てれびくんMAX(2003年)
銀座警察 武闘派刑事(1994年)- 刑事 役
嵐の季節(1995年)- 主人公と闘う空手家 役
渡世無頼(1995年)- 花田 役
嗚呼!!花の応援団(1996年)- 副団長 役
極道一匹狼(1998年)
ちんちろまい(2000年)- アジアンマフィア 役
WASABI(2001年)- ヤクザ 役
姐御 ANEGO(2003年)- 萩原 役
新・日本の首領(2004年)- ヤクザ 役
矜持〜KYOUJI〜(2005年)- 芹澤鴨 役
Monja(2006年)
怪談(2007年)- 村人 役
カムイ外伝(2009年)- 村人 役
インスタント沼(2009年)- 変な客 役
十三人の刺客(2010年)- 刺客 役
疾風・虹丸組(2014年) - チーマー 役
KIDS=ZERO キッズ=ゼロ(2014年)- 往年の戦隊ヒーロー 役
アイアンガール ULTIMATE WEAPON(2015年)
さらば あぶない刑事(2016年)
普通じゃない職業(2017年)- ヤクザ 役
戦神 ゴッド・オブ・ウォー(2019年)- 侍 役
海辺の映画館―キネマの玉手箱(2020年)- ヤクザ、侍、新撰組隊士 役
ザ・ファブル 殺さない殺し屋(2021年)- マシンガン男 役
まるごし刑事(1993年)
用心坊・極道狩り(1994年)
世紀末博狼伝サガ(1997年)
ウルトラマンティガ外伝 古代に蘇る巨人(2001年) - モリヒト
錬金の帝王(2002年)
愚連隊の神様 万寿十一伝説 紅蓮(2002年)
鬼魄(2005年)
修羅の血涙(2007年) - 山岡連合会桂組本部長 イワギリ
極道の紋章(2009年)
森尾理奈
森尾 理奈
森尾 理奈(もりお りな、1972年7月7日 - )は、日本の漫画家。埼玉県蕨市出身。血液型はA型。さいたま市立浦和南高等学校在学中、第6回月刊少女フレンド新人まんが賞佳作を受賞し、『フレッシュフレンド』1988年秋号に掲載された「冬のおわりの春のはじまり」でデビュー。その後、亜細亜大学に進学する。趣味はワンコいじり。
『少女フレンド』(講談社)で執筆していたが、同誌休刊後は主に『デザート』(同)にて作品を発表する。通常のラブストーリーのほかに、スポーツ選手の苦悩を恋愛を交えて描いた作品や、実話を基にした作品が多い。
ポストの定理
ポストの定理(英: Post's theorem)は、計算可能性理論における定理で、算術的階層とチューリング次数の関係を表している。名称はエミール・ポストに因んでいる。
ポストの定理は定義可能性と再帰理論に関連したいくつかの概念を必要とする。この節ではそれら概念の概要を解説する。
算術的階層は、ペアノ算術で定義可能な自然数の集合を階層的に分類するものである。ある論理式が \Sigma^{0}_m に属するとは、それが冠頭標準形(全ての量化子が先頭にある)の存在量化式で、存在量化と全称量化が m 回交互にあって、それらが量化されていない論理式に適用されている場合である。次のような形式のペアノ算術の言語で書かれた論理式 \phi(s) は \Sigma^{0}_m 論理式である。
\exists n_1 \forall n_2 \exists n_3 \forall n_4 \cdots Q n_m \rho(n_1,\ldots,n_m,x_1,\ldots,x_k)
ここで ρ は量化子を含まない論理式で、Q は m が偶数なら \forall、m が奇数なら \exists である。次のように \rho が限定量化子のみを含む論理式
\left(\exists n^1_1\exists n^1_2\cdots\exists n^1_{j_1}\right)\left(\forall n^2_1 \cdots \forall n^2_{j_2}\right)\left(\exists n^3_1\cdots\right)\cdots\left(Q_1 n^m_1 \cdots \right)\rho(n^1_1,\ldots n^m_{j_m},x_1,\ldots,x_k)
は、ペアノ算術の公理により、上記形式と等価である。そのため、\Sigma^{0}_m 論理式をこの代替形式で定義することも珍しくない。
自然数の集合 A が \Sigma^0_m であるとは、それを \Sigma^0_m 論理式で定義できることを意味し、すなわち、\Sigma^0_m 論理式 \phi(s) を使って、自然数 n について \phi(n) が成り立つときのみ、その自然数が A に含まれる。ある集合が \Sigma^0_m であるとき、n > m である任意の n についての \Sigma^0_n でもある。ただし、個々の m について \Sigma^0_m ではない \Sigma^0_{m+1} 集合が存在する。従って、量化子の交代回数は、集合の複雑さの尺度を定義するのに必要である。
ポストの定理では、上で定義したような絶対的な算術的階層だけでなく、相対化された算術的階層も使う。自然数の集合 A が B に対して相対的に \Sigma^0_m であることを \Sigma^{0,B}_m と表記する。これは、B のメンバーシップを表す述語を含めた拡張言語で記述された \Sigma^0_m 論理式で A を定義可能であることを意味する。
算術的階層が自然数の集合の定義可能性の尺度となる一方、チューリング次数は自然数の集合の計算不可能性のレベルの尺度となる。集合 A が集合 B にチューリング還元可能であることを A \leq_T B と記述し、B についての神託を与える神託機械によって A の特性関数を計算できることを意味する。集合 A のチューリングジャンプは、A に関連する停止性問題の形式である。集合 A のチューリングジャンプ A' は、A についての神託機械を持ち 0 が入力されたときに停止するチューリング機械のインデックスの集合である。あらゆる集合 A はそのチューリングジャンプにチューリング還元可能であるが、ある集合のチューリングジャンプは決して元の集合にチューリング還元できない。
ポストの定理は有限回反復されたチューリングジャンプを使用する。任意の自然数の集合 A について、A^{(n)} とは A のチューリングジャンプを n 回反復したものを表す。従って、A^{(0)} は A そのものであり、A^{(n+1)} は A^{(n)} のチューリングジャンプである。
ポストの定理は、算術的階層と \emptyset^{(n)} の形式のチューリング次数、すなわち空集合の有限回反復したチューリングジャンプとの密接な関係を確立する(空集合を任意の計算可能な集合に置き換えても定理は成り立つ)。
ポストの定理は次の通りである。
集合 B が \Sigma^0_{n+1} であるのは、B が \emptyset^{(n)} の神託機械を持つチューリング機械により帰納可枚挙な場合である。すなわち、B が \Sigma^{0,\emptyset^{(n)}_1 で表される場合である。
集合 \emptyset^{(n)} は、n > 0 のあらゆる n について \Sigma^0_n 完全である。すなわち、\Sigma^0_n のあらゆる集合は \emptyset^{(n)} に多対一還元可能である。
ポストの定理には様々な系があり、算術的階層とチューリング次数の様々な関係を表している。例えば、以下のような系がある。
ある集合 C があるとする。集合 B が \Sigma^{0,C}_{n+1} であるのは、B が \Sigma^{0,C^{(n)}_1 となることと等価である。これはポストの定理の前半部分を C の神託機械で相対化したものである。
集合 B が \Delta_{n+1} であるのは、B \leq_T \emptyset^{(n)} と等価である。より一般化すると、B が \Delta^C_{n+1} であるのは、B \leq_T C^{(n)} と等価である。
集合が算術的に定義できるのは、ある n について \Sigma^0_n である場合である。ポストの定理によれば、集合が算術的といえるのは、その集合をある m について \emptyset^{(m)} にチューリング還元可能な場合のみである。
クリストファー・デュラング
クリストファー・デュラング
クリストファー・デュラング(Christopher Durang, 1949年1月2日 - )は、アメリカ合衆国の劇作家。風変わりで時に不条理な戯曲で知られる。1980年代にとくに人気があった。
デュラングはニュージャージー州モントクレア(Montclair)の生まれ。母親は秘書をしていたパトリシア・エリザベス、父親は建築家のフランシス・フェルディナンド・デュラング・ジュニア。バークレー・ハイツ(Berkeley Heights)で育つ。子供の頃は、ニュー・プロヴィデンス(New Providence)のOur Lady of Peace Schoolなどカトリック・スクールに通った。ハーバード大学で英語学の文学士(B.A.)を、イェール・スクール・オブ・ドラマYale School of Dramaで美術学修士号(M.F.A.)を取得。パートナーのジョン・オーガスティンとペンシルベニア州バックス郡に住んでいる。二人は20年間一緒である。
Dramatists Guild of America議会のメンバーで、ジュリアード音楽院の劇作講座の共同座長でもある。
国際理論応用陸水学会
International Society of Limnology
国際理論応用陸水学会(こくさいりろんおうようりくすいがっかい、International Association of Theoretical and Applied Limnology、略称SIL)とは、1922年にアウグスト・ティーネマンとアイナル・ナウマンによって設立された陸水学の国際的な学会である。
陸水学の進歩並びに応用を主たる目的とし、以下の活動を行っている。