stanford-oval/wikipedia huggingface dataset:
プリンス (戦列艦・1788年)
建造

プリンスの建造は1779年12月9日ウリッジ工廠に発注された。ジョン・ジェンナーが1782年12月まで建造を指揮し、ヘンリー・ピークが引き継ぎ1785年11月まで担当した。その後1787年3月までマーティン・ウェアが、その年の終わりまでジョン・ネルソンが担った。この船の竜骨は1782年1月1日に敷かれ、進水は1788年7月4日だった。全ての艤装が完了したのは1788年7月25日で、建造にかかった費用は55,041ポンド9シリング11ペンスだった。この金額には装備や帆の仕立てにかかった8,388ポンドが含まれている。また1788年10月から11月にかけてプリマスで船底に銅板を貼った。
艦歴とエピソード

プリンスはその艦歴で僅かな作戦にしか参加しておらず、これはある艦長によると「まるで干し草の山のよう」と形容された鈍重さと帆走性能の低さに原因があったと見られている。
この船は1790年7月にジョサイア・ロジャーズ艦長のもとでジョン・ジャーヴィス提督の旗艦となった。しかし同年12月に予備役とされプリマスで係留された。1793年2月に現役艦に復帰し、カスバート・コリングウッド艦長のもとでジョージ・ボウヤー提督の旗艦となった。1794年1月には再び任務から外された。
フランス革命戦争期にも即座には任務には就かず、1794年4月にポーツマスで予備役とされた。そして、1796年には船体の延長が行われた。
1805年にプリンスはリチャード・グリンドール艦長のもとで海峡艦隊に配備された。そして同年10月トラファルガーの海戦に参加した。この海戦において、プリンスは2～3マイルを2時間かけて通過し、戦闘に突入した。この船が戦場に到着した頃には海戦の大勢は既に定まっており、プリンスはスペイン艦隊旗艦プリンシペ・デ・アストゥリアスとフランス艦アシレに砲撃を行った。アシレは出火から火薬に誘爆し、沈没した。プリンスは近くのイギリス艦とともにボートを出し、生存者を救出した。プリンス自身が攻撃されることはなく、目立った損害も被らなかった。戦闘後、嵐が両軍を襲い、プリンスは戦闘と嵐で傷つき航行不能となった船を牽引できる貴重な艦となった。
この船は、ポーツマスで係留され、1837年に解体された。
進友会

進友会（しんゆうかい）とは、長野県にある男子綱引チームである。
全日本選抜綱引大会で、2005年からの9連覇を果たし、全日本綱引選手権大会でも7回の優勝を誇る強豪である。
主な獲得タイトル

アジア綱引選手権大会 優勝 1回（2006年）
全日本綱引選手権大会 優勝 7回（2005-2006年、2009-2010年、2012-2013年、2015年）
全日本選抜綱引大会 優勝 9回（2005-2013年）
以上、計17回は全国男子チーム中第2位（金沢レスキュー隊の18回に次ぐ）である。
礒部王

礒部王（いそべおう、生没年不詳）は、奈良時代の皇族。左大臣・長屋王の孫で、桑田王の子。官位は従五位上・内匠頭。
経歴

聖武朝の神亀6年（729年）長屋王の変が発生し、祖父の左大臣・長屋王や父の桑田王が横死した際、礒部王は乳幼児であったと想定される。
称徳朝の天平神護3年（767年）无位の諸王らに対して叙位が行われた際、礒部王は従五位下に叙爵する。神護景雲3年（769年）大監物に再任された。
光仁朝の宝亀5年（774年）多治比長野の後任として参河守を兼ね、宝亀7年（776年）従五位上に昇叙される。宝亀9年（778年）参河守を帯びたまま内匠頭に任ぜられた。
官歴

『続日本紀』による。
天平神護3年（767年） 正月18日：従五位下（直叙）
神護景雲3年（769年） 6月1日：大監物（再任）
宝亀5年（774年） 9月25：兼参河守
宝亀7年（776年） 正月7日：従五位上
宝亀9年（778年） 8月20日：内匠頭、参河守如故
系譜

注記のないものは『本朝皇胤紹運録』による。
父：桑田王
母：不詳
妻：巨勢部女王（大坂王または大炊王（淳仁天皇?）の娘・安倍内親王）
男子：石見王
半音階的大ギャロップ

半音階的大ギャロップ（はんおんかいてきだいギャロップ、Grand galop chromatique、サール番号：S.219）はフランツ・リストの作曲したピアノ曲。
概要

1838年に作曲され、出版されるとルドルフ・アポーニー伯爵（Count Rudolf Apponyi）に献呈された。リストの絢爛たる技巧を発揮するための演奏効果の高い小品で、リストがリサイタルを開いた際には頻繁に取り上げられていた。このため当初から高い人気を博し、次年までには演奏を容易にした版（S.219bis）や四手ピアノ版（S.616）がリスト自身によって編まれ、出版されている。
作品

プレスト、変ホ長調、2/4拍子。
ファンファーレ風の短い前奏に続き、上行半音階をもとにした中心主題がギャロップのリズムに乗って軽快に現れる。これに加えて和音で奏される決然とした動機、《ラ・カンパネッラ》を思わせる跳躍が続く動機が変奏されながら、華やかな終結まで入れ替わり立ち替わり現れる。
幅広い跳躍、オクターヴ、4-5指を用いた細かい動きなど、演奏には高い技巧が要求される。また、曲全体の調性感は明瞭であるものの、半音階が主題材料に用いられているため、増三和音や全音音階の響きが頻出するのが特徴的である。
夜半の夏

夜半の夏（よはのなつ）は、つい夜ふかしをして短くなってしまう夏の夜のこと。夏の季語。分類は時候に入る。
俳句の例

病院の廊下鏡の夜半の夏 中村汀女
夜半の夏人形の目は目をそらさず 中村草田男
太陽のワカ

太陽のワカ
博物館
太陽のワカ（Huaca del Sol）は、ペルー北部トルヒーリョ近郊にあるモチェ文化のアドベで作られた寺院跡である考古遺跡。セロ・ブランコ(Cerro Blanco)とい小さな山の麓で、モチェ川近くに位置している。
埼玉グランドホテル

| --- | --- |
種類:  株式会社
市場情報:  非上場
本社所在地:   日本 〒367-0041 埼玉県本庄市駅南2-2-1
設立:  1983年7月
業種:  サービス業
事業内容:  ホテルとその付帯施設の運営
代表者:  代表取締役社長 高橋祐介
資本金:  8,000万円
外部リンク:  http://www.saitamagrandhotel.com/
テンプレートを表示
埼玉グランドホテル株式会社（さいたまグランドホテル）は、埼玉県本庄市に本社を置く、シティホテルなどを運営する企業である。深谷店には付帯施設として、独立型の教会「GRACEFUL-FIELDS」が隣接している。
沿革

1983年7月 - 埼玉グランドホテル株式会社 設立
1983年8月 - 埼玉グランドホテル本庄 開業
1987年8月 - 埼玉グランドホテル深谷 開業
2003年6月 - GRACEFUL-FIELDS オープン
運営施設

埼玉グランドホテル本庄
埼玉グランドホテル深谷（GRACEFUL-FIELDSを併設）
関連会社

さいたまセレモニーホール
湯元華亭
サンメンバーズ株式会社
高橋商事株式会社
高橋不動産株式会社
大矢敏行

大矢 敏行（おおや としゆき、1937年 - ）は、日本の教育者。学校法人大矢学園創立者。前・代々木ライブアニメイション代表取締役。
概要

茨城県生まれ。
茨城県立水戸第一高等学校→千葉大学卒業後、東映に入社し、深作欣二に師事。
実写映画・合作アニメに携わったのち、1970年にアニメの通信教育を手がける民話社を設立するも、1974年に倒産。
その後、1977年に株式会社代々木ライブアニメーションを興し、代々木マンガ教室（後の代々木アニメーション学院）を開設。
数多くのクリエイターを輩出する業界最大手の専門校にのし上げたが、過大な広告費に加え、類似専門校の乱立による入学者減少から資金繰りが悪化し、2006年12月に民事再生法の適用を申請。時期を同じくして、代々木ライブアニメイションの代表取締役を引責辞任。
略歴

1937年 - 茨城県生まれ
1959年 - 千葉大学工学部映像科卒業、東映入社
1970年 - 民話社設立
1977年 - 代々木アニメーション学院開設
1996年 - 専修学校マルチメディアアート学園開設
作品 > アニメーション

海底少年マリン（1967年、テレビ動画）脚本・絵コンテ・演出
ほら男爵の冒険（1968年、オランダ合作アニメ）作画・演出
しあわせの王子（1970年、民話社）企画・演出
かぐや姫（1970年、民話社）企画・演出
あかちゃんはどうしてうまれるの（1970年、民話社）企画・演出
青い鳥　ーチルチルとミチルー（1971年、民話社）企画・演出
作品 > 実写映画

市場のしくみとはたらき（1966年、共立映画社）撮影
陸の交通＊江戸時代の交通（1966年、共立映画社）撮影
こどものひ（1967年、共立映画社）撮影
海べの村 山の村（1967年、共立映画社）撮影
魚のからだ（1968年、共立映画社）撮影
じゃがいものかんさつ（1968年、共立映画社）撮影
鳥の育ちかた（1968年、共立映画社）撮影
レンズを通る光＊レンズ（1968年、共立映画社）撮影
都市の安全なくらし（1969年、共立映画社）撮影
町や村＊いろいろな町や村（1969年、共立映画社）撮影
薬品のとりあつかい方＊実験の基礎（1969年、共立映画社）撮影
マンガ映画を作るお母さん（1970年、民話社）演出
著作（代々木アニメーション学院テキスト）

『アニメ&コミックのための自然現象創画』（1983年）
『アニメ&コミックのための人間創画』（1990年）
『エライ人!エジソンは本当に映画の発明者?』（1991年）
『アニメ&コミックのための絵コンテ作法』（1994年）
『マンガ&アニメのための 4 コマ MANGA 作法』（1995年）
『アニメ&コミックのためのシナリオ初歩作法』（1996年）
など
土浦ケーブルテレビ

| --- | --- |
 
種類:  株式会社
本社所在地:   日本 〒300-0051 茨城県土浦市真鍋1丁目11番12号 延増第1ビル 
設立:  1983年（昭和58年）8月5日
業種:  情報・通信業
法人番号:  6050001009484 
事業内容:  有線一般放送事業 電気通信事業
代表者:  橋本 祐一（代表取締役社長） （2022年（令和4年）7月1日現在）
資本金:  15億円 （2022年（令和4年）7月1日現在）
売上高:  85億0200万円 （2023年3月期）
営業利益:  9億1100万円 （2023年3月期）
経常利益:  8億8000万円 （2023年3月期）
純利益:  6億0900万円 （2023年3月期）
純資産:  84億2600万円 （2023年3月期）
総資産:  107億9800万円 （2023年3月期）
主要株主:  JCOM株式会社 株式会社延増興産 株式会社カスミ 株式会社宇田川コーポレーション 株式会社筑波銀行 株式会社常陽銀行 株式会社ジョイフル本田 中川ヒューム管工業株式会社 中川商事株式会社 JFE商事株式会社 茨城県土浦市 株式会社日立製作所
外部リンク:  https://group-companies.jcom.co.jp/tsuchiura/
テンプレートを表示
| J:COM 茨城> 基本情報 |
| --- | --- |
団体名:  土浦ケーブルテレビ株式会社
コミュニティ チャンネル愛称:  J:COMチャンネル茨城
MSO:  J:COM（JCOM株式会社）
系列:  上記MSO傘下
デジタル放送上位事業者:  J:COM（JCOM株式会社）
開局年月日:  1993年（平成5年）11月1日  
エリア内地方自治体数
市:  9 市（政令指定都市を除く）
町:  2 町
村:  1 村
配信チャンネル数
地上波放送:  11 Ch（うち、地上波区域内数 7 Ch、地上波区域外数 4 Ch）
地デジ自主放送:  あり（11番および、10番）
ラジオ放送:  8 Ch
通信サービス種別
インターネット接続:  あり
プライマリ電話:  あり
公式ホームページ
トップページ:  https://c.myjcom.jp/town/ibaraki/
テンプレートを表示
土浦ケーブルテレビ株式会社（つちうらケーブルテレビ）は、茨城県土浦市に本社を置き、ケーブルテレビ（同時再放送、自主放送）と電気通信事業（インターネット接続、IP電話）を主たる業務とし、有線一般放送（ケーブルテレビ局）を運営する一般放送事業者および電気通信事業者である。
JCOM（J:COM）の連結子会社であり、会社および局呼称は「J:COM 茨城」である。
沿革

1983年（昭和58年）8月5日 - 土浦圏テレビ放送株式会社として設立。
1992年（平成4年）
4月 - 有線テレビジョン放送施設設置許可取得。
6月 - 商号を土浦ケーブルテレビ株式会社に変更。
1993年（平成5年）11月1日 - 開局（愛称：きららテレビ）。
1996年（平成8年）- 株式会社ジュピターテレコムが株式取得。同社の連結子会社となる。
1999年（平成11年）12月 - 第一種通信事業許可取得。
2000年（平成12年）6月 - インターネット接続サービスを開始。
2003年（平成15年）- 電話サービス「J-COM Phone（現・J:COM PHONE）」提供開始。
2011年（平成23年）
6月20日 - 地上放送の暫定的「デジアナ変換」を開始。
7月1日 - プライマリ電話サービス（J:COM PHONE プラス）を開始。
10月27日 - インターネット接続サービス「J:COM NET」のインターネットサービスプロバイダーブランドを『ZAQ』に変更。
2015年（平成27年）1月29日 - 地上放送の暫定的「デジアナ変換」を終了。
事業所

本社（北緯36度5分25.7秒 東経140度11分58.5秒﻿ / ﻿北緯36.090472度 東経140.199583度﻿ / 36.090472; 140.199583 座標: 北緯36度5分25.7秒 東経140度11分58.5秒﻿ / ﻿北緯36.090472度 東経140.199583度﻿ / 36.090472; 140.199583 ）
茨城県土浦市真鍋1丁目11番12号　延増第1ビル
土浦営業事務所（ 北緯36度5分25.7秒 東経140度11分58.5秒﻿ / ﻿北緯36.090472度 東経140.199583度﻿ / 36.090472; 140.199583﻿ (J:COM 土浦営業事務所) ）
茨城県土浦市真鍋1丁目11番12号　延増第1ビル（本社内）
提供区域内自治体

茨城県
石岡市、牛久市、かすみがうら市、常総市、つくばみらい市、土浦市、取手市、守谷市、龍ケ崎市、つくば市
稲敷郡
阿見町、美浦村
北相馬郡
利根町
業務内容

2019年（平成31年）1月1日現在。
J:COM TV （テレビ放送サービス）
双方向機能（STBインターネット接続サービス）
インタラクTV（STBテレビ向け情報サービス）
ナビシェル（STB向けご案内画面サービス）
J:COMオンデマンド（VODサービス）
リモート録画予約（番組録画予約）
ジェイコム マガジン（番組ガイド誌）
J:COMチャンネル（第一コミュニティチャンネル）
J:COMテレビ（第二コミュニティチャンネル）
J:COM NET （インターネット接続サービス）
ZAQ（インターネットサービスプロバイダ）
J:COM WiMAX 2+（4G（WiMAX）サービス）
J:COM PHONE （固定電話（CATV電話）サービス）
J:COM PHONE プラス（VoIP方式（プライマリ電話）サービス））
J:COM 電力
J:COM MOBILE（4G（LTE）サービス）
J:COM 緊急地震速報
業務内容 > J:COM TV

詳細は「JCOM ケーブルTV事業部門#J:COM TV」を参照
業務内容 > J:COM TV > 地上デジタル放送

表中、「伝送方式」欄の『部類』に関しては下記を参照。
「PT」はパススルー方式。
「TM」はトランスモジュレーション方式。
表中、『記号』に関しては下記を参照。
「●」は視聴可能。
「×」は視聴不可。
「?」は不明。
2020年（令和2年）12月1日現在。
| リモコンキ|ID | 放送局 | 三桁 チャンネル | 伝送方式> PT | 伝送方式> TM | 備考 |
| --- | --- | --- | --- | --- | --- |
| 1 | NHK総合・水戸 | 011 012 | ● | ● |  |
| 1 | NHK総合・東京 | 011 012 | ● | ● | 区域外再放送 |
| 2 | NHK Eテレ東京 | 021 022 023 | ● | ● |  |
| 3 | チバテレビ | 031 032 033 | ● | ● | 区域外再放送 |
| 3 | tvk | 031 032 033 | ● | ● | 区域外再放送 |
| 4 | 日本テレビ | 041 042 | ● | ● |  |
| 5 | テレビ朝日 | 051 052 053 | ● | ● |  |
| 6 | TBS | 061 062 | ● | ● |  |
| 7 | テレビ東京 | 071 072 073 | ● | ● |  |
| 8 | フジテレビジョン | 081 082 083 | ● | ● |  |
| 9 | TOKYO MX | 091 092 093 | ● | ● | 区域外再放送 |
| 10 | J:COMテレビ | 101 102 | ● | × |  |
| 11 | J:COMチャンネル茨城 | 111 112 113 | ● | ● |  |
業務内容 > J:COM TV > FMラジオ

2019年（平成31年）1月1日現在。
| MHz | 放送局 | 備考 |
| --- | --- | --- |
| 78.0 | BAYFM |  |
| 78.6 | FM FUJI |  |
| 80.0 | TOKYO FM |  |
| 81.3 | J-WAVE |  |
| 82.5 | NHK東京-FM |  |
| 83.2 | NHK水戸-FM |  |
| 84.7 | Fm yokohama |  |
| 85.3 | NACK5 |  |
業務内容 > J:COM TV > BSデジタル放送・専門チャンネル

詳細は「JCOM ケーブルTV事業部門#BSデジタル放送」および「JCOM ケーブルTV事業部門#専門チャンネル」を参照
業務内容 > J:COM NET

詳細は「JCOM ケーブルTV事業部門#J:COM NET」を参照
業務内容 > J:COM NET > 主なサービス

詳細は「ZAQ (インターネット接続サービス)」を参照
業務内容 > J:COM PHONE

詳細は「ケーブルプラス電話」を参照
コミュニティチャンネル

| J:COMチャンネル茨城 > ジモト、大好き。.基本情報 |
| --- | --- |
ジャンル:  コミュニティチャンネル
運営:  土浦ケーブルテレビ株式会社
MSO/系列:  J:COM系
放送時間:  24時間
放送（配信）開始:  1993年11月1日
チャンネル番号
地上デジタル:  Ch.111 & 112 & 113
チャンネルホームページ
ホームページ:  https://c.myjcom.jp/jch/ibaraki/
テンプレートを表示
コミュニティチャンネル > 放送番組

詳細は「J:COMチャンネル#関東エリア」を参照
片貝大橋

| 片貝大橋 |
| --- | --- |
  画像をアップロード
基本情報
国:   日本
所在地:  富山県魚津市
交差物件:  片貝川
用途:  道路橋
路線名:  富山県道126号福平経田線、富山県道150号魚津入善線
竣工:  1962年（昭和37年）3月
構造諸元
形式:  活荷重合成鋼鈑単純桁橋
全長:  228 m
幅:  9.5 m（車道）
関連項目
 橋の一覧 - 各国の橋 - 橋の形式
テンプレートを表示
片貝大橋（かたかいおおはし）は、富山県魚津市の片貝川に架かる一般県道福平経田線および魚津入善線（旧国道8号）の橋である。
かつては国道8号の橋であったが、2016年（平成28年）4月1日の指定変更に伴い、現在の県道橋となった。
概要

左岸：富山県魚津市西尾崎
右岸：富山県魚津市東尾崎
形式：活荷重合成鋼鈑単純桁橋
橋長：228 m
幅員：車道9.5 m
径間割：38 mの6径間
下部構造：（A）重力式、(P)基礎井筒
沿革

1962年（昭和37年）3月 - 国道8号の橋として完成。
2016年（平成28年）4月1日 - 国土交通省から富山県に移管され、県道の橋となる。
千住 (企業)

| --- | --- |
種類:  株式会社
市場情報:  非上場
本社所在地:   日本 東京都千代田区外神田 6-16-11千住ビル10 2階 3階
設立:  1977年11月（創業は1975年）
業種:  家電製造
法人番号:  4010001020802
事業内容:  TEKNOS（テクノス）ブランドおよびelite（エリート）ブランドの商品開発と販売
代表者:  越村哲男
資本金:  1,000万円
従業員数:  25名
外部リンク:  公式サイト
テンプレートを表示
株式会社千住（かぶしきがいしゃせんじゅ）は、東京都千代田区に本社を置く、家電製造メーカー。主に家庭用の空調機器を取り扱っている。
沿革

1975年家電販売店として、東京都足立区千住にて創業。1977年に創業地にちなんだ株式会社千住として設立。
1980年、自社の家電ブランド「TEKNOS（テクノス）」を立ち上げる。1981年、再生専用のビデオデッキを自社開発商品の第1号として発売。
1989年、事業拡大のため、千代田区の自社ビルを完成させ、1990年に社屋を移転。2017年・2021年と計3度にわたり千代田区内で社屋の移転を行う。
取扱商品

家庭用の空調機器（扇風機、冷風扇、ヒーター、こたつ）、加湿器のほか、電磁調理器、ホットプレートなどの生活家電も取り扱っている。
スポンサー

東京ヤクルトスワローズとスポンサー契約を結び、2022年から、明治神宮野球場のバックスクリーンに広告を協賛している。
トッラッツァ・コステ

| トッラッツァ・コステ Torrazza Coste> 行政 |
| --- | --- |
国:   イタリア
州:   ロンバルディア
県／大都市:   パヴィーア
CAP（郵便番号）:  27050
市外局番:  0383
ISTATコード:  018155
識別コード:  L237
分離集落:  #分離集落参照
隣接コムーネ:  #隣接コムーネ参照
公式サイト:  リンク
人口
人口:  1,569  人 (2021-01-01)
人口密度:  97.4 人/km2
文化
住民の呼称:  torrazzesi
守護聖人:  聖カルロ・ボッロメーオ (San Carlo) 
祝祭日:  11月4日 
地理
座標:  北緯44度59分 東経09度04分﻿ / ﻿北緯44.983度 東経9.067度﻿ / 44.983; 9.067座標: 北緯44度59分 東経09度04分﻿ / ﻿北緯44.983度 東経9.067度﻿ / 44.983; 9.067
標高:  159 (90 - 553)  m
面積:  16.11  km2
  トッラッツァ・コステの位置
  パヴィーア県におけるコムーネの領域 
 ポータル イタリア
テンプレートを表示
トッラッツァ・コステ（伊: Torrazza Coste）は、イタリア共和国ロンバルディア州パヴィーア県にある、人口約1,600人の基礎自治体（コムーネ）。
地理 > 位置・広がり > 隣接コムーネ

隣接するコムーネは以下の通り。
ボルゴ・プリオーロ
コデヴィッラ
モンテベッロ・デッラ・バッターリア
レトルビド
ロッカ・スゼッラ
地理 > 気候分類・地震分類

気候分類では、zona E, 2685 GGに分類される。
また、イタリアの地震リスク階級 (it) では、zona 3 (sismicità bassa) に分類される
。
行政 > 分離集落

トッラッツァ・コステには、以下の分離集落（フラツィオーネ）がある。
Barisonzo, Buffalora, Cadelazzi, Casa Nuova, Castellaro, Colombara, Mogliazza, Nebbiolo, Pragate, Sant'Antonino, Trebbio
南部梅林

上部
中部
下部
梅公園
南部梅林（みなべばいりん）は、和歌山県日高郡みなべ町晩稲に位置する梅林である。2016年現在、約8万本の梅が栽培されている日本最大級の梅林として有名。期間中の入場者数は、年平均3万人である。
南部梅林を含めた、みなべ町一帯の梅林は全て果実採取のための産業用の農林であり本来は観光目的ではない。
現況 > 地勢

南部梅林の梅の花の見頃は、その年によってかなり変動がある。特に強烈な寒波が押し寄せると開花が遅れてしまう。
南部梅林の上から下まではわずかな標高差があり、開花の時期がずれることがある。また、日照時間の長い南斜面とその短い北斜面で開花の状況が変わることが多い。
現況 > 栽培種

南高梅 - 果実（梅干加工用）を採取するためのものであり、個人の農地である。
山頂付近に整備された梅公園には数種類の観賞用品種が植えられている。
行事 > 梅まつり

毎年2月11日（梅の日）
内中源蔵翁功徳慰霊祭
　梅料理試食会/梅酒試飲会
観梅期間中に様々なイベントが模様されており、土日のもち投げが人気である。
フォトコンテスト
歴史

江戸時代、田辺城主（後の紀伊田辺藩）として入封してきた紀州藩附家老安藤家が、梅の栽培を奨励したことから日本有数の梅林へと拡大していった。
利用情報

所在地 - 〒645-0022 和歌山県日高郡みなべ町晩稲香雲丘
開園期間 - 1月下旬-3月上旬、開花状況により前後
開園時間 - 8時-17時
運営団体 - 梅の里 観梅協会
周辺

うめ振興館（道の駅みなべうめ振興館）
奥みなべ梅林
JA紀州 産直所ほんまもん
交通

JRきのくに線南部駅
臨時バス（南部梅林開園中運行）で約15分「南部梅林」下車すぐ
ブリダ県

| ブリダ県 ولاية البليدة |
| --- | --- |
 県
 
 北緯36度28分 東経02度49分﻿ / ﻿北緯36.467度 東経2.817度﻿ / 36.467; 2.817座標: 北緯36度28分 東経02度49分﻿ / ﻿北緯36.467度 東経2.817度﻿ / 36.467; 2.817
国:   アルジェリア
県都:  ブリダ
面積
 • 合計:  1,479 km2
標高:  257 m
人口（2008）
 • 合計:  1,009,892人
 • 密度:  680人/km2
等時帯:  UTC+01 (中央ヨーロッパ標準時)
市外局番:  +213 (0) 25
ISO 3166コード:  DZ-09
地区:  10
基礎自治体:  25
ブリダ県（アラビア語: ولاية البليدة‎、Blida）は、アルジェリアの県（ウィラーヤ）。県都はブリダ。バーバリーマカクの系群 Macaca sylvanus の数少ない棲息地となっているシュレア国立公園がある。
10の地区（ダイラ）と25の基礎自治体からなる。
大話新聞

| 大話新聞 |
| --- | --- |
ジャンル:  討論番組
出演者:  鄭弘儀 林建隆 徐永明 鍾年晃 陳立宏 吳國棟 王定宇 林昶佐 洪裕宏 程金蘭 候漢君 何博文 莊瑞雄
製作
制作:  テレビ三立

放送
放送国・地域:  台湾
放送期間: 2002年11月 -
放送時間: 21:00～23:00 （日本時間：22:00～24:00） ほぼ毎日放送。
 公式サイト
テンプレートを表示
大話新聞（たいわしんぶん）とは、三立テレビによって2002年11月から放送されている台湾の生放送の政論番組である。
今は鄭弘儀、一人によって進行されているが、放送当初は姜玉鳳と共に進行していた。
概要 > 放送内容

政客や政治評論家などと共に、ニュース（主に政治）を討論する番組である。
テーマの節目で複数の視聴者から電話で意見を聞く部分がある（Call-in）。
Call-inが終わった後、視聴者から指摘された部分は弁解や討論をするのがこの番組の特色。
週末は録画番組になることが多い。（元々録画番組の場合、出演者の発言字幕がでる）
同じ時間帯のライバル政論番組は、民視：頭家來開講、TVBS：2100全民開講(いまはTVBS: 2100少康戰情室)、中天：文茜小妹大　の3つ。
2007年の中ごろから日本統治時代の台湾についての番組を土日に放送開始。日本統治時代と国民党の台湾の建設の内容を写真や本などの資料に用いて比較しているが、一部の資料などを誇張して伝える時がある。
概要 > 政治的立場

司会者の鄭弘儀は、生涯泛緑連盟を支持すると表明している。
放送時間

54チャンネル（三立新聞台）
21:00～23:00（日本時間：22:00～24:00）　ほぼ毎日放送。新春の時はお休み。
主要ゲスト

林建隆（東呉大学英文学科副教授，台視連続ドラマ「流氓教授」主人公）
徐永明（東呉大学政治学科助理教授，国立中山大学政治学研究所）
洪裕宏（国立陽明大学神経科学研究所教授、21世紀憲改聯盟総召集人、澄社執行委員）
鍾年晃（台湾角社社長、前聯合報、元蘋果日報記者）
陳立宏（廣播節目主持人、台湾角社副社長、台湾角社初代社長、元中国国民党党員）
呉国棟（ジャーナリスト、前中国時報記者）
程金蘭（ジャーナリスト、前中国時報記者）
王定宇（民進党の台南市議員）
林昶佐（Freddy）（歌手と時代力量の台北市立法員）
候漢君（国立台北大學公共行政系副教授）
何博文（ジャーナリスト、前新聞記者）
莊瑞雄（民進党の台北市議員）
酒井忠全

| --- | --- |
: 「酒井忠予」、「酒井忠悌」、あるいは「酒井忠康 (曖昧さ回避)」とは別人です。
|  凡例酒井 忠全 |
| --- | --- |
時代:  江戸時代後期
生誕:  文化12年（1815年）
死没:  文化14年11月3日（1817年12月10日）
改名:  左京（幼名）、忠全
幕府:  江戸幕府
主君:  徳川家斉
藩:  播磨姫路新田藩主
氏族:  酒井氏（雅楽頭家分家）
父母:  父：酒井忠質、母：不詳
妻:  なし
子:  なし
テンプレートを表示
酒井 忠全（さかい ただやす）は、播磨国姫路新田藩の第3代（最後）の藩主。
略歴

文化12年（1815年）、第2代藩主・酒井忠質の子として生まれる。翌文化13年（1816年）、父が死去したため家督を継いだ。しかし文化14年（1817年）11月3日に死去した。享年3。嗣子がいるはずもなく、姫路新田藩は完全に廃藩となった（幕末の動乱関連（反逆勢力への加担行為）で取り潰された2藩を除けば、最後の大名の改易となった）。
| 表 話  歴忠交系雅楽頭酒井家3代当主（1816年 - 1817年） |
| --- | --- |
宗家:  広親  家忠  信親  家次  清秀  正親  重忠  忠世  忠行  忠清  忠挙  忠相  親愛  親本  忠恭  忠以  忠道  忠実  忠学  忠宝  忠顕  忠績  忠惇  忠邦  文子  忠興  忠正  忠元  忠紀  忠輝  
別家:  忠利  忠勝  忠直  忠隆  忠囿  忠音  忠存  忠用  忠与  忠貫  忠進  忠順  忠義  忠氏  忠禄（再襲）  忠道  忠克  忠博  忠和  
 分家・支流 
忠能系:  忠能  忠佳  忠和  忠善  
忠寛系:  忠寛  忠告  忠温  忠哲  忠寧  忠良  忠恒  忠強  忠彰  忠一  忠寿  
忠交系:  忠交  忠質  忠全 | 断絶 
忠国系:  忠国  忠胤  忠篤  忠大  忠鄰  忠和  忠嗣  忠一  忠美  瑞松院  忠勇  忠尚  登  裕  
忠稠系:  忠稠  忠菊  忠武  忠香  忠言  忠藎  忠眦  忠経  忠亮  忠英  忠武  
重澄系:  重澄  重知  重英  可賡  忠美  忠宣  
忠績系:  忠績  忠弘  
忠惇系:  忠惇  忠精  
| 表 話  歴酒井家姫路新田藩3代藩主 （1816年 - 1817年） |
| --- | --- |
本多家:  本多忠刻1617-1626  本多政朝1627-1631  分割相続：本多政勝1631-1638/本多忠義1631-1639  忠義は遠江掛川藩に転封  本多勝行1638-1639  大和郡山新田藩に転封、一旦廃藩 
奥平松平家:  松平清道1644  無継嗣、再び廃藩 
酒井家:  酒井忠交1770-1804  酒井忠質1804-1816  酒井忠全1816-1817  無継嗣、廃藩
九頭見香里奈

| 九頭見 香里奈 |
| --- | --- |
出身地:   日本 東京都
学歴:  リューベック音楽大学・ケルン音楽大学
ジャンル:  クラシック音楽
職業:  ヴァイオリニスト
担当楽器:  ヴァイオリン
九頭見 香里奈（くずみ かりな）は東京都出身のヴァイオリニスト。
経歴

6歳でヴァイオリンを始める。鈴木共子、大谷康子、原田幸一郎、徳永二男に師事。アイザック・スターン、ドロシー・ディレイの公開レッスンを受講。13歳で森正指揮・東京シティ・フィルハーモニック管弦楽団とサン＝サーンスのヴァイオリン協奏曲第3番を共演。
東京芸術大学音楽学部附属音楽高等学校を卒業後、安田生命クオリティオブライフ文化財団の奨学生として渡欧。リューベック音楽大学、ケルン音楽大学にてザハール・ブロンに師事。1988年全日本学生音楽コンクール東京大会第1位、1997年ヨーゼフ・シゲティ国際ヴァイオリンコンクール第3位、1998年ブラームス国際音楽コンクール第3位入賞。1997年-1998年文化庁派遣芸術家在外研修員。
東京シティ・フィルハーモニック管弦楽団、ブダペスト交響楽団、ヨーロッパ室内管弦楽団、シュトゥットガルト・フィルハーモニー管弦楽団などと共演の他、室内楽の分野でも活躍。
2001年シュトゥットガルト・フィルハーモニー管弦楽団のコンサートマスターに就任、ドイツを中心に演奏活動を行っている。
南部東道路

自動車専用の規制標識
南部東道路（なんぶひがしどうろ）は、沖縄県島尻郡南風原町を起点とし南城市知念に至る延長12 kmの地域高規格道路で、沖縄県道86号南風原知念線（主要地方道）のバイパスとなる。1994年（平成6年）12月16日計画路線に指定、うち南風原町山川 - 南城市玉城垣花間の約8.3 kmが2006年（平成18年）3月31日整備区間に指定された。有料道路ではないが全線が自動車専用道路であるため、125 cc以下の二輪車（原付一種および原付二種）は通行できない。
区間

島尻郡南風原町字山川 - 南城市知念
（整備区間）島尻郡南風原町字山川 - 南城市玉城字垣花
（調査区間）南城市玉城字垣花 - 同市知念
歴史

1994年（平成6年）12月16日 : 地域高規格道路の計画路線に指定。
2006年（平成18年）3月31日 : 南風原IC/JCT - 南城つきしろICが整備区間に指定。
2015年（平成27年）8月8日 : 南風原IC/JCT - 南城つきしろIC間が起工。
2021年（令和3年）3月27日 : 南城大城IC - 南城佐敷・玉城IC間 (2.0 km) が開通。
歴史 > 開通予定年度

2020年代後半 : 南風原IC/JCT - 南城大城IC、南城佐敷・玉城IC - 南城つきしろIC
路線バス

南城市が運行するNバスのG向陽高校線が南城大城IC - 南城佐敷・玉城IC間を経由している。
ジャンクション・インターチェンジ

IC番号欄の背景色が■である部分については道路が供用済みの区間を示している。また、施設名欄の背景色が■である部分は施設が供用されていない、または完成していないことを示す。未開通区間の施設名は仮称である。
| IC番号 | 施設名 | 接続路線名 | 起点から | 備考 | 所在地 | 所在地 |
| --- | --- | --- | --- | --- | --- | --- |
|  | 南風原IC/JCT | E58 那覇空港自動車道 | 0.0 | 2020年代後半開通予定 | 島尻郡 | 南風原町 |
|  | 南城大里IC |  | - | 2020年代後半開通予定 | 南城市 | 南城市 |
|  | 南城大城IC |  | 3.3 |  | 南城市 | 南城市 |
|  | 南城佐敷・玉城IC | 県道137号佐敷玉城線 | 5.1 |  | 南城市 | 南城市 |
|  | 南城つきしろIC |  | - | 2020年代後半開通予定 | 南城市 | 南城市 |
ブリストル バッキンガム

ブリストル バッキンガム
用途：爆撃機
製造者：ブリストル
運用者： イギリス（イギリス空軍）
初飛行：1943年2月4日
生産数：119機
派生型 ：
ブリストル ブリガンド
ブリストル バックマスター
表示
ブリストル バッキンガム（Bristol Buckingham）は、第二次世界大戦のイギリス空軍向けに開発されたブリストル社製の爆撃機である。
概要

ブレニム爆撃機の後継機として開発されたが、搭載していたセントーラスエンジンの不調の為、1944年まで就役できなかった。この間にモスキート爆撃機の配備が進んだ為、本機の利用価値はなくなってしまい大量発注はキャンセルされ119機が製造されたに留まった。この内54機は高速輸送機型として完成した。
また、これとは別に練習機として改設計された機体はバックマスターと呼ばれ、大戦終戦後、ブリストル ブリガンド爆撃機搭乗員養成のため使用された。
スペック

全長： 14.3 m
全幅： 21.9 m
全高： 5.3 m
翼面積： 66.8 m2
全備重量： 17,259 kg
エンジン：ブリストル・セントーラス7 2,520 hp × 2
最大速度： 531 km/h
実用上限高度：7,620 m
航続距離： 5,118 km
武装
爆弾1,800kg
7.7mm機銃×10
乗員 5名
多家神社

| 多家神社 |
| --- | --- |
  拝殿
所在地:  広島県安芸郡府中町宮の町3丁目
位置:  北緯34度23分45.26秒 東経132度30分36.91秒﻿ / ﻿北緯34.3959056度 東経132.5102528度﻿ / 34.3959056; 132.5102528﻿ (多家神社)座標: 北緯34度23分45.26秒 東経132度30分36.91秒﻿ / ﻿北緯34.3959056度 東経132.5102528度﻿ / 34.3959056; 132.5102528﻿ (多家神社)
主祭神:  神武天皇 安芸津彦命
社格等:  式内社（名神大）後継社 安芸国総社後継社 旧県社
創建:  明治6年（1873年）
本殿の様式:  三間社流造銅板葺
別名:  埃宮
例祭:  4月3日
テンプレートを表示
境内入り口
多家神社（たけじんじゃ）は、広島県安芸郡府中町にある神社。式内社（名神大社）後継社、安芸国総社後継社。旧社格は県社。
別名として「埃宮（えのみや）」とも。社名の「多家」を現在は「たけ」と訓ませているが、本来は「おおいえ」と訓んでいたとも考えられ、またかつては「たが」などとも訓んでいた。
祭神

神武天皇
安芸津彦命 - 安芸国の開祖神とされる。
神功皇后
応神天皇
大己貴命
歴史

式内名神大社「安芸国安芸郡 多家神社」の後継神社として、明治6年（1873年）に創祀された。
社伝では、式内多家神社は神武天皇が東征の際に7年間滞在した阿岐国（安芸国）の多祁理宮（『古事記』）あるいは埃宮（『日本書紀』）の跡に創祀されたものとしている。『延喜式神名帳』では名神大社に列している。
中世には武士の抗争により社勢が衰退し、所在がわからなくなった。江戸時代になると、境内社に「たけい社」のあった「松崎八幡宮」と、安芸国総社である「総社」が式内多家神社の後裔社を主張し、論争となった。結局、明治6年両社を廃止し、現在地の「誰曽廼森（たれそのもり）」に社殿を造営して、両社で祀られていた神を祀る「多家神社」が新たに創建された。この際、両社に伝わる古記は、後の争いを避けるために全て焼却されたという。翌明治7年に県社に列格した。
歴史 > 神階

式内多家神社の神階の変遷。
天安3年（859年）1月27日、従五位下から従五位上 （『日本三代実録』）- 表記は「多家神」。
貞観元年（859年）4月27日、従四位下 （『日本三代実録』）- 表記は「多家神」。
境内

現鎮座地の「誰曽廼森」という名前は、神武天皇の滞在時に「曽は誰そ」と訊ねたことによるものである。
本殿は三間社流造、拝殿は桁行5間梁間3間の入母屋造平入で正面に千鳥破風を飾る。屋根は共に銅板葺。以前の両殿は広島城内三の丸に鎮座した稲荷社の社殿を明治初年に譲り受けたものであったが、大正4年（1915年）に火災で焼失した為に同11年に再建されたもの。
宝蔵は桁行梁間共1間の入母屋造平入檜皮葺、向拝（こうはい）を付け、中には神輿が納められている。同じく旧稲荷社から移築され大正の火災を免れた建物で、広島城関係の遺構としては現存する唯一のものであり、江戸時代初期の元和年間（17世紀前期）に浅野氏が広島入封当時に建立されたものと言われる。校倉造の校子（あぜこ）組手を四角形とする極めて異例のものとなっている。昭和29年（1954年）に県重要文化財に指定された。
本殿
拝殿
宝蔵（広島県指定文化財）
宝蔵の校子組手
社務所
総社趾碑（総社会館前）
摂末社

貴船神社 - 祭神：高龗神、別雷神、大山津見神
天神社
貴船神社
天神社
文化財 > 広島県指定文化財

重要文化財（有形文化財）
宝蔵（附 神輿1基）（建造物） - 1954年（昭和29年）4月23日指定。
現地情報

所在地
広島県安芸郡府中町宮の町3丁目
交通アクセス
西日本旅客鉄道（JR西日本）山陽本線 天神川駅（徒歩約20分）
西日本旅客鉄道（JR西日本）芸備線 矢賀駅（徒歩約20分）
戦前の本殿
ガニメデ

ガニメデ （英語: Ganymede,  ドイツ語: Ganymed, ギリシア語: Γανυμήδης）
ガニュメーデース - ギリシア神話の登場人物でトロイアの王子
ガニメデ - 木星の第3衛星（Jupiter III，S/1610 J3）の固有名（上記の人物に由来）
ガニメド - 第1036番小惑星（1036 Ganymed）でアモール群に属する地球近傍小惑星の固有名（上記の人物のドイツ語形より）
その他

ガニミード、ギャニミード（Ganymede [ˈɡænɪmiːd]） - シェイクスピアの戯曲 『お気に召すまま』 の主人公ロザリンドが男装したときの偽名
ガニュメート （Ganymed [ˈɡaːnymeːt] ） - ゲーテ作の詩のひとつ
ガニュメート (シューベルト) - 上記作に基づくシューベルトの歌曲
ガニメデ（Ganymede） - アメコミに登場する異星人の女性戦士
ガニメデ - 銀河鉄道999劇場版に登場する宇宙戦闘機
天保町

| てんぽうちょう 天保町 |
| --- | --- |
廃止日:  1897年4月1日
廃止理由:  編入合併 （大阪市第一次市域拡張）
現在の自治体:  大阪市
廃止時点のデータ
国:   日本
地方:  近畿地方
都道府県:  大阪府
郡:  西成郡
市町村コード:  なし（導入前に廃止）
総人口:  590人 （大阪府西成郡役所統計書、1891年）
隣接自治体:  西成郡川南村
天保町役場
所在地:  大阪府西成郡川南村大字市岡873番地（川南村との組合）
ウィキプロジェクト
テンプレートを表示
天保町（てんぽうちょう）は、かつて大阪府西成郡に存在した町である。現在の大阪市港区の一部にあたる。
歴史

町名は天保山が存在することによる。
1871年（明治4年）- 西成郡の町として発足する。
1879年（明治12年）2月10日 - 郡区町村編制法が大阪府で施行されたことに伴い、正式に西成郡の町となる。天保町は第4大区第6小区の一部となる。
1889年（明治22年）4月1日 - 大阪府における町村制の施行に伴い、行政区画としての西成郡天保町が発足する。
1897年（明治30年）4月1日 - 大阪市が第一次市域拡張を実施したことに伴い、天保町は全域が大阪市西区に編入され、消滅した。
1925年（大正14年）4月1日 - 大阪市が第二次市域拡張を実施したことに伴い、西区から港区が分立。旧天保町の町域は全域が港区となった。
地理

大阪港の一部が町内に存在し、川南村から安治川海港街道が延びていた。また、官設の天保山灯台、2万2000坪以上の総面積を誇る砲台が設置されていた。
行政

憲兵管区では第4管区に属しており、警察署は大阪府曽根崎警察署の三軒家分署の管轄であった。82番地には安治川水上警察署の派出所があった。
7が天保町。
演繹定理

演繹定理（えんえきていり、英: Deduction theorem）とは、数理論理学において、論理式 E から 論理式 F が演繹可能ならば、含意 E → F が証明可能である（すなわち、空集合から演繹可能）、というもの。記号的に表すと、 E\vdash F ならば、 \vdash E\rightarrow F である。
演繹定理は、以下のように任意個の有限な前提論理式群に一般化できる。
E_{1},E_{2},...,E_{n-1},E_{n}\vdash F から
 E_{1},E_{2},...,E_{n-1}\vdash E_{n}\rightarrow F が推論でき、最終的に
\vdash E_{1}\rightarrow (...(E_{n-1}\rightarrow (E_{n}\rightarrow F))...) となる。
演繹定理はメタ定理である。つまり、理論自身の定理ではないが、その理論における演繹的証明に使われる。
演繹メタ定理は、メタ定理の中でも最も重要である。論理体系のなかには、これを推論規則（"→" の導入規則）として採用したもの（自然演繹）もある。そうでない体系でも、公理群から演繹定理を証明することでその論理体系が完全であることを示すのが一般的である。ヒルベルト流の体系（英語版）で何かを証明する場合、演繹メタ定理なしでは証明が困難となる。逆に演繹メタ定理を使えば、証明は非常に簡単になる。
演繹の例

「証明」 公理 1:
P 1. 仮説
Q 　2. 仮説
P 　3. 1 の反復
Q→P 　4. 2 から 3 への演繹
P→(Q→P) 　5. 1 から 4 への演繹 QED
「証明」 公理 2:
P →(Q →R ) 1. 仮説
P →Q 2. 仮説
P 　3. 仮説
Q 　4. 3と2によるモーダスポネンス
Q→R 　5. 3と1によるモーダスポネンス
R 　6. 4と5によるモーダスポネンス
P→R 　7. 3から6への演繹
(P→Q)→(P→R) 　8. 2から7への演繹
(P→(Q→R))→((P→Q)→(P→R)) 　9. 1から8への演繹 QED
公理 1 を使って ((P→(Q→P))→R)→R を示す:
(P→(Q→P))→R 　1. 仮説
P→(Q→P) 　2. 公理 1
R 　3. 2と1によるモーダスポネンス
((P→(Q→P))→R)→R 　4. 1から3への演繹 QED
推論の仮想規則

上記例では、3種類の仮想的（あるいは補助的かつ一時的）推論規則が通常の公理的論理に追加されている。それは、「仮説」、「反復」、「演繹」である。通常の推論規則（すなわち、「モーダスポネンス」などの各種公理）も有効である。
1. 仮説とは、既にある前提に追加の前提を加えることである。したがって、前のステップ S が次のように演繹されたとする。
そして、ここに新たな前提 H を加えると次のようになる。
これを記号的に表すと、n番目のインデントからn+1番目のインデントになり、次のように表される。
S 前のステップ
H 仮説
2. 反復とは、既出のステップを再利用することである。これは、直前の仮説でない既出の仮説を改めて示し、それを演繹の前ステップとして使う場合のみ必要となる。
3. 演繹とは、直前の仮説を取り去り、それ以前のステップに前置することである。このとき、インデントが一段階戻される。
H 仮説
......... （他のステップ）
C （H から導きだされた結論）
H→C 演繹
演繹メタ定理を使った証明から公理的証明への変換

公理的命題論理では、公理図式として次のものを使うのが一般的である（ここで、P、Q、R は任意の命題）。
公理 1 : P→(Q→P)
公理 2 : (P→(Q→R))→((P→Q)→(P→R))
モーダスポネンス : P と P→Q から Q を推論する。
これらの公理から明らかに定理 P→P が得られる（命題論理参照）。簡単のため、定理 P→P も公理図式として採用することにする。これらの公理図式は、演繹定理が容易に導けるように選ばれている。従って、論点をはぐらかしているように見えるかもしれない。しかし、真理値表を使ってそれが恒真式であることを検証し、モーダスポネンスが妥当な推論であることを確認することで正当であることが確認できる。この体系は直観主義命題論理の含意断片の完全な証明計算体系である。以下の議論はこの体系より強い任意の体系（例えば古典命題論理）に対して適用できる。
ここで、Γと H から C を証明できるとき、Γから H→C を証明できることを示したいとする。Γ（反復ステップ）または公理における前提である演繹の各ステップ S について、公理1 S→(H→S) にモーダスポネンスを適用でき、H→S が得られる。ステップが H 自身（仮説ステップ）なら、公理図式を適用して H→H が得られる。ステップが A と A→S へのモーダスポネンスの適用結果であるとき、まずそれら前提が H→A と H→(A→S) に変換できることを示してから、公理2 (H→(A→S))→((H→A)→(H→S)) を使い、モーダスポネンスを適用して (H→A)→(H→S) を得て、最終的に H→S を得る。最終的に H を前提とせず Γ だけを前提として、結論である H→C が得られる。これで演繹ステップは証明過程から払拭され、H から導き出された結論であった事前ステップに統合される。
証明の複雑さを軽減するため、変換前に一種の前処理をすべきである。結論以外の任意のステップで H に実際には依存していないものは、仮説ステップの前に移動させ、インデントを1つ戻す。そして、他の不必要なステップ（結論を得るまでの過程で使われていないステップ）は除去すべきである（結論ではない反復など）。
変換において、モーダスポネンスの公理1への適用結果を演繹の初め（H→H ステップの直後）に配置すると便利かもしれない。
モーダスポネンスを変換する場合、A が H のスコープ外であるなら、公理1 A→(H→A) を適用する必要があり、さらにモーダスポネンスを適用して H→A を得る。同様に、A→S が H のスコープ外であるなら、公理1 (A→S)→(H→(A→S)) を適用し、モーダスポネンスを適用して H→(A→S) を得る。モーダスポネンスが結論の場合以外は、これらを両方必要とするべきではない。なぜなら、両方がスコープ外なら、モーダスポネンスも H の前に移動でき、それもまたスコープ外になるからである。
カリー・ハワード対応では、上述の演繹メタ定理についての変換過程は、ラムダ計算の項から組合せ論理の項への変換に類似している。ここで、公理1がKコンビネータに対応し、公理2がSコンビネータに対応する。Iコンビネータは公理 A→A に対応する。
変換の例

自然演繹を公理的証明形式に変換する過程を示すため、恒真式 Q→((Q→R)→R) を使用する。変換が可能であることを見るには、これで十分である。これをまず自然演繹で証明し、それをもっと長い公理的証明に変換する。
第一に、自然演繹的手法で証明を書く。
Q 1. 仮説
Q→R 　2. 仮説
R 　3. 1,2によるモーダスポネンス
(Q→R)→R 　4. 2から3への演繹
Q→((Q→R)→R) 　5. 1から4への演繹 QED
第二に、内側の演繹を公理的証明に変換する。
(Q→R)→(Q→R) 　1. 公理図式 (A→A)
((Q→R)→(Q→R))→(((Q→R)→Q)→((Q→R)→R)) 　2. 公理 2
((Q→R)→Q)→((Q→R)→R) 　3. 1,2によるモーダスポネンス
Q →((Q →R )→Q ) 4. 公理 1
Q 　5. 仮説
(Q→R)→Q 　6. 5,4によるモーダスポネンス
(Q→R)→R 　7. 6,3によるモーダスポネンス
Q→((Q→R)→R) 　8. 5から7への演繹 QED
第三に、外側の演繹を公理的証明に変換する。
(Q→R)→(Q→R) 　1. 公理図式 (A→A)
((Q→R)→(Q→R))→(((Q→R)→Q)→((Q→R)→R)) 　2. 公理 2
((Q→R)→Q)→((Q→R)→R) 　3. 1,2によるモーダスポネンス
Q→((Q→R)→Q) 　4. 公理 1
[((Q→R)→Q)→((Q→R)→R)]→[Q→(((Q→R)→Q)→((Q→R)→R))] 　5. 公理 1
Q→(((Q→R)→Q)→((Q→R)→R)) 　6. 3,5によるモーダスポネンス
[Q→(((Q→R)→Q)→((Q→R)→R))]→([Q→((Q→R)→Q)]→[Q→((Q→R)→R))]) 　7. 公理 2
[Q→((Q→R)→Q)]→[Q→((Q→R)→R))] 　8. 6,7によるモーダスポネンス
Q→((Q→R)→R)) 　9. 4,8によるモーダスポネンス QED
この三段階はカリー・ハワード対応を使えば次のように簡潔に表せる。
第一に、ラムダ計算において、関数 f = λa. λb. b a は、型 q → (q → r) → r を持つ。
第二に、b についてラムダ除去すると f = λa. s i (k a)
第三に、a についてラムダ除去すると f = s (k (s i)) k
帰納定理

帰納定理（Resolution theorem）は、演繹定理の逆である。含意の除去規則であるモーダスポネンスから即座に導ける。
井上弘久

井上弘久のチャールズ・ブコウスキー没後20年特別企画　朗読演劇『町でいちばんの美女』
井上 弘久（いのうえ ひろひさ、1952年10月14日 - ）は、日本の朗読演劇家、役者、演出家、2007～2017、立教大学現代心理学部映像身体学科非常勤講師。還暦を機に、劇団活動にピリオドを打ち、文学作品を一人で舞台化する独自のスタイルを創出。チャールズ・ブコウスキーの『町でいちばんの美女』、フランツ・カフカの『変身』等。そして2018年より、石牟礼道子の傑作自伝小説『椿の海の記』全十一章の各章舞台化に着手。2021年に最終第十一章の舞台化を終えると、再び第一章に立ち返って、作品の舞台である水俣をはじめ、日本各地での巡演を開始。現在、第三章と第四章とを合体して構成した『十六女郎』を上演中。