tet550/jawiki_sentences huggingface dataset:
NANA (曲)
「NANA」(ナナ)とは、日本のロックバンド、チェッカーズの楽曲で、12枚目のシングル。1986年10月15日発売(発売元はキャニオン・レコード)。
シングルとしては、初のメンバーオリジナル作品。
チェッカーズ中期の曲としてはツアーで披露された回数は異例の13回である。この数はデビュー曲のギザギザハートの子守唄の15回に続き2番目に多い。1986年のFLASH TOURではオープニングソング、ラストソングとして2回披露し、文字通りNANAで始まりNANAで終わらせるといった破格の待遇を受けた曲だった。
現在でも藤井フミヤが、ライブで頻繁に歌う楽曲である。アブラーズが再結成した際のライブ(徳永存命時)にフミヤがゲスト出演した際も、この曲が歌われた。
タイトルの由来はフミヤ曰く「水系と演歌系の名前の中間がいいと思って『NANA』になった」。
「濡れてくれ」「やろうぜ」といった歌詞が性行為を連想させるとして、NHKで放送禁止になった。その為、出演していた歌番組では急遽B面曲を演奏したふりをした。『紅白歌合戦』では「Song for U.S.A.」を歌っている。
NHKでは2021年時点では基準の変化もあり放送禁止扱いとしなくなったため、同年3月27日にBSプレミアムで放送の『激レア! 藤井フミヤ ギザギザハートからTRUE LOVE!』で初めて歌唱した。
フミヤが2002年10月9日に発売したセルフカバーアルバム「Re Take」にてセルフカバーされ、テレビ朝日系ドラマ『早乙女タイフーン』のオープニングテーマになった。2004年には及川光博がアルバム『GOLD SINGER』でカバーしている。
編曲のクレジットは「チェッカーズ、八木橋カンペー」となっているが、アルバム「GO」の歌詞カードのみクレジットには「CHECKERS FAM.」と変更されている。
THE CHECKERS FAM(チェッカーズ&アンディー檜山&八木橋カンペー)は、解散するまでシングル曲での編曲者のクレジットになっている。
この曲は、テレビ朝日系の音楽番組『ミュージックステーション』の第1回放送の第1曲目でもある。
全作詞:藤井郁弥 編曲:チェッカーズ、八木橋カンペー
NANA
作曲:藤井尚之
Mr.BOYをさがして
作曲:鶴久政治
アマチュア時代には「ミスティーレイン」というタイトルで歌われており、歌詞も大幅に異なっていた。
生物資源科学部
生物資源科学部(せいぶつしげんかがくぶ)は、大学の学部の一つ。
基本的には、従来あった農学部、水産学部、農獣医学部(日大)を改組して誕生した学部である。
したがって、教育・研究のために、農学部のように農場や演習林を保有し、実習に利用している。
三重大学(生物資源学部)
県立広島大学 庄原キャンパス
福井県立大学(生物資源学部)
ベルフォルテ・モンフェッラート
ベルフォルテ・モンフェッラート
ベルフォルテ・モンフェッラート(Belforte Monferrato)は、イタリア共和国ピエモンテ州アレッサンドリア県にある、人口約500人の基礎自治体(コムーネ)。
Italy Piedmont
ビスターニョ
ビスターニョ(Bistagno)は、イタリア共和国ピエモンテ州アレッサンドリア県にある、人口約1,800人の基礎自治体(コムーネ)。
Italy Piedmont
FRA Flaviac、フランス
ジュゼッペ・サラッコ (1821年10月9日-1907年1月19日) - 1900年から1901年にイタリアの首相を務めた。
ジュリオ・モンテヴェルデ(1837年10月8日-1917年10月3日) - 彫刻家
ベルツァーノ・ディ・トルトーナ
ベルツァーノ・ディ・トルトーナ
ベルツァーノ・ディ・トルトーナ(Berzano di Tortona)は、イタリア共和国ピエモンテ州アレッサンドリア県にある、人口約200人の基礎自治体(コムーネ)。
Italy Piedmont
== 行政 ==
ベルツァーノ・ディ・トルトーナには、以下の分離集落(フラツィオーネ)がある。
Cappellette, Chiesa, Inselmina, Magostino, Valbona
グスターヴ・ホワイトヘッド
グスターヴ・ホワイトヘッド(Gustave Whitehead、1874年1月1日 - 1927年10月10日)は、ドイツ生まれのアメリカの航空技師である。記録が不十分という批判もあるが、ライト兄弟より前の1901年8月14日にコネティカット州フェアフィールドで世界初の有人動力飛行に成功したとされる。
本名をグスタフ・アルビン・ヴァイスコプフ(Gustav Albin Weißkopf)と言い、ドイツ・バイエルン州のロイタースハウゼンに生まれる。少年時代から凧を使い、飛行の理論や実験を行なうことに興味を持ち、のちに航空整備士の免許を得て、技師への第一歩を踏み出す。風・天候・そして鳥の飛行方法など飛行に関する様々な研究を重ね、世界各国を旅したのちに1893年に本国へ戻り、オットー・リリエンタールと面会している。その翌年には、さらなる研究に打ち込むべく、アメリカへ渡ることになった。なおこの時、自身の本名であるヴァイスコプフ(ドイツ語で「白い頭」を意味する)という姓は、英語では読みにくいことから、英語風にホワイトヘッドという名に改称することになった。
1897年、ホワイトヘッドはボストン航空クラブ(the Aeronautical Club of Boston)のために滑空機を製作して飛行させる目的で、出版者J・B・ミレットに雇われた。彼は数機の滑空機を作り上げた。うち一機はリリエンタールのグライダーに影響を受けたものであった。この滑空機は実際に(短い距離だが)地面から離れた。ホワイトヘッドは大男で体重もあったため、助手のアルバート・B・C・ホーンは、「もう少し軽かったらホワイトヘッドよりも長く飛べたはずだ…」と記している。
ブリッジポート・ヘラルド、ニューヨーク・ヘラルド、ボストン・トランスクリプト誌の記事によると、1901年8月14日コネティカット州フェアフィールドで、ホワイトヘッドはエンジン付きの機体「ナンバー21」によって800mの距離を高度15mで飛行したという。(新聞記事の全文については下の#参考資料にあるリンクを参照のこと)写真はない。しかしブリッジポート・ヘラルドのディック・ハウエル(彼は現場にいた)による、宙に浮いた機体のスケッチがある。もし本当だとすると、この飛行はライト兄弟のノースカロライナ州キティ・ホークでの飛行に2年以上も先行していたことになる。
数人の目撃者の報告によれば、ホワイトヘッドは1899年ごろの早い時期にも約1km(半マイル)飛行している。1902年1月には、(推定される所では)彼は改良された「ナンバー22」でロング・アイランド海峡を越える10km(7マイル)の飛行をした。
ホワイトヘッドの飛行はきちんとした記録が一度も取られておらず、写真も残っていない。そのためこれら沢山の報告を実証することは非常に困難である。特に、スミソニアン協会は制御された動力飛行が1903年より前に起こったことを強く否定している(ライト兄弟の飛行機を提供してもらう事と引き換えに、彼ら以前の飛行機及び記録を取り扱わない契約書が発見されている)。また、ブリッジポート・ヘラルドの記事の原文はこの出来事に関する信憑性の低い主張は、他の目撃者たちの報告と矛盾する。ホワイトヘッドはそれ以降にもより正式に記録された動力飛行を再現することがなかった。そして彼の主張は(別の航空パイオニア、カール・ヤトーの飛行と同様に)制御されていない飛行だとしてしりぞけられた。とはいえ、コネティカット州議会はホワイトヘッドの主張を人類初の飛行だと公式に認定している。また「ジェーン年鑑」の記念誌においても、人類初の飛行はホワイトヘッドと記載された。2003年12月17日、キル・デヴィル・ヒルでの百年記念祝賀会においてライト機のレプリカが飛行に失敗したのとは対照的に、1986年、ホワイトヘッド機のレプリカは成功裏に飛行した。
ホワイトヘッドの「ナンバー21」は、翼幅36ft(11m)、斬新な外観をした単葉機であった。その翼は竹を骨組みとし、鋼線で支えられ、絹が貼られていた。そして形状は滑空する鳥の翼にならって設計されていた。この飛行機は二つのエンジンによって動力を供給されていた……離陸速度に達するまで車輪を駆動する10馬力(7.5kW)の地上用エンジン、そして二つのプロペラ(平衡のために逆回転する)を駆動する20馬力(15kW)のアセチレンエンジンである。
動力で回る車輪の使用は、ホワイトヘッドがカタパルトを使う必要もなく、またライト兄弟のように逆風に頼る必要もなかったことを意味している。しかしながら、車輪駆動用エンジンの重量は飛行性能を悪くしたであろう。報告によると、この飛行機は平坦な地面から出発して別の平坦面か水面に着陸(着水)した。飛行中、ロール方向の動きはたわみ翼と(グライダーでよくやるような)パイロットの体重移動との併用で制御される事になっていた。ピッチは尾翼で、ヨーは二つのプロペラの推力に差を付けることで制御される事になっていた。
より新しい「ナンバー22」は、40馬力(30kW)の灯油エンジンを持つという点で、「ナンバー21」と異なっていた。
ホワイトヘッドは原動機を作って、大変な薄利で販売した。彼は商習慣や商業的成功につながる特許のことを充分には知らなかったのである。しかしながら、他の多数の航空パイオニアたちは彼のエンジン設計に興味を示した。かなりの年が経ってからある目撃者がこう主張した。「裏付けとなる文書記録はないのだが、ライト兄弟はホワイトヘッドを訪ねてエンジンの購入について話し合い、そして飛行に関する着想と発見を交換した」と。ホワイトヘッドはグレン・カーチスにエンジンを売っている。
1911年ごろ、ホワイトヘッドはヘリコプターの設計に取り組み、多少の成功を修めた。
ホワイトヘッドが1901年には「ナンバー21」で飛行可能だったという説を助力する目的で、1985年にアメリカのマニアたちがホワイトヘッド機のレプリカを作り始めた(現在の軽量なエンジンを使ってだが)。1986年12月29日、アンドリュー・コッシュは20回の飛行を行ない、最大飛行距離は100m(330ft)に達した。1998年2月18日にはドイツのレプリカ機が500mに届く距離を飛行した。
コッシュの無動力(牽引用)レプリカは、1980年代中期、ブリッジポート空港でピックアップ・トラックに牽引され俳優兼パイロットのクリフ・ロバートスンによって飛ばされた。ロバートスン早朝の飛行とコッシュの努力は、1990年を中心とするかなり長い間、EAAの「スポーツ飛行」で報道された。EAAのメンバーであるビル・シュルツは1990年代初頭にオシュコシュでのEAA年次大会においてロバートスンと話している。ロバートスンはホワイトヘッド機がとてもよく飛び操縦性も抜群だったと報告した。ロバートスンは、コッシュの努力が2003年に予定されているライト百周年記念の評判に埋もれてしまったことを残念だと語った。
最初の飛行機械(First flying machine)
ボルゲット・ディ・ボルベーラ
ボルゲット・ディ・ボルベーラ
ボルゲット・ディ・ボルベーラ(Borghetto di Borbera)は、イタリア共和国ピエモンテ州アレッサンドリア県にある、人口約2,000人の基礎自治体(コムーネ)。
Italy Piedmont
== 行政 ==
ボルゲット・ディ・ボルベーラには、以下の分離集落(フラツィオーネ)がある。
Castel Ratti, Cerreto di Molo, Cerreto Ratti, Fighetto, Liveto, Molo Borbera, Monteggio, Persi, Rivarossa, Sorli, Torre Ratti
ITA ロレッジャ、イタリア 2001年
ボルゴ・サン・マルティーノ
ボルゴ・サン・マルティーノ
ボルゴ・サン・マルティーノ(Borgo San Martino)は、イタリア共和国ピエモンテ州アレッサンドリア県にある、人口約1,400人の基礎自治体(コムーネ)。
Italy Piedmont
上田 (小惑星)
上田(うえた、1619 Ueta)は小惑星帯に位置する小惑星。京都市の京都大学花山天文台で三谷哲康が発見した。
花山天文台長などを務めた日本の天文学者上田穣から命名された。
少六隊
少六隊(しょうろくたい)は、テレビアニメ『こどものおもちゃ』に登場する架空のユニット。倉田紗南、飛田まゆ、綾乃花丸小路智美の3人からなる。小花美穂による原作漫画には登場しない。登場回は、第34話「歌う心は3.2.1」と第80話「も一度歌って3・2・1」。プロデューサーは津さん。ユニットの名前は津さんの考案によるもの。由来はメンバーの3人が小学六年生であるため。
倉田 紗南 (くらた さな)
声 - 小田靜枝
『こどものおもちゃ』の主人公。マネージャーは相模玲。
飛田 まゆ (とびた まゆ)
声 - 麻生かほ里
歌手としてヒットを飛ばし、ドラマでは主役を演じる超人気ビッグアイドル。幼少のころからダンスやピアノのレッスンを受けている。マネージャーは母親。本人、マネージャーの母親ともにプライドが高く、遅刻して当然という態度をとる。
共演者の加村直澄に幼い恋心を抱いているが、直澄が紗南と仲が良いため、激しく嫉妬している。
倉田紗南をライバル視している。紗南との相性診断は最悪。紗南のマイペースやふざけた態度を嫌う。ただ、プライドを除いた本心は紗南を嫌っているわけではなく、いつも笑顔の紗南に憧れている。
綾乃花丸小路 智美 (あやのはなまるこうじ ともみ)
声 - 西村知美
おっとりとして、どこか抜けているような感じの少女。マネージャーは「は」。茶「京茶」のCMに出演している。言葉遣いがとても丁寧である。
マイペースのため、結構強引なところもある。存在感が薄く、いつの間にか背後に立っていても気がつかないようなキャラクターである。
Vitamin Love(ビタミン・ラブ)
タイトルはアニメ内では片仮名表記だが、後日発売されたサウンドトラックでは英語表記になっている。
アニメでは斉唱になっているが、サウンドトラックでは3人それぞれソロ部がある。
『こどものおもちゃサウンドトラックVol.2』に収録。
放送中の話とまったく異なった設定である番外編(第80話)に登場する曲。
『こどものおもちゃサウンドトラックVol.3』に収録。
少六隊は少女隊の影響を強く受けている。ユニット名以外に、楽曲の「港町チャールストン」は少女隊の「もっとチャールストン」から、『こどものおもちゃサウンドトラックVol.3』の表ジャケットが、少女隊の「SUPER VARIO」の裏ジャケットの構成とよく似ているところなど。
『こどものおもちゃ』には、少女隊のメンバーのトモがばびっとの声優として参加している。
アニメソングが充実しているカラオケマシーンでは、少六隊がアーティストとして登録されている。
水道町 (熊本市)
水道町(すいどうちょう)は、熊本県熊本市中央区の町名。2000年現在の国勢調査による居住人口は357人。郵便番号860-0844。
熊本市の中心部に位置し中心市街地の一角を成している。ビジネス街として主に利用されている。
町の中央を国道3号が南北に貫き、南端は熊本県道28号熊本高森線(通称:電車通り)が東西に走っている。両道路とも交通量が多く、バス路線が集中している上に、県道には熊本市交通局の路面電車も走っており交通の要衝となっている。
北部は草葉町、東部は白川を挟んで新屋敷、南部は安政町、西部は手取本町に接し、上通商店街・下通商店街も近隣にある。国道3号沿いにはオフィスビルや金融機関の支店が多数存在しているが、商業施設・住宅・駐車場も混在する地域である。
近年は「上通並木坂」の興隆に伴って裏通りも注目を集めるようになり、商業施設の出店が盛んになっている。一部の通りが「上乃裏通り」(通りの一部に水道町を含む)と名付けられたり江戸時代の通りの名を示す標識が設置されるなど商業活動を活発化させる後押しも行われている。
また、路面電車の水道町電停や、水道町バス停が数ヶ所に分散して設置されており、市内各方面を結んでいる。
水道町交差点は、全国的にも珍しい、歩道・最左側の原付・バスのみの右折レーン化となっている。
この交差点、国道3号、福岡方向から鹿児島方向に向かう際は、4車線のうちの最も左側レーンが原付・バスのみの右折レーンとなるので、県外車は注意が必要。
白川(三宮神社横の小磧 (おぜき) )から坪井川(厩橋付近)まで水道が掘られており、ここでL字型に曲がっていたことにちなんでいる。
水道は千田畑への農業用水とも花畑館(加藤清正の造営した屋敷、現在の花畑公園付近)へ水を引くためとも言われる。また、取水地に関しては立田口堰説や八景水谷説など異論もある。
熊本城完成後に白川及び坪井川の改修が行われ、同時期に武家屋敷が坪井川の西側に移転する。この地域も大部分が武家屋敷となっていた。
安巳橋(安政橋)から三年坂・城見町(現在の安政町・下通・花畑町)に続く通りがメインストリートであった。
江戸時代は武家屋敷であった地域には町名が付けられていなかったが、明治時代に地域にちなんだ名称が付けられ、1889年の市町村制施行により熊本市の一部となった。
北西部は熊本県庁(現在の草葉町 (熊本北警察署、白川公園) )をはじめとする行政機関が当地域及び近隣に立地していた。現在もその名残からか金融機関や公的機関が集中している。
また、1924年には熊本市電幹線(熊本駅前-水道町-浄行寺町)・熊本市電水前寺線(水道町-水前寺)が開通、熊本市電水前寺線のために白川を渡る大甲橋が架けられたことや国道3号のルート変更・道路整備などにより、次第に交通の要衝となっていった。
以下は江戸時代からの名称である。
四軒町(しけんちょう)
以下は明治時代に名付けられたものである。なお、旧町名の全地域が水道町に含まれるわけではない。
二番被分町(にばんわかされちょう)
明円寺町(みょうえんじちょう)
比丘尼町(びくにちょう)
一本竹町(いっぽんたけちょう)
黒鍬町(くろくわちょう)
桜井町(さくらいちょう)
桜の井戸(上通町にある)にちなんだ名称
長安寺町(ちょうあんじちょう)
三菱UFJモルガン・スタンレー証券熊本支店
パークシティ24h 水道町店
パークシティ24h 白川公園店
くまモンの石像(パークシティ24h 水道町店 敷地内)
『熊本日日新聞』連載記事 熊本市内町名小史:熊本日日新聞 1968年
『日本歴史地名大系 44 』: 平凡社 2002年
愛知県道266号板山金山線
愛知県道266号板山金山線(あいちけんどう266ごう いたやまかなやません)は、愛知県半田市から常滑市に至る一般県道である。
起点:愛知県半田市板山(愛知県道34号半田常滑線交点)
終点:愛知県常滑市金山
1959年12月15日:認定
愛知県道252号大府常滑線(西前田交差点)
国道155号(矢田川橋南交差点)
愛知県道267号大野町停車場線(矢田川橋南交差点)
西知多道路(2027年に青海ICで接続予定)
== 別名 ==
大野街道(常滑市、半田市)
黒鍬街道(常滑市、半田市)
3値論理
3値論理 (ternary, three-valued or trivalent logic) とは、通常の真 (true) と偽 (false) から成る真偽値の他に、第3の真理値を持つ論理体系。多値論理のひとつである。
古典論理では真理値は真と偽の2値(真偽値)である。しかし哲学や数学などを論理で扱うに際し、「可能性」や「未定義」などのために、真理値として真でも偽でもない値が必要なことがある。例えば「明日は雨が降る」という命題は、明日になるまでは真とも偽とも言えない、と考えるのが妥当である。そこで、もうひとつの値を追加した論理の体系が3値論理である。非古典論理の子分野の多値論理の子分野でもある。
古くから漠然とは考えられていたことであり、古代ギリシアのアリストテレスは未来の出来事を表すには真でも偽でも無い可能性(未来偶然命題)として第3の値について言及している。しかし、現代的な3値論理は、1920年にヤン・ウカシェヴィチ(Jan Łukasiewicz)が発表した "On 3-valued logic" から始まるとされる。
3値論理は真 T でも偽 F でもない第3の値をとるが、この3番目の値の解釈についてしばしば意見が分かれており、別々の形でいくつかの形式化が行われている。ここではその中でも比較的有名なものを取り上げる。どれが正しいとか間違っているとかいうようなものではなく、目的に合うものを使えばよい。
ウカシェヴィッチの3値論理は1920年にヤン・ウカシェヴィチにより提案された3値論理である。ウカシェヴィチは、アリストテレス未来偶然命題を形式化するためにこの論理を提案したとされている。具体的には、
という条件のもと、自身の提唱した命題論理の公理体系
を満たす新たな論理体系を考案した。この真偽の決まらない第3の真理値を定め、その記号に I を使った。これはindeterminate(不定)から来ており、未来偶然命題の真理値は I であるとする。
具体的にはこの I を含めた論理を以下のような条件を満たす真理関数 v(x) を用いて定義した。
この真理関数を用いて、以下のように論理演算を定義している。
これを真理値表で表すと以下のようになる。
ウカシェヴィチの3値論理は排中律および無矛盾律が成り立たない点に注意が必要である。
この3値論理は古典論理学では解決できないラッセルのパラドックスが解消されることが知られている。具体的には
という集合があった場合 X ∈ X  I とおくとラッセルのパラドックスにおける矛盾が発生しなくなる。
ウカシェヴィチの3値論理の特徴として、論理値の数を容易に拡張可能なことがある。例えば真理値 T、F、I1、I2 の4値をもつ論理システムを作成する場合は、
と定義することで、同様に真理値体系を構築することが可能である。ウカシェヴィチは、このことを応用し、1930年に 0, 1 の任意の値を真理値とする無限値論理を提唱している。
ウカシェヴィチの3値論理はラッセルのパラドックスにおける解法を示したが、以下に示すような新たなパラドックスを導出してしまうことでも知られている(莫少揆のパラドックス)。具体的には以下のような集合があったとする、
X  x .
このとき X ∈ X を考えると、この値は T でも F でも I でも矛盾が発生する。
クリーネの3値論理は 1952年スティーヴン・コール・クリーネによってアルゴリズムの停止性についての議論の中で帰納関数の理論における「未定義」 (undefinedness) を表現するために提唱された。
なおクリーネは強3値論理と弱3値論理の2種類の3値論理を提唱しているが、ここでは強3値論理について述べる。弱3値論理は後述するボフバールの3値論理と同様の体系である。
クリーネの3つめの値 U は「未定義」または「計算中」である。この値は直感的には U は T か F のどちらかではあるが、どちらであるかわからない値といえる。この3値論理の公理化は帰結関係をベースにシークエント計算で行われる。
具体的な例として、以下のような論理式を考える。
この時、仮に U の部分が T か F の場合でも、結果は F にしかならない。よってこの論理式の真理値は F である。反対に
とした場合、この論理式の真理値は U が T だったら T となり F だったら F となる。よってこの論理式の真理値は T か F かわからない、すなわち U である。
以上を踏まえると、この3値論理の真理値表は以下のようになる。
クリーネの 3値論理は U → U  U であることを除けばウカシェヴィチの3値論理と同様である。
この U → U  U という定義は、しばしば批判されることがある。 これは A  U とした場合、A → A  U となり古典論理学では恒真式とされていた A → A  T が成り立たなくなるためである。実際この式は「A が未定義であるならば A は未定義である」ということを意味しており、これを真としないのは直感に反しているといえる。
1984年、レイモンド・ターナー(Raymond Turner)はクリーネの3値論理をベースにデフォルト推論の理論を展開している。
クリーネの 3値論理はSQL等にも応用されている、SQLでは比較式にNULLが入った場合、真 (true) でも偽 (false) でもない不明  (unknown) という値を返す。
ボフバール(Bochvar)の3値論理は「嘘つきのパラドックス」に代表される意味論的自己言及のパラドックスの解決として1939年に考案された。
ボフバールは 3番目の真理値として M を提唱した、この M は「無意味」(meaningless) と解釈される。
ボフバールの3値論理は命題の構成要素に M があった場合、その真理値は無条件に M であると定義した。具体的には真理値は以下のようになる。
ボフバールはこの 3値論理に言明オペレータ T を追加しており、T は以下のようになる。
この 3値論理では「この文は偽である」といった命題の真理値を M とした場合、嘘つきのパラドックスは起こらなくなる。ただし、以下のような強嘘つき文 (strengthened liar sentence) の場合やはりパラドックスが起こる。
この文は偽 (F) か無意味 (M) である。
松山城ロープウェイ
〕
松山城ロープウェイ(まつやまじょうロープウェイ)は、松山城への観光ルートを担う愛媛県松山市が所有する索道である。正式名称は松山城山ロープウエイ。
現在のゴンドラは5代目。かつては江戸時代の駕籠をモチーフにしたゴンドラで運行し、人気があった。
全長:327m
最急勾配:23度08分
走行方式:4線交走式
定員:51人(4代目ゴンドラ)
運転時分:約3分
高低差:62m
駅数:2駅
1955年(昭和30年)8月7日:開業
2006年(平成18年)3月5日:東雲口駅舎リニューアル。観光の拠点、市民交流の場となる。
2007年(平成19年):駅舎までのエントランス「松山ロープウェー街」が、平成19年度国土交通省手づくり郷土賞(地域整備部門)。
2008年(平成20年)4月1日:伊予鉄道が松山城関連施設の管理運営を担う指定管理者となる。
松山城ロープウェイに平行して、一人乗りのリフトがある。こちらの所要時間は約6分である。1966年(昭和41年)7月13日開業。搭乗券はロープウェイとリフトは共通であり、乗るときに選択できる。遊園地のアトラクション的要素で人気があるが、雨天時は原則として運休する。正式名称は松山城山リフト。
ホワイトベッセル
ホワイトベッセル(White Vessel)は、日本の競走馬。白毛の馬として初めて中央競馬で勝利を挙げた。「ホワイトベッセル」とは「白い大型船」を意味し、父・クロフネと母・シラユキヒメにちなんでつけられた。
白毛馬が生まれる確率は非常に低く、日本国内において白毛の競走馬は数えるほどしかいない。また本馬以前に中央競馬において勝利をあげた馬は存在しなかったが本馬は良血馬であるため、史上初の白毛馬による中央競馬での勝利を期待され見事それに応えた。
厩務員も本馬とともに注目されており、パドックに全身白い格好や背番号つきで登場するパフォーマンスで人気に一役買っている。なお1歳年下の全妹・ユキチャンも白毛でこちらは美浦の後藤由之厩舎所属で兄に続く2頭目の白毛馬による中央競馬勝利を挙げ、交流重賞の関東オークスで史上初めて重賞を勝利した。
2007年2月に競走馬デビューを果たしたホワイトベッセルはその初戦で3着に入り母・シラユキヒメに次いで史上2頭目の中央競馬で馬券対象馬(3着以内)となる。
2戦目で初勝利を記録し中央競馬史上初の白毛馬の勝利を挙げ(騎乗した川田将雅は未勝利戦ながらゴールの瞬間ガッツポーズを見せた)、この勝ち星を含め3勝をマークした。15戦目の檜山特別(1000万下)では香港のトップジョッキーダグラス・ホワイトが騎乗し「ダブルホワイト」として話題になったが7着に敗れている。
重賞勝利などの実績は挙げられず2011年1月の平場競走を最後に現役を引退、17戦3勝という競走成績に終わった。
引退後は京都競馬場で乗馬となり、2013年2月16日に誘導馬デビュー。それに伴い、引退からまもなくして去勢手術を施されてせん馬となっている。全弟のシロベエも京都競馬場の誘導馬(デビューは弟の方が若干早かった)。
2017年1月3日、京都競馬場の馬房にて、頚椎損傷により死亡した。13歳没。
3代母・Storm and SunshineはアメリカG2勝ち馬。
バレーボールドミニカ共和国女子代表
バレーボールドミニカ共和国女子代表(バレーボールドミニカきょうわこく じょしだいひょう)は、バレーボールの国際大会で編成されるドミニカ共和国の女子バレーボールナショナルチームである。
1955年に国際バレーボール連盟へ加盟。
2大会ぶりの出場となった2012年のロンドンオリンピックでは、初めて準々決勝に進出し、5位入賞を果たした。
1964年から2000年まで出場なし
2004年 - 11位
2012年 - 5位
2020年 - 8位
1952年から1970年まで出場なし
1974年 - 21位
1978年 - 19位
1982年 - 不出場
1986年 - 不出場
1990年 - 不出場
1994年 - 不出場
1998年 - 11位
2002年 - 13位
2006年 - 17位
2010年 - 17位
2014年 - 5位
2018年 - 9位
2003年 - 10位
2007年 - 9位
2011年 - 8位
2015年 - 7位
2019年 - 7位
1973年 - 5位
1975年 - 5位
1977年 - 4位
1979年 - 5位
1981年 - 5位
1983年 - 6位
1985年 - 5位
1989年 - 5位
1991年 - 5位
1993年 - 6位
1995年 - 4位
1997年 - Bronze33位
1999年 - 4位
2001年 - Bronze33位
2003年 - Bronze33位
2005年 - Bronze33位
2007年 - Bronze33位
2009年 - Gold1優勝
2011年 - Silver2準優勝
2018年FIVBバレーボールネーションズリーグに登録されたメンバー。
BRA マルコス・クビエク
ボルゴラット・アレッサンドリーノ
ボルゴラット・アレッサンドリーノ
ボルゴラット・アレッサンドリーノ(Borgoratto Alessandrino)は、イタリア共和国ピエモンテ州アレッサンドリア県にある、人口約600人の基礎自治体(コムーネ)。
Italy Piedmont
ラハティ (小惑星)
ラハティ (1498 Lahti) は小惑星帯に位置する小惑星。フィンランドの天文学者ユルィヨ・バイサラがトゥルクで発見した。
フィンランドの都市、ラハティに因んで命名された。
橋本策
橋本 策
橋本 策(はしもと はかる、1881年5月5日 - 1934年1月9日)は、日本の医師、病理学者。橋本病、Hashimoto's thyroiditisを初めて記載した。
三重県阿拝郡西柘植村(現伊賀市)御代の医家に生まれる。旧制津中学校、旧制第三高等学校をへて、京都帝国大福岡医科大学(現九州大学医学部)1907年第1回卒業生として卒業。第一外科に入局。1911年4月“甲状腺ノリンパ腫様変化ニ関スル組織的並ビニ臨床的知見ニ就キテ"を福岡医科大学第17回集談会にて発表、1年後の1912年にまとめてArchiv für klinische Chirurgieに掲載した。今日では橋本病という疾患名が与えられている。
その後、1912年2月ゲッティンゲン大学へ留学、エドゥアルト・カウフマン(Eduard Kaufmann)教授の下で、尿路結核症について研究した。1915年第1次大戦勃発のため帰国、35歳の時に郷里の地で父親を継いで一開業医として医療に貢献する。1934年1月、腸チフスに感染し52歳で死去。
1911年に慢性甲状腺炎を発表するものの、当時の医療は欧米が主流であり、日本国内で研究されたものが注目されることはなかった。
橋本病が独立疾患として欧米で認められたのは1930年代からであり、日本国内でも知られるようになったのは第二次世界大戦後であった。そのため功績が讃えられるようになったのは彼の死後である。人名のついた病名は200あまりにのぼるが、日本人の名前がついている病名は、橋本病、川崎病、高安病、菊池病の4つのみである。
橋本策を売り出したのは同門の後輩秋田八年鹿児島大学名誉教授である。博士と地元阿山医師会(現在の伊賀医師会)の尽力で橋本策の顕彰碑が1973年に国道25号線沿いの伊賀町公民館前に建てられている。
当人の功績を称えて、出身地である伊賀市御代地区では、毎年4月に伊賀医師会と顕彰事業を行っている。
日本甲状腺学会のロゴには、橋本策の肖像が用いられている。
九州大学馬出地区には博士の業績を顕彰した「橋本通り」が存在する。
ヴィクトル・ズプコフ
ヴィクトル・ズプコフ
ヴィクトル・アレクセーエヴィチ・ズプコフ(Ви́ктор Алексе́евич Зубко́в、ラテン文字転写:Viktor Alekseevich Zubkov、1941年9月15日 - )は、ロシア連邦の政治家、官僚。ウラジーミル・プーチン政権で第8代ロシア連邦首相、ロシア連邦第一副首相を務めた。娘は第5代ロシア連邦国防相アナトーリー・セルジュコフと結婚した。
2006年に行われた政治を専門とした調査で、ズプコフはロシアで影響力を持つ政治家として84番目に位置付けられた。
1941年9月15日にソビエト連邦のロシア・ソビエト連邦社会主義共和国のスヴェルドロフスク州に誕生する。1965年にレニングラード農業大学経済学部を卒業する。1966年に徴兵されて兵役に就いた後に1967年から1985年までレニングラード州のコルホーズ(集団農場)で働く。この間にソビエト連邦競作に入党し、1985年にはレニングラード州の共産党機関で勤務し、いくつかの指導的なポストに就いた。1989年にレニングラード州共産党執行委員会第一副議長に選出されるが、1991年8月19日のソ連8月クーデターによりソビエト連邦共産党は活動を停止させられた。
1992年1月から1993年11月にかけて、サンクトペテルブルク市対外関係委員会第一副議長を務めた。同委員会議長はウラジーミル・プーチンであった。1993年11月3日から1998年11月30日までサンクトペテルブルク国税検査部部長と同時にサンクトペテルブルク国税監査委員会副議長を兼務した。1998年12月にエフゲニー・プリマコフ内閣で国税庁が税務省に再編されてズプコフのポストは廃止されたが、間も無く税務省サンクトペテルブルク税務部長に任命された。1999年7月23日に北西連邦管区担当税務次官に就任し、さらに幾日も経たずサンクトペテルブルク及びレニングラード州税務部長となった。
その後レニングラード州知事選挙に出馬し、1999年8月12日に候補者として登録された。選挙戦では与党である「統一」のボリス・グルイズロフ党首(後にロシア連邦内務相・下院議長・統一ロシア党首)の支持を得たが、9月19日に対立候補のヴァレリー・セルジュコフに敗北した。
2001年11月5日に税務省の職責を解任されると、今度は財務第一次官兼金融監督委員会議長に任命され、マネー・ロンダリング対策に当たった。2004年3月16日にミハイル・カシヤノフ首相が解任されると金融監督委員会はロシア連邦財務省の組織に格下げされて連邦金融監督庁に再編されたが、ズプコフは次のミハイル・フラトコフ内閣にて2007年9月12日まで金融監督庁長官に留まった。
同日にウラジーミル・プーチン大統領は全閣僚を解任し、ズプコフはプーチンによってフラトコフの後任の首相に指名された。ズプコフの首相への任命は2007年9月14日の下院議会(ドゥーマ)にて賛成多数で承認された。
2008年5月7日のプーチン大統領退任に伴い内閣は総辞職したが、5月12日に新たに首相となったプーチンによって第一副首相に任命された。2008年6月27日にはロシア国営エネルギー専売公社であるガスプロムの会長に指名され、第一副首相と兼任する。2012年5月7日にプーチン首相が大統領に再就任して首相職が空席となったことに伴い、後任のドミートリー・メドヴェージェフの首相就任が議会に承認されるまでの短期間に首相代行を務めた。
湧玉池
湧玉池(わくたまいけ)は静岡県富士宮市にある湧泉である。富士山本宮浅間大社の境内に位置し、国の特別天然記念物に指定されている。平成の名水百選の1つでもある。
1944年(昭和19年)11月に国の天然記念物に指定され、1952年(昭和27年)には特別天然記念物に指定された。湧玉池の水源は富士山の伏流水であり、年間を通してほとんど増減なく毎日約30万t湧き出ており、水温は1年を通して13℃前後で安定している。一級河川神田川は、湧玉池を水源としている。
池の水源がある境内北の丘陵地に末社である水屋神社が位置し、近辺には水汲み場が存在している。また池周辺には他に末社として厳島神社や稲荷神社が位置する。
湧玉池は古くは上池と下池に分けて呼称されており、以前は上池のみを湧玉池と言い、下池から下流は「御手洗川」と呼んでいた。湧玉池は多くの歌人に歌われており、和歌には「御手洗川」と歌うものも多い。
湧玉池は古来より富士登拝の道者による禊の場とされ、富士参詣曼荼羅図にも湧玉池にて道者が禊をする様子が図示されている。絹本著色富士曼荼羅図(国の重要文化財)をはじめとして、現存する表口を描いた富士参詣曼荼羅図にそれぞれ確認されている。
また1608年(慶長13年)の『寺辺明鏡集』という史料に「大宮ト言処ニトマルナリ 先ソコ(註:湧玉池のこと)ニテコリ(註:垢離のこと)ヲトル コリノ代六文出シテ大宮殿ヘ参也」とあり、当時登拝の際に湧玉池にて垢離をとっていた風習が史料にて示されている。
湧玉池は外来の藻が大量発生する等により土着のバイカモ等の生長が危機的状況にあるとされ、定期的な外来種の除去や清掃等が必要とされており、平成20年には、それらの作業を長年行ってきたとされる浅間大社青年会が環境省から「水・土壌環境保全功労者表彰」を受けた。
また、同年に湧玉池と神田川が環境省により「平成の名水百選」に認定されたことから、富士宮市では、毎年1回6月上旬に環境美化や自然保護を目的とし外来種の除去等も行う「湧玉池・神田川一斉清掃」を実施するようになり、上記の浅間大社青年会等が参加している。
東海旅客鉄道(JR東海)富士宮駅から徒歩10分
東名高速道路富士IC→西富士道路→県道76号経由
勝利の限界点
勝利の限界点(しょうりのげんかいてん)とは戦争や方面作戦において得られる戦果が最大となる時点を言う。
戦争・方面作戦において、物的にも心的に戦力が優勢である場合は作戦・戦闘において勝利を収め、戦果を得ることができる。勝利によって戦力の優勢は相対的にますます拡大していき、戦果は逓増する。しかしこの一連の流れはある時点において限界に達し、それ以降は逓減していく。
この逓減する直前の限界に達した時点がカール・フォン・クラウゼヴィッツの『戦争論』において「勝利の限界点」と定義されており、この時点で攻勢から防勢に転換することが戦争指導・方面作戦計画において極めて重要であることを指摘している。もし勝利の限界点を超えてしまえば、それまで恐怖と無気力で戦意を喪失した敵は、大規模かつ国民的な反撃に出るため、それまで獲得した戦果を失う危険があるためである。
ボージオ
ボージオ(Bosio)は、イタリア共和国ピエモンテ州アレッサンドリア県にある、人口約1,200人の基礎自治体(コムーネ)。
Italy Piedmont
== 行政 ==
ボージオには、以下の分離集落(フラツィオーネ)がある。
Capanne di Marcarolo, Costa Santo Stefano, Maietto, Mogreto, Serra, Spessa, Val Pagani, Ponassi
ブリニャーノ＝フラスカータ
ブリニャーノ=フラスカータ
ブリニャーノ=フラスカータ(Brignano-Frascata)は、イタリア共和国ピエモンテ州アレッサンドリア県にある、人口約400人の基礎自治体(コムーネ)。
Italy Piedmont
== 行政 ==
ブリニャーノ=フラスカータには、以下の分離集落(フラツィオーネ)がある。
Casa Tolone, Cosola, Frascata, Martinasco, Mola, San Giorgio, Selva Inferiore, Selva Superiore, Serra del Monte
ボッツォレ
ボッツォレ(Bozzole)は、イタリア共和国ピエモンテ州アレッサンドリア県にある、人口約300人の基礎自治体(コムーネ)。
Italy Piedmont
THE ELEPHANT KASHIMASHI II
THE ELEPHANT KASHIMASHI II
『THE ELEPHANT KASHIMASHI II』(エレファントカシマシ・ツー)は、エレファントカシマシの2枚目のアルバム｡
前作よりわずか8ヶ月でリリースされた。
収録シングルは「おはよう こんにちは」のみ。「ふわふわ」は未収録となった。
ジャケット写真の撮影はハービー山口。撮影地は東京都渋谷区代々木神園町(代々木公園)。
全作詞・作曲:宮本浩次(注記を除く) 全編曲:エレファントカシマシ
優しい川 (4:41)
おはよう こんにちは (4:33)
金でもないかと (3:49)
土手 (4:00)
作詞・作曲:冨永義之
エレファントカシマシの現在までの楽曲のうち、冨永が作詞・作曲に携わった曲はこの曲のみで、作詞・作曲に宮本がクレジットされていないのもこの曲のみである。
太陽ギラギラ (6:41)
サラリ サラ サラリ (2:52)
ゲンカクGet Up Baby (3:27)
作詞:石森敏行・宮本浩次 作曲:石森敏行
ああ流浪の民よ (5:04)
自宅にて (4:59)
待つ男 (4:30)
名板貸
名板貸(ないたがし)は、商人が他人に自己の商号を使用して営業することを許諾することをいう。商法14条(旧商法23条)は、「自己の商号を使用して営業又は事業を行うことを他人に許諾した商人は、当該商人が当該営業を行うものと誤認して当該他人と取引をした者に対し、当該他人と連帯して、当該取引によって生じた債務を弁済する責任を負う。」と定めている。
商号の使用を許諾する者を名板貸人といい、許諾される者を名義譲受人という。名板貸人は、自己を営業主と誤信して名義譲受人と取引した第三者に対して、名義譲受人と連帯して債務を負うこととなる(名板貸責任、商法14条)。これは、一般的に名義譲受人と取引した第三者は、名板貸人をその営業主と考え、その弁済能力にも期待して取引するため、取引の安全の観点から、そのような第三者の期待を保護するための規定である。
例えば、商人甲が、「ラーメンA」という商号を使用してラーメン店を経営していたとする。「ラーメンA」は大変人気があるラーメン店であり、「ラーメンA」でアルバイトをしていた乙は、甲から独立して「ラーメンA」を経営したいと考えていた。そこで、乙は甲に相談すると、甲は乙に対して「ラーメンA」の商号を使用して営業を行うことを許諾した。これを受けて乙は、甲から独立し、別の場所で「ラーメンA」の商号を使用して営業を始めた(名板貸)。
ところが、乙の「ラーメンA」は、思いのほか業績が伸びず、結局店をたたむこととなり、乙は借金を逃れるために夜逃げしてしまった。乙に製麺設備を販売した債権者丙は、乙から債権を事実上回収できなくなったため、甲に対して販売代金の支払を請求した。この場合、商法14条に基づき、甲は丙の請求に応じなければならない(名板貸責任)。
名板貸は、取引の安全を尊ぶ商法の代表的理念である権利外観理論が現れる規定の一つであり、以下の要件が必要である。
名義譲受人が名板貸人の商号を使用すること(外観の存在)。
名板貸人が名義譲受人に商号の使用を許諾したこと(帰責事由)。黙示による許諾でもよい。
第三者の誤信(相手方の信頼)
これについては、単なる無過失ではなく無重過失であればよいとするのが判例である。
後述の#テナント契約のケースの判例のように、判例は名義譲受人の作出した外観について相手方の信頼と比較斟酌し広く解釈する方向にあるとみられている。
名板貸責任が認められると、名板貸人は、名義譲受人の取引によって生じた債務につき、名義譲受人とともに連帯債務を負う。この債務には、取引行為による債務のほか、その不履行による損害賠償債務や取引に関連する不法行為に基づく損害賠償債務も含まれる。
この名板貸責任をめぐっては、いくつかの問題となるケースが存在する。
商号が同一であっても、名板貸人と名義譲受人との業種が異なる場合は、第三者から見れば業種が異なるのだから、名板貸人をその営業主と考えることは一般的に考えられず、営業の同種性がない限り、名板貸責任を認めて第三者を保護する必要性はないとするのが判例である。ただし、判例はまた、名義譲受人が名板貸人と同一の店舗で同一の銀行口座や印鑑を使用していたなどの特段の理由がある場合は、名板貸責任を認めた(最判昭和43年6月13日・判例百選20事件)。
ショッピングセンターなどの内部のスペースを貸して賃料を得るテナント契約の場合は、商号の使用許諾がないので、名板貸の問題は基本的に発生しない。ただし、テナント契約においては、スペースを借りている店舗の営業主をテナントの貸主(ショッピングセンターなど)であると顧客が誤信する場合があり、名板貸に類似した問題が生ずることがある。この点、最高裁判所は、ペット販売店がスーパーに入居しており、その販売店から瑕疵あるペットを購入した顧客が、その販売店だけではなくスーパーにも責任を追及しようとした事件において、(1)営業主体を誤信してしまうような外観の作出、(2)商号の使用許諾と同視できる帰責事由がある場合においては、商法14条を類推適用して、スーパーに損害賠償を請求できるとした(最判平成7年11月30日・判例百選21事件)。
ゴルフ場運営会社が会社分割し新会社がゴルフ場運営を承継しその事業を承継しており、ゴルフクラブの名称をそのまま使い続けた事件で、旧会社のゴルフ会員権の預託金返還義務を承継していなかったが、ゴルフ場施設の優先的利用権を拒否するなど特段の事情がないとして、会社法22条1項を類推適用し、会社分割にも名板貸の責任を認めた(最判平成20年6月10日)。
カマーニャ・モンフェッラート
カマーニャ・モンフェッラート
カマーニャ・モンフェッラート(Camagna Monferrato)は、イタリア共和国ピエモンテ州アレッサンドリア県にある、人口約500人の基礎自治体(コムーネ)。
Italy Piedmont
学校法人龍澤学館
学校法人龍澤学館(がっこうほうじんたつざわがっかん)とは、岩手県盛岡市において、高等学校・中学校・幼稚園・専門学校を運営している学校法人。
株式会社エムシーエス生涯学習センター(学習塾M進)
岩手県公会堂(指定管理者)
1953年 - 進学研究会(高校受験・大学受験進学塾)創立
1958年 - 岩手県知事認可、龍澤予備校(大学受験部・高校受験部)設立
1998年 - 株式会社エムシーエス生涯学習センター設立
2016年 - MCL専門学校グループ創立30周年
2013年 - 龍澤学館創立60周年
ジオノムスメ
ジオノムスメ(ZEONO MUSUME~)は『機動戦士ガンダム』シリーズに登場するジオン公国軍のモビルスーツ(MS)を美少女として擬人化したシリーズである。デザインはガンダムファンである吉崎観音が担当。
ジオン公国のMSをカトキハジメがリファイン・プロデュースしたフィギュアシリーズ「ZEONOGRAPHY」(ジオノグラフィー)との連動企画。
明貴美加によってデザインされる地球連邦軍、エゥーゴ等のガンダムタイプをフィギュア化した「GUNDAM FIX FIGURATION」(ガンダムフィックスフィギュレーション、GFFと略す)の擬人化企画である「GUNDAM FIX GALUTION」(ガンダムフィックスぎゃるーしょん)に対するジオン版にあたる。ガンダムエース誌上では明貴美加が担当するガンダム系のMSの美少女化と吉崎観音が担当するジオン系のMSの美少女化が交替で連載されている。
それまでのMS少女とは異なり、MSの外装をアーマーではなく服や布地で表現。また露出度も低めで、全体的に1990年代の最新ファッションセンスが盛り込まれている。
GFFやZENOGRAPHYとは違いイラストのみの企画だが、一部はガレージキット化されてイベント限定で販売されたものもある。
カンタルーポ・リーグレ
カンタルーポ・リーグレ
カンタルーポ・リーグレ(Cantalupo Ligure)は、イタリア共和国ピエモンテ州アレッサンドリア県にある、人口約500人の基礎自治体(コムーネ)。
Alessandria_map.png
== 行政 ==
カンタルーポ・リーグレには、以下の分離集落(フラツィオーネ)がある。
Arborelle, Besante, Borgo Adorno, Campana, Costa Merlassino, Colonne, Merlassino, Pallavicino, Pertuso, Pessinate, Prato, Semega, Strappasese, Zebedassi
花立 (丹沢)
花立(はなだて、はなたて)は、大倉尾根にある標高1,370m余りの山である。丹沢大山国定公園に指定されている。花立直下には花立山荘がある。
この花立手前は、急な階段が続く大倉尾根最大の難所として知られている。周辺は登山者の増加による登山道の裸地化が問題となっており、土壌流出防止や植生の復元が試みられているが悪化する一方である。裸地化で遮るものがほとんど無い分、眺めはとても良い。
塔ノ岳(1,491m)
大丸(1,386m)
鍋割山(1,273m)
再帰データ型
再帰型(recursive type)とは、型の定義中にそれ自身の型が出現するような再帰する型のこと。相互再帰により直接は現れないものもある。再帰データ型(recursive data type)とは、データ型における再帰型のこと。
多くのプログラミング言語では名前付きクラスで再帰型を扱うことが出来る。下記は Java での例。Tree のクラス定義の中で Tree を使用している。
また、Haskellでのリスト型を示す。これは、リスト a は空のリストの場合と 'a' を先頭に持つリストの場合があることを示している。
型エイリアスや型シノニムで再帰が使えるかどうかはプログラミング言語次第である。
TypeScript などでは型エイリアスの中でも再帰が利用可能である。下記は TypeScript の例だが、型エイリアスだけで木構造の型を表現できる。
しかしながら、HaskellやOCamlやMirandaの型シノニム宣言では再帰は許されていないので、以下のような Haskell での型定義は不正である。
それに対し、見た目は等価に思える代数的データ型は正当であり利用可能である。
型システムは名前的型システムと構造的型システムに分かれる。名前的型システムは Java を始め、多くのプログラミング言語で採用されていて、型に名前を付け、Java なら extends で何を継承しているか型の名前を使って記載する方法で、それを見れば再帰型であっても部分型関係(継承しているかどうか)は簡単に分かる。構造的型システムは、型の名前で判定するのではなく、型の構造で部分型関係にあるかどうか(関数の引数に渡せるかどうかなど)を判定する。以下、ここで述べるのは、構造的型システムでの再帰型の理論である。
型理論では、再帰型の一般形はμ型構築子を用いて μα.T で表される。ここで型変数 α は型そのものであると共に、型 T の中にも現われる可能性がある。部分型関係かどうかは S <: T と記載する。名前的型システムの Java ならば S extends T または S implements T (ただし親クラスを Object までたどる)であることを意味する。
例えば、自然数を Haskell のデータ型として表すと次のようになる(ペアノの公理参照):
また、型理論では nat = \mu \alpha. 1 + \alpha となる。ここでは、Zero と Succ コンストラクタで表現されており、Zero は引数をとらず(型理論の定義の \alphaに相当)、Succ は別の Nat を引数としている(型理論での定義の1 + \alphaに相当)。
構造的型システムでの再帰型には、同型再帰型(iso-recursive type)と同値再帰型(equi-recursive type)の2つの形式がある。同型再帰型の実装は簡単であるが、同値再帰型は議論と証明が複雑で、ほとんどのプログラミング言語は名前的型システムか構造的型システムの同型再帰型を使用している。
同型再帰型では、再帰型 \mu \alpha . T とその展開結果である T[\mu \alpha.T / \alpha] は別の型であり、特殊な項構成 fold と unfold で識別され、これらの間で同型写像を構成する。正確に記せば、\mbox{fold} : T[\mu\alpha.T/\alpha] \to \mu\alpha.T と \mbox{unfold} : \mu\alpha.T \to T[\mu\alpha.T/\alpha] であり、これらは互いに逆関数である。
部分型付けにおいてよく使われる方法として Amber 規則があり、μX.S <: μY.T かどうかを判定するにあたり、X <: Y という仮定を置いた上で、S <: T であれば、μX.S <: μY.T とする、という判定方法である。Java は構造的型システムではないが、分かりやすくするために Java の表記方法を使うと、
で、ListA <: ListB であるかの判定をするにあたり、X は ListA の内側で再帰的に使っている ListA を指し、Y は ListB の内側で再帰的に使っている ListB を指すので、X <: Y であるという仮定を置いて、残りの value の部分が Integer <: Object なので、ListA <: ListB であると判定する方法である。再帰型同士しか比較しなく、再帰型を内部で利用している場合はそれを展開したりしないので、部分型付けの判定が有限時間で終わることが分かる。Amber 規則で出来ることは、概ね名前的型システムに近い。書籍『型システム入門』の「21.11 同型再帰型の部分型付け」で解説されている。
同値再帰規則では、再帰型 \mu \alpha . T とその展開結果の T[\mu\alpha.T/\alpha] は「等価」である。ここで等価とは、この2つの型表現が同じ型を表していると理解されることを示す。実際、同値再帰型の理論ではさらに、無限に展開したときに等価となる2つの型表現は等価であるとするのが一般的である。型を木構造で表現したときに、当然であるが、無限の大きさの木構造同士が部分型関係にあるかどうかを有限時間で判定することは不可能である。しかしながら、再帰型の表現方法を正則型に制限すると、部分型関係にあるかどうかを、有限時間で判定出来るアルゴリズムが存在する。そして、そのアルゴリズムの正しさの証明は、無限を厳密に扱うために、余帰納法を使用する。正則型がなんであるかや、判定アルゴリズムとその証明は、書籍『型システム入門』の「第21章 再帰型のメタ理論」で解説されている。
このような規則の結果として、同値再帰型は同型再帰型よりも遥かに複雑な型システムを提供する。型検査のようなアルゴリズム上の問題や型推論も同値再帰型の方が難しい。
北欧館パン博物館
北欧館パン博物館<BR>Bread Museum
北欧館パン博物館(ほくおうかんパンはくぶつかん)は、かつて北海道札幌市西区山の手に所在した企業博物館。株式会社北欧が1990年に開館した全国的にも珍しいパンの博物館である。
2015年3月、同じ建物内に入っていた株式会社北欧のパン工場移転新設のために閉鎖された。「北欧館」は2015年に売却され、建物も2016年に解体された。跡地には2017年に「スシロー札幌山の手店」が開店した。
所在地:北海道札幌市西区山の手6条1-3-30
開館時間:11:30-14:30
休館日:平日(土・日・祝日のみ開館)、年末年始
1階ベーカリーは7:30-19:00 年中無休
入館料:大人300円、中学生200円、小学生150円
幼児は無料(同伴者の親も無料)
札幌市営地下鉄東西線琴似駅 より
ジェイ・アール北海道バス「発寒橋」下車
北海道中央バス「発寒橋」下車
パン工場(パン作りの工程が見学可能)
北欧館スカンジナビアレストラン(パンのランチバイキング)
ベーカリーショップ(パンの販売)