stanford-oval/wikipedia huggingface dataset:
ℓ進層
構成可能 ℓ 進層のなす「導来圏」

構成可能  {\overline {\mathbb {Q} _{\ell }}} 層のなす導来圏は、本質的には ℓ 進コホモロジーの場合と類似の式
で表されるようなアイデアにより定義される。

ドリーニュが最初にこのアイデアに沿った定義を与えた。
その後エケダールによってより一般的な構成が与えられた。
バット（英語版）とショルツェは、Qℓ の任意の（有限次とは限らない）代数拡大 E に対して、構成可能 E 層の導来圏  D_{c}^{b}(X,E) をプロエタール位相を備えた X のプロエタール景 Xproét 上の E ベクトル空間の層のなすアーベル圏の導来圏  D(X_{\text{proét}},E) の特別な対象のなす充満部分圏  D_{\text{cons}}(X_{\text{proét}},E) として実現した。
ジョン・クィンシー・アダムズ

| --- | --- |
ジョン・クインジー・アダムズ John Quincy Adams
  1843年にダゲレオタイプによって撮影された写真
 アメリカ合衆国 第6代 大統領
任期: 1825年3月4日 – 1829年3月4日
副大統領: ジョン・カルフーン
 アメリカ合衆国 第8代 国務長官
任期: 1817年9月22日 – 1825年3月4日
大統領: ジェームズ・モンロー
 アメリカ合衆国  下院議員（マサチューセッツ州選出）
任期: 1831年3月4日 – 1848年2月23日
 アメリカ合衆国  上院議員（マサチューセッツ州選出）
任期: 1797年 - 1801年 1802年 - 1803年  1803年3月4日 – 1808年6月8日
 アメリカ合衆国 第7代 駐イギリス大使
任期: 1815年6月8日 – 1817年5月14日
大統領: ジェームズ・マディソン ジェームズ・モンロー
 アメリカ合衆国  駐ロシア大使
任期: 1809年11月5日 – 1814年4月28日
大統領: ジェームズ・マディソン
 アメリカ合衆国  駐オランダ大使
任期: 1794年 – 1797年
大統領: ジョージ・ワシントン

出生: 1767年7月11日  13植民地 マサチューセッツ湾直轄植民地 ブレントリー
死去:  (1848-02-23) 1848年2月23日（80歳没）  アメリカ合衆国 ワシントンD.C.
政党: 連邦党 民主共和党 国民共和党 反メイソン党 ホイッグ党
出身校: ライデン大学 ハーバード大学
配偶者: ルイーザ・アダムズ
子女: ジョージ・ワシントン・アダムズ ジョン・アダムズ2世 チャールズ・フランシス・アダムズ・シニア ルイーザ・キャサリン・アダムズ
署名: 
ジョン・クインジー・アダムズ（英語: John Quincy Adams [dʒɑn ˈkwɪnzi ˈædəmz] ( 音声ファイル), 1767年7月11日 - 1848年2月23日）は、アメリカ合衆国の政治家。第6代アメリカ合衆国大統領を務めた。父親は第2代アメリカ合衆国大統領を務めたジョン・アダムズでアダムズ政治一家の2代目。アビゲイル・アダムズは母、ファーストレディを務めたルイーザ・アダムズは妻、チャールズ・フランシス・アダムズ・シニアは息子である。
概要

外交官として各国に赴き、上下両院で議員を務めた。所属政党は連邦党、民主共和党、国民共和党であり、後には反メイソン党、ホイッグ党にも所属した。民主共和党所属としては最後の大統領である。第2代大統領ジョン・アダムズの息子であり、最初の親子二代の大統領（2番目の親子二代の大統領は第41代大統領ジョージ・H・W・ブッシュと第43代大統領ジョージ・ウォーカー・ブッシュ）。「クィンジー」という名は母方の祖父、ジョン・クィンジー大佐から採られた。大統領として初めて長ズボンを着用している。外交官としてアダムズは多くの国際交渉に臨み、国務長官としてモンロー主義の確立に尽力した。歴史家の多くは彼が米国史上で偉大な外交官の一人であったと見なす。
大統領として彼は近代化と教育的な前進に関するプログラムを提案したが、政敵が多数を占める議会によって妨害された。1828年の大統領選挙で再選に失敗し、父のジョン・アダムズと同様に1期のみの任期で終わった大統領となった。アダムズは経済成長にかかる国家の偉大さと強い連邦政府のビジョンを提示したが、その大統領職は政治上の器用さ、人気および支援者のネットワークを欠き、彼の排除を望む政治家との衝突に終わった。
経歴 > 生い立ち

ジョン・クィンジー・アダムズは1767年、マサチューセッツ州ブレントリー（現在のマサチューセッツ州クインジーの一部）でジョン・アダムズと妻のアビゲイル・アダムズの間に生まれる。1767年、クインジーはブレントリーの「北の管区」であった。クインジーが独立した町になったのは1792年のことで、町はアダムズと同じく、ジョン・クィンジーに因んでクインジーと命名された。ジョン・クインジー・アダムズ生家は現在アダムズ国立歴史公園の一部として公開されている。同地はアビゲイル・アダムズ・ケアンの近くに位置し、アダムズが7歳のときにバンカーヒルの戦いを目撃した場所でもある。
1779年にアダムズは日記を書き始める。その日記は1848年に死去するまで続けられた。
アダムズは最初に父親がフィラデルフィアの第2回大陸会議から母親に向けて書いた手紙から、アメリカ独立宣言を学んだ。
アダムズの青年期は父親の洋行への同伴に費やされた。ジョン・アダムズはアメリカ政府の使節として1778年から79年までフランスに、80年から82年までオランダに赴き、若きアダムズはこれらの旅行に父親と同伴した。
アダムズはヨーロッパに於いてライデン大学などで教育を受けた。14歳からおよそ3年間、彼はロシアからの国家承認を得るための使節としてサンクトペテルブルクに赴任するフランシス・ダナに同伴した。フィンランド、スウェーデン、デンマークを訪問し、1804年にはシレジアに関する旅行記を発表した。
海外での数年間でアダムズはフランス語とオランダ語を習得し、ドイツ語などその他のヨーロッパ言語への親しみを得た。 彼はハーバード・カレッジに入学し、1788年にファイ・ベータ・カッパのメンバーとして卒業した。ハーバード・カレッジのアダムズ・ハウスはアダムズと彼の父親を記念して命名された。
アダムズはニューベリーポートでテオフィラス・パーソンズの元で見習い弁護士となる。1791年に法曹界に認められ、ボストンで弁護士を開業した。
経歴 > 初期の経歴

1794年、ジョージ・ワシントン大統領は26歳のアダムズをオランダ担当大臣に任命した。1796年にはポルトガル担当大臣に任命し、続いてベルリン派遣使節団員へと昇進した。
父親が1797年に大統領に就任すると、ワシントンの勧めでアダムズはプロシア担当大臣に任命された。アダムズはプロシアの外務大臣カール＝ウィルヘルム・フィンク・フォン・フィンケンシュタインと交渉し、自由プロシア＝アメリカ友好通商条約の更新に署名した。彼は1801年まで同職を務めた。
海外での勤務の間に、アダムズはアメリカ人商人の娘であるルイーザ・キャサリン・ジョンソンと、ロンドンのオール・ハローズ・バイ・ザ・タワーで結婚した。アダムズは2017年にスロベニア出身の妻を持つドナルド・トランプが大統領に就任するまで約190年間、外国生まれの女性を妻にした唯一の大統領であった。
アダムズは帰国すると、ボストンで連邦政府の地方裁判所判事によって倒産担当行政官に任命された。 しかしながら、ジェファーソン大統領はこの任命を無効とした。アダムズは再び弁護士として腕を振るったが、まもなく政界に身を投じた。1802年4月にマサチューセッツ州上院議会議員に選出され、同じ年の11月に連邦下院議員に連邦党から出馬したものの落選した。
その後間もなくマサチューセッツ州議会はアダムズを連邦党員として上院議員に選出し、1803年3月4日から同職を務める。上院議員としてアダムズはルイジアナ買収および1807年の禁輸法を支持したが、この行動でマサチューセッツ州の連邦党員は彼の支持を取りやめることとなった。連邦党が実権を握るマサチューセッツ立法府は後任を半年早く選出し、1808年6月3日にアダムズとの交代を選択した。6月8日にアダムズは同職を辞任し、連邦党と袂を分かち民主共和党に入党した。上院議員であった間に、アダムズは修辞学の教授としてハーバード大学で教鞭を執った。
新大統領のジェームズ・マディソンは、1809年にアダムズをロシア担当大臣に任命した（フランシス・ダナとウィリアム・ショートがその候補に指名されていたが、両名ともサンクトペテルブルクに信任状を提示できなかった。）。アダムズは妻のルイーザと共に任期の大半をサンクトペテルブルクで過ごした。ルイーザは公式の外交官ではなかったが、外交官の妻として重要な役割を果たした。彼女は夫が魅力不足であったのを埋め合わせて皇帝のお気に入りとなり、アメリカの外交任務における必須の部分となった。1812年にアダムズはナポレオンのロシア侵攻と、その悲惨な後退に関する報告をワシントンに持ち帰った。1814年にアダムズはロシアから呼び戻され、米英戦争の停戦交渉の責任者を命じられた。この交渉の結果、ガン条約が結ばれ停戦が成立した。また1815年から1817年までイギリス担当大臣を務めた。その職は父親のジョン・アダムズが最初に就いたものであった。
経歴 > 国務長官

アダムズは1817年から1825年までモンロー政権で国務長官を務め、その任期はフロリダ獲得の手段となった。彼の意見は通常モンローによって支持された。国務長官として彼はアダムズ＝オニス条約でスペインと交渉し、モンロー・ドクトリンを起草することでアメリカ大陸とヨーロッパ大陸間の相互不干渉を提唱した。アダムズはイギリスと奴隷売買に対しての共同パトロールの交渉を行ったが、それは上院が希薄化し、結局は拒絶された。
1821年の独立記念日にアダムズは、中南米諸国によるスペインからの独立運動に対するアメリカ合衆国の支援を支持した人々に応じて、アメリカ合衆国の政策は精神的な援助であるというスピーチを行ったが、独立運動に代わっての武力干渉は行わなかった。そして、アメリカは「破壊する怪物を求めて海外には行かない。」と述べた。ナポレオン戦争の後、スペインはアメリカにおける植民地の大部分を失った。植民地の多くが反乱を起こし、独立を宣言した。彼らはスペイン船を攻撃するための私掠船をアメリカの港を利用して整備し、その実行はヘンリー・クレイによって守られた。クレイはモンローとアダムズを用心深い日和見主義者として批難した。
フロリダは依然としてスペイン領であったが、スペインの影響は小さく黒人逃亡奴隷とインディアンの避難所となった。スペインはこれに関与していなかったものの、モンローはアンドリュー・ジャクソン将軍を派遣した。ジャクソンはセミノール族を大量虐殺して南に追いやり、彼らに武器を供給していた二名のイギリス人商人を処刑、スペイン知事を追放してアメリカ軍守備隊を占領のため駐留させた。ジャクソンは自らの行動にワシントンD.C.からの同意があった
経歴 > 1824年の大統領選

詳細は「1824年アメリカ合衆国大統領選挙」を参照
1824年の大統領選が近づくと、人々は候補を探し始めた。ニューイングランドの有権者はアダムズの愛国心と政治的手腕を賞賛した。そしてアダムズは主に彼らのサポートを受けて選挙戦に入った。民主共和党の古い幹部会議システムは崩れ、当時の第一政党制も崩れた。そして選挙は地域の支持に基づく自由参加となった。アダムズにはニューイングランドの強い地盤があり、彼の対抗馬はジョン・カルフーン、ウィリアム・クロウフォード、ヘンリー・クレイとニューオリンズの英雄、アンドリュー・ジャクソンであった。選挙戦でカルフーンは脱落し、クローフォードも体調不良で撤退、他候補への支援に回った。一般投票ではジャクソンが最多数を得票したが、選挙人投票では過半数を獲得することはできなかった。
大統領の選出は下院に預けられ、憲法修正第12条では選挙人選挙の結果で上位3名のみが下院での選挙に出ることができるとされていたため、ジャクソン、アダムズ、クローフォードが候補者となった。クレイは4位で候補にはなれなかったが、彼は下院議長としてかなりの影響力を保持していた。
クレイは個人的にジャクソンを嫌悪しており、彼の経済施策（アメリカン・システム）はアダムズの施策と類似していたため、アダムズの支援に回った。アダムズは1825年2月9日の第1回投票で大統領に選出された。アダムズの勝利はジャクソンに衝撃を与えた。アダムズがクレイを国務長官に指名すると、ジャクソンの支持者は激怒し「不正な取引」として糾弾した。この主張はアダムズの任期の間中喧伝され、1828年の大統領選におけるアダムズ敗北の原因となった。
経歴 > 大統領職

前大統領のモンローの時代は、「好感情の時代」とも称される事実上の野党不在時代であった。しかし、巨大化しすぎたリパブリカン党（広義の民主共和党）は分裂の兆しを見せ、アダムズが大統領に就任した後に事実上党は二分された。連邦主義的な性格の強いアダムズのグループは国民共和党を名乗り、より州権主義を掲げるグループは民主共和党を名乗った。国務長官にヘンリー・クレイを登用したが、この人事はポストを見返りに自身への忠誠を要請した闇取引であると批判された。
その後も、関税法、国立銀行の設置、軍事力の強化などに関しアンドリュー・ジャクソン支持者からの議事妨害に常にさらされ、「呪われた政権」とよばれた。
1828年選挙では、史上最悪の中傷合戦が展開され、再当選を図ったが、民主共和党（のちの民主党）のアンドリュー・ジャクソンに敗れた。その後、史上唯一、大統領経験のある下院議員となった。
経歴 > 大統領職 > 内閣

| 職名 | 氏名 | 任期 |
| --- | --- | --- |
| 大統領 | ジョン・クィンシー・アダムズ | 1825年 - 1829年 |
| 副大統領 | ジョン・カルフーン | 1825年 - 1829年 |
| 国務長官 | ヘンリー・クレイ | 1825年 - 1829年 |
| 財務長官 | リチャード・ラッシュ | 1825年 - 1829年 |
| 陸軍長官 | ジェイムズ・バーバー | 1825年 - 1828年 |
| 陸軍長官 | ピーター・ビューエル・ポーター | 1828年 - 1829年 |
| 司法長官 | ウィリアム・ワート | 1825年 - 1829年 |
| 郵政長官 | ジョン・マクレーン | 1825年 - 1829年 |
| 海軍長官 | サミュエル・サウサード | 1825年 - 1829年 |
経歴 > 大統領職 > 内閣 > 指名した最高裁判所判事

ロバート・トリンブル - 1826年
経歴 > 大統領職 > 対インディアン政策

インディアン民族に対しては、アダムズは前任者のジェームズ・モンローと同様の強制移住方針を採った。これは全インディアン部族を、当時白人入植者のいなかったミシシッピ川以西の南部地域へ強制移住させ、片づけてしまおう、という政策である。
アダムズが前任者らと違っていたのは、彼は合衆国と連邦政府には、インディアン国家との連邦規定に基づくインディアン条約を守り、単にインディアンの領土を武力で合衆国に併合させるのではなく、それ相応の条件で「購入」する義務があるとした点である。
しかし、「ジョージアのクリーク族インディアンから彼らの土地を奪った詐欺的な条約を拒否し、再交渉する」というアダムズの決定は、土地を欲しがっている南部白人や西部の白人を激怒させた。彼らは野蛮人インディアンの土地を国費で購入するというアダムズの政策は生ぬるい、として激しく抵抗した。
1828年の大統領選挙では、「史上最悪の中傷合戦」が展開され、アダムズは落選。代わって大統領となったのは、インディアン虐殺で名を上げ、インディアン達をその冷酷残忍さで震え上がらせたアンドリュー・ジャクソンだった。ジャクソンはアダムズのような生ぬるい態度をとらず、問答無用でインディアンを武力で虐殺制圧し、ミシシッピ以西への強制移住を実行したのである。この政策は白人入植者から絶賛された。アダムズの対インディアン政策は白人入植者からは受け入れられないものだったのである。
エピソード

アダムズが大統領職にあった当時のアメリカでは水泳は一般的なレクリエーションでは無かったが、アダムズは朝の5時に裸でポトマック川を泳ぐ特異な習慣を持っていた。ある日泳ぎに行った際に、女性記者が尾行して、アダムズの脱いだ服の上に座り込み、戻って来た彼にインタビューを強要したため、やむ無く水中で彼は裸のまま首だけ出して記者の質問に答えたことがある。また別の日には脱いでおいた服が盗まれたため、通りかかった子供にホワイトハウスまで代わりの服を取りに行ってもらったこともある。また、1825年にはポトマック川の支流タイバー川を泳いで渡る計画を立て、近侍のアントワーヌ・グイスタとボートに乗って出発した。しかし、川の途中で天候が急変したためにボートが沈没してしまい、アダムズは着衣のまま対岸まで必死で泳ぐことになる。なんとか岸にたどり着いたアダムズは濡れた服をグイスタに渡して迎えを呼びにやり、全裸で5時間路傍で待つ羽目になった。
ジョージ・ワシントンを尊敬していたことから、1801年にベルリンで生まれた長男をジョージ・ワシントン・アダムズと名付けた。これは歴代大統領の中で唯一人である。
長い外交官生活にかかわらず最も服装に無頓着な大統領といわれ、同じハットを10年間も被ったという。身長5フィート7.5インチ（約171cm）だった。
関連作品 > 映画

『アミスタッド』（Amistad、1997年)
スタディオンFKクラスノダール

| クラスノダール・スタジアム |
| --- | --- |
 
 
施設情報
所在地:  クラスノダール
位置:  北緯45度02分39秒 東経39度01分46秒﻿ / ﻿北緯45.0441667度 東経39.0294444度﻿ / 45.0441667; 39.0294444座標: 北緯45度02分39秒 東経39度01分46秒﻿ / ﻿北緯45.0441667度 東経39.0294444度﻿ / 45.0441667; 39.0294444
起工:  2013
開場:  2016
所有者:  セルゲイ・ガリツキー
グラウンド:  天然芝
ピッチサイズ:  105 x 68 m
設計者:  SPeeCH gmp Architekten von Gerkan, Marg und Partner
建設者:  ESTA Construction
使用チーム、大会
 FCクラスノダール (2016-)
収容人員
 33,979人
クラスノダール・スタジアム（ロシア語: Стадион «Краснодар»）はロシアのクラスノダールにあるサッカースタジアムである。FCクラスノダールがホームスタジアムとして使用する。
概要

スタジアムの設計はロシアのSPeeCHとドイツのgmp Architekten von Gerkan, Marg und Partner、建設はトルコのESTA Constructionが担当した。建設費はFCクラスノダールのオーナーであるセルゲイ・ガリツキーが負担した。
スタジアムの収容能力は約3万4千人だが、4万人に増やせるように設計されている。外観はコロッセオのようなデザインで、内壁には360度の巨大なLEDスクリーンが設置されている。気温がマイナス25度まで下がっても、スタジアム内は10度まで上げることができ、フィールドには冷却と加温、座席には暖房システムが設置されている。
2011年から2013年までデザインの選考が行われ、2013年4月に建設が開始された。2016年9月にスタジアムが完成し、10月9日にサッカーロシア代表とサッカーコスタリカ代表の親善試合で開場した。FCクラスノダールからはセルゲイ・ペトロフとユーリ・ガジンスキー、スタニスラフ・クリチュクの3名がロシア代表に選出された。10月20日にはFCクラスノダール最初のホームゲームとなるUEFAヨーロッパリーグ 2016-17グループステージ第3節のシャルケ04戦が行われた。
名古屋市立鳴子小学校

| 名古屋市立鳴子小学校 |
| --- | --- |
 
 北緯35度05分55秒 東経136度57分55秒﻿ / ﻿北緯35.09851681度 東経136.96540972度﻿ / 35.09851681; 136.96540972座標: 北緯35度05分55秒 東経136度57分55秒﻿ / ﻿北緯35.09851681度 東経136.96540972度﻿ / 35.09851681; 136.96540972
過去の名称:  鳴海町立鳴子小学校
国公私立の別:  公立学校
設置者:  名古屋市
校訓:  美しい心　強いからだ
設立年月日:  1962年
共学・別学:  男女共学
学期:  3学期制
学校コード:  B123210002038 
所在地:  〒458-0041
 愛知県名古屋市緑区鳴子町2丁目69
外部リンク:  公式サイト
 ウィキポータル 教育  ウィキプロジェクト 学校
テンプレートを表示
名古屋市立鳴子小学校（なごやしりつ なるこしょうがっこう）は、愛知県名古屋市緑区鳴子町2丁目にある公立小学校。
概要

相川1丁目、池上台2丁目、鳴子町1・3・4丁目の一部、鳴子町2丁目、鳴海町の一部（藤川）、万場山1丁目などが通学区域であり、公立中学校の進学先は名古屋市立鳴子台中学校である。
鳴子団地の造成に伴い開校した小学校である。校地は鳴子団地内にある。
沿革

1962年（昭和37年）4月 - 鳴海町立鳴海小学校から分離し、鳴海町立鳴子小学校として開校する。
1963年（昭和38年）4月1日 - 愛知郡鳴海町が名古屋市に編入され、名古屋市緑区となる。同時に名古屋市立鳴子小学校に改称する。
1971年（昭和46年）
4月 - 分校を設置する。
10月 - 分校が名古屋市立戸笠小学校として独立する。
1974年（昭和49年）4月 - 分校を設置する。
1975年（昭和50年） - 分校が名古屋市立長根台小学校として独立する。
交通アクセス

名古屋市営地下鉄桜通線鳴子北駅下車、徒歩約8分。
名古屋市営バス植田11系統、鳴子12号系統、鳴子13号系統、鳴子14号系統、鳴子15号系統、鳴子16号系統、幹鳴子1号系統「鳴子町」バス停より徒歩約3分。
名鉄バス鳴海線【50系統・51系統】「鳴子町」バス停より徒歩約3分。
周辺施設

名古屋市立鳴子台中学校
名古屋市立長根台小学校
名古屋市営地下鉄桜通線鳴子北駅
リース・リッチー

| リース・リッチー Reece Ritchie |
| --- | --- |
生年月日:   (1986-07-23) 1986年7月23日（38歳）
国籍:   イギリス
職業:  俳優
活動期間:  2007年 – 現在
テンプレートを表示
リース・リッチー（Reece Ritchie、1986年7月23日 - ）は、イギリスの俳優。
略歴

サフォークの高校に通ったのち、ナショナル・ユース・シアターの一員となる。主に舞台で活動していたが、テレビシリーズや映画にも出演し始める。2009年の映画『ラブリーボーン』にて主人公の初恋の相手を演じた。2010年には、ジュディ・デンチと舞台で共演。
主な出演作品

『紀元前1万年』 10,000 B.C. (2008)
『ラブリーボーン』 The Lovely Bones (2009)
『プリンス・オブ・ペルシャ/時間の砂』 Prince of Persia: The Sands of Time (2010)
『ヘラクレス』 Hercules (2014)
不動点コンビネータ

| --- | --- |
: 「Yコンビネータ」は不動点演算子について説明しているこの項目へ転送されています。カリフォルニア州の企業については「Yコンビネータ (企業)」をご覧ください。
不動点コンビネータ（ふどうてんコンビネータ、英: fixed point combinator、不動点結合子、ふどうてんけつごうし）とは、与えられた関数の不動点（のひとつ）を求める高階関数である。不動点演算子（ふどうてんえんざんし、英: fixed-point operator）、パラドキシカル結合子（英: paradoxical combinator）などとも呼ばれる。ここで関数  f の不動点とは、 f(x)=x を満たすような  x のことをいう。
すなわち高階関数  {\boldsymbol {g}} が不動点コンビネータであるとは、
事を指す。
あるいは全く同じことだが、不動点コンビネータの定義は、任意の関数  f に対し、
が成立する事であるとも言い換えられる。
第一級関数をサポートしているプログラミング言語では、不動点コンビネータを用いて識別子に束縛されない関数の再帰を定義することができる。そういったテクニックは、しばしば無名再帰と呼ばれる。
不動点コンビネータは高階関数であるため、その歴史はラムダ計算の発達と深く関係している。型無しラムダ計算（英: untyped lambda calculus）においては、ハスケル・カリーの Y = λf·(λx·f (x x)) (λx·f (x x)) という不動点コンビネータがよく知られている。型無しラムダ計算には無数の不動点コンビネータが存在するが、一方で単純型付きラムダ計算などのより限定的な計算モデルでは、不動点コンビネータは必ずしも存在するとは限らない。
不動点コンビネータによる再帰の実現

不動点コンビネータにより、第一級関数をサポートしているプログラミング言語において、明示的に再帰を書かずに再帰を実現する為に用いる事ができる。なお、一般にそういった言語では普通に再帰が使えるので、プログラミングにおいてはパズル的なテクニック以上の意味は無い。一方、循環なく関数の意味を定義する（できる）、ということは、計算理論の上では重要である。
まず、再帰関数の性質を簡単に振り返り、記号をいくつか定義する。関数  a が再帰的に定義されているとき、  a の定義式は何らかの高階関数  U を用いて、
()
と書ける。たとえば  a(x) が  x の階乗を計算する関数である場合、  U として
を取る事ができる。上述のように定義された  U が(Eq. 1)を満たすのは明らかであろう。
U を用いて高階関数  V を
()
と定義する。
（すなわち  V は関数  f を入力として受け取ると
関数「 x\mapsto U(f,x)」を出力する高階関数である。
ラムダ計算の用語で言えば、  V は  U  のカリー化 \lambda f.(\lambda x.U)にあたる。）
 V の定義より、 V(f)はそれ自身関数であり、任意の  x に対し、
()
が成り立つ。ここで  V(f)(x) は関数 V(f)に  x を入力したときの値。
さて、g を不動点コンビネータとするとき、不動点コンビネータの定義より特に、
 {\boldsymbol {g}}(V)は  V の定義域の元である事が分かる。
 V の定義域は関数の集合だったので、これはすなわち  {\boldsymbol {g}}(V) はそれ自身関数である事を意味する。
この関数  {\boldsymbol {g}}(V) が式で定義された再帰関数  a と一致する事を示す事ができる（後述）。
よって以下のようにすれば不動点コンビネータg で再帰関数  a を実現できる事になる：
U のプログラムを書く。
V をEq. 2式のように定義し、 a={\boldsymbol {g}}(V)とする。
不動点コンビネータによる再帰の実現 > a={\boldsymbol {g}}(V) の証明

最後に {\boldsymbol {g}}(V)が Eq. 1 で定義された再帰関数  a と一致する事を示す。
不動点コンビネータの定義より、 {\boldsymbol {g}}(V)は
()
を満たす。
前述したように {\boldsymbol {g}}(V)はそれ自身関数なので、値xに対し {\boldsymbol {g}}(V)(x)を考える事ができる。
 {\boldsymbol {g}}(V)(x)は以下を満たす：
| 0 | 1 | 2 |
| --- | --- | --- |
|  {\boldsymbol {g}}(V)(x) |  =V({\boldsymbol {g}}(V))(x) | (Eq. 4より) |
|  |  =U({\boldsymbol {g}}(V),x)、 | (Eq. 3より) |
すなわち
()
Eq. 1 と Eq. 5 を見比べると、Eq. 5 は Eq. 1 で  a を  {\boldsymbol {g}}(V) に置き換えたものに等しい事が分かる。
Eq. 1は  a の（再帰的な）定義式であったので、これはすなわち  {\boldsymbol {g}}(V) が  a の定義式を満たす事を意味する。
よって
が成立する事が分かった。
不動点コンビネータの例

型無しラムダ計算や組合せ論理などの特定の数学的な計算形式化においては、すべての式は高階関数とみなすことができる。これらの形式化では、不動点コンビネータが存在することはすなわち、すべての関数が少なくとも1つの不動点を持つことを意味する。さらに、関数は複数の異なる不動点を持つことができる。
単純型付きラムダ計算などの他のいくつかの体系では、十分に型付けされた不動点コンビネータを書くことはできない。それらの体系で再帰をサポートするには、明示的に言語体系に組み込む必要がある。それでも再帰データ型によって拡張された単純型付きラムダ計算などでは不動点演算子を書くことができるが、ある種の「実用的な」不動点演算子（常にいずれかの適用を返すもの）は制限される。多相ラムダ計算（英: polymorphic lambda calculus、システムF、英: System F）では多相不動点コンビネータは型  \forall {a}.(a\rightarrow a)\rightarrow a を持つ（ただし  a は型変数である）。
不動点コンビネータの例 > Yコンビネータ

型無しラムダ計算においてよく知られた（そしておそらく最もシンプルな）不動点コンビネータはYコンビネータと呼ばれる。これはハスケル・カリーによって発見されたもので、次のように定義される。
Y = (λf . (λx . f (x x)) (λx . f (x x)))
実際に関数gを適用することによって、この関数が不動点コンビネータとして動作するのが分かる。
| 0 | 1 | 2 |
| --- | --- | --- |
| Y g | = (λf . (λx . f (x x)) (λx . f (x x))) g | (Yの定義より) |
|  | = (λx . g (x x)) (λx . g (x x)) | (λfのβ簡約、主関数をgに適用) |
|  | = (λy . g (y y)) (λx . g (x x)) | (α変換、束縛変数の名前を変える) |
|  | = g ((λx . g (x x)) (λx . g (x x))) | (λyのβ簡約、左の関数を右の関数に適用) |
|  | = g (Y g) | (第2式より) |
これをそのままラムダ計算で使うと、評価戦略が値渡しだった場合には (Y g) が (g (Y g)) と展開された後も、引数の値を先に求めようとして (g (g (Y g))) →...→ (g ... (g (Y g))...) のように無限に展開され続けて止まらなくなってしまうので、次節で示すZコンビネータのように修正する。評価戦略が名前渡しの場合はこのまま使える。
このカリーによるコンビネータのみをYコンビネータとすることもあるが、実装などでは不動点コンビネータを指す名前として他の形であってもYという名前を使っていることもある（#グラフ簡約の節の注を参照せよ）。
SKIコンビネータ計算では次のようになる。
不動点コンビネータの例 > Zコンビネータ

「無名再帰」も参照
値渡し評価（適用順序）でも使用可能なバージョンのYコンビネータは、通常のYコンビネータの一部をη変換することで与えられる。
Python での実装。その他のプログラミング言語での実装は無名再帰を参照。
Z = lambda f: (lambda x: f(lambda *y: x(x)(*y)))(lambda x: f(lambda *y: x(x)(*y)))
# 利用方法（5の階乗の計算）
Z(lambda f: lambda n: 1 if n == 0 else n * f(n - 1))(5)
不動点コンビネータの例 > チューリング不動点コンビネータ

もう一つの一般的な不動点コンビネータは、チューリング不動点コンビネータである（発見者であるアラン・チューリングの名にちなむ）。
これはシンプルな値渡し形式も持つ。
不動点コンビネータの例 > SとKによる最もシンプルな不動点コンビネータ

SKIコンビネータ計算のSとKによる最もシンプルな不動点コンビネータは、ジョン・トロンプによって発見された以下であり、
これは次のラムダ式と対応する。
不動点コンビネータの例 > その他の不動点コンビネータ

型無しラムダ計算における不動点コンビネータは無数に存在するので、特に珍しいわけではない。2005年、メイヤー・ゴールドバーグ (Mayer Goldberg) は型無しラムダ計算の不動点コンビネータの集合が帰納的可算集合であることを示した。
次のようないくつかの不動点コンビネータ（ジャン・ウィレム・クロップによって組み立てられた）は、主として遊びに使われる。
ここで
不動点コンビネータの例 > 非標準不動点コンビネータ

型無しラムダ計算には不動点演算子と同じベーム木（英: Böhm tree）を持つラムダ式がある。すなわちそれらは λx.x(x(x ... )) と同じ無限の拡張を持つ。これは非標準不動点コンビネータ（英: non-standard fixed point combinators）と呼ばれる。定義より、あらゆる不動点コンビネータは非標準でもあるが、すべての非標準不動点コンビネータが不動点コンビネータであるわけではない。それらのいくつかは「標準」の定義を満たさないからである。これらの変わったコンビネータは特に strictly non-standard fixed point combinators と呼ばれる。例として、B = λx.xx かつ M = λxyz.x(yz) としたときのコンビネータ N = BM(B(BM)B) が挙げられる。非標準不動点コンビネータの集合は帰納的可算集合ではない。
不動点コンビネータの実装

これまでの節で実装というよりは主に理論の観点から述べてきた、評価戦略が名前渡しの場合と値渡しの場合の違いは、実装においては、非正格(non-strict)なプログラミング言語（ないし処理系）と正格(strict)な言語の場合にほぼそのまま対応する。非正格な（遅延評価の、と言い換えてもだいたい同じ。具体的にはHaskellなどがそう）言語ないし処理系においては、ほぼ不動点コンビネータの意味そのままに循環的に実装できる。正格な場合は修正が必要であり、後述する。理論的には循環が無いことに意味があったが、実装においては循環的で普通は問題が無く、そのほうが効率的でもある。以下にHaskellによる不動点コンビネータの実装を示す。この不動点コンビネータはHaskellにおいては伝統的にfixと呼ばれる。fixは多相不動点コンビネータであることに注意せよ（前述のシステムFに関する議論も参照）。なお、Haskellには型推論があるが、以下では曖昧さをなくすために型は明記する（一般に、こういった特殊な型を使う場合は型を明記したほうが良いし、推論の実装の限界のために明記が必要なこともある）。定義の後に使用例が続く。
なお、型無しラムダ計算におけるカリーのYコンビネータは、そのまま実装しようとすると、Haskellの型チェッカによって拒否される。
fix :: (a -> a) -> a
fix f = f (fix f)

fix (const 9) -- constは第1引数を返し、第2引数を捨てる関数。9と評価される

factabs fact 0 = 1 -- factabsはラムダ計算の例のFから拝借
factabs fact x = x * fact (x-1)

(fix factabs) 5 -- 120と評価される
fixの適用は遅延評価されるので無限ループにはならない。たとえばfix (const 9)が(const 9)(fix f)として展開されるとき、部分式fix fは評価されない。ところが、Haskellによるfixの定義を正格(strict)プログラミング言語に持ち込むと無限ループになる。なぜなら、fへ渡した引数は事前に展開され、無限の呼び出しの連続f (f ... (fix f) ... ))を生み出すからである。
MLのような正格言語においては、クロージャの使用を強制することによって無限再帰問題を回避することができる。fixの正格なバージョンは型  \forall {a}.\forall {b}.((a\rightarrow b)\rightarrow (a\rightarrow b))\rightarrow (a\rightarrow b) を持つべきである。要するに、これは関数を取って返す関数でのみ動く。例として、以下はfixの正格なバージョンのOCamlコード実装である。
let rec fix f x = f (fix f) x (* 余分なxに注目 *)

let factabs fact = function (* factabsはエクストラレベルのラムダ抽象 *)
 0 -> 1
 | x -> x * fact (x-1)

let _ = (fix factabs) 5 (* "120" と評価される *)
以下は Python での実装。
def fix(f):
    return lambda x: f(fix(f))(x)
# 利用方法（5の階乗の計算）
fix(lambda f: lambda n: 1 if n == 0 else n * f(n - 1))(5)
Java 8 や C++11 では無名関数（ラムダ式）が使えるので上記と同じ方法で実装できる。それよりも前の時代の Java や C++ では少々複雑だった。
不動点コンビネータの実装 > 再帰型による符号化の例

再帰データ型（システムFωを参照）をサポートしているプログラミング言語では、型レベルで再帰を適切に計算することによってYコンビネータの型付けが可能になる。変数xを自己適用する必要性は同型の (Rec a -> a) を用いて定義される型 (Rec a) によって管理することができる。
例として、以下のHaskellコードは、型とともに同型写像のInとoutの2つの方向の名前を持つ。
In :: (Rec a -> a) -> Rec a
out :: Rec a -> (Rec a -> a)
そして次のように書くことができる。
newtype Rec a = In { out :: Rec a -> a }

y :: (a -> a) -> a
y = \f -> (\x -> f (out x x)) (In (\x -> f (out x x)))
OCamlによる等価なコードは以下。
type 'a recc = In of ('a recc -> 'a)
let out (In x) = x

let y f = (fun x a -> f (out x x) a) (In (fun x a -> f (out x x) a))
不動点コンビネータの実装 > グラフ簡約

グラフ簡約（en:Graph reductionを参照）による計算系では、不動点コンビネータへの適用(apply, application)は理論通り展開しても良いが、左の図のように循環のあるグラフに簡約するという一種の、のぞき穴的最適化が知られている。また、これはカリーのYコンビネータではないが(この図のように)便宜的にYという名前で呼ばれていることもある。
関数の自己参照による無名再帰

詳細は「無名再帰」を参照
不動点コンビネータは識別子に束縛されていない関数が自分自身を呼び出す一般的な方法であるが、言語によっては特別な名前などで自分自身を呼び出すことができる。詳細は無名再帰を参照。
夕月堂本舗

夕月堂本舗（ゆうづきどうほんぽ）は東京都足立区にある総合格闘技ジム。中村大介が主宰している。
概要

2014年に総合格闘家の中村大介が、地元・北千住に道場を開く。道場の名前「夕月堂本舗」はU（UWF）が好きという意味が掛けられている。
主な所属選手

中村大介（第7代DEEPライト級王者）
小林ゆたか（パンクラス 第22回ネオブラッド・トーナメント ライト級 優勝）
カワサキ・EX-4

カワサキ・EX-4（イーエックスフォー）は川崎重工業が1994年から1998年の間、製造していたスポーツタイプのオートバイである。
概要

EX-4（EX400B）はGPZ400S（EX400A）の後継機として1994年に販売を開始した。同時発売はZRX。プレスリリースのサーキット走行会で、区間タイムではあるが4気筒車のZRXより速いタイムを記録。雑誌の記事には「ZRXよりも乗りやすい」など載り、評価も高かった。
GPZ400Sのマイナーチェンジモデルで、フレームとエンジンの基本は同じで、デザインと足回りの変更が主である。
日本国外では既にGPZ500S/Ninja500(EX500)として販売されていた車を、日本の中型免許で乗れるよう、排気量398ccとして設計し直したものである。このエンジンの源流は日本国外用アメリカンのEN454（日本版EN400）であり、シリンダーヘッドやピストン、コンロッドなどの設計はGPZ900Rのエンジンを元にしており、ボア×ストロークが同じで排気量がぴったり半分なため、この系統のエンジンは日本国外で“ハーフニンジャ”の異名を取った。（ただし、センターカムチェーンや逆回転クランクとハイボチェーンによる一次減速など、900Rのモジュラーエンジンではない）
水冷DOHC4バルブ、180度クランク、一軸式バランサー装備のエンジンは、出力50ps/10500rpm、最大トルク3.6kgf/9000rpm、定置燃費39km/L(60km/h)と、当時としても400cc並列2気筒ではトップクラスの性能だった。
しかし、安価でよく走るスタンダードバイクとしてロングセラーとなっていく日本国外のEX500と違い、400ccクラスでは4気筒エンジンが当然となっていた当時の日本では、多少の価格差よりも商品性の高さが求められ、二気筒エンジンに前輪シングルディスクや細身の足回り等、豪華さに欠ける装備は支持を得られず、販売側としてもラインナップを埋めるために少数を用意したに過ぎず、地味な存在であった。
参考リンク

バイクヒストリー カワサキEX-4（※記事中のGPZ400Sとのエンジンの比較は誤り。実際には変更点は進角装置のみ）
小川友幸

小川友幸（おがわ ともゆき、1976年10月4日 - ）は、三重県四日市市出身のオートバイ・トライアルライダー。トライアル国際A級スーパークラスライダー。全日本トライアル選手権を2013年から2023年まで11連覇、通算13回の制覇を達成している。ニックネームは「GATTI（ガッチ）」。
現役のトライアルライダーとして全日本選手権国際A級スーパークラスで活躍を続け、また日本最大級のトライアルスクール「GATTIスクール」の塾長としてトライアルの普及にも力を注いでいる。
経歴

1990年 自転車トライアル・ミニメットクラスで世界チャンピオンとなる。
1991年 バイクトライアルへ転向する。
1992年 全日本選手権国際B級でチャンピオンとなる。
2007年 全日本選手権国際A級スーパークラスでチャンピオンとなる。
2010年 全日本選手権国際A級スーパークラスでチャンピオンとなる。
2013年 ～2023年全日本選手権国際A級スーパークラスでチャンピオンとなる。
ナノ回路

ナノ回路（英語：Nanocircuits）は、ナノメートルのスケールで動作する電気回路。これは、量子力学的な効果が非常に重要となる量子領域によくあてはまる。1ナノメートルは10−9メートルと等しく、水素原子10個並べた長さに等しい。そのような革新的に小さい回路では、より多くをコンピュータチップに取り付けることができる。これにより、より少ない電力でさらに速く複雑な機能が可能となる。ナノ回路は3つの異なる要素であるトランジスタ、伝送線路、アーキテクチャからなり、すべてナノメートルのスケールで製造されている。
ナノ回路への様々なアプローチ

ナノ回路を異なる形で実行するために様々な提案がなされてきた。例えば、ナノワイヤ、単一電子トランジスタ、量子ドットセルラーオートマタ、ナノスケールクロスバーラッチがある。しかし、近い将来MOSFETを改善するためのナノ材料の組み込むというアプローチも考えられる。これは現在ほとんどのアナログおよびデジタル回路の基礎をなしており、そのスケーリングはムーアの法則を駆り立てている。
MOSFET設計とその将来性をカバーするレビュー論文が2004年に発表され、その中でスケール縮小の下での異なる構造のMOSFETを比較し、円形断面垂直チャネルFETがスケール縮小のために最適なものであると指摘した。この形状はナノスケール直径の垂直半導体円筒チャネルを用いて高密度に実装することができ、インフィニオン・テクノロジーズとサムスンはこの方向で研究開発を始め、結果としてMOSFET設計にナノワイヤとカーボンナノチューブを用いる基本特許がいくつか出た。別のアプローチにおいては、Nanosysが溶液を基礎とする堆積およびアラインメントプロセスを用い、基板上に前もって製造されたナノワイヤのアレイをパターニングしてFETの横チャネルとして機能させる。単一ナノワイヤFETと同じスケーラビリティを実現することができない一方、チャネル用に前もって作製した複数のナノワイヤを用いることは、大容量印刷プロセスを使用して従来の製造過程よりも低い温度でナノワイヤを堆積できるため、製造コストを削減することができる。さらに低温で堆積させることから、電子ペーパー、折り曲げ可能なフラットパネルディスプレイ、広域太陽電池などのフレキシブル電子応用の扉を開くトランジスタ用のキャリア基板としてポリマーなどより広い範囲の材料を用いることができる。
製造方法

ナノ回路を理解するための最も基本的な概念の1つは、ムーアの法則のformulationである。この概念はIntelの共同設立者であるゴードン・ムーアがトランジスタのコストに関心を持ち、1つのチップにより多くのトランジスタを収めようと考えた際に生じた。内容はシリコン集積回路上に製造することのできるトランジスタの数、つまり回路の計算能力は、18か月から24か月ごとに倍増しているというものである。回路に乗せるトランジスタの数が多いほど、コンピュータがより高い計算能力を有する。これが科学者とエンジニアがこれらのナノ回路を製造している理由であり、ますます多くのトランジスタがチップに収まるようになるであろう。このことは良いことのように聞こえるが、非常に多くのトランジスタを詰め込む際に生じる問題が多くある。回路が非常に小さい場合、大きな回路よりも多くの問題を抱える傾向にある。特に熱の問題があり、小さい表面積にわたる電力量により放熱が難しくなり、この過剰な熱がエラーを引き起こしチップを破壊するおそれがある。ナノスケールの回路は、今日使用している回路よりも温度変化、宇宙線、電磁干渉に敏感である。より多くのトランジスタがチップ上に詰め込まれると、チップ上の迷走信号などの現象、非常に多くの密集したデバイスからの熱放散の必要性、スケールが小さいゆえの絶縁障壁を越えてのトンネリング、製造の難しさが進歩を止めるもしくは著しく遅くする。多くの人がナノ回路市場は2015年ごろに均衡状態になると考えている。現時点では製造施設のコストは2000億ドルにも達すると考えられている。回路をさらに小さくするためのコストが高すぎるという時期はどこかにあり、そこではコンピュータの速度は最大に達すると思われる。この理由から、ムーアの法則は主にマイクロリソグラフィエッチング技術の進歩により起こる計算能力の増加に大きく基づいているため、多くの科学者はムーアの法則は永遠に成立するものではなくすぐにピークに達すると考えている。
これらのナノ回路を製造する際には、それにまつわる多くの面がある。1つはトランジスタから始まる。現在、ほとんどの電子機器はシリコンベースのトランジスタを使用している。トランジスタは、電気の流れを制御し弱い電気信号を強い電気信号に変換する、回路に不可欠な要素である。電流を制御しそれをオンオフすることや信号を増幅することもできる。導電状態と非導電状態の間を簡単に切り替えることができるため、現在回路はトランジスタとしてシリコンを使用している。しかし、ナノエレクトロニクスにおいてはトランジスタは有機分子もしくはナノスケールの無機構造であることがある。トランジスタの一部である半導体もナノ状態の有機分子でできている。
2つ目は相互接続である。これには論理および数学演算と、これを可能とするトランジスタを結ぶワイヤが含まれる。ナノ回路では、1ナノメートルほどの細さのナノチューブや他のワイヤがトランジスタを互いにつなげるために使われる。ナノワイヤは数年前からカーボンナノチューブで作られている。数年前まではトランジスタとナノワイヤを組み合わせて回路が製造されていた。しかし、その中にトランジスタを有するナノワイヤを製造することが可能になった。2004年、ハーバード大学のナノテクノロジーの草分け的存在であるCharles Lieberと彼のチームは一連のトランジスタを含み1枚の紙より1万倍薄いナノワイヤを作製した。本質上はトランジスタとナノワイヤは、その2つを一緒に接続するという難しい作業を取り除くために、事前に配線されている。
ナノ回路構成の最後の部分はアーキテクチャである。これはトランジスタが相互接続される全体的方法として説明されるため、回路はコンピュータもしくは他のシステムに接続でき、下位レベルの詳細とは無関係に動作することができる。ナノ回路は非常に小さいため、エラーと欠陥が運命づけられているが、これを回避する方法が考案されている。このアーキテクチャは冗長論理ゲートを持つ回路とチップ上のいくつかのレベルで構造を再構成できる相互接続を組み合わせる。冗長性により、回路は問題を認識しそれ自体を再構成し、回路がそれ以上の問題は回避できるようにする。また、論理ゲート内のエラーを許容はするが、誤った結果を与えることなくこれを適切に機能させる。
潜在的な応用とブレイクスルー

インドの科学者によりナノ回路に使われる世界最小のトランジスタが開発された。このトランジスタは完全にカーボンナノチューブでできている。ナノチューブは炭素原子のシートを巻いたものであり、ヒトの髪の毛の1000分の1よりも細い。通常、回路はシリコンベースのトランジスタを使用するが、これらは近いうちに置き換えられるであろう。このトランジスタには1点で交わる2つの異なる分岐があるためY字型になっている。電流は両方の分岐に流れることができ、電圧をオンオフする3番目の分岐により制御される。この新たなブレイクスルーによりナノ回路はすべてをナノチューブから製造することができ、その名前通りになる。この発見以前にも論理回路はナノチューブを使用していたが、電流の流れを制御できるようにするために金属ゲートが必要であった。
おそらくナノ回路最大の潜在的応用先はコンピュータと電子機器である。科学者とエンジニアは常にコンピュータの高速化を目指している。より近い言葉で考えると、マイクロとナノのハイブリッド、ナノコアを持つシリコン（おそらく中身を永久に保持することのできる高密度コンピュータメモリ）がある。青写真から写真のパターン、チップへと進む従来の回路設計とは異なり、ナノ回路設計はおそらくチップから始まり（1024もの部品とワイヤの偶然的な混乱で常にうまくいくわけではない）徐々に有用なデバイスに刻んでいく。従来のトップダウンのアプローチを採用するのではなく、ボトムアップのアプローチをこれらナノ回路の大きさにより、おそらくすぐに採用する必要がある。ナノレベルにあるゆえおそらく回路内のすべてがうまくいくとは限らず、ナノ回路はそのコンパクトさから欠陥や不良が多くなる。科学者やエンジニアにより、トランジスタ、論理ゲート、ダイオードなど、ナノ回路に不可欠な要素はすべて作り出された。これらは、すべて有機分子、カーボンナノチューブ、ナノワイヤ半導体から構成されている。残されたやるべきことは、そのような小型デバイスやナノ回路に付随するエラーを排除する方法を見つけることだけである。しかし、最終的にはナノ回路がどのくらい小さくなるかやコンピュータや電子機器の平衡速度への到達には限界がある。
いろはめる

いろは める（1997年7月10日 - ）は、日本の元AV女優。
略歴・人物

東京都出身。2016年6月にデビューした小柄で華奢なロリ系AV女優。デビューのきっかけは、レズ友と別れたこと。
初体験の相手は親戚のおじさん。年上好きで、初の彼氏は体重120kgでバツ2の54歳だった。
2018年1月をもってAV関係の仕事を一部を除いて卒業していたこと、今後は、不定期の撮影会のみで活動していくことを2018年2月3日に発表。