hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
ガラタ
ガラタまたはガラタ地区 （Galata）とは、トルコ共和国、イスタンブール、ベイオール（en:Beyoğlu）にある一角の名。現在はカラキョイ地区（en:Karaköy）の名で呼ばれている。かつてのコンスタンティノープルがあったヨーロッパ大陸側、金角湾の北岸に位置する。
ガラタ 歴史
歴史上、ガラタは古いギリシャ語のPeran en Sykais（対岸のイチジクの野原）に由来するペラ（Pera）の名で呼ばれた。その遙か後の東ローマ帝国時代、ガラタは、戦時ともなれば金角湾への侵入を防ぐ鉄鎖が据えられた大塔（megalos pyrgos、通称ガラタ塔）のある場所として有名になった。この塔は、第四回十字軍の最中の1204年に破壊された。しかしその後ジェノヴァ人によってキリスト塔の名をつけられ再建された。
ガラタの名の由来には諸説存在する。イタリアでは、下り坂を意味するcalataから生じたとする。ギリシャ人は、その名がガラクトス（中世初期にこの地にいたヒツジ飼いがいたことから、羊乳を意味する）か、ギリシャ語でケルト人を意味するガラト（Galat）から生じたと信じている。中央アナトリアに定住する前、ケルト系のガラティア人たちが、ヘレニズム時代にこの地に定住地を持っていたと考えられているためである。
最初、ガラタはコンスタンティノープルに隣接するジェノヴァ人地区であった。1171年3月、ガラタ地区が放火により被害を受けると、マヌエル1世コムネノスは、犯人はヴェネツィア人であるとして一方的にヴェネツィアとの同盟関係を破棄、東ローマ＝ヴェネツィア戦争（it）が1175年まで続いた。
ガラタ 歴史
1273年から、1453年のコンスタンティノープルの陥落まで、ガラタはジェノヴァ共和国の居留地であった。ガラタにあった中世のジェノヴァ共和国による城塞の壁は、その大部分が完全なまま19世紀まで残っていた。しかし、ベイオールなど北部へのイスタンブールの都市化拡大の波に押されて、壁は倒された。現在、ガラタ塔に近接する場所にわずかながらジェノヴァ時代の壁が残っている。
ジェノヴァ共和国の民衆隊長であったモンターノ・デ・マリニスの邸宅は、ジェノヴァ時代にパラッツォ・デル・コムーネとして知られており、1316年に建設された。これは現在廃墟となっている。ジェノヴァ人の邸宅のファサードにあった装飾の一部は、19世紀オスマン帝国時代の高層ビルの装飾品として使用された。ガラタの中にある銀行街（Bankalar Caddesi）は、オスマン帝国時代の金融の中心地であった。
ガラタには、その他にも特色ある建築物が残る。聖パウロ教会（1233年）は、ラテン帝国時代にドミニコ会派によって建設された。この建物を、1492年のスペイン異端審問によって追われイスタンブールへやってきたスペイン系アラビア人に対し、スルタンバヤズィト2世が授けた。現在はアラプ・モスク（アラビア人のモスク）として知られている。
亀岡崇
亀岡 崇（かめおか たかし、1891年6月30日 - 1954年12月26日）は、日本の洋画家。東京都出身。
亀岡崇 来歴
1891年6月30日、東京府東京市赤坂区青山に生まれる。父は陸軍工兵中佐・従五位・勲四等の亀岡為定。陸地測量部課長等を歴任し、大正9年12月3日没。祖父は幕臣の亀岡平次で、曽祖父の樋田豊治も幕臣であった。母は旧幕臣・上田登代。父方の従兄に陸軍中将・杉原美代太郎、陸軍中将・黒澤準がいる。また母方の従兄に海軍中将・上田宗重がいる。
府立一中を経て東京美術学校卒業。岡田三郎助、黒田清輝の門下。在学中に中村彝と知り合い交遊を結ぶ。彝の名作「友の像」のモデルとなる。第1回より欠かさず二科展に出品。傍らリグレー日本支社の役員を勤めた。
1930年、東京音楽学校助教授でバイオリニストの奥村艶子と結婚。芸術家同士の結婚というので話題となったが、1939年に艶子が死去。以後全く画壇と縁を断ち沈黙の後半生を送った。1954年12月26日、長野県の田舎で死去。戒名は智惠光院日崇居士で、亀岡姓ではなく奥村姓となっている。墓所は新宿区の常圓寺。晩年は周囲の中高生に英語の勉強を見てやり、英語の先生として親しまれていた。
グロメット作戦
グロメット作戦（グロメットさくせん Operation Grommet）はアメリカ合衆国が1971年から1972年にかけて行なった地下核実験。ネバダ核実験場とアムチトカ島で行なわれた。1971年11月6日のカニキン(CANNIKIN)実験は核出力が4.4-5.2Mtと地下核実験では最大級のものであった。
君に・・・・・
「君に・・・・・」（きみに・・・・・）は日本のシンガーソングライター・川嶋あいが2007年5月30日に発売した13枚目のシングル。
君に・・・・・ 概要
前作『compass』から約2ヶ月後にリリースされたシングル。
通常盤と初回限定盤の2種類で発売され、初回限定版は「君に・・・・・」のPVを収録した特典DVD付き。PV監督は横山秀徳。
タイトルの「・・・・・」には「ありがとう」の意味が込められている。
DEEP SKY
『DEEP SKY』（ディープ・スカイ）は松井常松5枚目のアルバム。1995年10月25日に東芝EMI/EASTWORLDから発売された。
DEEP SKY 解説
同じベーシストの小原礼が全曲の編曲・共同プロデュースを行った本作は表題曲「DEEP SKY」を除いて森雪之丞と共同で作詞で行った。プログラマーにBOØWY以来となる松武秀樹の他、布袋寅泰、高橋幸宏、山本恭司等、多彩ゲストを迎えて制作された。「Divinations」は長野智子と神谷明がナレーションで参加した。11月よりクラブサーキットによる、本作の全国ツアー「BLACK AND WHITE」を行った。
DEEP SKY 収録曲
全作詞：森雪之丞・松井常松／松井常松（4）
全作曲：松井常松　全編曲：小原礼
BULLY ブリー
『BULLY ブリー』は、2001年に公開されたアメリカ映画。原作は実際に起こった少年少女7人によるボビー・ケント殺害事件を題材としたジム・シュッツの『なぜ、いじめっ子は殺されたのか?』。
BULLY ブリー ストーリー
成績優秀な高校生であるボビーと高校中退の落ちこぼれマーティーは、同じバイト先で働く幼馴染だが、ボビーはマーティに支配的な態度を取り、暴言を浴びせ暴力を振るうこともしばしばだった。そんな時ボビーとマーティはアリとリサという少女に誘われ、ボビーはアリと、マーティはリサと交際を始める。しかしボビーは二人にも暴力的な態度を取り、アリとリサを犯す。徐々にボビーへの憎しみが彼らの中に渦巻いていき、リサの「殺すしかない」という一言からボビーの殺害を計画する。やがてアリの知り合いであるドニーとヘザー、リサのいとこであるデレク、不良グループのリーダーで、マフィアの殺し屋を自称するカーフマンを巻き込み、凄惨な殺害計画が実行される。
BULLY ブリー キャスト
※日本語吹替は現行DVD（IVCより発売）には未収録。
イタリア国鉄ETR485電車
イタリア国鉄ETR485電車(イタリア語: Elettrotreno ETR 485)はトレニタリアが運行する高速列車ユーロスター・イタリアで運用される電車方式の車体傾斜式高速鉄道車両である。ペンドリーノの名称で知られ、第二世代にあたるETR 480をイタリアの高速新線に対応させるために改造が行われた形式である。
イタリア国鉄ETR485電車 概要
改造のベースとなったETR 480には交流機器が3、4、7号車に搭載されており、将来の高速新線対応となるパンタグラフの搭載準備工事も4、7号車で施工されていた。2004年にETR 480の№32編成がRFIから改造の認可を得て、2005年より№31～45編成までのETR 480の改造が開始された。
イタリア国鉄ETR485電車 特徴
ETR 480とETR 485は新しい高速新線に対応させる工事を施したと言う点以外は編成構成も技術的な面もまったく変わっていない。若干異なる点は1等車の定員が146名へ2等車の定員が344名への合計500名と増えており従来のETR 480編成と比べ20名程度旅客定員が増加している。
編成の定格出力は従来通り5,880kWで、最高速度も250km/hに止まっている。保安装置は従来からのRS4 Codiciが装備されているが、新しい保安装置であるSCMTとERTMSレベル2が統合して装備された。また新たに高速新線用パンタグラフの装備や、自動開閉器の設置など集電装置関連の改造が行われ、2006年よりローマ＝ナポリ高速線で改造された№43編成によって試運転が開始された。
イタリア国鉄ETR485電車 運用
ETR 485はローマ - ミラノ間のビジネス客向けユーロスター・イタリアであるtBiZで新しい赤とグレーの配色の再塗装で投入された。2008年12月からはミラノ＝ボローニャ高速鉄道線(Ferrovia Milano-Bologna (alta velocità))の開業によって新たに投入されたETR 600と共に銀の矢"Frecciargento"の愛称で運用されている。
Excite!!
『Excite!!』（エキサイト）は、2005年3月30日にテイチクレコードから発売された関ジャニ∞の1枚目のライブDVD。本作にも収録されたワンマンライブは『関ジャニ∞ X'masパーティー2004』（かんジャニエイト クリスマスパーティー2004）のタイトルで、2004年12月18日から12月25日まで大阪松竹座で開催された。
Excite!! 概要
本ライブは、2004年12月18日から同年12月25日まで関ジャニ∞のホームとなっている大阪・大阪松竹座にて全23公演で開催された、毎年恒例のX'masパーティー（ワンマンライブ）である。
同会場でライブを行うのは、同年8月に開催された舞台とライブを兼ねた公演『関ジャニ8 サマースペシャル2004 サマー・ストーム & スペシャルコンサート』以来、約4か月振りである。
Excite!! 収録内容
〈DANCE〉
〈ミュージカル・メドレー〉
旅人（バックバンド：大倉忠義）
So BAD! / 丸山隆平・安田章大・内博貴（バックバンド：大倉忠義）
作詞：長谷川雄大作曲：TSUKASA
レクイエム ～宇宙の記憶～ / 横山裕・村上信五
作詞：TAKESHI作曲：飯田建彦
この星が輝く理由 / 渋谷すばる
作詞：久保田洋司作曲：谷本新
Do you agree?
DREAMIN' BLOOD
It's not over yet 〜終わりのない旅〜
作詞・作曲：Mattias Nordenling日本語詞：近藤ナツコ
〈MC-1〉
〈MC-2〉
〈エンドロール〉
Excite!! グッズ
※出典を参照。
本ライブのグッズは、ジャニーズJr.時代にうちわを販売したことはあったものの、関ジャニ∞としてデビューして初めてオリジナルグッズが制作された。
なお、当時のグッズはメンバーで考えるのではなく、スタッフに一任していたという。
Excite!! CD未収録曲
『So BAD!』（ソー バッド）は、関ジャニ∞の楽曲。
2022年9月現在、CD未収録である。
ライブ映像
本項『Excite!!』
『レクイエム〜宇宙の記憶〜』（レクイエム うちゅうのきおく）は、関ジャニ∞の楽曲。
2022年9月現在、CD未収録である。
ライブ映像
本項『Excite!!』
『この星が輝く理由』（このほしがかがやくりゆう）は、渋谷すばるの楽曲。
2022年9月現在、CD未収録である。
ライブ映像
本項『Excite!!』
4thライブDVD『47』
『It's not over yet〜終わりのない旅〜』（イッツ ノット オーバー イェット おわりのないたび）は、関ジャニ∞の楽曲。
2022年9月現在、CD未収録である。
ライブ映像
本項『Excite!!』
『Fighter』（ファイター）は、関ジャニ∞の楽曲。
2022年9月現在、CD未収録である。
ライブ映像
本項『Excite!!』
『STANCE』（スタンス）は、関ジャニ∞の楽曲。
2022年9月現在、CD未収録である。
ライブ映像
本項『Excite!!』
2ndライブDVD『Spirits!!』
Excite!! CD未収録曲
『SLAVE』（スレイヴ）は、関ジャニ∞の楽曲。
2022年9月現在、CD未収録である。
ライブ映像
本項『Excite!!』
『口笛の向こう』（くちぶえのむこう）は、関ジャニ∞の楽曲。
2022年9月現在、CD未収録である。
ライブ映像
本項『Excite!!』
2ndライブDVD『Spirits!!』
3rdライブDVD『Heat up!』
『みかん』は、三兄弟（横山裕・渋谷すばる・安田章大）の楽曲。
2021年に10thアルバム『8BEAT』に横山のセルフカバーが収録されたが、原曲は2022年9月現在、CD未収録である。
1stアルバム『KJ1 F・T・O』の通常盤初回プレス分に付属している、三兄弟の『オリジナルジャケット』内の「三兄弟の軌跡」によると、2004年の冬に制作され、三兄弟初のバラード曲となっている。
ライブ映像
本項『Excite!!』
20thライブDVD/Blu-ray『KANJANI'S Re:LIVE 8BEAT』(初回限定盤 特典DVD/Blu-ray)
※横山がソロで披露。
中桐伸五
中桐 伸五（なかぎり しんご、1943年6月4日 - 2016年2月12日）は、日本の政治家、医師。衆議院議員（2期）を務めた。
中桐伸五 概要
岡山県児島郡灘崎町（のち岡山市）出身。岡山大学医学部卒業。岡山大学助手等を経て、自治労常任顧問医。
1996年の第41回衆議院議員総選挙に民主党公認で岡山2区から出馬。自由民主党から出馬した熊代昭彦に敗れるも比例復活し、初当選。2000年の第42回衆議院議員総選挙では再び熊代昭彦に敗れ比例復活もできず落選。落選後、「若い人に道を譲りたい。」と述べ、引退を表明。しかし、2003年8月に比例中国ブロックで当選していた山田敏雅が福山市長選挙出馬のため辞職したため、繰り上げ当選した。議員在職中は厚生委員、民主党岡山県連副代表等を務めた。
後継候補は津村啓介。2009年現在、国際貢献大学校医療機構理事長、新見公立短期大学非常勤講師。
佐賀県道321号黒川松島線
佐賀県道321号黒川松島線（さがけんどう321ごう くろがわまつしません）は、佐賀県伊万里市を通る一般県道である。
佐賀県道321号黒川松島線 概要
伊万里市黒川町大黒川から伊万里市松島町に至る。
また、伊万里市木須町から同市松島町に至る道路が本道のバイパス道路として指定されており、国道204号のバイパスとしての役割を果たす。
鹿ヶ瀬峠
鹿ヶ瀬峠（ししがせとうげ）は、和歌山県日高郡日高町と有田郡広川町の境にある峠。標高360メートル。日高町指定史跡（2011年〈平成23年〉3月15日指定）。「熊野参詣道 紀伊路」の一部として国の史跡に指定（2015年〈平成27年〉10月7日指定）。
鹿ヶ瀬峠 歴史
鹿ヶ瀬峠の史料上の初出は平安時代にさかのぼる。『吉記』承安4年（1174年）9月26日条に「鹿背原」にて昼養を摂ったとの記述が見られるほか、山名としては平安時代中期から見え、増基の紀行文『いほぬし』に「しゝのせ山」とあり、『大日本国法華経験記』所収の「紀伊国宍背山に法華経を誦する死骸」には、比叡山東塔の円善なる僧が宍背山で捨身行の末に髑髏となった後も法華経六万部の誦経を続けたとの奇談が記され、後に『今昔物語』『古今著聞集』『元亨釈書』に再録された。
院政期には熊野古道の難所の一つとして知られ、熊野参詣記にたびたび登場する。『大御記』永保元年（1081年）9月28日条に「戌剋着鹿背山中宿草庵」とあるのをはじめとして、『中右記』天仁2年（1109年）10月18日条には、山道の様子を「其路嶮岨、心力巳尽」で、鹿の鳴き声があちこちから聞こえたと記し、「熊野道之間愚記」（『明月記』所収）建仁元年（1201年）10月10日条にも同様の「崔嵬嶮岨」との記述が見られ、深山幽谷であったさまを伝える。
鹿ヶ瀬峠 歴史
このような難所であったため、鹿ヶ瀬峠は紀南と紀北の境界であるだけでなく、紀南への戦略的要衝となり、中世には付近に鹿ヶ瀬城（ししがせじょう、鹿瀬城とも）という山城が築かれた。鹿ヶ瀬城について、『紀伊続風土記』は『太平記』を根拠に熊野八荘司の一人、鹿瀬荘司なる未詳伝の人物が築いたとし、『玉葉』治承4年（1180年）9月3日には、源氏方に寝返った湛増が「切塞鹿背山」とある。また、『太平記』には延文5年（1350年）の南朝方蜂起に際して、当地の湯河荘司は北朝に与して「鹿ノ瀬・蕪坂」に布陣したとあるほか、永享10年（1438年）に南朝方軍勢が当城に拠った際には、守護畠山尚順以下の軍勢2800騎ほかが攻め入り、南朝方を敗走せしめた。
近世には元和年間（1615年-1624年）頃に峠に茶屋が設けられたが、明治頃に廃道となってからは廃絶した。石垣跡と平坦面がその名残を伝えるが、一帯は黒竹の藪に覆われている。日高町側の麓にあった金魚茶屋の付近には明治中期まで3件の民家があったが後に退去し、峠登り口付近の原谷集落も往来の旅人の減少により衰微していった。
鹿ヶ瀬峠 文化財と遺構
鹿ヶ瀬峠上部に遺された熊野古道の遺構は和歌山県指定史跡（2011年〈平成23年〉3月15日指定）である。
峠の頂上部は大峠（標高約350メートル）と呼ばれる東西40m・南北30mほどの平坦地で、そこから約400m下った所に小峠と呼ばれている山塊の鞍部が日高・有田両郡の郡境となっており、近世の地誌『紀伊続風土記』に「河ノ瀬村から登り約二一町、原谷奧から十四町ばかり、字小峠をもって有田、日高の境をなす」と記されている。小峠の少し上手には像高30センチメートルほどの馬頭観音や板碑のほか、道路脇に高さ約50センチメートルの地蔵菩薩を陽刻した道標があり、「右かみくさの滝へ十五丁、たから村金屋某」の銘がある。
板碑は、沓掛王子旧址の傍らにあった法華堂境内にあったものが、法華堂が本寺の養源寺（広川町）に退転した際に、取り残されたものだと伝えられる。現存する8基のうち、完全なものは4基ある。いずれも形式は同一で、中央に南無妙法蓮華経の法華経題目が刻銘され、2基には年号と日付の刻銘がある。残り4基は破損しており、板碑であること以外は不詳である。
鹿ヶ瀬峠 文化財と遺構
日高町と広川町の境界を日高町側に下ると、幅員1.5メートル、全長503メートルにおよぶ石畳道が遺されている。石畳の石材は、道の周囲の岩盤から採取された砂岩で、長さ約30cm前後のやや小型の石材を敷き、石の継ぎ目が直線状になった箇所が数10m単位で見られ、構築単位を示している。
日高町側には金魚茶屋として知られる茶屋を営んでいた旧金崎家邸跡があり、『紀伊国名所図会』にもその姿が描かれている。金魚茶屋の名は、門前に金魚を飼って往来の旅人の休息に興を添えたことによるという。
LAST ANGEL (松井常松の曲)
「LAST ANGEL」（ラスト・エンジェル）は、松井常松の楽曲。1995年10月4日に東芝EMI/EASTWORLDより4thシングルとして、発売された。規格品番：TODT-3594。
LAST ANGEL (松井常松の曲) 概要
同じベーシストの小原礼を音楽プロデューサーに迎えた本作は日本テレビ系『ぐるぐるナインティナイン』エンディング・テーマ。
LAST ANGEL (松井常松の曲) 収録曲
全作詞：森雪之丞・松井常松　作曲：松井常松　編曲：小原礼
琴平町立琴平中学校
琴平町立琴平中学校（ことひらちょうりつ ことひらちゅうがっこう）は、香川県仲多度郡琴平町にある公立中学校。
丸亀市立岡田小学校
丸亀市立岡田小学校（まるがめしりつ おかだしょうがっこう）は、香川県丸亀市綾歌町岡田下にある公立小学校。
丸亀市立岡田小学校 通学区域
卒業生は基本的に丸亀市立綾歌中学校へ進学する。
多度津町立多度津小学校
多度津町立多度津小学校（たどつちょうりつ たどつしょうがっこう）は、香川県仲多度郡多度津町栄町三丁目にある公立小学校。
多度津町立多度津小学校 通学区域
卒業生は基本的に多度津町立多度津中学校へ進学する。
ホリエ
ホリエは、日本の漫画家。主にティーアイネットの成年向け漫画雑誌『COMIC MUJIN』に掲載。
鈴栄堂
鈴栄堂（りんえいどう）は、石川県金沢市にあった九谷焼製造会社。鈴木建材と社名を変更し2009年現在も営業中である。
鈴栄堂 銭湯タイル
公衆浴場（銭湯）向けの絵タイル(タイル絵)は、章仙(石田章仙)や暁舟や胡山などの絵師を中心に描かれた。
題材の多くには、宝船、錦鯉、鶴亀、鯉の瀧昇りなどの縁起モノ、桃太郎、牛若丸などの物語、東海道五十三次や松島などの風景が用いられてきた。
多くの銭湯のタイル絵に鈴栄堂製が用いられ、鈴栄堂の印でそれと分かる。
木村裕二
木村 竜二（きむら りゅうじ、1975年1月20日 - ）は、日本の男性俳優、声優。フリー。香川県出身。
木村裕二 人物
曾祖父は第255代東寺長者木村 澄覚。東寺で産まれ、観智院で育つ。曾祖父の死により香川に引っ越す事となる。本名および旧芸名は木村 裕二（きむら ゆうじ）。
身長172cm。日本ナレーション演技研究所東京校出身。以前はアイムエンタープライズ、RMEに所属していた。
「声優のリアル」代表。
パル・ヴァンナリーレアク
パル・ヴァンナリーレアク（Pal Vannarirak、1954年11月23日- ）はカンボジアの作家。
パル・ヴァンナリーレアク 略歴
コンポンチュナン州に生まれる。父は抗仏運動に参加した高級将校、母はシソワット王家の流れを汲む人物であり、裕福な家庭に育つ。1975年にはクメール・ルージュによって両親や弟2人と離ればなれになり、プノンペンからコンポンチャム州タンコーク郡への移住で強制労働に従事し、集団結婚をさせられる。
1979年にポル・ポト政権の崩壊後、プノンペンに戻り役所の職員として働くが、夫は定職につかず暴力をふるうようになる。ヴァンナリーレアクは内職として闇の貸本屋用の娯楽小説を書き、取り締りをおそれて無記名で発表した作品は90本近くにのぼった。やがて、ポル・ポト時代に行方不明になった家族に向けて、自分の無事を知らせるための小説を執筆。この長篇小説『カンボジア 花のゆくえ』（原題『闇は去った』）は、1989年にプノンペン市主催の戦勝10周年記念行事の小説部門で第1位となり、恩師や旧友との再会を果したが、両親や弟の消息は不明なままである。のちに『カンボジア 花のゆくえ』はオンポー・テヴィ主演で映像化もされ、ヴァンナリーレアク自身も脚本家の活動をはじめ、ドラマ用の脚本を27本発表した。
パル・ヴァンナリーレアク 略歴
1993年の選挙後の新生カンボジア王国の成立後も精力的に創作を続けている。小説の他に詩集『クメールの月』を発表し、作詞家としても130曲以上を提供し、メーン・カエウ・ペッチャンダーなどのヒット曲を生んだ。また、社会問題にも取り組み、ストリート・チルドレン、エイズ、ドメスティック・バイオレンスなどを扱う女性や青少年向けの啓発ビデオのシナリオを書いている。2006年には、東南アジア文学賞を受賞した。
上野忠
上野 忠（うえの ただし、1972年11月2日 - ）は、茨城県出身の元プロ野球選手（捕手）。
上野忠 来歴・人物
霞ヶ浦高時代は、2年秋の関東大会優勝で3年春のセンバツに出場。初戦で、天理高に敗れた。
1990年オフ、ドラフト外でヤクルトスワローズに入団。しかし、当時のヤクルトは捕手が充実しており目立った活躍はできず、1999年オフに自由契約となった。
2001年、ブルペン捕手としてオリックス・ブルーウェーブと契約した。
2005年、球団の合併により新規参入した東北楽天ゴールデンイーグルスに移り、2010年までブルペン捕手を務めた。ブルーウェーブのブルペンスタッフで楽天へ移籍したのは上野だけで、「新規球団で一からやってみたかった」と2005年のMSNのインタビューで答えている。
現在は元楽天の森田丈武が運営する「JOBU BASEBALL ACADEMY」の臨時バッテリーコーチを務める。
竹本和正
竹本 和正（たけもと かずまさ、1952年3月8日 - ）は、大分県出身の日本の男性俳優、声優。身長175cm、体重76kg。
竹本和正 来歴
早稲田大学法学部卒業後、1975年に文学座に入所（第15期生）、その後は東京演劇アンサンブルを経て、プロダクション・タンクに所属。
竹本和正 人物
特技・資格は乗馬、柔道二段、ボクシング、英会話、中型自動車免許（4t可）。方言は大分弁。
竹本和正 出演
NHK
日本テレビ系
TBS系
フジテレビ系
テレビ朝日系
テレビ東京系
WOWOW
ヘルシンギン・サノマット
『ヘルシンギン・サノマット』（フィンランド語: Helsingin Sanomat）は、北欧諸国とフィンランドにおいて最大の契約制新聞社。日本語では『ヘルシンキ新聞』と訳されることもある。フィンランドをはじめ欧州各国に展開しているメディアグループ、サノマ社が所有している。祝祭日の後を除いて、ほぼ毎日発行されている。2008年度の一日あたり発行部数は平日で07年度比-1.8%の41万2421部であり、日曜日は2007年度比-1.3%の46万8505部にのぼる。
社名はフィンランドの首都ヘルシンキに由来しており、ヘルシンキにおいて発行されている。
『ヘルシンギン・サノマット』のウェブサイト HS.fiは、ウェブ上のフィンランドのニュースに関する最も重要な情報源となっている。2009年6月、このサイトはフィンランドで6番目に人気のあるウェブサイトである。
フィンランドではよく紙名をHSと省略して表される。口語ではヘサリ（Hesari）と略される。また、過去にはヘサ（Hesa）という名前も使われていた。
ヘルシンギン・サノマット 歴史
この新聞は1889年に "Päivälehti" として設立された。このときフィンランドはまだロシア帝国下のフィンランド大公国であった。大フィンランドの自由と率直な独立を強く主張するこの新聞の論調のため、ロシア当局は政治的検閲を行い、 "Päivälehti" は一時刊行中止にされ、1904年に永久に発行を停止されたしかし、経営者は1905年現在の名称で再度新聞を発行し始めた。。当初はフィンランド青年党の機関紙として発行され、1930年代から非同盟独立の思想を持っていた。
ヘルシンギン・サノマット社はエルッコ家の同族経営として所有されていた長い歴史を持つ。現在はエルッコ家の持っていたメディアグループ、サノマ社の所有になっている。『ヘルシンギン・サノマット』の経営者一族ととフィンランド政府の関係は時に非常に近かった。例を挙げると、冬戦争へと向かう時代、ユホ・エリャス・エルッコはカヤンデル内閣の外務大臣であり、新聞の発行者でもあった。
ヘルシンギン・サノマット 構成
この新聞はフィンランドで大判新聞紙として発行されている。また、フィンランド語で“毎月の付録”という意味の "Kuukausiliite" という名前の付録が毎月ついており、週刊でテレビガイドとフィンランドで“今”という意味の "Nyt" という名前の娯楽指向の付録が供給される。
ヘルシンギン・サノマット 発行部数・影響
『ヘルシンギン・サノマット』はヘルシンキ地域の家主のおよそ75%に浸透している。また、この地域の地方紙の機能を持っている。一日あたり発行部数は40万部を超えており、フィンランドの全人口のおよそ8%である。これは購読新聞として北欧最大の発行部数である。
この新聞はフィンランド社会において重要な要因となっている。フィンランドのジャーナリストで学者であるペルッティ・クレモラ（Pertti Klemola）は、社会と政治の独立を所有する公共施設、国家機関であるとしている。
『ヘルシンギン・サノマット』はフィンランドがEUへの加盟に向かっていた際、加盟を強く主張しており、1994年にフィンランドはEUに加盟した。また、フィンランドがNATOの一員たることへの支援を広く表明している。
ヘルシンギン・サノマット ヘルシンギン・サノマット国際版
『ヘルシンギン・サノマット』のウェブサイトの英語版である『ヘルシンギン・サノマット国際版』は、1999年に開始された。開始の目的はフィンランドが欧州連合理事会議長国となった時に、フィンランド情報の報告の先駆者となることであった。しかし、議長国を終えた後も英語による、英語圏でのフィンランド情報の主な情報源と見られていることや、フィンランドへの英語話者の移民に人気であること、読者の量が多いことなどから続けられている。
見えない翼 (川嶋あいの曲)
『見えない翼』（みえないつばさ）は、日本のシンガーソングライター川嶋あいが2006年4月19日に発売した9枚目のシングル。
見えない翼 (川嶋あいの曲) 概要
前作『Dear／旅立ちの日に…』から約2ヶ月後にリリースされたシングル。通常盤と初回限定盤の2種類で発売され、初回限定版はCHiYOとのコラボレート楽曲を収録した特典CD付。『Dear／旅立ちの日に…』に続いて2作連続で週間オリコンチャートトップ10入りを果たしている。
初回出荷分では、「見えない翼」の歌詞に、誤植があった。
山元勉
山元 勉（やまもと つとむ、1932年8月5日 - 2010年1月4日）は、日本の政治家。衆議院議員（通算4期）。
山元勉 概要
滋賀県出身。滋賀大学卒業後、小学校教師として勤務する傍ら組合活動を行う。その後、専従役員として滋賀県教職員組合委員長等を務める。
1983年、第13回参議院議員通常選挙に日本社会党公認で滋賀県選挙区より立候補するが、自由民主党候補の河本嘉久蔵に大差で敗れ落選。1990年に行われた第39回衆議院議員総選挙に日本社会党公認で旧滋賀県全県区より立候補し当選。以後4期連続当選を果たす。
1996年、旧民主党結党に参加。小選挙区制施行後の1996年の第41回衆議院議員総選挙では滋賀県第1区から立候補。小選挙区では新進党候補の川端達夫に敗れるも比例復活当選。
1998年の院内会派民主友愛太陽国民連合による新民主党結成に伴い川端が民主党に合流したことで、2000年に行われた第42回衆議院議員総選挙では川端に選挙区を譲り、自らは比例近畿ブロックから単独で立候補し、当選を果たした。議員在任中は環境委員長、民主党滋賀県連代表等を務めた。また、国立大学の独立行政法人化反対や民族学校の大学受験資格付与運動の代表として活動した。
2003年の衆議院選挙には立候補せず、政界からの引退を表明した。その後は民主党滋賀県連常任顧問を務める傍ら、林久美子参議院議員の後援会長を務めていた。同年旭日中綬章受章。
2010年1月4日、咽頭がんのため死去。77歳没。叙従四位。
パンドラの匣 (小説)
『パンドラの匣』（パンドラのはこ）は、太宰治の書簡体形式の長編小説。新聞小説。
「健康道場」という名の結核療養所を舞台に繰り広げられる恋愛模様を通じて、青年・ひばりの成長を描く。
1947年と2009年に映画化されている。
パンドラの匣 (小説) 執筆の背景と発表
本作品は、太宰の読者であった木村庄助の病床日記がもとになっている。
1940年（昭和15年）8月より太宰と頻りに文通していた木村庄助は、1943年（昭和18年）5月13日、病苦のため22歳で自殺する。同年7月11日、遺言により日記全12冊が太宰宛てに送付される。日記は京都の丸善に製本させたもので、「健康道場にて」と記した日記の背には太宰の短編「善蔵を思ふ」を模して「太宰治を思ふ」と刷り込んであったという。
1943年（昭和18年）10月末、太宰は木村の日記をもとに「雲雀の声」を書き上げる。小山書店より刊行する予定であったが、検閲不許可のおそれがあるため版元と相談の結果一旦出版を中止。その後許可が下り小山書店より出版される運びとなった。ところが1944年（昭和19年）12月、戦災のため発行間際の本が全焼。本作品はその時残った校正刷をもとにして執筆されたものである。1945年（昭和20年）11月9日までに脱稿。
地方紙『河北新報』1945年10月22日から1946年（昭和21年）1月7日にかけて、64回にわたって掲載された。
パンドラの匣 (小説) 刊行と検閲
1946年6月5日、河北新報社より刊行。1947年（昭和22年）6月25日、双英書房から改訂版が刊行されている。河北新報社から刊行された初収本には双英書房の創業者である岩月英男の所蔵本があり（2010年時点で個人所蔵）。太宰自筆による書き込みがあり、改訂版の刊行に活かされている。岩月英男は太宰と同じ井伏鱒二門下で、実家が山梨県甲府市甲運村（現在の甲府市和戸町）にあり、戦時中には井伏を疎開させている。太宰も妻の実家のある甲府市水門町（甲府市朝日）に疎開しており、岩月家を通じて交流があったと考えられている。
河北新報社本と双英書房本では61箇所の異同が指摘され、多くは句読点や送り仮名、漢字表記や改行など文法上の改訂であるが、天皇に対する表現など内容の解釈に関わる部分もあることが指摘される。また、太宰作品ではプランゲ文庫の調査により2009年時点で単行本4点・7作品においてGHQによる検閲が行われている。太宰自筆の書き込みのある『パンドラの匣』個人所蔵本においてもGHQによる検閲印が押されており、プランゲ文庫所蔵の河北新報社版『パンドラの匣』では4箇所の部分削除（deletion）の指示が確認されている。
新潮文庫版では『正義と微笑』と一緒にされている。本作が表題。
パンドラの匣 (小説) あらすじ
「健康道場」と称する或る療養所で、結核と闘っている20歳の青年から、その親友に宛てた手紙という形式で綴った物語。
パンドラの匣 (小説) 看護婦の日記 (1947年の映画)
1947年7月公開の日本映画。製作は大映。『パンドラの匣』を原作とするこの映画のタイトルは当初『思春期の娘達』であったが、太宰がこれを嫌い『看護婦の日記』と改められた。
スタッフ
キャスト
パンドラの匣 (小説) パンドラの匣 (2009年の映画)
2009年10月10日公開の日本映画。配給は東京テアトル。上映時間94分。川上未映子はこの映画の演技により複数の新人女優賞を受賞した。
スタッフ
キャスト
ハイティング代数
数学において，ハイティング代数(擬ブール代数)とは、有界束(結び ∨ と交わり ∧ の二種の演算と、最小元 0と最大元 1をもつ束)で，c∧a ≦ b ⇔ c≦ a→b を満たす含意演算子 a→b が定義されるものをいう。論理学の視点からは、A→B は、モーダスポネンスつまり推論規則 A→B,A ⊢ B が健全になるような最弱の命題を表す．ブール代数に似て，ハイティング代数は有限個の等式で公理化できるバラエティを成す．ハイティング代数は 1930年に直観主義論理を形式化するために アレン・ハイティングにより導入された。
ハイティング代数は束として分配的である。ブール代数は a→b を(通常そうされるように) ￢a∨b で定義することでハイティング代数の構造をもつ。同様に、完備な分配束で無限分配則(∧ と ∨ の片方にだけ無限個の演算を含む)を満たすものは、a→b を c∧a≦b を満たす c の上限をとることでハイティング代数になる。有限の場合は、任意の非空な分配束、特に非空な有限鎖は自動的に完備で分配的であり、ハイティング代数となる。
ハイティング代数
ハイティング代数の半順序に関して a≦b は直観的には a から b が導けることを表している。特に最大元 1は恒真命題に対応し、定義より成り立つ不等式 1≦0→a は矛盾 0 から任意の命題 a が導かれるという直観に対応する。否定演算 ￢a は定義には含まれていないが、 a→0 として構成できる。￢a の直観的内容は、a を仮定することで矛盾が導かれることである。この定義から  が判る。更に a≦￢￢a が示されるが、その逆向きの不等式 ￢￢a≦a は一般には正しくない。つまり，ハイティング代数において二重否定の除去は一般には成立しない。
ハイティング代数は、ブール代数の一般化である。つまり、ハイティング代数に排中律 、または二重否定の除去  を課したものがブール代数である。ハイティング代数 H の ￢a の形の元はブール束をなすが、それは一般に H の部分代数とはならない(以下で説明する)。
ハイティング代数は、ブール代数が古典論理のモデルとなるのと同じように、直観主義命題論理のモデルとなる。初等トポスの内部論理は、終対象 1の部分対象 (1 から subobject classifier Ω への射と同値)に包含で順序をつけてできるハイティング代数を基にしている。
ハイティング代数
任意の位相空間における位相、つまり開集合の集合は完備ハイティング代数をなす。よって，完備ハイティング代数はpointless topologyの中心的な対象である。
非最大元の集合が最大元をもつ(よってそれ自身ハイティング代数となる)ハイティング代数はsubdirectly irreducibleであり、一方で任意のハイティング代数は新たな最大元を追加することで subdirectly irreducible となる。よって有限ハイティング代数のなかにも subdirectly irreducible なものが無限個あり、それらは互いに異なる等式理論を持つ。よって有限ハイティング代数の有限集合で non-laws of Heyting algebra の全ての反例を与えることはできない。このことはブール代数とは明確に対比できる点である。subdirectly irreducible なブール代数は二元からなるものだけであって、それが non-laws of Boolean algebra の反例すべてとなる。これは真理値表という単純な判定法の基盤である。
それにも関わらず、ある等式が全てのハイティング代数で成立するかどうかは決定可能である。
ハイティング代数は時折 擬ブール代数 または ブラウアー束 と呼ばれる。しかしブラウアー束という語は双対的な定義 または若干一般的な意味合いを含めて言及されることもある．
ハイティング代数 形式的定義
ハイティング代数 H は有界束であって、任意の a,b∊ H に対して
をみたす x の最大元が存在するものをいう。この元は a の b に関する相対的擬補元であり、a→b と書かれる。H の最大元と最小元をそれぞれ 1、 0 と書く。
ハイティング代数において、元 a の 擬補元 ￢a を ￢a=a→0 で定義する。定義から a∧￢a=0 であり， ￢a はこの等式を満たす最大の元である。しかし一般には a∨￢a=1 は成立しない。よって ￢ は(ブール代数で定義されるような)真の補元ではない。
完備ハイティング代数 とは、完備束であるようなハイティング代数である。
ハイティング代数の部分代数とは、H の部分集合 H1 であって 0 と 1を含み演算 ∧、∨、→ で閉じているものである(よって￢についても閉じる)。部分代数はそのハイティング代数構造をもとの代数から引き継ぐ。
ハイティング代数 別定義
ハイティング代数 H は全ての冪対象を持つ有界束である。つまり、束 H を交わり ∧ が積であるような圏とみなしたとき、 H の任意の対象 Y と Z に対して冪対象 ZY が H に一意に存在することを意味する。
含意演算が冪に相当する。(写像や関手を表す → との重複を避けるために ⇒ を用いると) Y ⇒ Z は ZY の別表記と考えられる。冪の定義から含意 (⇒:H×H → H)は交わり(∧:H×H → H)の右随伴であり  と書ける。つまり

である。
ハイティング代数は固定した a∊H に対する次の写像を考えることでも得られる：
有界束 H がハイティング代数をなす必要十分条件は、任意の fa が単調なガロア接続の下方随伴であることである。この場合対応する上方随伴 ga は、上で定義された → を用いて ga(x)=a→x で与えられる。
更に、モノイド演算を ∧ とするresiduated latticeとして定義することもできる。モノイド演算の単位元は最大元 1である。モノイド演算の可換性から、二つの residual は a→b と一致する。
最大元 1と最小元 0をもつ有界束 A とその上の二項演算 → が以下の条件をみたすとき、ハイティング代数をなす：
ハイティング代数 別定義
ここで 4番目の等式は → に対する分配則を示している。
直観主義論理を用いてハイティング代数を特徴づけると、直観主義命題論理の算術とハイティング代数の関係に関する基本的な事実を即座に証明できる(証明可能な等式節および普遍構成節を参照のこと)。ハイティング代数の最大元  は直観的には証明可能(恒真)な命題とみなせる。直観主義論理の公理と比較のこと。
三種類の二項演算 →、∧、∨ が定義された集合 A と元  および  が以下の条件をみたすとき、A はハイティング代数である(更に条件  により順序 ≦ が定まる)：
そして，￢x を x→ で定義する。
条件 1は同値な式は等しいこと、条件 2は証明可能な式がモーダスポネンスで閉じていることを表す。条件 3, 4は「ならば」、条件 5,6,7は「かつ」、条件 8,9,10は「または」に関する条件であり、条件 11は「偽」に関する条件である。
もちろん、別の公理一式を論理学に使うのであれば、それに従って条件を変えなければならない。
ハイティング代数 例
ここで 1/2∨¬1/2 = 1/2∨(1/2 → 0) = 1/2∨0 = 1/2 となるので排中律をみたしていないことに注意。
任意の位相において、その開集合がなす束がハイティング代数となる。この場合、元 A→B は A の補集合 Ac と B の和の内部になる。全ての完備ハイティング代数が何らかの空間の位相から得られるわけではない。この問題はpointless topologyで研究されており、そこではハイティング代数のことを フレーム(frame) または ロケール(locale)と呼ぶ。
ハイティング代数 性質
ハイティング代数 H の順序 ≦ は演算 → から以下のように復元される：任意の元 a, b ∊ H に対して a≦b ⇔ a→b=1。
いくつかの多値論理とは異なり、ハイティング代数は以下の性質をブール代数と共有する：否定演算が不動点をもつ(つまり ￢a=a となる a が存在する)ならば、そのハイティング代数は一元からなる自明な代数である。
命題論理式(変数，論理結合子 ∧、∨、￢、定数 0,1 からなる式)  に対して、次の二つの条件の同値性がハイティング代数研究の初期に示された：
P1: 論理式  は直観主義論理で証明できる。
P2: 任意のハイティング代数 H とその元  に対して等式  が成り立つ。
このメタレベルの含意 P1 ⇒ P2は非常に有用で、ハイティング代数における等式を示すための実践的かつ主要な方法である。実用の場では、そのような証明ではしばしば演繹定理が使われる。
ハイティング代数 性質
ハイティング代数 H の元 a と b に対して a≦b と a→b=1 は成否が一致するので、P1 ⇒ P2 から論理式  が証明可能ならば  が任意のハイティング代数とその元  に対して成り立つ。(演繹定理から、(無条件に) F→G が証明可能であることと F から G を証明できること、つまり G が F の論理的帰結であること、は同時な条件である) 特に、F と G の同値性が証明できるならば、≦ が順序関係であることから  である。
P1 ⇒ P2 の証明は、証明系の公理を調べ、任意のハイティング代数においてそれらの値が 1になり，また値 1の式に推論規則を適用しても値が保たれることを検証することで得られる。例として、推論規則としてモーダスポネンスだけを持ち、直観主義論理のヒルベルト流公理から構成される証明系を考えよう。すると、上述したハイティング代数の公理的定義から直接この事実を確かめられる。
P1 ⇒ P2  はまた、ある種の命題論理式が、古典論理においてはトートロジーだけれども、直観主義論理式としては証明できないことを示す手段をも与える。論理式  が証明不可能であることを示すためには、あるハイティング代数 H とその元  が存在して  であることをいえればよい。
ハイティング代数 性質
もしも論理学への言及を避けたいのであれば、演繹定理の一例である補題を示さざるを得ない：ハイティング代数 H とその元 に対し、。
メタレベルの含意  P2 ⇒ P1 についてより深く知りたければ普遍構成節を参照のこと。
ハイティング代数はつねに分配的である。特に、次の等式はつねに成り立つ：
分配則はときに公理として述べられるが、実際のところ相対的擬補元の存在から従う。演算 ∧ はガロア接続の下方随伴であることから、上限を保つからである。分配性は結局二項の場合の上限が ∧ で保たれることを述べているに過ぎない。
似た議論によって、次の無限分配則が任意の完備ハイティング代数 H とその元 x および部分集合 Y について成り立つ：
逆に、この無限分配則をみたす任意の完備束は相対的擬補元を
で定めることで完備ハイティング代数になる。
ハイティング代数 H の元 x が以下の(同値な)条件のいずれかを満たすとき、regular と呼ぶ：
これらの条件の同値性は、任意の x 属する H に対して ¬¬¬x = ¬x　が成立することと言い直せる。
ハイティング代数 性質
ハイティング代数 H の元 x と y が x∧y = 0 と x∨y = 1 を満たすとき、それらを互いに 補元(complement)という。x の補元が存在するならば、それは一意に決まり ¬x に等しい。補元を持つ元を complemented と呼ぶ。x が complemented ならば ¬x もそうで、x と ¬x は互いに補元の関係にある。しかし、x が complemented でない場合でも ¬x が(x とは異なる)補元を持つ場合がある。任意のハイティング代数において、0 と 1は互いに補元の関係にある。例えば、0 以外の任意の x について ¬x が 0で、0の補元が 1であることもありうる。このとき 0と 1のみが regular な元になる。
ハイティング代数の complemented な元は regular であるが、一般にその逆は言えない。特に 0と 1は常に regular である。
任意のハイティング代数 H に対して，以下の三条件は同値である:
このとき，元 a→b は ¬a ∨ b　に等しい。
ハイティング代数 性質
任意のハイティング代数 H の regular な元はブール代数 Hreg を構成し、演算 ∧, ¬, → および定数 0, 1は H のものと一致する(complemented な元からなる Hcomp についても同様)。Hcomp の場合は演算 ∨ も一致し、Hcomp は H の部分代数となる。しかし一般には Hreg は H の部分代数にならない。それは演算 ∨reg が ∨ とは異なるかもしれないからである。x, y ∈ Hreg に対して、x ∨reg y = ¬(¬x ∧ ¬y) である。∨reg が ∨ に一致するための必要十分条件は後続の記述を参照してほしい。
次のド・モルガンの法則は任意のハイティング代数で成立する：
.
しかし、もう片方のド・モルガンの法則が成立するとは限らない。そのかわりに弱い形の等式が成立する：
.
以下の条件は任意のハイティング代数 H で同値である：
2の条件は上で言及した「もう片方」のド・モルガンの法則である。6の条件はブール代数 Hreg の演算 ∨reg が H の演算 ∨ と一致することを述べている。7の条件は regular な元が complemented であること、つまり Hreg = Hcomp であることを述べている。
各条件の同値性は以下のように示される。1 ⇒ 2, 2 ⇒ 3 および 4 ⇒ 5 は自明。3 ⇔ 4 と 5 ⇔ 6 は(つねに成り立つ)ド・モルガンの法則と regular の定義からの帰結である。6 ⇒ 7 は 6に現れる x と y にそれぞれ ¬x と ¬¬x をとり、a ∧ ¬a = 0 を適用する。2 ⇒ 1 は(つねに成り立つ)ド・モルガンの法則から、7 ⇒ 6 は 6, 7 に与えられた条件から部分代数 Hcomp の演算 ∨ が H の ∨ の制限となることから従う。5 ⇒ 2 は 5の x と y にそれぞれ  ¬x と ¬y を代入して弱いド・モルガンの法則を適用すればよい。
上記の条件をみたすハイティング代数は、一般にハイティング代数が直観主義論理と関係づけられるのと同じ意味で、中間論理と関係づけられる。
ハイティング代数 ハイティング代数の射
ハイティング代数 H1 と H2 と写像 f : H1 → H2, をとる。f が H1 の任意の元 x と y に対して以下の条件をみたすとき、f をハイティング代数の射と呼ぶ。
条件 2, 3, 4から f は増加関数であり、x ≤ y のもとで f(x) ≤ f(y) が成り立つ。
H1 と H2 が演算 →, ∧, ∨ (可能なら ¬も含む)および 0,1をもち、H1 から H2 への全射 f が条件 1から条件4を満たすとする。このとき、H1 がハイティング代数であれば、H2 もそうである。このことは、(半順序集合としてではなく代数構造として考えたときの)有界束で、ある等式をみたす演算 → をもつものの特徴づけから従う。
任意のハイティング代数について、それ自身への恒等写像 f(x) = x は(ハイティング代数の)射であり、射 f と g の合成 g ∘ f も射である。よってハイティング代数全体は圏をなす。
任意のハイティング代数 H とその任意の部分代数 H1 に対して包含写像 i : H1 → H は射である。
任意のハイティング代数 H に対して、写像 x ↦ ¬¬x は H をその regular な元からなるブール代数 Hreg への全射を定める。両者で演算 ∨ が異なる可能性があるので、この写像は H からそれ自身への(ハイティング代数の)射とは限らない。
ハイティング代数 ハイティング代数の商
ハイティング代数 H と部分集合 F ⊆ H をとる。F が以下の条件をみたすとき、H のフィルターと呼ぶ：
H のフィルターたちの共通部分はまたフィルターである。よって、H の部分集合 S について、それを含む最小のフィルターが存在し、S から生成されたフィルターと呼ぶ。S が空集合の場合は F = {1}. であり、そうでない場合は F は y1, y2, ..., yn ∈ S が存在して y1 ∧ y2 ∧ ... ∧ yn ≤ x. となる元 x ∊ H の全体となる。
H がハイティング代数で F がその上のフィルターであるとき、H に二項関係 ∼ を定めることができる：x ∼ y ⇔ x → y と y → x が共に F の元。この関係 ∼ は同値関係であり、商集合 H/Fが定まる。H/F には標準的全射 pF : H → H/F がハイティング代数の射となるようなハイティング代数構造が一意に定まる。これを H の F による商と呼ぶ。
S をハイティング代数 H の部分集合とし、F を S から生成されるフィルターとする。このとき H/F は次に述べる普遍性をみたす：
ハイティング代数 ハイティング代数の商
任意のハイティング代数の射 f : H → H′  で任意の y ∈ S に対して f(y) = 1 をみたすものについて、f は標準的全射 pF : H → H/F を用いて一意的に分解される。つまり射 f′ : H/F → H′ が一意的に存在して  f′pF = f となる。射 f′ は f から誘導されたという。
ハイティング代数の射  f : H1 → H2 をとる。 ker f と書かれる f の核は、f −1 [{1}] をみたす元の集合で、 H1 のフィルターである。(注意すべきは、この定義はブール代数の射に適用すると，環の射としてみたときの射の核の双対になることだ) 前述のことにより、f は射 f′ : H1/(ker f) → H2 を誘導する。これは H1/(ker f) と H2 の部分代数 f[H1] との間の同型を与える。
ハイティング代数 普遍構成
証明可能な等式節で述べたメタ含意 P2 ⇒ P1 は以下の構成自体からハイティング代数が導かれることから証明される。
H0 と付随する演算がハイティング代数であることが確かめられる。ここではハイティング代数の公理的な定義を用いる。H0 は THEN-1 から FALSE までの条件は直観主義論理の公理と同じ形なので成り立つ。MODUS-PONENS は、⊤ が証明可能で真であるもとで論理式 ⊤→F が証明可能であるならば、モーダスポネンスの推論規則を適用することで F がが証明可能になることから従う。EQUIV は、 F→G と G→F が共に証明可能であるとき F と G が共に他方から証明可能であることによる。よって [F]=[G] である。
公理的なハイティング代数の定義の場合と同じように、H0 に順序 ≦を x≤y ⇔ x→y=1 で定義する。演繹定理により、論理式 F→G は G が F から証明できるとき、またそのときに限り証明できるのだから、[F]≤[G] は F≼G が成り立つとき、またそのときに限り成り立つ。つまり、≦ は L の前順序から導かれる L/~ の順序関係である。
ハイティング代数 普遍構成
前節で述べたことは(有限個と限らない)生成元集合  {Ai : i∊I} に対しても実行できる。結果として得られる H0 はこの生成元集合上の自由ハイティング代数という。「自由」とは以下のことを意味している：変数として 〈ai: i∈I 〉 をもつ任意のハイティング代数 H に対し、射 f:H0→H で f([Ai])=ai をみたすものが一意に存在する。f の一意性は把握しづらく、また存在性は本質的に証明可能な等式節のメタ含意 P1 ⇒ P2 の系として得られる。つまり F と G が同値性を証明できる論理式とするとき，H の任意の元の族〈ai〉に対して F(〈ai〉)=G(〈ai〉) である。
ハイティング代数 普遍構成
変数 {Ai} をもつ論理式の集合 T を公理の集合とみなすと、同様の構成が行える。ただし L 上の関係 F≦G は G が F と T から証明可能であることを意味する。HT を得られるハイティング代数としよう。HT は H0 と同じ普遍性をもつが、H と元の族 〈ai〉 は T の公理 J(〈Ai〉) に対して J(〈ai〉)=1 をみたすとする。(HT 自身が元の族 〈[Ai]〉に対してこの性質をもつことを付記する) 普遍性を示す射の存在と一意性は H0 と同じように証明されるが、証明可能な等式節の P1 ⇒ P2 で P1の条件を「T から証明できる」、P2の条件を「T の論理式をみたす任意の元 a1, a2,..., an 」と読み替える必要がある。
ハイティング代数 HT は(同じ変数集合から定義される)自由なハイティング代数 H0 の商とみなせる。実際 HT と元の族 〈[Ai]〉 に関する H0 の普遍性を適用すればよい。
任意のハイティング代数は HT の形の代数に同型である。ハイティング代数 H とその生成系 <ai: i∈I> に対し、〈Ai: i∈I〉 変数とする論理式 J(〈Ai〉) で J(〈ai〉)=1 になるものを T とすればよい。すると明らかに全射となる f:HT→H が HT の普遍性から得られる。f が単射になるのを見るのは難しくない。
本節で与えたハイティング代数に対する構成は、ブール代数に対するリンデンバウム代数とよく似た役割を果たす。実際、{Ai} を変数とし公理 T をもつリンデンバウム代数 BT は  HT∪T1 である(T1 は ￢￢F→F の形の論理式の集合)。これは追加した公理 T1 が古典的な恒真命題を証明可能にするのにちょうど必要なものだからである。