花田 久徳（はなだ ひさのり） は、新聞人。日本新聞協会審査委員。尺八を学び、竹号を鶯盟とする。1962年、西南学院大学文学部英文学科を卒業。同年日本経済新聞社に入社。東京本社編集局校閲部、夕刊コラム「鐘」執筆。校閲部長、記事審査委員兼務、1991年記事審査委員会幹事、紙面審査委員を経て、辞書編纂委員。2000年定年退職。
ルートヴィヒ7世（Ludwig VII., 1365年12月20日 - 1447年9月26日）は、14世紀の上バイエルン＝インゴルシュタット公。シュテファン3世とタデア・ヴィスコンティの子。公位継承前の1408年、同族のリエージュ司教ヨハンとリエージュ市民が対立、ルートヴィヒ7世はヨハンの兄・下バイエルン＝シュトラウビング公ヴィルヘルム2世、ブルゴーニュ公ジャン無怖公と共に反乱を鎮圧した。また、妹イザベラがフランス王シャルル6世に嫁いだ関係でフランスに滞在したこともある。1413年、父の死によって相続した。1425年、下バイエルン＝シュトラウビング公ヨハン3世（兄の死後、リエージュ司教を辞任した）の死後の遺領を巡って従兄弟のハインリヒ16世、エルンストと対立、1429年に分割相続することで合意した。しかし、1443年にハインリヒ16世と同盟を結んだ息子のルートヴィヒ8世の裏切りに遭い、投獄ののち廃位された。ルートヴィヒ7世は1447年に死ぬまで幽閉され、ルートヴィヒ8世も父に先立って死去、インゴルシュタット系は断絶、遺領はハインリヒ16世に奪われた。
勧修寺晴豊の子である右衛門尉・阿部致康の子として誕生した。始め大蔵卿・勧修寺宣豊を名乗る。叔父・権大納言勧修寺光豊の猶子となる。官位は正二位・権大納言。元禄3年（1690年）、薨去。
四旬節中の特別な日はいくつかある。まず四旬節の初日にあたる灰の水曜日。四旬節第四主日は灰の水曜日と復活祭の中間という位置づけがされることがあり、カトリック教会では「レタレ」（Laetare）と呼ばれていた。復活祭前の日曜日は「受難の主日」または「枝の主日」と呼ばれる。「受難の主日」から聖週間がスタートする。聖週間の木曜日は「聖木曜日」あるいは「洗足木曜日」と呼ばれ、最後の晩餐を記念する。次の金曜日は「聖金曜日」と呼ばれ、主イエスの受難に思いをはせる日になっている。翌日の土曜日は「聖土曜日」と呼ばれる。聖土曜日の深夜に「復活徹夜祭」が行われて、四旬節が終わり、復活祭が訪れる。
四旬節に入る前に祝宴を行う習慣は、カーニバル（謝肉祭）として現代に至っている。もともとカーニバルはキリスト教と無関係な異教の慣習に由来するといわれているが、いつのまにか四旬節中の肉の節制に入る前にドンちゃん騒ぎをする習慣として根付くことになった。マルディグラと呼ばれる祝いは特に有名である。
「40」という数字は旧約聖書の中で特別な準備期間を示す数字であった。例えば、モーセは民を率いて40年荒野を彷徨っている。ヨナはニネヴェの人々に40日以内に改心しなければ街が滅びると預言した。イエスは公生活を前に40日間荒野で過ごし、断食した。四旬節の40日間はそのような伝統に従い、キリスト教徒にとってはイエスに倣うという意義のある準備期間となっている。「四旬節」の語源「クアドラゲシマ」はラテン語でもと「40番目」という意味で、元は初代教会で復活祭を前に行っていた「40時間」の断食のことであった。復活徹夜祭には成人の洗礼を行うのが初代教会以来の慣習であり、受洗者たちも初聖体に備えて40時間断食を行っていた。後にこの40時間（聖金曜日から復活祭まで）が6日間に延ばされた。さらに延びて6週間の洗礼準備が行われるようになった。四旬節は本来、復活祭に洗礼を受ける求道者のために設けられた期間であった。4世紀の終り頃のエルサレムでは復活祭前の7週間、毎週3時間の受洗準備が行われていたという記録がある。4世紀に入ってキリスト教が公認されると、受洗者の数が激増して一人ひとりに対しての十分な準備が行き届かないようになった。このような状況に対処するため、従来、求道者のみに課していた復活祭前の節制の期間を全信徒に対して求めるようになった。これが四旬節の起源である。
ヘンク・バレンドレクト (en:Henk Barendregt) はいくつかの型システムを3つの軸にそって分類するラムダ・キューブを発明した。立方体の形をした図の8個の頂点それぞれが型システムに対応している。単純型付きラムダ計算が最も表現力が低い頂点に配置され、Calculus of constructions (en:Calculus of constructions)が最も表現力が高い頂点に配置されている。立方体の3個の軸はそれぞれ単純型付きラムダ計算に対する3種類の異なる拡張を意味している。それぞれ、依存型の追加、型多相性の追加、高階のカインド (en:Kind (type theory)) を持つ型コンストラクタ (例えば型から型への関数) の追加、である。ラムダ・キューブは純粋型システム (en:Pure type system)によってさらに一般化される。ラムダ・キューブにおける(狭義の)依存型と多相型は、どちらも(広義の)依存積型の特別な場合と見なせるが、値に関する量化をする場合は(狭義の)依存型、型や型コンストラクタに関する量化をする場合は多相型と呼び、区別される。ラムダ・キューブにおけるカインド(通常の型を集めた特別な型)を, 超カインド(カインドを集めた特別な型)をと表記する。このとき、(狭義の)依存型とは、およびを用いて構成される、という型のことである。一方、多相型は、およびを用いて構成される、という型のことである。例えば、であることを用いてと書いたものは、型に関する量化をしている多相型となる。