hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
頭島 地理・歴史
島東部、北西に延びた尾根の標高30メートルの畑で石器が発見されたほか、島南部に径5 - 8メートル、高さ0.3メートルほどの墳丘が確認され、古墳と推定されている。近世初期まで日生諸島の島はすべて無人島であったが、1698年（元禄11年）に大多府島が岡山藩の風待ち港となり、番所が置かれたことをきっかけに入植が進んだ。頭島の開拓は享和年間に入植した、本土の日生村出身者7世帯を中心に進み、明治時代には世帯数が90世帯に達した。戦後は引き揚げ者が島に戻ってきたこと、漁業の隆盛などにより世帯数は200戸を超えた。この時期に島の大部分が開拓され、標高の高い部分にも民家が建ち始めた。1961年に離島振興法の指定を受けた。また、同年には島にカキ養殖が導入され、これは後に島の中枢を担う産業となった。1970年頃に観光みかん園ができたことをきっかけに観光地化が進み、1980年前後には「民宿ブーム」といわれるほどに民宿の新規開業が相次いだ。
1987年より頭島の各家庭が毎月1世帯500円を出し合い、架橋にまつわる活動費用を捻出する「架橋預金」が始まり、1994年には離島振興法に基づく架橋事業が始まった。2004年に頭島と鹿久居島を結ぶ頭島大橋が開通し、2014年に鹿久居島と本土を結ぶ備前♡日生大橋が開通したことにより頭島は本土とつながり、2016年には「隔絶性が解消された」として離島振興対策実施地域の指定が解除された。
頭島 生活
かつては島内に市立日生南小学校があり、最盛期の1960年には172人の在校生がいたものの近年は減少の一途をたどっており、架橋により本土の日生東小学校にスクールバスで10分で行けるようになったことから2015年度をもって廃校となった。また、島内にあったへき地保育所についても同様に廃統合された。
島内には市立頭島診療所があり、週に1度、内科・整形外科の定期検診を行っているが、常勤医師はいない。そのため島民は本土の市立日生病院を利用することが多い。架橋によって本土の病院に車で通えるようになり、救急搬送にかかる時間が大幅に減少し、実際に島内で夜間に急病人が発生した際には迅速に病院に運ばれ、重篤化を免れた。急病時の救急搬送については住民の長年の懸念事項であったため、「架橋に安心した」という声も聞かれた。頭島は高齢化の進む島であるが福祉サービスを受けられる施設はなく、島民は送迎サービスを活用して本土の施設に赴いている。
電気については、かつては自家発電により電気をまかなっていたが、1966年より本土からの送電が始まった。上水道については1965年に鹿久居島からの海底送水が始まっており、汚水処理については島内にある浄化センターで行っている。通信環境についても、備前♡日生大橋の架橋にともない2016年より光ファイバー通信が利用可能となり、また、LTEの使用も可能である。
頭島 交通
道路総延長は10.6キロメートルであり、舗装率は75.5パーセントである。大生汽船による本土と日生諸島の各島を結ぶ定期便が通っており、頭島には1日8便寄港する。架橋後、定期船の利用者数は年間99508人から41714人と6割ほど減少し、現在は6便に減便されている。また、備前市営バスにより1日7便の路線バスが通っている。
頭島大橋（かしらじまおおはし）は、頭島と鹿久居島を結ぶ道路橋である。アーチ支間 218 m の複合アーチ橋で、2004年11月22日に開通した。
頭島 産業
漁業が主要産業であるが、内航海運業に従事するものや、本土に通勤するものもいる。対岸の備前市は全国総生産量の30パーセント強を生産する、耐火レンガの有力産地であるためこの産業に従事するものも多い。しかし石油危機以降は技術革新により耐火レンガの需要が減ったこと、新興国によるシェアの追い上げに加え、製品需要のほとんどを依存する鉄鋼業の不振により耐火レンガ産業が構造不況化したことに加え、産業構造の変化により鉄鋼製品・石油化学製品の輸送量が減少したことで、内航海運業の従事者も転廃業を余儀なくされた。また、家内工業的な魚網製造業が営まれているほか2店舗の商店がある。しかし、架橋により本土に車で買い物に行けるようになったことや、食料品の移動販売車が往来するようになったことから、島内商店の客離れが懸念されている。また、架橋後はレストランやカフェなどの飲食店が相次いでオープンした。
頭島 産業
戦後以降は本土‐小豆島間の海域での底引き網漁が中心となっていたが、瀬戸内海沿岸の工業地帯化にともない漁場が不安定化したことから、1961年にはカキ養殖が始まった。底引き網漁は夏中心に操業される漁であるため、カキ養殖は兼業として好都合のものだった。しかし、副次的なものとしてはじまったカキ養殖の市況は安定せず、一時は規模が縮小することがあった。しかしその後は1968年の本垂下方式の導入や、広島の出荷網の間隙を縫い、中京圏に市場を確保できたことなどから経営が安定、前述の耐火レンガ産業、運輸業の衰退もあいまってカキ養殖を営む家が急増したことにより、カキ養殖は頭島の産業の中心を担うようになった。2014年には島内にカキの加工場も建設された。
頭島 産業
戦後の食糧難の時代に島の大部分が開拓されたため、耕地化率は高いものの、ほとんどが第二種兼業農家であるため、島の産業の中での農業の比重は小さい。1950年中盤に鹿久居島でみかん栽培が開始されたことがきっかけで、頭島でもみかん栽培が始まったが、1970年以降はこうしたみかん園の多くが観光農園となった。しかし、高品質なみかん産地が観光みかん園を開き始めたことにより、みかん狩り目当ての観光客は減少している。また、頭島は瀬戸内海の島であるため日照、通風がよく、冬暖かく夏涼しいという気象条件にも恵まれているということから、1960年には養鶏組合が設立され、養鶏団地も設立された。また、架橋後は隣島の鹿久居島からシカが渡ってくるようになり、みかん園が獣害に悩まされている。
観光客の往来がほとんどなかった1965年以前には、島内に宿泊施設は存在せず、旅人が島を訪れることがあれば、都合のつく島民が民家に泊めていた。しかし1970年頃に観光みかん園ができたことなどにより、頭島が関西地方の海水浴型観光圏にはいったことで宿泊施設の需要ができたため、頭島漁協により初の宿泊施設「頭島フィッシングセンター」が設立された。この施設は当初、漁協組合員により交代で運営されていたが、本業の合間を縫って行うこうした運営には不都合があり、1972年に民間委託された。しかし多くの島民がこの施設の運営に関わったことで宿泊施設経営のノウハウが広がり、漁に出ないため島にいる時間が長い主婦層らが個人経営の民宿を開き始めた。
1975年の森下美術館開館、頭島漁協の提供する観光底引き網の利用者上昇などもともない頭島に観光産業が定着すると、耐火レンガ工業、内航運輸業および造船業の斜陽化もあいまって家計の補填のための民宿街業が相次いだ。1981年以降は海水浴目的・みかん狩り目的の観光客が減少したことにより、観光客数は横ばいになっていたものの、海産物とその料理を目的とする観光客が増えていたことにより島への宿泊需要は増加し、新規民宿はさらに増加した。魚介類を自己調達できることや、1970年代後半より島の漁業はカキ養殖を中心とするものとなっており、漁に出る回数が少なくなっていたこともあって、この時期に開業された民宿は多くが漁家によるものだった。このような経緯の中で、旧日生町の観光産業における頭島の地位は確立していった。
鴻島
鴻島（こうじま）は岡山県備前市の日生諸島に属する約2.07k㎡の島。日生港の南4kmに位置し、急峻な山地が海岸に迫り平地は少ない。かつては甲島、香島とも書かれた。日生港の南、約4kmに位置する。2015年国勢調査によると人口は39名。2023年9月の住民基本台帳に基づく人口は55人。
近年では、約350軒の別荘が建ち並ぶ「別荘の島」として、またミカン狩りで知られる。鴻島のある日生諸島は瀬戸内海国立公園の東端に位置する。
鴻島 概要
日生諸島は大小13の島々からなり、備前市、瀬戸内市と、その一部は兵庫県赤穂市に分布する。一帯は瀬戸内海国立公園に含まれ、1934年（昭和9年）に日本で最初に指定された国立公園である。瀬戸内海特有の穏やかな海と、点在する島々が織りなす景観が多島美と表される風光明媚な島である。付近の海域には、牡蠣筏が点々と浮かぶ。近年ミカン栽培が盛んとなり、日生港からは大生汽船によるミカン狩り専用船や、2022年からは日生駅まではJR西日本の観光列車「La Malle de Bois」（ラ・マル 備前長船）が岡山駅から運行される。
鴻島 概要
島には唯一のミカン狩りができる農園「横山農園」がある。ミカン栽培は、先に始めていた鶴島、鹿久居島にならい、1965年に始められ、10年も経たないうちにみかん狩りブームが到来、最高700人受け入れた日もあったといい、当時は島全体の農園で1日2,000人-3,000人。シーズン最盛期には25,000人-30,000人の来島者があった。また、道が整備されてない中でも、島の山頂からの絶景を目当てに写真家や画家が多く島を訪れていた。島の最高峰からは360度のパノラマが開ける。しかし、2015年の頭島への橋の開通により、ミカン狩りの来園者が激減した。「日生みかん」は味が濃くて甘いのが特徴で、9月頃から食べられる果皮に青みが残るジューシーで強い酸味の極早生と、11月頃から収穫できる早生の2種類があり、「西南のひかり」「デコポン」「はるみ」「みはや」「せとか」など、全8品目が栽培されている。海面からの反射光により十分な日射量があることや、島の年間降水量800-1000mmという降雨量の少なさ、段々畑であり雨が降っても土に残らない水はけのよさで高品質なミカンができる。
鴻島の記録に残る最大人口数は1968年の（昭和43年）197人で、その後、徐々に減少し、2023年には約55人が暮らす。バブル崩壊後、別荘を手放す人も増えたが、近年は定年退職後にそれまでの別荘に定住する人もいる。
鴻島 歴史
古墳や土器が出土していることから、太古から人が生活していたことが判明。平安朝の都人が往来したと伝えられている。
延宝7年（1679年）に岡山藩の馬牧場となった後、元禄11年（1697年）に同藩の流刑地に指定された。その後は無人島となっていたが、1927年（昭和2年）に日生町が開墾を奨励し、1930年（昭和5年）より頭島から18世帯が入植したことで再び有人島となった。入植者たちは、葉タバコの栽培などを行っていた。第2次世界大戦後に入植が本格化し、近年はミカン栽培が盛んとなり、鴻島の北側に位置する曽島へ通ってミカン栽培をしていた例もある。最盛期は約300人が暮らした。
かつては、島内に日生町立日生西小学校鴻島分校が設置されていたが、1993年（平成5年）に休校し、2017年（平成29年）に閉校した。
また、海水浴場があり、昭和末のバブル期より行われた土地開発で、島内には約350軒の別荘が建てられている。
鴻島 島内
亀の浦海水浴場
鴻島神社
御所垣史跡
よろづかげ
亀の浦にある入江である。往来する船が水を汲んだ後である古井戸が2つある。
にちごえ小島
泊山展望所
島の中央にある展望所である。
鴻島 交通アクセス
日生港から大生汽船の定期船が1日4便あり、所要時間は約15分。
鶴島
鶴島（つるしま）は岡山県備前市の日生諸島に属する無人島。個人が所有している。北西岸にわずかに砂浜があり、全体的にはなだらかな丘陵だが、播磨灘に面する東海岸は断崖である。キリスト教徒の受難地として有名。
鶴島 歴史
江戸時代は岡山藩の鶴島守護役が個人所有する無人島だった。浦上四番崩れと呼ばれる長崎浦上村のキリスト教弾圧の際、捕らえられたキリシタンのうち117人が1869年（明治2年）に岡山藩に預けられ、翌年9月に鶴島に送られた。1873年（明治6年）に信教の自由が認められるまで、開墾と改宗を強制されて18人が死亡している。島の南東の斜面に墓地があり、自然石による墓石や殉教者碑、十字架が建立されている。改宗の祠などともに墓地は備前市の史跡に指定されている。この殉教者碑や十字架は1969年（昭和44年）に、建立された物であり、毎年慰霊が行われている。この他に、明治初期に日蓮宗不受不施派の僧侶である坂本真楽も鶴島に送られており、同人の石碑も建立されている。
その後、個人所有を経て農林省の所有となったが、1942年頃に再び個人が所有するようになり、ミカン農園の開墾などが進められた。第二次世界大戦後には入植も進められ、1960年（昭和35年）時点の人口は9人であった。松くい虫による防風林の被害などでミカン栽培が行なわれなくなった後も、1990年（平成2年）までは所有者の家族が観光客を対象に民宿を営んでいた。その後は無人島となっており、周辺はメバルなどの好漁場として知られる。
有人島時代は、井戸水と風力発電で生活していた。
鶴島 交通アクセス
定期船は無く、チャーター船でのアクセスとなる。かつては、観光船が就航していたこともあった。
長島 (岡山県)
長島（ながしま）は岡山県瀬戸内市にある島。虫明湾の南東に位置する。日生諸島に属するとされるが、北の鴻島や東の大多府島との間に旧郡境（現在は市境）があり、長島は日生諸島には該当しないともされる。
長島 (岡山県) 歴史
中央部の船越は、屋島の戦いの後に源義経の船が長島に吹き寄せられ、武蔵坊弁慶が船を引き越した地であるという伝説がある。大正時代は島内のほとんどが山林で、中部より西側に水田が点在し、20世帯余りが住んでいた。ボラ敷網が有名だったが1960年頃から衰退し、代わって鴻島との間ではカキの養殖が盛んになった。
本土の丘陵との間には、最狭部44メートルの「瀬溝の瀬戸」がある。全島が山地で、南東部などは海食崖となっている。谷状の島の中央部を境に東西に分かれている。西部は古生層の砂岩、中心部は花崗岩で、東部はわずかに流紋岩がある。
一方、1929年7月18日から日本初の国立ハンセン病療養所の建設が始まった。この際に、村有地や民有地の殆どが大日本帝国政府に買収され、従来からの島民居住者は居なくなった。収容人員400名を目標にして1930年11月20日に日本初の国立ハンセン病療養所が開設され、翌年1931年3月3日に内務省告示第29号をもって、その名称が国立療養所長島愛生園と定まった。
ハンセン病患者の収容は1931年3月27日から始まったが、予定を超えて1943年には2,000人以上が収容されていた。また1938年には大阪府から公立らい療養所（外島保養院）が長島に移転し、1941年に国に移管され国立療養所邑久光明園となっている。こちらには、最盛期で1,000名のハンセン病患者が収容されていた。
長島 (岡山県) 歴史
この2つの療養所の施設として、病棟、患者・職員の住宅、作業場、慰安・娯楽施設、看護学校などが建設された。また、以前からの農耕地が患者の農園となった。水道水は本土の吉井川から水道管で送られている。本州から僅か22メートルの距離にありながら、ハンセン病への差別・偏見によって隔絶されていたが、岡山県道224号瀬西大寺線の工事で、全長185メートルの『邑久長島大橋（通称：人間回復の橋）』が、1988年（昭和63年）5月9日に開通して、本州と陸続きになった。その際、本土と長島を隔てる瀬溝は22メートルから44メートルに拡張された。
1996年のらい予防法廃止によって、ハンセン病患者の入所は義務ではなくなったが、長期間の隔離によって出所は困難になっており、2019年12月の時点で2つの国立ハンセン病療養所には合計226名のハンセン病回復者が入所している。
取揚島
取揚島（とりあげじま）は日生諸島に属する無人島。
兵庫県赤穂市と岡山県備前市との境界にまたがり、県境が島内にある。北東側が赤穂市域、南西側が備前市域である。赤穂港の沖合わずか500mに位置し、島の西方ではノリの養殖が行われている。
取揚島 歴史
古くから境界線上に位置する島となっており、元禄年間には島の南西部が備前国和気郡福浦村構、北東部が播磨国赤穂郡真木村構となっていた。なお両村とも離れていたため、島に自生するササは利用されなかったという。正保3年（1646年）に岡山藩と赤穂藩の双方の役人が立会って島の管轄が二分され、その後慶安2年（1649年）に岡山藩から郡奉行・河村平太兵衛と郡目付・永田三郎左衛門が来島して国境に塚を築いた。
1963年（昭和38年）に岡山県和気郡日生町大字福浦が兵庫県赤穂市に編入する越境合併を行う際、取揚島は当時この福浦に属していたが越境編入の対象外となった。この判断は、越境合併で紛争となったため、自治大臣・篠田弘作の示した和解案により島内に岡山・兵庫両県の県境が設定された。
青森湾
青森湾（あおもりわん）は、青森県にある陸奥湾の支湾。
青森湾 地理
青森湾は、陸奥湾南岸の中央に突き出た夏泊半島の西に位置する支湾である。陸奥湾との南北の境界は、東岸が浅虫温泉北の白根崎で、西岸が奥内駅の南である。沿岸はすべて青森市に属する。陸奥湾がある方向である北に開けた湾であり、東の夏泊半島と西の津軽半島に挟まれ、南側には青森平野が広がる。また、堤川、野内川、新城川などの河川が流入している。北向きに開口しており、寛永元年に弘前藩によって設けられた青森港が南岸にある。
青森湾 湾内漁業
湾内はマダラの産卵地であり、湾口の平舘海峡付近は好漁場となっている。かつてはイワシなども獲れたが、現在は漁獲量が減少しており、1970年代から活発になったホタテガイの養殖が湾内漁業の主力である。
アウトストラーダ A23
アウトストラーダ A23（L'autostrada A23）は、イタリアの高速道路（アウトストラーダ）の路線の一つ。フリウリ＝ヴェネツィア・ジュリア州のパルマノーヴァから、 オーストリア国境のタルヴィージオに至る。アウトストラーダ・アルペ＝アドリア（Autostrada Alpe-Adria）とも呼ばれ、イタリアと中欧を結ぶ主要道路の代表でもある。
道路はウーディネ北インターから南インターまでの間の片側3車線区間を除き2車線である。
現代的な基準でヨーロッパ最高の高速道路の一つとして建設されたと考えられている
この道路の運営はアウトヴィーエ・ヴェーネテとアウトストラーデ・ペル・リターリアの二社に委託された。前者の管轄はA4とのインターチェンジから、ウーディネの高地での高速道路がSS13を横断する陸橋に至るまで、一方後者はそこからオーストリアとの国境までとなっている。
函館湾
函館湾（はこだてわん）は、渡島半島の南部に位置する津軽海峡に面した湾であり、函館山の南の大鼻岬と松前半島東部の葛登支岬を結ぶ線の北側に位置している。
函館湾 地理
函館山を陸繋島とし、亀田半島との間で陸繋砂州（トンボロ）が形成され、その西側に位置する湾である。湾口は幅8.4キロメートル、面積は65km2。湾内と湾口部の最大水深は共に58メートルであり、湾口の水深は湾奥に向かって漸減する。南側は津軽海峡に面する。行政区域としては函館市から北斗市にまたがっていて、湾の東側には函館港がある。
東端の函館山から北斗市街までは弓形の砂浜海岸となっており、その西側は海岸段丘となって海食崖を形成する地点で終端している。
函館湾 自然環境
津軽海峡および函館湾などの沿岸部の海洋生態系は地理的な条件から津軽暖流および親潮や対馬暖流と流入する河川からの影響（水温や栄養素や生活排水や工場排水など）、渡島半島や下北半島や津軽半島などの沿岸地形に由来する海流などに左右され、津軽暖流の流入量が変動するとそれに伴って植物プランクトンの発生状況をはじめとした生態系にも変化が見られる。植物プランクトンの全てが有益ではなく、2015年以降は毎年カレニアミキモトイに由来する赤潮の発生が報告されている。また、これらの赤潮の拡大には天候やアンモニア塩などの外的要因も関連している。
函館湾や近海ではサケ、マイワシ、カタクチイワシ、マアジ、マサバ、イカナゴ、マダイ、マガレイ、マコガレイ、クロソイ、アイナメ、ノリ、ホッキ貝、ホタテガイ、アサリ、コンブなどの多様な生物が生息しており、函館湾でも古くから漁業が営まれてきた湾の中央部から西側では漁獲されているが、赤潮や環境汚染による影響を受けやすいためにこれらの生息状況の把握には長期的なモニタリングを要する。
函館湾 自然環境
函館市の近海や津軽海峡や対岸の陸奥湾は現在でもミンククジラやカマイルカやイシイルカやシャチなどの生息域としても知られており、過去には函館湾の一帯にもセミクジラやコククジラやザトウクジラのような沿岸性の大型鯨類やイルカなどが見られていたと推測されるが、現在の函館湾での鯨類の日常的な出現は限られている。また、函館港の開港のきっかけとなったのが捕鯨であり、日米和親条約の締結後に米国の捕鯨船などの補給用に開港されて以降は函館湾や近海でも捕鯨が行われた。函館の捕鯨業には指導役として江戸幕府からジョン万次郎が派遣されたり、アメリカ合衆国やプロイセン（現ドイツ）の捕鯨関係者も携わっていたとされている。その他、弥生町には現在でもセミクジラを模したクジラの供養塔が存在する。
また、青森県各地の遺跡からの痕跡や過去の捕獲記録が残されていることから、ニホンアシカ（絶滅種）やトドやキタオットセイやアザラシなども津軽海峡の一帯で見られた可能性がある。
大型魚類としてはウバザメやオニイトマキエイ（マンタ）やマンボウなどが確認されており、近年の気温と海水温の上昇はウミガメのような本来は暖かい海域を好む生物が津軽海峡に出現するきっかけになっていることが考えられる。
函館湾 湾の利用状況
従来使われていた福山波止場よりも波浪の影響が少ない事から、19世紀半ばに湾内東側に函館港が整備されて本州と北海道を結ぶ物流拠点となった。以降は港を中心に栄えて、現在では東部の函館港周辺の臨海部にはフェリーなどの埠頭の他、造船業、製網業の工場などが立ち並んでいる。また西側の北斗市街地には長さ2キロメートルにおよぶ太平洋セメントの専用桟橋がある。
一方で、湾内への生活排水や工場排水の流入が増えて海水が汚染されたため、1980年から北海道によって函館湾流域下水道が整備され、1990年に供用が始まった。
日本警察消防スポーツ連盟
日本警察消防スポーツ連盟（にほんけいさつしょうぼうスポーツれんめい）とは、世界警察消防競技大会連盟本部 （World Police and Fire Games Federation） WPFGFの日本支局であり、日本の警察官、消防官、海上保安官、刑務官その他の公安職につく者及び、その退職者に入会資格を限った日本のNGOスポーツ振興団体であり、社会貢献活動団体でもある。
1996年に「世界警察消防競技大会参加選手友の会」として創立され、2000年にWPFGFの公認団体となった。現在25支部を持つ。
日本警察消防スポーツ連盟 支部
日本警察スポーツ協会
山形支部、茨城支部、千葉支部、東京支部、神奈川支部、愛知支部、滋賀支部、大阪支部、福岡支部
日本消防スポーツ協会
岩手支部、宮城支部、福島支部、群馬支部、埼玉支部、東京支部、神奈川支部、愛知支部、大阪支部、和歌山支部、岡山支部、高知支部、福岡支部、熊本支部、宮崎支部、CANADA特別支部
日本警察消防スポーツ連盟 活動
世界警察消防競技大会
世界警察消防競技大会 （World Police and Fire Games） WPFGは、世界の公安職員及びその退職者による国際総合スポーツ大会である。 2年に1度開催され、出場者は大会ごと約1万人にも上り、国際オリンピック委員会（IOC）が主催するオリンピック夏季大会の規模に続く超大型スポーツ大会である。 日本警察消防スポーツ連盟はWPFGに出場する日本の公安職選手の様々な支援を行っている。 主たる支援として、WPFGではテロ等犯罪防止対策で出場選手等に警察手帳などの身分証明書＝IDカードの提示を義務付けているが、日本では公務外の使用が禁じられていることから、WPFGFの承認を受け、2003年から日本警察消防スポーツ連盟が大会認定IDカードの交付を行っている。 また公認日本選手団として公式ユニフォームを制定している。
国内競技会
「ステアーレース」（消防士及び、警察官などの公安職員が装備をまとい、高層建物の階段を駆け上がるレース）を主催する。
災害支援活動
国内の災害発生時に、発災地の社会福祉協議会や役所と協力し、早期の災害ボランティアセンターの設置（立ち上げ）を得意とする。
国内外の災害に対し、災害支援を行う。
日本警察消防スポーツ連盟 活動
国外においては、2001年9月のアメリカ同時多発テロ事件では、世界警察消防競技大会を通じ交流があったニューヨークの消防官から救助活動要請を受け、日本の各都市の消防官11名がプロボノ（プロフェッショナルボランティア）として被災地入りし、救助活動、消火活動を実施した。これにより同連盟はこの事件において実際に現地で救助活動を行った唯一のアメリカ国籍者以外のみで結成され組織となった。また、日本警察消防スポーツ連盟が集めた義援金、2001年に約50万円、2002年に300万円が贈られた。
国内においては、2004年10月の新潟県中越地震に12名の隊員を派遣、2007年7月の新潟県中越沖地震に4名の隊員を派遣、2011年3月の東日本大震災に239名の隊員を派遣、2013年10月の平成25年台風第26号に伴う伊豆大島被災地支援に10名の隊員を派遣、2014年8月の平成26年8月豪雨による広島市の土砂災害に伴う被災地支援に24名の隊員を派遣、2015年9月の常総市の鬼怒川防波堤決壊に伴う被災地支援に5名の隊員を派遣、2016年4月熊本地震に伴う被災地支援に隊員186名を派遣、2018年7月の西日本豪雨災害に伴う伴う被災地支援に隊員55名を派遣した。
日本警察消防スポーツ連盟 活動
2008年、日本警察消防スポーツ連盟宮崎支部が消防救助技術を自己研鑽・研修する組織として、「宮崎県消防救助ネットワーク」を立ち上げた。同ネットワークは、宮崎県下の消防職員で構成されている。 また、同ネットワークと同様、2020年7月九州豪雨災害（令和2年7月豪雨）では、新型コロナウイルスの感染防止対策の一環として、熊本県民のみに災害ボランティア活動が限定されたことから、日本警察消防スポーツ連盟熊本支部が中心となり、熊本県下の消防職員で構成する地域災害ボランティアチーム「Borderless Firefighter熊本」を立ち上げ、熊本県南部を中心に、人吉市などに隊員約200名を派遣している。
社会貢献活動
国内外において、防災、防犯、救急処置の啓蒙を目的として講習会や講演会に会員を派遣する。協働組織であるNPOハート・オブ・ゴールドと、カンボジア国内の孤児施設において、会員の消防官が消火器の取り扱い指導などを実施している。 また、協力団体JPR日本国際救急救助支援会がカンボジア軍と協働し設立した国立カンボジア消防学校にて技術指導の協力、防火服の提供などを行っている。
日本警察消防スポーツ連盟 活動
社会公益性の高いスポーツイベント等に、警備・救急・救護担当として現職隊員をボランティアとして派遣する。 2014年11月、第6回スペシャルオリンピックス日本ナショナルゲーム福岡大会では、皇室より高円宮妃、キャロライン・ケネディ元米国駐日大使が臨席する開会式を大会本部から危機管理本部要員として委嘱され、皇宮警察及び福岡県警と共に警備・救護を担当した。 2015年10月17日、同元米国駐日大使は、2001年9月11日に発生したアメリカ同時多発テロ事件にて、日本警察消防スポーツ連盟からレスキューチームが派遣されたことに言及し、その支援活動が、2011年3月11日に発生した東日本大震災の際、米国政府から米軍約3万人が派遣された3.11トモダチ作戦につながったと発言している。
その他の活動
日本警察消防スポーツ連盟及び福岡支部は、1999年、第８回世界警察消防競技スウェーデン大会に出場した際、ストックホルム国際会議場にて大会と同時開催されたSUPPLIERS TRAIDE EXHIBITION（7月19日～21日）に出席し、世界水準の消防救助技術であるロープレスキュー（日本国においては、2007年総務省消防庁内に専門委員会が発足するまでは、全国各消防本部にて「都市型救助」、「都市型レスキュー」などと呼称されていた）を学び、その技術を輸入した。 2005年、福岡市消防局内に日本初の都市型救助専門部隊一隊を正式に導入し、2007年、同連盟が主催したステアーレース福岡大会開催時、福岡市消防局は市民防災センターにて一般公開した。 その後、全国の各消防本部にロープレスキュー技術が拡大された。
西川正雄
西川 正雄（にしかわ まさお、1933年7月15日 - 2008年1月28日）は、西洋史学者、東京大学名誉教授。ヨーロッパ近現代史、とくに社会主義運動、そして世界史教育が専門。父は西川正身。
西川正雄 来歴・人物
1933年、東京生まれ。東京都立西高等学校卒業。1956年、東京大学文学部西洋史学科を卒業して同大学院に進む。1962年、博士課程中退して、同大学助手となる。1966年、東京女子大学助教授となる。1968年には東京大学教養学部助教授となり、1982年より教授。1994年定年退官、名誉教授となる。その後は専修大学教授、文学部長を務めた。
1989年から1994年まで歴史学研究会委員長。三省堂の高校世界史教科書を編集、執筆。また、日本と韓国の歴史学の交流にも尽力した。
東京証券取引所で上場廃止となった企業一覧
東京証券証券取引所で上場廃止となった企業一覧（とうきょうしょうけんとりひきじょでじょうじょうはいしとなったきぎょういちらん）は、過去に東京証券取引所で上場廃止となった企業の一覧である。
主に倒産、上場廃止基準の抵触に伴って上場廃止になった企業について記述する。株式交換、株式移転、株式併合、合併による上場廃止はここでは記述しない。
東京証券取引所で上場廃止となった企業一覧 東証で上場廃止となった日本企業
1960年（昭和35年）8月10日 証券コード協議会総会にて各銘柄のコードを全国的に統一、同年10月1日実施。
1961年（昭和36年）10月2日 市場第二部開設
自然演繹
自然演繹（しぜんえんえき、英: Natural deduction）は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。
自然演繹 自然演繹論理
自然演繹論理のあるバージョンには、公理が存在しない。ジョン・レモンが開発した体系 L は、証明の構文規則に関する次のような9つの基本的規則だけを持つ。
L では、証明は以下のような条件で定義されている。
前提がない場合、その列を定理と呼ぶ。従って、L における定理は、次のように定義される。
ある証明の例（モーダストレンス）:
別の証明の例（排中律）:
自然演繹論理の体系 L の各規則では、入力とエントリの許容できる型が決まっており、その入力で使われる前提の扱い方もそれぞれ決まっている。
自然演繹 背景
自然演繹は、ヒルベルト、フレーゲ、ラッセルらに共通する命題論理的公理化に対する不満から生じた。そのような公理化の最も有名な例としては、ラッセルとホワイトヘッドの『数学原理』がある。1926年、ポーランドで行われた一連の講義で、ヤン・ウカシェヴィチは論理のより自然な扱いを主張した。これに触発された Stanisław Jaśkowski がより自然な演繹を定義しようと試み、1929年には図表的記法を使った方法を提案し、1934年から1935年にかけてより洗練された提案を一連の論文として発表した。しかし、その提案は一般には全く認知されなかった。現代の自然演繹の形式はそれとは独立に1935年にドイツ人数学者ゲルハルト・ゲンツェンが学位論文で提案したものである。「自然演繹」という用語（のドイツ語版 natürlichen Schließens）はその論文で使われたものであった。
自然演繹 背景
ゲンツェンは数論の一貫性を確立したいと考えており、自然演繹をさっそく応用した。彼は、その証明の複雑性に不満を持ち、1938年にはシークエント計算を新たな証明の道具として考案した。1961年と1962年の一連の講義で、Dag Prawitz は自然演繹の包括的なまとめを行った。彼の1965年の学術論文 Natural deduction: a proof-theoretical study は自然演繹の最終版ともいうべきもので、様相論理や二階述語論理への応用も含んでいた。
以下で説明するのは、ゲンツェンや Prawitz の定式化に若干修正を施したものだが、ペール・マルティン＝レーフの影響もある。
自然演繹 形式的定義
演繹（または証明）は、命題論理のような形式体系の文脈では正確に定義できる。命題 α は、前提の集合 Σ に推論規則を繰り返し適用することで演繹される。演繹は、この推論規則の繰り返し適用の記録である。
より形式的には、命題の有限な列 β1 ,..., βn が、前提の集合 Σ からの α の演繹であるとは、次が成り立つ場合である。
βn = α であり、かつ
全ての 1 ≤ i ≤ n について、βi が前提であるか（すなわち、βi ∈ Σ）または βi がそれ以前に出現した命題に何らかの推論規則を適用した結果である。
公理的命題論理のバージョンによって採用する公理や推論規則が異なる。例えば、フレーゲは、6つの公理と2つの規則を採用した。バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドは、5つの公理からなる体系を示唆した。
ヤン・ウカシェヴィチによる公理的命題論理のバージョンでは、次のような公理群 A を採用した。
[PL1] p → (q → p)
[PL2] (p → (q → r)) → ((p → q) → (p → r))
[PL3] (¬p → ¬q) → (q → p)
そして、推論規則 R としては、モーダスポネンスを採用した。
[MP] α と α → β から、β を推論する。
推論規則により、Σ に含まれる論理式と公理群から新たな論理式を導出できる。
自然演繹 判断と命題
判断とは、何らかの認識可能なこと、すなわち知識の対象である。誰かが実際に何かを知っていれば、その何かは自明である。従って、「雨が降っている」は判断であり、実際に雨が降っていることを知っている人にとって、その言葉は自明である。この場合、その言葉を聞いた人が窓の外を見たり、外に出てみれば、自明となる「証拠」が簡単に得られる。しかし数理論理学では、証拠は直接観測不可能なことが多く、むしろより基本的な自明な判断から導き出される（演繹される）。演繹の過程は証明を構成する。言い換えれば、判断はその証明を知る人にとっては自明となる。
論理における最も重要な判断は「A は真である」という形式となる。この A は任意の「命題」を表す式で置換される。真かどうかの判断には、より基本的な判断「A は命題である」が必須となる。他にも様々な判断が研究されている。例えば、「A は偽である」（論理学）、「A は時刻 t では真である」（時相論理）、「A は真でなければならない」あるいは「A は真でありうる」（様相論理学）、「プログラム M の型は τ である」（プログラミング言語と型理論）、「A は利用可能な資源から達成できる」（線型論理）などである。以下では、「A は命題である」を "A prop"、「A は真である」を "A true" と表す。
自然演繹 判断と命題
判断 "A prop" は、A の妥当な証明の構造を定義し、そこから命題の構造が定義される。このため、このような判断に対する推論規則を「構成規則; formation rules」とも呼ぶ。ここで、A と B という2つの命題があり（すなわち、"A prop" と "B prop" は自明）、それらを結合した A かつ B という命題（形式的に記せば ""）を生成するとする。これを推論規則の形式で書くと次のようになる。
この推論規則は図式的（schematic）である。A と B は任意の式に置き換えることができる。この推論規則の一般形式は次の通り。
ここで、それぞれの  が判断であり、推論規則名が "name" となる。線の上にある各判断は前提（premises）と呼ばれ、線の下にある判断は結論（conclusions）と呼ばれる。その他の典型的な論理命題として、論理和 ()、否定 ()、含意 () があり、論理定数として真 () と偽 () がある。これらの構成規則は次の通りである。
自然演繹 導入と除去
ここで判断 "A true" について述べる。論理結合子を結論として導入する推論規則を導入規則（introduction rules）と呼ぶ。論理積を導入するとは、命題 A と B について "A and B true" を結論とすることに他ならない。このとき、"A true" と "B true" の証拠が必要である。これを推論規則で表すと、次のようになる。
このような規則において、各オブジェクトが命題であることは自明とされる。すなわち、この規則を正確に記すと次のようになる。
これを次のようにも書き表せる。
この形式では、第一の前提は構成規則  に従って得られたものである。以下では判断 "prop" は自明として省略する。なお、真は前提が全くないところからも導かれる。
命題の真理値が決まる過程が1つでない場合、その結合子には複数の推論規則が対応することになる。
自然演繹 導入と除去
なお、何の前提もなく偽を導入する導入規則は存在しない。従って、単純な判断から偽であることを推論することはできない。
導入規則と対になる除去規則（elimination rules）がある（削除規則とも）。すなわち、複合型の命題を解体するものである。例えば、"A ∧ B true" から "A true" と "B true" を結論とすることができる。
推論規則の適用例として、論理積の交換法則の例を示す。A ∧ B が真なら、B ∧ A も真である。その導出過程は、下にある推論の前提が前の推論の結論となるような記法で表される。
ここまで述べてきた推論の手法では、含意の導入や論理和の除去といった規則を述べるのに十分ではない。そのためには、仮説的導出（hypothetical derivation）の一般的記法を必要とする。
自然演繹 仮説的導出
数理論理学での一般的操作として、「仮定からの推論; reasoning from assumptions」がある。例として、次のような演繹過程を見てみよう。
このような導出によって B が真であることが確定するわけではないが、次のような事実は確定する。
もし A ∧ (B ∧ C) が真なら B は真である。
論理学では、「A ∧ (B ∧ C) が真と仮定すれば、B は真である」と言え、言い換えれば、"B true" という判断は "A ∧ (B ∧ C) true" という判断に依存している。これが「仮説的導出; hypothetical derivation」であり、次のように記される。
その意味は「B true は A ∧ (B ∧ C) true から導出可能である」となる。もちろん、この例では導出過程は明らかだが、一般に導出が自明とは限らない。仮設的導出の一般形は次のようになる。
仮説的導出には、先頭行に書かれた前件群（Di、antecedent derivations）と最終行に書かれた1つの後件判断（J、succedent judgement）がある。それぞれの前提が仮説的導出の結果となっている場合もある。以下、判断（judgement）は前提のない導出として扱う。
自然演繹 仮説的導出
仮説的判断の考え方は、含意の結合子に利用される。含意の導入規則と除去規則は次のようになる。
導入規則では、前件 u は結論には現れない。これは仮説の「範囲」を限定する機構であり、その存在理由は "B true" を確立することにある。それ以外の目的で使うことはできず、特に導入後に使うことはできない。例として、"A ⊃ (B ⊃ (A ∧ B)) true" の導出を示す。
この導出過程には前提が満足されないということはないが、それぞれの導出は仮説的である。例えば、"B ⊃ (A ∧ B) true" の導出は（uと名づけられた）前件 "A true" を仮説としている。
仮説的導出を使うと、論理和の除去規則を書くことができる。
これを説明すると、A ∨ B が真で、A true と B true それぞれから C true が導かれるなら、C は必ず真となる。ここで、A true や B true を保証しているわけではないことに注意されたい。偽については、次の除去規則が得られる。
自然演繹 仮説的導出
これを解釈すると、偽が真であれば、任意の命題 C が真である、ということになる。
否定については、含意と類似している。
導入規則では、仮説 u も後件 p も結論に現れない。これら規則は概略的なので、この導入規則を解釈すると、"A true" から任意の命題 p について "p true" であることを導ける場合、A は偽である（すなわち "not A true"）、ということになる。除去規則については、A と not A が共に真である場合、矛盾が生じ、あらゆる命題 C が真となる。含意と否定の規則がよく似ているため、not A と A ⊃ ⊥ が等価（互いにもう一方を導出可能）であることは容易にわかる。
自然演繹 一貫性、完全性、正規形
数学的理論は、（仮定なしで）偽を証明可能でないなら一貫性があると言われ、論理の推論規則を使って全ての定理が証明可能なら完全性があると言われる。これは論理一般に言えることで、通常はモデルの何らかの観念に対応する。しかし、それとは別に推論規則の統語的な性質としての一貫性と完全性もあり、こちらはモデルとは無関係である。まず、局所一貫性（あるいは局所還元性）とは、ある結合子の導入規則のすぐ後に同じ結合子の除去規則を使っている導出過程があったとき、その部分を除いた等価な導出過程に変換可能であることを意味する。例として論理積の場合を示す。
これと対になる局所完全性では、除去規則を使って結合子をその導入規則の入力となる形式に分解できることを意味する。論理積での例を示す。
自然演繹 一貫性、完全性、正規形
これらの記法は、ラムダ計算でのβ-簡約やη-変換に正確に対応している。局所完全性では、全ての導出過程がそれに基本的結合子を導入したものと等価であることが示されている。実際、除去の後に導入が行われる順序なら、その導出を「正規; normal」であると称する。正規導出では、全ての除去は導入の前に行われる。多くの論理では、あらゆる導出には等価な正規導出があり、これを「正規形; normal form」と呼ぶ。正規形の存在は、自然演繹だけでは証明が困難だが、1961年の Dag Prawitz の著書などに示されている。間接的には、カット規則のないシークエント計算を使えば、もっと簡単に示すことができる。
自然演繹 一階と高階の拡張
ここまで述べてきた論理は、単種（single-sorted）論理であり、一種類のオブジェクトだけを扱った命題からなる論理である。この単純なフレームワークの拡張としては、様々なものが提案されてきた。ここでは、個体（individuals）と項（term）という種を導入する。より正確に言えば、新たな判断 "t is a term"（または "t term"）を導入する（t は概略的な表現）。変項（variables）の可算無限集合 V と、関数シンボル（functions symbols）の可算無限集合 F を想定し、項を次のように構築する。
命題を表すため、述語（predicates）の第三の可算無限集合 P を想定し、項群に対する原子述語を次のように定式化する。
さらに、2種類の量化（全称量化 (∀) と存在量化 (∃)）を導入する。
このような量化された命題には、次のような導入規則と除去規則がある。
自然演繹 一階と高階の拡張
これらの規則で、[t/x] A と書かれている部分は、A に存在する全ての x の実体を t と置換することを意味する（詳しくはラムダ計算を参照されたい）。規則名の上付き文字は、その規則によって排除される要素を意味している。a という項は ∀I の結論には出現しない（このような項をパラメータと呼ぶ）。また、規則 ∃E における仮説名 u と v は、仮説的導出の第二前提に局所化されている。これまでの節で論じてきた命題論理は決定可能だったが、量化子を加えたことで決定不能となる。
ここまで述べた量化表現は「一階; first-order」である。その場合、量化されるオブジェクトと命題は区別される。高階論理ではその部分が異なり、命題は区別されない。命題の量化には量化の範囲があり、それが規則にも反映される。
高階論理における導入規則と除去規則は、ここでは扱わない。一階論理と高階論理の間には様々な段階がある。例えば、二階論理は、項を量化した命題と、命題を量化したものを命題として扱う。
自然演繹 証明理論と型理論
ここまでの説明は、命題の性質に重きを置いており、「証明」の形式的定義をしていなかった。証明を形式的に記述するには、仮説的導出の記法を若干変える必要がある。前件に（変項の無限可算集合 V から）「証明変項; proof variables」によるラベルを付け、後件を実際の証明で装飾する。前件あるいは仮説はターンスタイル(⊢)を挟んで、後件の前に記される。このような変形を「局所化仮説; localized hypotheses」と呼ぶこともある。以上の変更を図にまとめると次のようになる。
詳細が不要な場合、仮説群をまとめて Γ と記す。証明を正確にするには、証明不能な判断 "A true" ではなく、"π is a proof of (A true)"（πは A true の証明である）という判断を扱う。これを記号的に "π : A true" と記する。標準的手法では、証明は判断 "π proof" に構成規則を適用することで示される。最も単純な証明として、ラベル付き仮説を使ったものがある。この場合の証拠はラベル自身である。
自然演繹 証明理論と型理論
簡潔さを保つため、以下では判断ラベル true を省略する。従って、"Γ ⊢ π : A" となる。ここで、明確な証明でいくつかの結合子を再評価する。論理積については、論理積の証明の形式を見つけるために、その導入規則 ∧I を見てみる。それらは、2つの要素の証明の対となる。従って、次のようになる。
除去規則 ∧E1 と ∧E2 は論理積の右か左のいずれかの要素を選択する。従って、証明は2つの投影（第一 = fst と 第二 = snd）の対となる。
含意については、導入によって仮説の局所化（あるいは束縛）が形成され、これを λ を使って記述する。規則にある "Γ, u:A" は、仮説群 Γ に追加の仮説 u を加えることを意味する。
明確化された証明では、証明を処理し、論じることが可能となる。証明に関する重要な操作は、ある証明を別の証明の前提に置き換える操作である。これを一般に「代入定理; substitution theorem」と呼び、数学的帰納法によって証明可能である。
代入定理
Γ ⊢ π1 : A かつ Γ, u:A ⊢ π2 : B なら、 Γ ⊢ [π1/u] π2 : B である。
自然演繹 証明理論と型理論
これまで、判断 "Γ ⊢ π : A" は、純粋に論理的な意味しかなかった。型理論では、論理的な観点からより計算的な観点へと変換が行われる。論理的には命題とされていたものが「型」となり、証明はラムダ計算におけるプログラムとなる。従って、"π : A" は、「プログラム π の型は A である」という解釈になる。論理結合子も異なった解釈となる。論理積は積（×）、含意は関数矢印（→）などとなる。ただし、これらの違いは単に表面的なものである。型理論では、構成規則、導入規則、除去規則を自然演繹的に表現する。実際、自然演繹を知っていれば、単純階型理論は容易に理解できる。
自然演繹 証明理論と型理論
論理と型理論の違いは、焦点が型（命題）からプログラム（証明）に移っている点である。型理論は、プログラムの変換可能性や還元可能性に興味の中心がある。全ての型について、還元不可能な正規のプログラムが存在する。これを「正規形」または「値」と呼ぶ。全てのプログラムが正規形に還元可能なら、その型理論は「正規化; normalising」（あるいは弱正規化）されていると言える。正規形が唯一である場合、その理論は「強正規化; strongly normalising」されていると言える。正規化性は複雑な型理論では滅多にない特性であり、その点で論理の世界とは一線を画すことになる（多くの論理において、論理導出には等価な正規な導出があるという事実を思い出していただきたい）。再帰的定義が可能な型理論では、1つの値に還元できないプログラムを書くことが可能である。そのようなプログラムは一般にいかなる型も与えることが可能である。特に、再帰プログラムは型 ⊥ を持つこともあるが、"⊥ true" についての論理的証明は存在しない。以上から、「型としての命題、プログラムとしての証明」というパラダイムは一方向にしか働かない。もし型理論を論理に無理やり変換したとしても、一貫性のない論理しか得られない。
自然演繹 証明理論と型理論
論理と同様、型理論には様々な拡張や変種があり、一階版も高階版もある。型理論の興味深い変種として依存型理論がある。これは、プログラム全体に量化を施せるものである。量化型は ∀ と ∃ の代わりに Π と Σ を使って記述する。構成規則は次のようになる。
これらの型は矢印と積の型の一般化であり、導入規則と除去規則は次のようになる。
普遍的な依存型理論は非常に強力であり、プログラムの想像可能ないかなる属性もプログラムの型で直接表すことができる。ただし、その普遍性と引き換えに、あるプログラムがある型であるかを決定不能となっている。このため、依存型理論を実際に使う場合、任意のプログラムの量化を許さないで、特定の決定可能な領域（整数、文字列、線形プログラムなど）のみを扱うことが多い。
依存型理論では型がプログラムに依存することを許すのだが、そこから自然に生じる疑問として、プログラムが型に依存するとか他の組合せの依存は可能か、というものがある。この疑問には様々な答えがある。一般的な手法はプログラムを型に関して量化するもので、「パラメトリック・ポリモルフィズム」と呼ぶ。これは、型とプログラムを明確に区別する「断定的ポリモルフィズム」と、両者の区別があいまいな「非断定的ポリモルフィズム」に分類される。依存性とポリモルフィズムの組合せは様々なものが考えられ、Henk Barendregt の ラムダ・キューブが有名である。
論理と型理論の境界領域は、研究が盛んな分野である。新たな論理は、論理フレームワークとして型理論的設定で形式化されることが多い。そのような論理フレームワークとして、calculus of constructions や LF は高階依存型理論に基づいており、決定可能性と表現能力のトレードオフを考慮して考案されている。これらの論理フレームワーク自体は常に自然演繹体系に則っており、自然演繹手法の汎用性を示している。
自然演繹 古典論理と様相論理
話を単純化するため、ここまでの説明では直観論理を使ってきた。古典論理は、直観論理に次の公理あるいは排中律を追加して拡張したものと言える。
「任意の命題 p について、命題 p ∨ ¬p は真である」
この文自体は、導入も除去も明確でない。実は、これは2種類の連結子に関係している。ゲンツェンは、排中律を以下の3つの（等価な）定式化のうちの1つとして扱った。これらはヒルベルトと Arend Heyting の論理体系にも類似の形式で提示されていた。
この排中律の扱い方は、純粋主義的観点からは好ましくないのに加えて、正規形の定義においてさらなる複雑さを生む。
自然演繹 古典論理と様相論理
導入規則と除去規則だけからなる従来からの自然演繹にとって好ましい対処法は、1992年、Michel Parigot が λμ と呼ばれるラムダ計算の一種として提案した。彼の手法の鍵となった洞察は、真理値を中心とした判断 "A true" を、より古典的な記法に置換したことである。局所的形式では、Γ ⊢ A の代わりに Γ ⊢ Δ とした。この Δ は Γ と同様な命題の集合である。Γ は命題群の論理積であるが、Δ は命題群の論理和である。この構造はシークエント計算から直接持ってきたものだが、λμ での新規な点は、古典的な自然演繹的照明に計算的意味を与えた点であり、それには継続あるいはLISPやその後継で見られる throw/catch が用いられる。
もう1つの重要な拡張は様相論理学などの論理に関するもので、それらは単なる基本的な真理値の判断以上のことをする必要がある。1965年に Dag Prawitz が様相論理のための自然演繹的記法を述べており、その後も様々な研究が行われてきた。簡単な例を示すため、必要性の様相論理での新たな判断 "A valid" を考える。これは次のような意味である。
「もし "B true" という形式の前提無しで "A true" ならば、"A valid" である」
自然演繹 古典論理と様相論理
この断定的判断は単項結合子 ◻A（"necessarily A"）として表され、以下のような導入規則と除去規則となる。
なお、前提 "A valid" には定義規則がないが、その代わりに妥当性の断定的定義が使われる。この様相は、局所化された形式で仮説を明示的に示すとより明確になる。"Ω;Γ ⊢ A true" と記したとき、Γ は以前のように真なる仮説群を表し、Ω は妥当な仮説群を表す。右辺には単純な判断 "A true" しかない。"Ω ⊢ A valid" は定義から "Ω;⋅ ⊢ A true" と同じ意味であるため、妥当性はここでは不要である。導入規則と除去規則は次の通りである。
様相仮説には独自の仮説規則と代入定理がある。
様相代入定理
Ω;⋅ ⊢ π1 : A true かつ Ω, u: (A valid) ; Γ ⊢ π2 : C true ならば、 Ω;Γ ⊢ [π1/u] π2 : C true である。
このような仮説の集合を区別して判断するフレームワークを、「多項的; polyadic」コンテキストなどと呼び、非常に強力で拡張性がある。様々な様相論理に適用可能で、他にも線型論理や部分構造論理にも適用した例がある。
臨床薬理学
臨床薬理学（りんしょうやくりがく、英語: clinical pharmacology）とは薬とその臨床使用に関する科学の一分野。薬の作用効果機序を扱う基礎科学である薬理学をその土台とするが、臨床薬理学では実践的な薬の使用方法を主に取り扱う。病変における薬理作用の標的分子の発見といったミクロの世界から、集団に対する薬剤投与の影響といったマクロの世界まで、学問としての幅は広い。
臨床薬理学者は通常医学や薬学の素養を持つが、さらに理想的には科学者として根拠を追究し、適切に計画された治験などの研究を通じて新たなデータを創り出すためのトレーニングを必要とする。
臨床薬理学 学問分野
薬が生体内のどの部位に、どのように、作用するかを扱う。細胞生物学的・分子生物学的側面の研究にとどまらず、関連した臨床的な作用の測定（例：気管支拡張薬によるピークフローの改善）も含まれる。
生体内に入った薬が、その後どのように吸収・分布・代謝・排泄されるかを扱う。
適切な薬を、適切な投与方法（用量・投与経路・投与回数）で処方し、適切に中止するためのノウハウを扱う。
薬の使用に伴って生じた、あらゆる好ましくない医療上の出来事を扱う。この中には、妊娠前後の服薬により母子に生じうる有害事象も含まれる。
薬の毒性や不適切な使用、あるいは薬でないもの有害物質の接種に伴う生体の反応を調べ、またその治療方法を扱う。
複数の薬を同時使用した際に、それぞれの薬の作用がどのように変化するのか、あるいはどのような作用が新たに加わるのかを扱う。
臨床薬の候補物質について、多くは治験を通じてその有効性や安全性を確認し、広く一般に使用されることを図る。
チェルシー舞花
チェルシー舞花（チェルシーまいか、本名：トンプソンチェルシー舞花、1989年3月11日 - ）は、日本のファッションモデル。東京都出身。エトレンヌ所属。
チェルシー舞花 来歴
アメリカ人の父と日本人の母を持つハーフ。右目下に三連のほくろがあるのが特徴。武蔵野美術大学映像学科卒業。
中学時代より写真を趣味とし、高校では写真部の部長をつとめていた。自身の撮影による写真集も刊行している。