stanford-oval/wikipedia huggingface dataset:
塔
西洋の塔 > 城郭建築と塔

西ローマ帝国の消滅後、古代ローマの建築技術は急速に失われ、土塁並びに木造の塔や柵が再び主流をなす時代が訪れた。中世初期、ローマに変わり地中海の支配権を手中にしたサラセン人の襲来を監視するための見張塔（英語版）が、地中海沿岸に盛んに建てられるようになった。
10世紀、三圃式農業などの農業技術革命による生産力の上昇に伴い人口の増大と富の蓄積が始まると、それらを守るための施設を作り維持する社会的余裕も生まれた。またカロリング朝フランク王国が衰退・分裂して中央の支配力が緩みだし、ノルマン人やマジャール人の侵入が激しくなると、各地の領主は半ば自立して領地や居舘の防備を強化しはじめた。当初は居館と附属施設の周りに直径50mほどの屏を作り、濠を掘る程度だったが、10世紀の終わり頃から城と呼べる建築物を作るようになった。これらの多くは木造の簡易なもので、代表的な形態がモット・アンド・ベーリー型の城である。平地や丘陵地域の周辺の土を掘りだして、濠(空濠が多かった)を形成し、その土で小山と丘を盛り上げた。小山は粘土で固めてその頂上に木造または石造の塔(キープ)を作った。
11世紀には、天守や外壁が石造りの城が建築されるようになる。石造りの城壁には四角い塔が取り付けられ、壁を守る形になった。12世紀の十字軍の時代には、中東におけるビザンティン、アラブの技術を取り入れ、築城技術に革新的変化がみられた。集中式城郭と呼ばれる城は、モットの頂上に置かれた石造りの直方体の天守塔（キープ）が、同心円状に配置された二重またはそれ以上の城壁で守られていた。内側に行く程、壁を高くして、外壁を破られても内側の防御が有利になるよう工夫されている場合もあった。12世紀後半には十字軍が中東から学んだカタパルト (投石機)が使われるようになる。投石機は50kgの石を200m余り飛ばすことが出来るものもあり、14世紀末に大砲にその役が取って代わられるまで城攻めの中心的兵器であった。この投石機より飛来する石弾の衝撃を逸し吸収するため、直方体の塔は多角形を経て円筒形になり、また壁の厚みも増していった。
12世紀後半になり、塔や城壁に胸壁を設けてクロスボウを用いて反撃を行うようになった。城壁には壁面から突出する半円形の塔（側防塔）を配し、そこに胸壁や銃眼を設けることで城壁に取り付く敵兵に左右から射掛けることが可能となった。こうして城の軍事的機能の中心は天守塔（キープ）から側防塔を配した城壁に移行していった。ついには、城とは強固な城門（ゲートハウス）と側防塔を配した城壁そのものとなり、城壁に内接する形で居住スペースなどの建物が配置された。この様式の城（城壁）のことをカーテンウォール式城郭と呼ぶ。ここに至り天守塔（キープ）の軍事的意味は消滅し、強固な城門であるゲートハウスがその役目を担うことになった。
このほか、中世には橋の防衛のための橋塔、城門を一体化したゲートタワー、居住空間を包含した小型の城タワー・ハウス（英語版）なども建てられた。また、防衛用の塔の中には牢獄として使われた牢獄塔（Prison tower）や、弾薬を保管する火薬塔（Powder tower）として使われるものもあった。
14世紀頃に中国から伝わった黒色火薬の製造技術が大砲の製造を可能にした。15世紀中頃からは高炉技術の普及で鋳鉄を用いた「中型・小型の大砲」が大量生産されるようになる。15世紀の砲弾には炸薬や信管はなかったが、初速が大きく水平に近い軌道で飛ぶ砲弾の破壊力は大きかった。高い建造物は大砲の標的となったため城壁は高さよりも厚さを重視するようになり、さらに地下に掘り下げて建設され地上からはその姿を見いだせないような要塞型の城となっていく。防衛施設としての塔は意味を成さなくなり、以後は国境から遥かに離れた安全な地に防衛機能より居住性や壮大さや豪華さを重視した王侯貴族の居城（邸宅）の一部として塔建築が存続していくことになった。
西洋の塔 > キリスト教の浸透からゴシック期までの塔

古代ローマ時代から中世初期において軍事的性格が中心であった塔は、中世に入るとキリスト教と結びつき、教会建築においても重要な役割を担うようになった。
祈りの時刻など教会が信者に情報を伝達するための手段であった鐘を設置するための「鐘塔」（「鐘楼」とも言う。英語：belfry）が出現した。
西洋の塔 > キリスト教の浸透からゴシック期までの塔 > プレ・ロマネスクなど

プレ・ロマネスク期に入って教会建築の基本ができあがったが、「西構え」の構造もこのころに出現した。
教会の入り口は西側を向いているが、西構えとは教会の入り口を突出させた形式であり、ここに塔を配置するものが現れた。
周囲の建造物から独立した塔もあったが、この形式はイタリアで数多く建築された。
ビザンティン建築の教会の形式をよく残すイタリアはラヴェンナのサンタポリナーレ・イン・クラッセ聖堂（530年～550年?）の鐘塔は、高さ37.5mで10世紀末に追加された。
西洋の塔 > キリスト教の浸透からゴシック期までの塔 > ロマネスク

ロマネスク様式の独立鐘塔として代表的なものとしてピサの斜塔（1173- 1372年）がある。
ゴシック様式であるが、フィレンツェのサンタ・マリア・デル・フィオーレ大聖堂にあるジョットの鐘楼（1387年完成）も独立した塔である。
建物を十字に交差させ、その交点上に塔を持つ形式のものも登場している。
代表的なものとしは、フランスのトゥールーズにあるサン・セルナン教会（11- 13世紀）や、ベルギーのトゥールネ大聖堂などである。
ドイツのヴォルムス大聖堂（1171- 1240年?）は、交差部分に八角塔が、東西には4つの円塔が建つ。
ドイツのロマネスク建築の一つの到達点とされる。
西洋の塔 > キリスト教の浸透からゴシック期までの塔 > ゴシック

ゴシック期にはさらに塔に注力が注がれ、教会建築として多数の塔がヨーロッパ各地に建設された。
特に西構えに2つの双塔を持つ形式が目立つようになる。
塔は上昇性を強調するような工夫が施された。
塔の開口部分は縦長になり、塔の上部を絞り込んだ尖塔が備え付けられるようになった。
ゴシック様式は、その装飾がキリスト教を視覚的に要約したものともいえるが、塔は天上への掛け橋のイメージと鐘塔としての機能を併せ持った。
またこの時期、ヨーロッパ各地で教会の塔の高さを競う争いも生じた。
双塔の顕著な例としては、フランスではノートルダム大聖堂（パリ大聖堂）・アミアン大聖堂・ラン大聖堂・ランス大聖堂・シャルトル大聖堂などがある。
シャルトル大聖堂のファサードの右側が1140年から建つロマネスク様式の角錐塔、左が16世紀に建てられた後期ゴシックの塔が建てられた。
ストラスブール大聖堂（1190- 1439年）のファサードは、単塔ながら高さ142m。
赤色の砂岩で造られており、独特の印象を与えている。
ドイツのゴシック期の教会塔としては、ケルン大聖堂（1248- 1880年）やウルム大聖堂（1377- 1890年）などが著名である。
ケルン大聖堂は双塔形式でその高さは157mに達した。
さらに、ウルム大聖堂の西構えの塔は161mでゴシック期で最も高い。
また、ミラノ大聖堂（1386年-1813年）の場合、高い塔は存在しないものの、135基のピナクル（小尖塔）が設けられた。
一方フランスでは、巨大化するゴシック様式の建築に反発するかのように「レイヨナン式」と呼ばれる小規模な聖堂も出現した。
パリのアルビ大聖堂（1282年-1385年）はその一例であるが、ここでも高い塔が確認できる。
キリスト教における宗教建築としての塔とは別に、世俗的な塔の建設も目立った。
イタリアのサン・ジミニャーノは、丘の上にある塔の町である。
貴族が教皇派と皇帝派に分かれて競い合い、互いに権力を誇示するため、次々に塔を建設していった。
最盛期にはその数72という乱立ぶりであったと伝えられる。
やがて町そのものの勢いが衰え、塔は数を大きく減らしたが、それでもなお多くが後世に残された。
この塔の立ち並ぶ景観は「サン・ジミニャーノ歴史地区」として世界遺産に登録されている。
当地の場合、軍事目的や宗教的意義をもって塔が築かれていたわけではない。
世俗的なシンボルとして塔の建設競争が繰り広げられたという点で、他にはない独自性を持っている。
ベルギーのフランデレン地域とワロン地域では、自治権を獲得した都市が街の広場の中心に教会とは独立して鐘塔を建設していった。
「ベルギーとフランスの鐘楼群」として世界遺産にも登録されている。
他方、軍事目的をもって築かれた城塞にも特徴的な塔が造られた。
十字軍が建設したクラック・デ・シュヴァリエ（12- 13世紀初頭）を始め、フランスのガイヤール城（1196年）やクシー城なども代表的なものとして挙げられる。
西洋の塔 > ルネッサンスからバロック期の塔

ルネッサンス時代のイタリアの建築家は、反ゴシックを鮮明に打ち出した。
塔よりも安定感のあるドームを重視している。
鐘塔の設置はあったが、あまり高さに注力しなくなった。
しかし、バロック様式では再び塔が見直され、教会のファサードに2つの塔が配置されたものが流行した。
この双塔形式の教会建築は、バロック期にヨーロッパ全域に拡がりを見せたほか、スペインが植民地化したラテンアメリカの各地にも数多く建設された。
バロック様式の塔としては、スペインのサンティアゴ・デ・コンポステーラの大聖堂（1750年）、イギリスはロンドンのセント・ポール大聖堂（1710年）など、多数の例を見ることができる。
東洋の塔

言語学的知見からすでに紐解いたように、stupa、すなわち、何かを「積み上げること」とそのようにして造られた「土の塚」が、東洋の「塔」の文化的起源の主体である。
つまり、塔は元来、盛り土による塚のことであった。
もっとも、古代インドにおける饅頭型に盛り上げた土塚 stupa （ストゥーパ）の民俗学的起源などについては、いまだ詳らかにされていない。
東洋の塔 > 仏塔と仏舎利塔

この習俗は初期仏教にも容れられ、釈迦や聖者に縁（ゆかり）の品、遺体の一部（遺骨〈舎利〉、遺髪、歯など）といった、いわゆる聖なる記念品や遺品・遺物を土中に埋め、盛り土をした上で日干し煉瓦で周りを囲う建造物として始まっている。
釈迦の存命中、すでにそのようなかたちのストゥーパが造られていたことが、『十誦律』の56巻に記されている。
造営したのは長者スダッタで、釈迦が諸国を遊行（ゆぎょう）する間、供養する機会を失う我が身を嘆き、せめて身近に縁の物を置かせてほしいと願い出て爪と髪を授かり、これらをストゥーパに納め、爪塔・髪塔として崇めたと伝えられる。
また、釈迦が入滅したのち、遺骨の所有を巡って有力者間で争いが起こったが、バラモン僧ドローナ（ドーナ）の仲介によって武力衝突は避けられ、遺骨は8つに分けてそれぞれが供養することとなった。遅参したモーリヤの一族には遺灰が譲られ、分配者ドローナには分配に用いた瓶が与えられた。
このようにして、10のストゥーパが、歴史的に間違いないとされる最初の「仏舎利塔」として各地に建てられることとなった。
東洋の塔 > 東アジアの仏塔

中国での仏塔の建立は、三国時代（3世紀頃）に始まる。
ここでは中国古来の楼閣建築の影響を受けて、インドのストゥーパとは大きく異なる重層の高層建築物として発展していった。
しかしこの文化圏、中国とその強い影響下にあった東アジア文化圏（朝鮮・日本・その他、および、ここでは便宜上チベットなども含む）では、造形面での大きな変容とは対照的に、遺物を納める「器（うつわ）」としての仏塔の位置づけは踏襲されており、それも特色の一つである。
東洋の塔 > 日本の仏塔

→「仏塔」を参照
すでに述べたように、「塔」の字は元々は仏寺にあるものを指す言葉であった。
さらに、日本最初の本格的な仏教寺と推定されている飛鳥寺の伽藍（がらん）は、塔を中心とし、その東・北・西に金堂が配置されていた。
しかし、時代が下るに連れて塔は伽藍の前面に置かれるようになっていった。
東洋の塔 > 日本の仏塔 > 木造仏塔

木造塔の建築様式としては、大きく分けて「多重塔」と「多宝塔」に分けられる。
東洋の塔 > 日本の仏塔 > 木造仏塔 > 多重塔

多重塔は、三重塔や五重塔に代表されるもので、平面上から見て四方形（円形や多角形もある）の空間を何層にも重ねたものである。
日本の多重塔の源流は、中国の楼閣であると考えられている。
塔の中心には「心柱」が置かれ、その周囲に柱を配置している。
頂部には「相輪」と呼ばれる銅または鉄でできた小塔が取り付けられた。
塔を支える心柱は、法隆寺の五重塔では地中2mほどに礎石を置き、その上に建っている（掘立て式）。
平安時代に入ると、礎石を地表に置いて、その上に心柱を乗せるようになった（地上式）。
さらに鎌倉時代以降は、心柱を最上層から第二層で止めるようにしたものが目立つ。
京都の海住山寺の五重塔がこの形式の現存する最古のものである。
江戸時代の寛永寺や日光東照宮の五重塔は、心柱を上から吊り下げる構造をとっている。
これは、木材の乾燥に起因した心柱の収縮と他の柱の収縮の差による歪みの発生を抑えるためと考えられている。
五重塔より多層で特に七重以上になると、木造は数が比較的少ない。妙楽寺（現・談山神社）の十三重塔が唯一現存する木造塔である。
752年（天平勝宝4年）、奈良の東大寺に当時最大となる高さ320尺（約100m）の七重塔が東西二基が建設された。何度か消失し、その度に再建されたが、室町時代以降はついに再建されなかった。
また、1392年（明徳3年）には足利義満によって京の相国寺に七重塔が発願され、1399年（応永6年）に完成した。
高さ360尺（109.1 m）に及ぶこの塔は史上最も高かった日本様式の仏塔であるが、わずか4年後に落雷によって炎上。再建を目指した義満が急死した後、息子足利義持が跡を継いで再建。応仁の乱も乗り越えて1470年（文明2年）10月3日の火災によって焼失するまでの数十年間、京の都を見下ろし続けた。。
なお、法勝寺の八角九重塔は高さ840尺（約250m）と伝えられるものの、その信憑性は低いと言わざるを得ない。
東洋の塔 > 日本の仏塔 > 木造仏塔 > 多宝塔

多宝塔は本来、多宝如来と釈迦如来の2つの仏像を安置した塔のことである。
木造の他に石造のもの（長野の常楽寺多宝塔など）も存在する。
通常、一層目が方形で、二層目が円形をした二層形式のものが一般的であるが、その外観は一定していない。
中国では三層式が多く、日本でも六角三重塔のものが存在していた。
二層目の円形部分を支える柱を第一層にまで伸ばしたものを大塔形式と呼び、多宝塔と区別する場合もある。
空海が建立した高野山大塔（810年頃か）が最初と言われる。
石山寺の多宝塔は、鎌倉時代の1194年建立で、現存する木造多宝塔のなかで最古のものである。
根来寺の多宝塔（大塔）は高さ約36m。
現存する日本最大規模の多宝塔であり、唯一現存の大塔形式でもある。
東洋の塔 > 日本の仏塔 > 石造仏塔

五輪塔（ごりんとう）は、密教での五大、すなわち地・水・火・風・空を体現した塔である。
日本独自の仏塔で、墓碑や供養碑としても広く使われている。
無縫塔（むほうとう）は、塔の最上部を楕円形に造った塔のことであり、縫い目がないことからこの名前が付いたといわれる。また、この形状から卵塔（らんとう）と呼ばれることもある。中国唐代の発祥で、日本に伝えられたのは鎌倉時代であったと考えられている。
宝篋印塔（ほうきょういんとう）は、陀羅尼（だらに）と呼ばれた呪文を納めておくための塔であった。のち、墓碑や供養碑などに使われるようにもなった。法隆寺の絵にも描かれているため、古くから日本に伝えられていたものと考えられる。平安時代には木造の塔に陀羅尼を納めることもあったようであるが、鎌倉時代には石造に変わった。
題目塔（だいもくとう）は、南無妙法蓮華経と刻まれた、鎮魂を目的とする供養塔である。
東洋の塔 > 東南アジアの仏塔

東南アジア文化圏では、元来のストゥーパはほぼ忠実に引き継がれ、中世時代の石造寺院の中核をなした。
しかしその一方で、造形面を見れば比較的原形に近いものの本質的に全く違った、パゴダの様式も生み出された。これは遺物を納める「器」ではなく、釈迦が住む「家屋」であり、信者が出入りする建築物に変化している。パゴダは英語では「仏塔」を指す語として広く用いられている（cf. en:pagoda）。
近現代の塔

近現代の塔は宗教塔や記念塔を除いて実用的な目的を帯びるようになった。塔はその目的により、展望塔、監視塔、管制塔、広告塔、照明塔、通信塔、無線塔、テレビ塔、給水塔、吸気塔、排気塔、冷却塔、送電鉄塔、煙突など特定の限定された機能をもつものが多くなった。
しかし、エッフェル塔のように塔の存在は象徴的な意味を持ったり、さらに象徴性が増幅された例が多くみられる。
近現代の塔 > 様式

19世紀に入るとイギリス発でゴシック・リヴァイヴァル運動が興り、そびえ立つ塔もまた見直される時代となった。とはいえ、従来のような鐘塔ではなく、近代的合理性の象徴とも呼ぶべき時計塔がそれに取って代わり置かれるようになった。
1836年に再建が始まったイギリス国会議事堂（ウェストミンスター宮殿）には、高さ97mのビッグ・ベンで知られる時計塔、および、110mの高さを持つヴィクトリアタワーが設置された。
アメリカ合衆国では、19世紀から20世紀にかけて各都市にゴシック様式による教会が相次いで建築された。
これらの教会には高い塔が併設された。
ゴシック・リヴァイヴァルをよく表現している例として、カナダのオタワにあるカナダ国会議事堂（1865年～1927年）がある。
この建物は、一度火災により全てを失ったが、その後再建。中央にある塔の高さは約92mである。
アントニ・ガウディの代表作であるサグラダ・ファミリア（1882年 - ）は、当初、東に「生誕の門」、西「受難の門」、 南に「栄光の門」の3つのファサードにそれぞれ4つの尖塔、計12の塔を持たせる計画であった。
現在完成しているのは「生誕の門」で、塔の高さは92mである。
近現代の塔 > 技術

近代の塔の出現は産業革命による新しい製鉄法と新しい架橋技術がなければ訪れなかっただろうといわれている。
近代になって建築に取り入れられるようになった素材、すなわち鉄・ガラス・コンクリートは、塔にも新しいスタイルを与えた。
土木分野の技術革新では橋のほうが先行しており、架橋技術は18世紀末に鋳鉄アーチ橋が各地に建設されるようになるとライズ（アーチの頂点からアーチの両端を結ぶ鉛直距離）の大きい組積アーチの歴史は終焉を迎えた。しかし、鋳鉄はもろく引っ張りに弱いためトラス橋の落橋事故が相次いで発生した。真の鉄橋の時代は錬鉄が生産されるようになってから本格化し、メナイ吊橋やブリタニア橋などの建設での鉄の材料試験や箱桁の模型実験などが行われた。さらに1851年の大英博覧会では鋳鉄トラス構造物の「クリスタルパレス」が発表され建築分野に本格的に鉄の時代が到来した。1860年にベッセマーが転炉法を発明すると良質の鋼材が大量生産されるようになり、製鉄法や架橋技術の進歩とともに記念塔の構想が次々に発表されるようになった。
エッフェル塔（1889年）は、鉄骨による300mの塔としてフランスのパリ市内に建設された。
この塔は第4回万国博覧会のモニュメントも兼ねて設計されたが、パリの美観を損ねるとして建設当初は不評であり、パリの芸術家から抗議がなされた。
しかし、時代を経るごとにパリのランドマークとして認知されるようになっていった。
エーリヒ・メンデルゾーンの処女作で、ドイツの表現主義の特徴を色濃く出したドイツのポツダムにあるアインシュタイン塔（1920- 1924年）がある。
この塔は文字通り相対性理論を実測検証のための施設で、鉄筋コンクリート造に見えるが構造はレンガ造である。
ドイツのダルムシュタットに建てられたヨゼフ・マリア・オルブリッヒ設計のルートヴィヒ大公結婚記念塔（1908年）も、頂部に手をイメージした丸い屋根を持つ特異な形状をしている。
オーギュスト・ペレの作であるフランスのデュ・ランシーのノートルダム教会（1924年）も鉄筋コンクリート製。
コンクリート剥き出しの塔が特徴的である。
近現代の塔 > 20世紀以降

20世紀初頭の塔の建築には技術的に注目される提案がある一方で荒唐無稽な計画案もみられた混乱の時期といわれている。
19世紀末に発明されていたエレベーターは、高層建築の居住性を大幅に改善した。
1900年代に入ってニューヨークでは、第一次世界大戦による好景気で高層ビルの建築ラッシュが訪れた。
その嚆矢（こうし）となったのは、キャス・ギルバート設計のウールワースビル（1913年）である。
先述したイタリアのサン・ジミニャーノと同様、ここでもまた、相次いで世界一の高さを目指す競争が発生し、摩天楼（skyscraper）が出現した。
クライスラー・ビルディング（1928- 1930年）は、高さ283mでアメリカのアールデコ様式の完成形として評価された。
しかし、ビル完成直後にウォールタワーに世界一の高さを奪われた。
このため、36mの尖塔を追加してその座を奪還した。
世界恐慌の発生により、エンパイア・ステート・ビルディング（1930年）の完成をもって摩天楼の高さ競争は終止符が打たれた。
ソビエト連邦においてもまた、高さへ強調を試みる権威的な建築様式が発生している。
第二次世界大戦を前後して興ったソ連のゴシック・リヴァイヴァルは、スターリン様式（スターリン・ゴシック様式）とも呼ばれた。
1930年代から計画されていたソビエト宮殿は高さ415mでエンパイア・ステート・ビルディングを抜いて世界一になることを目指していた。
この宮殿を中心に、周囲にセブンシスターズと呼ばれる高層ビルを配置した都市設計が行われた。
ソビエト宮殿の建築は見送られたが、周囲の高層ビルは予定通り建設された。
これらのビルは高さを強調するように最上部に尖塔が設けられた。
モスクワ大学本館（1953年）とホテル・レニングラード（1953年）が代表的である。
20世紀にはRC構造のコンクリートの塔も実用化された。
第二次世界大戦後、1970年代にワールドトレードセンター・ビル（世界貿易センター・ビル）、シアーズ・タワー（現ウィリス・タワー）など、アメリカ以外でも世界各国に超高層ビルの建築ラッシュとなった。
1990年代以降は、東南アジアや中国などで超高層ビルの建築が活発化している。
ギャラリー

| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
| 1. ワシントン記念塔（1848- 1884年） | 2. シュエダゴン・パゴダ（6世紀に建立か） | 3. 東京タワー（1957- 1958年建設） | 4. 給水塔の一例 | 5. 航空管制塔の一例 |
塔と安全性

塔はその高さのため、外部要因による思わぬ副作用や倒壊などの危険性をはらむ。
塔と安全性 > 構造的欠陥 > ピサの斜塔

1173年に着工のピサの斜塔（イタリア）は、地盤の弱い場所に建てられたことに原因し、建設途中に早くも傾き始めていた。
事態を受けて施工プランは変更を余儀なくされ、塔の高さは当初の予定の半分になったものの、工事が中止されることはなかった。そうして1372年、不等沈下の最も顕著な例として世界にもまれなかたちで落成を見た。
塔と安全性 > 構造的欠陥 > ボーヴェ大聖堂

フランスのボーヴェ大聖堂（1225年 - 1300年頃）は高さ153 mという塔の建設に挑戦した。
しかし、完成して10年後に塔は自然崩壊している。
塔と安全性 > 構造的欠陥 > フォントヒル修道院

また、イギリスにおけるゴシック・リヴァイヴァル建築の先駆けであるウイリアム・バックフォード作のフォントヒル修道院（1776- 1812年。右の画像を参照）は、90 mの高さを持つ塔が予定されていた。しかし、工事中に塔は崩落し、バックフォードは設計ミスを認めた。結局、規模を縮小して完成を見たが、それも1825年に崩壊し、再建されることはなかった。
塔と安全性 > 地震 > アレクサンドリアの大灯台

先述したが、古代エジプトにあったアレクサンドリアの大灯台は14世紀頃の地震により崩壊している。
ただしこれは、1000年余の長きを耐えてのちのことであった。
塔と安全性 > 地震 > 柔構造

一方、日本の五重塔は地震で倒壊したという例をほとんど見ない。
これは、塔の各層が強固に結合していない、いわゆる「柔構造」を採っているため、地震の揺れに強い（対応力がある）ものと考えられている。
塔と安全性 > 飛行機の衝突

衝突の予防設備として、航空障害灯の設置がある。
日本の場合、航空法で地上面から60m以上の建物には航空障害灯の設置が義務づけられており、さらに鉄塔のような骨組み構造の構造物に関しては、点滅するランプなどによる昼間障害標識の設置も必要となる。
塔と安全性 > 飛行機の衝突 > エンパイア・ステート・ビルディング

エンパイア・ステート・ビルディングは、1945年7月28日にアメリカ空軍の中型爆撃機 B-25 が79階に衝突する事故が発生した。原因は、濃霧による視界不良であった。B-25は目的地のニューアーク空港に向かっている途中で残りの燃料が少なかったこともあり、建物への被害が少なかった。
エンパイア・ステート・ビルディングが完成したのは1930年であり、航空機の衝突は設計上まったく想定されていなかった。
この事故を教訓に、高層建築物は航空機の衝突も想定した設計がなされるようになった。
塔と安全性 > 飛行機の衝突 > ワールドトレードセンター・ビル

2001年9月11日に発生したアメリカ同時多発テロ事件で、2機のボーイング767がワールドトレードセンター・ビルの南棟と北棟に相次いで突入した。
このビルは設計上、航空機の衝突を考慮されていたため、突入直後にはビルの倒壊はなかった。しかし、突入時の構造的ダメージに加え、衝突したボーイング767の残存ジェット燃料による火災で構造部材の強度が著しく低下したことにより、およそ1時間ののちに2棟とも倒壊した。
塔と安全性 > 風による振動

塔が高くなると風による圧力も無視できない。また、強度上で風を克服しても、高層建築では強風によって長時間揺れ続けることが問題となった（風揺れとも呼ぶ）。
これに対応するための制振装置の導入も行われている。例えば横浜マリンタワーの最上部には、水槽が設置されている。これは「液体ダンパ」と呼ばれる装置であるが、水槽の中の水が建物の揺れに影響されて振動し、その水の振動が、打ち消すかたちで建物の揺れを抑える方向に働くというものである。
チョガー・ザンビール遺跡のジッグラト（紀元前2000年頃か）
エドフ神殿のパイロン
（紀元前2世紀頃の造営か）
風の塔(アテネ, BC1世紀)
アウレリアヌス城壁(ローマ, 3世紀)
ヘラクレスの塔(スペイン, 2世紀)
Saint-Sylvain-d'Anjou城の木造キープ
トリム城のキープ(アイルランド, 12世紀)
クラック・デ・シュヴァリエ城の側防塔(シリア, 12世紀)
サン・セルナン教会（11- 13世紀）
サンタポリナーレ・イン・クラッセ聖堂（530- 550年?）　ビザンティン建築での塔の一例
ジョットの鐘楼
（1387年完成）
ヴォルムス大聖堂（1171- 1240年?）
シャルトル大聖堂
（12世紀）　右側が1140年から建つ角錐塔、左が16世紀に建てられた後期ゴシックの塔。
サン・ジミニャーノ
12世紀から14世紀にかけて建設が競われた。
クラック・デ・シュヴァリエ
12- 13世紀初頭、十字軍によって築かれた城。現・シリア。
セント・ポール大聖堂（1710年）
チベット、ラサの仏塔（チョルテン）
法隆寺の五重塔（6- 7世紀、建立）　現存する木造塔として日本最古
談山神社の十三重塔（1532年頃の造営）
石山寺の多宝塔
（1194年落成）
耳塚の五輪塔
イギリス国会議事堂（1847- 1860年完成）
向かって右がビッグ・ベン、左がヴィクトリアタワー
サグラダ・ファミリア（1882年 -　）　アントニ・ガウディ作
アインシュタイン塔
（1920- 1924年）
エーリヒ・メンデルゾーン設計
カナダ国会議事堂（1865- 1927年の作）　火災の後に再建
建設中のエッフェル塔
（1889年完成）
クライスラー・ビルディング（1928- 1930年）　完成後に世界一を奪還するため、36mの尖塔を追加した。
ピサの斜塔（1173- 1372年）
フォントヒル修道院（1776- 1812年）。塔は2回崩壊した。
ニューヨーク、エンパイア・ステート・ビルディング（1930年）
1945年に軍用機が衝突したが、建物はそのまま使用されている。
水野以津美

| みずの いつみ 水野 以津美 |
| --- | --- |
 
本名:  水野 以津美
生年月日:  1月30日
出身地:   日本 千葉県松戸市
身長:  160 cm
血液型:  B型
職業:  女優・ナレーター
ジャンル:  演劇・映画
公式サイト:  水野以津美(@mizunoitsumi) - Twitter 水野以津美(mizuno_itsumi) - Instagram 水野以津美のいっつみーch- Youtube
テンプレートを表示
水野 以津美（みずの いつみ）は、日本の女優。千葉県松戸市出身。愛称は、いっつみー。
略歴

短大卒業後、俳優活動を開始。吉本興業の劇団を経て現在はフリーで活動中。
2014年4月～2017年2月、小劇場アイドルユニット38mmなぐりーず の2代目オレンジ担当として活動。『魔法少女いっつみー』としてライブにも出演していた。
人物

舞台を中心にコメディからシリアスまで幅広く演じる。食べることが大好きでTwitterに「#もぐもぐ女優」のハッシュタグで食べる動画をあげている。
Perfumeは生きがい
作詞作曲した楽曲『チョコレイトがたべたいうた』を通販サイトや音楽配信サイトで販売している。MVの監督・製作はエーデルワイス門田樹。
ドローンを飛ばすことが趣味で、撮影や楽しみの幅を広げるべくアマチュア無線4級を取得した。
納豆は極小粒が好き
出演 > 映画

2010年 『時をかける少女』2010年3月13日公開
2022年 『鯛を持って駆ける少女』2021年6月5日TOKYO青春映画祭2022にて初上映
2023年 『密殺！Ⅱ THE MISSATSU 激闘篇』彩芽 役　4月劇場公開
出演 > イベント

水野以津美ワガママ企画『試行錯誤』2018/2/10(土) 下北沢リーディングカフェ ピカイチ
水野以津美ワガママ企画『出入自由』2019/3/16(土) 下北沢リーディングカフェ ピカイチ
38mmなぐりーず結成10周年イベント！『38mmなぐりーずの同窓会～え?いつの間に!?ななんと結成10周年なんだってばぁぁぁぁ!!!!～』2021/12/26(日) 新宿シアター・ミラクル
黄金のコメディフェスティバル2022『黄金の開会式』（ツイキャス配信）MC 2022/10/20(木) シアター風姿花伝
オハ劇『コントGoGoGo！』 2023/9/1(金) 四ッ谷シアターウィング
出演 > ライブ

『乙女の事情 2月編』 2019/2/4(月) 新宿ロフト バーラウンジ
『代々木音楽療法#4 市瀬美和の10001日目の誕生日』2021/3/20(土) 代々木Barbara
バラック

| --- | --- |
: 「バラック」のその他の用法については「バラック (曖昧さ回避)」をご覧ください。
バラック（英: barracks）は、本来は駐屯兵のための細長い宿舎のこと。転じて、空地や災害後の焼け跡などに建設される仮設の建築物のこと。
概要

日本において、通常の建築物（バラックに対して本建築という）は構造的に数十年以上も維持させる前提で設計され、材料を選んで十分な基礎工事を行うなどして建てられる。しかし、バラックは当面の間に合わせであり、材料も上質なものは用いず、簡易な構造で造られる。
第二次世界大戦後の例では、焼け残った木材や古木材、トタンなどが建材として使用された。
困窮によるもの

日本では困窮した人々が空き地などに建てた小屋程度の住居をこのように呼ぶことがある。河原などにホームレスなどが造るテント小屋や段ボールハウスも、同様に呼ばれることがあるという。
日本のバラック

日本では関東大震災（1923年）などの天災や東京大空襲などの絨毯爆撃を受けた後、トタンや有り合わせの木材、破壊されなかった建築物を組み合わせ、雨露をしのぐ程度のバラックが大量に建てられた。これらは震災・戦災後という非常事態に対し、応急的に発生したバラック建てであった。
関東大震災後には、市街地建築物法（現在の建築基準法）の規定に従った建築を行っていては住居の供給が間に合わないため、特別立法（いわゆるバラック令）により基準を満たさない建築物でも建てることが認められた。これらの多くは、小規模な住居・店舗だったが、中には築地小劇場のような比較的大きなものも建造された。こうした中で今和次郎らが「バラック装飾社」を設立し、商店などのバラック建築をにぎやかにデザインして街を彩った。バラック令は期間限定の法規であったため、期限満了後は補強をおこなって本建築並みの基準を満たすか、または取壊して建て直す必要があった。
西村貿易店（遠藤新）
大木合名会社（吉田五十八）
アイディアルホーム（レイモンド社）
千疋屋フルーツパーラー（前田健二郎）
関東大震災後の仮設店舗：資生堂（川島理一郎）
小川屋呉服店（有馬組）
橘硝子販売店（関本勇治）
第二次世界大戦の終戦後には、外地からの引き揚げ者も多く、建物疎開跡の空き地などの土地に不法に建てられたバラックが多数に上った。色々な街で興行された闇市の商店も、その1つである。闇市から発展したアメ横、秋葉原電気街、新宿ゴールデン街などの店舗の中には、当時のバラックを思わせるような狭い間口で奥行きの無い店が見られる。
日本のバラック > バラックに関連する出来事

1948年（昭和23年）8月2日 - 神奈川県川崎市で竜巻が発生。戦災跡地に建てられていたバラック住宅が被害に遭い、死者3人、重軽傷者106人。38戸が全壊、50戸が半壊。
1950年（昭和25年）12月3日 - 鹿児島県鹿児島市小川町で火災。バラックなど約300戸が全焼。
1951年（昭和26年）1月10日 - 岐阜県大垣市郭町で火災。一戸約3坪のバラック90戸を含む105戸が焼失した。
1969年（昭和44年）1月 - 京成電鉄京成本線、江戸川橋梁直下のバラック住宅で火災が発生して2人が死亡。線路の枕木に延焼して京成電鉄が運休した。
1976年（昭和51年）3月8日 - 兵庫県神戸市葺合区脇浜町のバラック住宅密集地で火事。210㎡の一区画33棟89戸が焼失、約100世帯、200人以上が焼け出された。
アントワーン・フークア

| アントワーン・フークア Antoine Fuqua |
| --- | --- |
 2016年
生年月日:   (1966-01-19) 1966年1月19日（58歳）
出生地:  ペンシルベニア州ピッツバーグ
国籍:   アメリカ合衆国
活動期間:  1992年 -
配偶者:  レラ・ローション（1999年 - ）
著名な家族:  ハーヴィー・フークワ（叔父）
主な作品
 監督 『リプレイスメント・キラー』 『トレーニング デイ』 『ティアーズ・オブ・ザ・サン』 『キング・アーサー』 『ザ・シューター/極大射程』 『エンド・オブ・ホワイトハウス』 『イコライザー』シリーズ 『マグニフィセント・セブン』製作 『ブレット・トレイン』
テンプレートを表示
アントワーン・フークア（Antoine Fuqua, 1966年1月19日 - ）は、アメリカ合衆国ペンシルベニア州ピッツバーグ出身の映画監督。アフリカ系。
略歴

ウエスト・ヴァージニア大学で学び、卒業後にコマーシャル制作を手がけるようになる。そのうちにミュージック・ビデオの監督となり、プリンスやアッシャー、クーリオ、スティーヴィー・ワンダーなどのミュージック・ビデオを手がけた後、1998年にチョウ・ユンファ主演のアクション映画『リプレイスメント・キラー』で映画監督としてデビュー。2001年の『トレーニング デイ』ではデンゼル・ワシントンにアカデミー賞をもたらした。
1999年に女優のレラ・ローションと結婚、3人の子供がいる。
監督作品 > 映画

| 年 | 題名 | 役割 |
| --- | --- | --- |
| 1998 | リプレイスメント・キラー The Replacement Killers | 監督 |
| 2000 | ワイルド・チェイス Bait | 監督 |
| 2001 | トレーニング デイ Training Day | 監督 |
| 2003 | ティアーズ・オブ・ザ・サン Tears of the Sun | 監督 |
| 2004 | キング・アーサー King Arthur | 監督 |
| 2006 | ザ・シューター/極大射程 Shooter | 監督 |
| 2009 | クロッシング Brooklyn's Finest | 監督・製作総指揮 |
| 2013 | エンド・オブ・ホワイトハウス Olympus Has Fallen | 監督・製作 |
| 2014 | イコライザー The Equalizer | 監督 |
| 2015 | サウスポー Southpaw | 監督・製作 |
| 2016 | マグニフィセント・セブン The Magnificent Seven | 監督・製作総指揮 |
| 2018 | イコライザー2 The Equalizer 2 | 監督・製作 |
| 2018 | American Dream/American Knightmare | 監督・製作 |
| 2019 | What's My Name: Muhammad Ali | 監督 |
| 2021 | インフィニット 無限の記憶 Infinite | 監督・製作総指揮 |
| 2021 | THE GUILTY/ギルティ The Guilty | 監督・製作 |
| 2022 | ブレット・トレイン Bullet Train | 製作 |
| 2022 | 自由への道 Emancipation | 監督 |
| 2023 | イコライザー THE FINAL The Equalizer 3 | 監督・製作 |
| 2025 | マイケル（原題） Michael | 監督 |
監督作品 > テレビドラマ

| 年 | 題名 | 役割 | 備考 |
| --- | --- | --- | --- |
| 2018-2023 | レジデント 型破りな天才研修医 The Resident | 製作総指揮 |  |
| TBA |  Salvatore Gravano's biopic film | 監督・製作総指揮 | プリプロダクション |
監督作品 > WEBドラマ

| 年 | 題名 | 役割 | 配信局 | 備考 |
| --- | --- | --- | --- | --- |
| 2021-2024 | メイヤー・オブ・キングスタウン Mayor of Kingstown | 製作総指揮 | Paramount+ |  |
| 2022 | ターミナル・リスト The Terminal List | 監督 | Amazon Prime Video | 計1話監督 |
市來伴子

|  日本の政治家市來 伴子いちき ともこ |
| --- | --- |
  画像をアップロード
生年月日:   (1977-08-02) 1977年8月2日（47歳）
出生地:   日本 宮崎県延岡市
出身校:  関西学院大学大学院神学研究科博士前期課程修了
前職:  衆議院議員秘書 HP制作会社社長
所属政党:  （社会民主党→） （旧立憲民主党→） 立憲民主党
称号:  修士（神学）
公式サイト:  いちき伴子 公式サイト
 衆議院議員
選挙区:  比例北関東ブロック（埼玉県第8区）
在任期間:  2024年11月1日 - 現職
  杉並区議会議員
当選回数:  2回
在任期間:  2011年 - 2019年
テンプレートを表示
市來 伴子（いちき ともこ、1977年〈昭和52年〉8月2日 - ）は、日本の政治家。報道などでは「市来」の字が使用されることもある。立憲民主党所属の衆議院議員（1期）。杉並区議会議員を2期務めた。
人物

宮崎県延岡市土々呂町生まれ。実家は教会で、父が牧師、母が幼稚園の園長をしていた。関西学院大学卒、同学大学院神学研究科博士前期課程修了。研究テーマは中世ドイツ思想と東洋哲学。
衆議院議員秘書、HP制作会社経営などを経て、2009年の第45回衆議院議員総選挙に「市来ばん子」の名前で社民党公認で兵庫県第8区より立候補（落選）。本人によると「ばん子は大阪で会社をつくった時の営業名で、前回選挙は通称「市来ばん子」で出たが、（2011年以降は）杉並支部で協議の結果、本名がいいだろうとのことになった」という。
2011年に杉並区議会議員選挙に本名の市来とも子として社民党公認で初当選。2期目途中までの8年間務めた。2019年3月に、当時社民党現職区議会議員でありながら立憲民主党が次期参議院議員通常選挙において山梨県選挙区に市来を擁立予定と発表、社民の又市征治党首（当時）は「重大な裏切り」として市来を批難、参院選においても支援しない考えを示した。会見で市来は、社民党に離党届を提出したことを明らかにし、受理され次第立憲民主党に入党すると説明、「社民党に感謝している」としたうえで「立憲民主党は多様性の尊重という自身の理念に最も近い政党」と説明した。最終的に同選挙で市来は「野党統一候補」として無所属で立候補。立憲民主党、国民民主党、日本共産党の推薦で出馬した。社民党も党本部は支援を見送ったものの山梨県連が支持した。投票の結果、自由民主党現職の森屋宏に3万4000票差まで迫ったものの敗れた。
旧立憲民主党県連は次期衆議院選挙で市来を山梨1区の候補者に擁立する意向を示していたが、2020年9月に新立憲民主党が結党され、山梨1区の現職である中島克仁が同党に参加した結果、2020年11月には擁立する選挙区が山梨2区に変更された。2021年の第49回衆議院議員総選挙の結果、落選。
2024年第50回衆議院議員総選挙に埼玉県第8区から立憲民主党公認で立候補。小選挙区においては自由民主党前職の柴山昌彦に敗れたものの惜敗率83.2%で比例北関東ブロックで復活当選、初めて国政選挙で当選した。
選挙歴

| 当落 | 選挙 | 執行日 | 年齢 | 選挙区 | 政党 | 得票数 | 得票率 | 定数 | 得票順位 /候補者数 | 政党内比例順位 /政党当選者数 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 落 | 第45回衆議院議員総選挙 | 2009年8月30日 | 32 | 兵庫県第8区 | 社会民主党 | 1万8770票 | 7.46% | 1 | 4/5 | / |
| 当 | 2011年杉並区議会議員選挙 | 2011年4月24日 | 33 | ―― | 社会民主党 | 2401票 |  | 48 | 39/72 | / |
| 当 | 2015年杉並区議会議員選挙 | 2015年4月26日 | 37 | ―― | 社会民主党 | 3849票 |  | 48 | 9/70 | / |
| 落 | 第25回参議院議員通常選挙 | 2019年7月21日 | 41 | 山梨県選挙区 | 無所属 | 15万327票 | 43.19% | 1 | 2/3 | / |
| 落 | 第49回衆議院議員総選挙 | 2021年10月31日 | 44 | 山梨県第2区 | 立憲民主党 | 4万4441票 | 27.69% | 1 | 2/3 | 17/5 |
| 比当 | 第50回衆議院議員総選挙 | 2024年10月27日 | 47 | 埼玉県第8区 | 立憲民主党 | 7万7580票 | 36.1% | 1 | 2/4 | 5/5 |
福岡県社会人サッカーリーグ

| 福岡県社会人サッカーリーグ |
| --- | --- |
加盟国:   日本 (福岡県)
大陸連盟:  AFC
開始年:  1975
ディビジョン:  2部制（都道府県リーグ）
参加クラブ:  1部 : 11 2部 : 11
リーグレベル:  第6〜7部
上位リーグ:  九州サッカーリーグ
下位リーグ:  地区リーグ（福岡・北九州・筑豊・筑後）
国内大会:  天皇杯 JFA 全日本サッカー選手権大会 （天皇杯予選：福岡県サッカー選手権大会）
最新優勝クラブ:  1部 : スケアクロウズ北九州 2部 : 福岡銀行サッカー部 (2024)
公式サイト:  福岡県サッカー協会
福岡県社会人サッカーリーグ（ふくおかけんしゃかいじんさっかーりーぐ）とは、全国の各都道府県にあるサッカーの都道府県リーグのうち、福岡県のクラブチームが参加するリーグである。
概要&レギュレーション > リーグの変遷

1969年に1部6チーム・2部5チームで発足したが、三菱化成黒崎や全西鉄の九州サッカーリーグ参加等もあり一度廃止され、1975年に1部6チームで改めて発足した。
1999年までは1部制・最大11チームで構成された。2000年から1部6チーム・2部6チームによる2部制に移行し、2005年からは1部6チーム（2回戦総当たり10試合）・2部10チーム（1回戦総当たり9試合）の構成となった。さらに2部は2011年から11チーム（1回戦総当たり10試合）となった。
2018年からは1部・2部ともに1回戦総当たりに変更され、チーム数を拡大。1部9チーム・2部9チームの構成となる。さらに2020年からは1部10チーム・2部10チームに拡大されている。同年は新型コロナウイルスの影響によりオープン戦として扱われ降格が無かったため、2021年は1部11チーム・2部11チームとなった。
2017年まで勝利チームに与えられる勝ち点は2であったが、2018年からは3に変更されている。
概要&レギュレーション > リーグ構成（2024年）

福岡県社会人サッカーリーグは2部で構成される。1回戦総当たりで行う。試合時間は1部が90分、2部が80分。
1部（11チーム）
2部（11チーム）
下位カテゴリとして福岡・北九州・筑豊・筑後の4つの地区リーグが存在する。
概要&レギュレーション > 昇格・降格に関して

1部の優勝チームは九州各県リーグ決勝大会の参加権利を得る。同大会優勝で九州サッカーリーグに自動昇格、準優勝の場合は九州リーグ9位との入替戦を行う。
1部の10位・11位は2部へ自動降格、2部の1位・2位は1部へ自動昇格。
2部の10位・11位は各地区1部リーグに自動降格。
各地区1部リーグの優勝4チームは福岡県各地区サッカーリーグ決勝大会に進出。2ブロックに分かれ2チームが2部へ自動昇格。
なお、昇降格に関しては、JFL・九州リーグの昇格降格数により変更があり、詳しくは社会人委員会により協議のうえ決定する。
所属クラブ（2024年） > 1部

七隈トンビーズ（福岡）
三宅クラブ（福岡）
春日イーグルス（福岡）
スケアクロウズ北九州（北九州）
アディ（北九州）
光陽クラブ（福岡）
森都主FC（筑豊）
FC千代（福岡）
Passcharise（福岡）
ペラーダFCグランリオ（筑後）
NISSAN自動車九州（株）サッカー部（北九州）
所属クラブ（2024年） > 2部

artesan（筑豊）
福岡銀行サッカー部（福岡）
宇美町FC（福岡）
ONE SOUL.C福岡（福岡）
F.C.ELAN（福岡）
久留米AZALEA（筑後）
新撰組FC（福岡）
LIGA（北九州）
筑後FC（筑後）
福岡蹴友クラブ（福岡）
BONCINO（筑豊）
歴代優勝クラブ > 1部

※九州サッカーリーグ昇格チームは太字で表記
| 0 | 1 | 2 |
| --- | --- | --- |
|  第1回(1975年) 福岡教員クラブ  第2回(1976年) 福岡教員クラブ  第3回(1977年) 三井東圧化学  第4回(1978年) 三井東圧化学  第5回(1979年) 三井東圧化学  第6回(1980年) オリエントAFC  第7回(1981年)  第8回(1982年) 八幡中央OB  第9回(1983年) 福岡教員クラブ  第10回(1984年) 八幡中央OB  第11回(1985年) 福岡県選抜  第12回(1986年) とびうめクラブ  第13回(1987年) 福岡教員クラブ  第14回(1988年) 福岡教員クラブ  第15回(1989年) 福岡教員クラブ  第16回(1990年) 七隈トンビーズ  第17回(1991年) 豊国大吾クラブ  第18回(1992年) FUFAとびうめクラブ  第19回(1993年) FUFAとびうめクラブ  第20回(1994年) 九州三菱自動車 |  第21回(1995年) 九州三菱自動車  第22回(1996年) 東海大第五OB  第23回(1997年) マッキーFC  第24回(1998年) 九州三菱自動車  第25回(1999年) 七隈トンビーズ  第26回(2000年) 七隈トンビーズ  第27回(2001年) 七隈トンビーズ  第28回(2002年) 七隈トンビーズ  第29回(2003年) 七隈トンビーズ  第30回(2004年) 七隈トンビーズ  第31回(2005年) 七隈トンビーズ  第32回(2006年) 三宅クラブ  第33回(2007年) 三宅クラブ  第34回(2008年) 七隈トンビーズ  第35回(2009年) 九州三菱自動車  第36回(2010年) 九州三菱自動車  第37回(2011年) 九州三菱自動車  第38回(2012年) スケアクロウズ北九州  第39回(2013年) 七隈トンビーズ  第40回(2014年) 三宅クラブ |  第41回(2015年) 三宅クラブ  第42回(2016年) 三宅クラブ  第43回(2017年) 三宅クラブ  第44回(2018年) 三宅クラブ  第45回(2019年) 三宅クラブ  第46回(2020年) 七隈トンビーズ  第47回(2021年) 光陽クラブ  第48回(2022年) 板付FC  第49回(2023年) 板付FC  第50回(2024年) スケアクロウズ北九州 |
カリー＝ハワード同型対応

関数型プログラムとして書かれた証明：自然数の加法に関する交換律のCoqによる証明。
カリー＝ハワード同型対応（カリー＝ハワードどうけいたいおう、英語: Curry–Howard correspondence）とは、プログラミング言語理論と証明論において、計算機プログラムと証明との間の直接的な対応関係のことである。「プログラム＝証明」(proofs-as-programs)・「型＝命題」(formulae-as-types)などとしても知られる。これはアメリカの数学者ハスケル・カリーと論理学者ウィリアム・アルヴィン・ハワード（英語版）により最初に発見された形式論理の体系とある種の計算の体系との構文論的なアナロジーを一般化した概念である。通常はこの論理と計算の関連性はカリーとハワードに帰属される。しかしながら、このアイデアはブラウワー、ハイティング、コルモゴロフらが定式化した直観主義論理の操作的解釈の一種（ブラウワー＝ハイティング＝ コルモゴロフ解釈（BHK 解釈）（英語版））と関係している。[要出典]
一般的な定式化

もっと一般的な観点からいえば、カリー＝ハワード対応は証明計算と計算模型の型システムとの間の対応である。これは2つの対応に分けられる。ひとつは、論理式と型のレベルであり、これは特定の証明体系や計算模型の選択に依存しない。いまひとつは、形式的証明とプログラムのレベルであり、これは証明体系や計算模型の選択に依存する。
論理式と型のレベルにおいて、この対応によれば、含意は関数型、論理積は直積型（タプル、構造体、リストなど、言語によって様々に呼ばれる）、論理和は直和型（バリアント、共用体、Eitherなど）、偽は空な型、真はシングルトン型のように振る舞うという。量化子は依存直積または直和にそれぞれ対応する。
まとめると、次のような表になる：
| 論理 | プログラミング |
| --- | --- |
全称量化  \forall x\in A.B(x): 依存直積  \prod _{x:A}B(x)
存在量化  \exists x\in A.B(x): 依存直和  \sum _{x:A}B(x)
含意  A\supset B: 関数型  A\to B
論理積  A\wedge B: 直積型  A\times B
論理和  A\vee B: 直和型  A+B
真  \top : トップ型  1
偽  \bot : ボトム型  0

証明体系と計算模型のレベルにおいて、この対応は主に構造的な同一性を示す。ひとつはヒルベルト流の推論体系とコンビネータ論理、いまひとつはゲンツェンの自然演繹とラムダ計算との間の同一性である。
| 論理 | プログラミング |
| --- | --- |
ヒルベルト流の推論体系: コンビネータ論理の型システム
ゲンツェン流の自然演繹: ラムダ計算の型システム
自然演繹とラムダ計算との間には次のような対応関係が存在する：
| 論理 | プログラミング |
| --- | --- |
仮定: 自由変数
含意除去規則（モーダス・ポネンス）: 関数適用
含意導入規則: ラムダ抽象