高階の型システムはを、ラムダ・キューブの4つ全てのラムダ抽象の形式に拡張することで得られる。すなわち、項から項への関数、型から項への関数、項から型への関数、そして型から型への関数である。この型システムはCalculus of constructionsに対応する。Calculus of constructionsをさらに拡張するとCalculus of inductive constructions (en:Calculus of inductive constructions) が得られる。これは、Coqが用いている型システムである。
二階の依存型を持つ型システムは、に型コンストラクタ上での量化を許容することで得られる。この型システムでは、依存積演算子は単純型付きラムダ計算の演算子とSystem Fの束縛子の両方の役割を果たす。
一階の依存型を持つ型システムは、単純型付きラムダ計算の関数型(矢印型)を依存積型に一般化することで得られる。これは論理学におけるLogical Framework LF (en:Logical framework#LF)に対応する。
依存型は、プログラミングと論理学のつながりを深めるために作られた。1934年にハスケル・カリーは、当時考えられていた数学的なプログラミング言語で使われていた型が、命題論理の公理系と同じパターンに従っていることを発見した。さらに、命題論理の証明それぞれに対して、プログラミング言語における関数(項)が対応していることもわかった。カリーの挙げた例の一つは、単純型付きラムダ計算と直観主義論理の対応である。述語論理は命題論理に量化子を加えたものである。ハワードとド・ブラウンは型付きラムダ計算に依存関数のための型("任意の"に対応する)と依存ペアのための型("存在する"に対応する)を加えることで、述語論理に対応するプログラミング言語を作り出した。(これを含むいくつかの業績により、命題を型と見なす考え方はカリー＝ハワード同型対応という名前で知られている。)
イギリスノース・ヨークシャーのクレーヴェンにあるジグルスウィックでは皆既日食のため多くの人が集まった。現地は晴れで観測が成功だった。しかし、イギリスの他の地域には不利な天気が多く、多くの学生が皆既日食の観測活動に参加したが成功しなかった。ウェールズ北部のスノードン山、ランベリス、カーナーヴォン、ランラッグ、デイニオレン、プルヘリ、クリキエス、ランディドノー、ポースマドッグ、コンウィ、バンガー、ペンマインマウルなどでも雨の影響で皆既日食が見えなかった。
皆既帯が通過した、皆既日食が見えた地域はイギリス、ノルウェー南部と北東部、スウェーデン北部、フィンランドのラッピ州（現在のラッピ県北部）、ソ連北部（現地時間6月29日）、アラスカ準州（現在アメリカのアラスカ州のアムクタ島（現地時間6月28日）だった。また、皆既日食が見えなくても、部分日食が見えた地域はヨーロッパ全部、アフリカ北部、西アジアの北半分、中国の北半分、朝鮮半島、日本、デンマーク領グリーンランド、カナダ北部、アラスカ準州のほとんど（南東部を除く）だった。そのうち大部分の地域では6月29日に日食が見え、北アメリカ北西部では6月28日が見え、カナダ北部の白夜のある一部の地域では深夜0時をまたいで6月28日から6月29日に部分日食が見えた。
1927年6月29日の日食は、1927年6月29日に観測された日食である。イギリス、ノルウェー、スウェーデン、フィンランド、ソ連、アラスカ準州で皆既日食が観測され、ヨーロッパ全部、アジアの北半分、北アメリカ北部、アフリカ北部で部分日食が観測された。
ジョレンテの父親は1980年～1990年代にかけてレアル・マドリードに在籍したフランシスコ・ジョレンテである。さらに”イエイエ・マドリード”と呼ばれる黄金世代の一員であったラモン・グロッソは祖父にあたり、レアル・マドリードの伝説的名選手であるフランシスコ・ヘントは大叔父にあたる。
2016年8月11日、昇格したばかりのデポルティーボ・アラベスへのレンタル移籍が発表された。加入直後からピボーテとしてレギュラーに定着し、ゲームメイクから守備まで縦横無尽の活躍を見せた。特に守備ではリーグトップとなる88回のタックルを成功させ、アラベスのリーグ戦9位躍進、コパ・デル・レイ準優勝に大きく貢献した。
2002年から2008年まで地元マドリードのCDラス・ロサスの下部組織などで過ごし、2008年7月1日にレアル・マドリードの下部組織に入団した。2014年からレアル・マドリード・カスティージャでプレーしている。2015年10月17日に行われたプリメーラ・ディビシオン第8節レバンテUD戦でトップチームデビューを果たした。
秋篠宮邸は御用地の南東部に位置する秋篠宮家の宮邸である。北に赤坂東邸が隣接し、正門は巽門という。秋篠宮同妃は成婚当初、1931年（昭和6年）に宮内省乳人官舎として建てられ、1968年（昭和43年）から1989年（平成元年）まで鷹司和子が使用した仮寓所を居宅部分として使用していた。250㎡ほどの内庭があり眞子内親王・佳子内親王誕生により増築した。木造モルタル平屋建てで、述床面積105平方メートル（増築後200平方メートル）であった。この仮寓所は1990年（平成2年）6月から使用していた。その後の秋篠宮邸は、1972年（昭和47年）10月に改修した旧秩父宮邸を1997年（平成9年）3月から現宮邸として使用しているものである。現在使用されている旧秩父宮邸は接遇の間として使用されている。1998年（平成10年）、住居部分として建築（8室）された付属邸を私有の居宅部分として使用している。地上2階の鉄筋コンクリート建てであり、宮邸の総敷地は1417平方メートルで私有の居宅部分は472平方メートル。一階には八畳ほどの広さの厨房があり、それと隣接して侍女長や侍女がつめている事務所がある。文仁親王が皇嗣となった後は、増築が予定されている他、赤坂東邸も秋篠宮邸と一体となった利用が検討されている。