hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
ウィーゴー! 概要
オリコンデイリーチャートで11月15日、11月16日、11月17日付で11位、11月18日付で14位、11月19日付で13位、11月20日付で9位、11月21日付で17位を獲得し、7日連続でデイリーチャートTOP20入りを果たした。また、自身の作品がデイリーチャートTOP10にランクインするのは初。
2011年11月度のオリコン月間シングルチャートで39位を獲得。自身の作品が月間チャートにランクインを果たすのは初。
11月16日付レコチョク着うたフルランキングで首位を獲得。同ランキングでのアニメソング首位獲得は史上初となる快挙である。また、2011年11月14日から11月20日調査分のサウンドスキャンの週間シングルCDソフトTOP20では16位を獲得した。
11月28日付のビルボードチャートでは、Billboard JAPAN HOT 100で15位、Billboard JAPAN Hot Singles Salesで14位、Billboard JAPAN Hot Animationで1位をそれぞれ獲得した。きただにのシングル作品がBillboard JAPAN Hot Animationで首位を獲得するのは初。
2011年11月14日から11月20日調査分のサウンドスキャンの週間シングルCDソフトTOP20では16位、2011年11月26日放送分のCOUNT DOWN TV内のThis Week's TOP 100では13位、2011年11月16日から11月22日調査分のRIAJ有料音楽配信チャートで3位を獲得した。
ウィーゴー! 講評
『CDジャーナル』は、「全体的にテレビアニメ『ONE PIECE』がニューフェイズに突入したことを感じさせる作品になっている。」と評した。
ウィーゴー! 収録曲
（全作詞：藤林聖子、作曲：田中公平、編曲：根岸貴幸）
ウィーゴー! [4:08]
テレビアニメ『ONE PIECE』15th主題歌、第521話、第522話、第573話挿入歌
ニンテンドーDSゲーム『ONE PIECE ギガントバトル! 2 新世界』テーマソング
中日ドラゴンズ和田一浩打席時登場曲（2013年 - 2015年）
1枚目のシングル「ウィーアー!」のアンサーソングであり、「ウィーアー!」と同様、作詞を藤林聖子、作曲を田中公平、編曲を根岸貴幸が手掛けている。
曲のテンポ、楽器などは「ウィーアー!」を意識した楽曲であり、「ゴールに向かって突き進む」という想いが込められており、麦わら海賊団の背中を押す曲である。詞はサビ前のフレーズがサビの最初の詞に繋がるという構成になっている。楽曲イメージは船出を思わせるアップテンポの曲調である。
楽曲製作時のテーマは、「正調アニソン」、「男の子へ向けた曲」、「一度聴いたら忘れない曲」であった。また、CDバージョンとTVバージョンは楽曲構成、詞は異なっている。
Cメロ部分のフレーズの「俺たちはここまできたぜ」が「ウィーアー!」、「俺たちは行く 夢のありかへ」が「ウィーゴー!」を示している。また、「ウィーアー!」の部分はサバイバルの海 超新星編、「ウィーゴー!」の部分は最後の海 新世界編への決意を表している。
ウィーゴー! 収録曲
目標とした点として田中は「ウィーアー!」は『ONE PIECE』の顔を目指した曲に対して「ウィーゴー!」は世界の顔を目指した曲であると語っている。
ウィーアー! for the new world [4:01]
テレビアニメ『ONE PIECE』第516話及び『ONE PIECE エピソードオブメリー 〜もうひとりの仲間の物語〜』スカパー版及びDVD版及び配信版挿入歌
「ウィーアー!」のアレンジバージョンで、2011年9月27日の自身のオフィシャルブログで、きただには新世界編へ向けた楽曲であると語っている。また、表題曲の「ウィーゴー!」へと繋がる曲でもある。
改めてレコーディングを行い、作曲を手掛けた田中は「ウィーアー!」よりも力強いかつ洗練度が上がった曲になったと語っている。きただには唄入れを行っていく中でコンサートで自身が勝手にメロディを変化させていた所を発見した為、自身が変えたメロディを残しつつ、田中が作曲家として許せない部分は原曲のまま唄入れを行ったと語っている。
DVD（期間限定生産盤のみ）
ウィーゴー! カバー
SPECIAL EDITED VERSION 『ONE PIECE』 魚人島編 オープニング主題歌
ウィーゴー！～HIKAKIN＆SEIKIN with モンキー・D・ルフィ ver.～（2025年1月、編曲：中村博）
ウィーゴー！～白上フブキ、宝鐘マリン、角巻わため with 大槻マキ Ver.～（2025年2月、編曲：久下真音）
ウィーゴー！～小鳥遊キアラ、ハコス・ベールズ、こぼ・かなえる with きただにひろし Ver.～（2025年3月、編曲：TeddyLoid＆tepe(OTOIRO)）
はーとふる彼氏
『はーとふる彼氏 〜希望の学園と白い翼〜』（はーとふるかれし きぼうのがくえんとしろいつばさ）は、日本の同人サークル「PigeoNation Inc.」による、Microsoft Windows XP及びMac OS X搭載パソコン用女性向け恋愛ゲーム、同人ゲームである。仕様別に以下の5種類が発表されている。
また、イギリスのゲーム開発スタジオMediatonicによりHDリメイク版が制作され、アメリカのゲーム販売会社Devolver DigitalよりSteam版が2014年9月5日に配信された。これ以降、PlayStation 4、PlayStation Vita、iOS、Androidの各プラットフォーム向けにも順次発売されている。
はーとふる彼氏 概要
2011年のエイプリルフール前日に、作者である玻都もあ（はと もあ）が思いついたアイデアをゲーム化したもので、最初はWebサイト上のFlashゲームとして公開されたが、エイプリルフール当日には、Webサーバをダウンさせるほどのアクセス数があったという。
この作品に登場するキャラクターは、主人公（プレイヤーキャラクター）である少女を除き、全て鳥類である。彼らは概ね、人間である主人公と言葉をかわし、学校へ通って勉強や運動や読書をしたりする。即ち、このゲームは、単純に擬人化された動物と交流したり、人間が鳥類をペットなどとして慈しむ物語ではなく、人間の少女である主人公が、現実の人間社会のような文化を持つがまさしく鳥である相手と、あたかも人同士のように対等に触れ合う姿を描く。物語は、主人公らが2年生に進級した日から一年間を描く。
はーとふる彼氏 概要
このゲームは、「恋愛対象が鳥」である点で主にインターネット上で注目を集め、同年8月11日にギズモード・ジャパン、同年8月12日にITmediaの「ねとらぼ」、同年9月9日に窓の杜の「週末ゲーム」、同年10月5日に4Gamer.netの「インディーズゲームの小部屋」と、ネットメディアや、同人ゲームソフトを扱うwebサイトで話題にされた。一方、晋遊舎の「iP!」2011年11月号（9月29日発売）、宙出版の「Cool-B」同年11月号（10月4日発売）、マガジンハウスの「GINZA」同年11月号（10月12日発売）といった、コンピュータを扱う雑誌や女性向けの雑誌にも掲載された。具体的な売り上げなどは明らかでないものの、上述の「週末ゲーム」や「インディーズゲームの小部屋」によれば、有償版である『はーとふる彼氏 Plus』は、入手困難となるほどの人気という。
はーとふる彼氏 ゲーム内容
ゲームシステムは一般的にビジュアルノベルやアドベンチャーゲームと呼ばれる物語を読み進めるもので、時おり現われる選択肢や、その選択により蓄積したパラメータによって物語の途中展開や結末が変化する。特徴としては、主人公との会話の際に表示される相手キャラクターの姿、いわゆる「立ち絵」が、それぞれの「鳥物」に設定された種である鳥類の実写画像という点が挙げられる。また、奇抜な世界観にも明確な理由があり、何度もプレイするうちにその謎が明かされていく。
このゲームには、全てのキャラクターに音声が無いが各キャラクターの初登場時には、主人公がその鳥物について簡単に説明するカットインに、「華原涼太 CV:岡本信彦」のように配役が表示される。これは「NS3（脳内再生シンクロシステム）」と名づけられ、プレイヤーに、そこに記された声優の声をキャラクターの台詞に印象付けて遊べるよう示される架空の配役である。この際、声を印象付け易いように各キャラクターを人間の男性に擬人化したイラストも表示できるが、ゲーム全般に使われる「立ち絵」はあくまでも鳥類の写真である。エイプリルフールの企画として始まった架空配役だったが、後に発売が決定したCDドラマでは、一部を除きNS3の設定そのままの声優が実際に各キャラクターを演じることになった。
はーとふる彼氏 プロローグ
生徒がハト目ばかりの名門校「聖ピジョネイション学園」にただ一人の人間として入学した主人公も、今日から2年生。1年生の頃は周りが鳥ばかりという環境に戸惑った彼女も、今はすっかり馴染んでいた。幼馴染の華原涼太、何かとうたた寝をしてしまう担任教師・七姫一明、気位の高い転校生・銀朔夜、学園の人気者である先輩・坂咲優夜、図書室で孤独に本を読みふける1年生・藤代嘆、荒ぶる陸上部部長・尾呼散、「邪緋眼」を持つという緋紅アンヘル、怪しい雰囲気を漂わせる保険医・岩峰舟と、タイプの異なるオス鳥たちとの新たな出会いを迎え、彼女の新学年は始まるのだった。
はーとふる彼氏 登場キャラクター
十坂 ひよこ（とさか ひよこ）
このゲームの主人公で、プレイヤーキャラクター。この作品に登場する唯一の人類で、ハトばかりが通う聖ピジョネイション学園の2年3組に属する女子学生。ただし、狩猟生活を窺わせる発言や横穴式住居を思わせる自宅など、現実の現代日本人とは異なる生活習慣を持つ模様。自身も「文明レベルの低い生活をしている」という自覚がある。なお、名前は初期設定のものであり、プレイヤーの任意に変更できる。
華原 涼太（かわら りょうた）
主人公の幼馴染であり、新学年でもクラスメートとなったカワラバト。母子家庭で家事を手伝うので料理が得意で、心優しく気遣いのできる性格。反面、少し胃腸が弱く、保健室の世話になることがある。
銀＝ル・ベル＝朔夜（しろがね＝る・べる＝さくや）
新学年初日に主人公らのクラスに転入してきた、フランス鳥貴族の子息であるクジャクバト。気位が高く、他の生徒を蔑むような物言いをする。しばらく別々に暮らしていた異父兄の優夜とは仲が良くない。
坂咲 優夜（さかざき ゆうや）
朔夜の異父兄にあたる3年生で、同じクジャクバトだが、朔夜には「雑種」呼ばわりされる。朔夜以外に対しては陽気に接するムードメーカーで人気者。ただ、雌に対して節操がないのが難点。
はーとふる彼氏 登場キャラクター
藤代 嘆（ふじしろ なげき）
無口で図書室に引きこもりがちな、1年生のナゲキバト。他の鳥や主人公にもほとんど打ち解けず、本を読んでいることが多い。
尾呼 散（おこ さん）
主人公のクラスメートで、陸上部部長でもある俊足の白い鳩。主人公の憶測によれば、クジャクバト。登場鳥物で唯一、人語を話せず「ポポロッぷ〜わッ!」などと叫ぶが、主人公には話が通じており、一人称を「おこさん」、語尾を「〜ですし!」「〜はとし!」とする話し方をする。
緋紅 アンヘル（ひぐれ あんへる）
2年2組に属し、漫研部員でもあるヒムネバト。本鳥曰く、「邪悪の半身をその胸の赤斑に宿した選ばれし者」。有償版に登場する追加キャラクター。
七姫 一明（ななき かずあき）
主人公らの担任で、数学科教師でもあるヒメウズラ。マイペースで、ホームルーム中や授業中にもついうたた寝をしてしまう癖がある。一方、数学者としては優秀で、論文も数多いという。
岩峰 舟（いわみね しゅう）
学園の保健医であるイワシャコ。神出鬼没で、怪しげな噂の絶えない、陰のある鳥物。
はーとふる彼氏 ドラマCD
2011年10月、フロンティアワークスによってこのゲームのドラマCD化が企画され、2011年12月29日に開催されるコミックマーケット81での先行発売が決定したことが報じられた。同様に2012年8月にはプロローグを含めて3枚目となるドラマCDの発売と後述の漫画化についても公表された。これらにおける配役は、上述のとおり架空設定であった「NS3」を、ほぼそのまま実現した形となっている。
発売されたドラマCDのラインナップは以下のとおり（2012年9月12日現在）。いずれも発売・販売元はフロンティアワークス。
はーとふる彼氏 Webラジオ
2011年12月24日から翌2012年1月25日までアニメイトTVにてインターネットラジオ番組が配信された。
はーとふる彼氏 web漫画
竹書房のウェブコミック誌『まんがライフWIN』にて2012年6月8日にストーリー漫画を配信する「まんがライフWIN+」カテゴリが追加された際、その掲載作品の第1弾として原作者・玻都もあ本人による漫画の連載が開始された。8月10日（ハトの日）に配信された第3話では、同日開催されたコミックマーケット82にて先行発売された「はーとふる彼氏 ドラマCD 第二羽」と世界観を共有した。
Au Wi-Fi SPOT
au Wi-Fi SPOT（エーユーワイファイスポット）とは、auブランドを展開するKDDIの子会社であるワイヤ・アンド・ワイヤレスが提供する公衆無線LANサービスの名称である。
Au Wi-Fi SPOT 概要
ワイヤ・アンド・ワイヤレスがauの利用者向けに提供する公衆無線LANサービスであり、指定のデータ定額サービスの契約者のみ利用可能である。利用料金はスマートフォンなど契約端末の利用は一部を除き無料で、コンピュータなど契約外端末で利用する場合は「Wi2 300 for auマルチデバイスサービス」プランの契約が必要で、利用料金は契約のデータ定額サービスによって異なり、無料で利用可能な場合と月額300円で利用可能な場合がある。2020年9月まで、au指定のデータ定額サービスやau回線の契約がない場合利用できなかったが、現在はau Wi-Fiアクセスで利用できる。
iPhoneはauで発売当初はau Wi-Fi SPOTに対応しておらず、公衆無線LANお試しキャンペーンとして2012年3月末までワイヤ・アンド・ワイヤレスが提供するWi-Fiスクエアを利用できた。au Wi-Fi SPOTは2011年12月20日から対応し、上記契約している場合は引き続き2012年3月末以降もWi-Fiスクエア、UQ Wi-Fi及びau Wi-Fi SPOT対応アクセスポイントで利用が可能である。iPhoneなどのiOS ８以前の機器ではSSIDが「au_Wi-Fi」のものには対応しておらず、それ以外のSSIDでの利用となっていたが、iOS 9から対応している。
Au Wi-Fi SPOT 概要
SSIDが「au_Wi-Fi2」のものはWPA2-EAP (802.1x/EAP-AKA) 方式とで、従来より接続時間が短縮され、高セキュリティである。
2012年3月1日 - 2016年1月31日はauのスマートフォン以外の一部を除くWi-Fi対応機器でも利用可能で、対象のauスマートフォン1台の他に最大1台までとなっていた。2016年2月1日からは「Wi2 300 for auマルチデバイスサービス」で利用可能である。
2016年1月31日までは、1分につき27円、1480円を上限に1日間、で国外も利用可能であった。2016年8月から24時間980円で利用可能な「世界データ定額」を開始する。
au Wi-Fi SPOTは2.4ギガヘルツ (GHz) 帯の他、一部を除いては5GHz帯にも対応する。
Au Wi-Fi SPOT サービススポット
KDDIの子会社であるワイヤ・アンド・ワイヤレス (SSID:au_Wi-Fi、au_Wi-Fi2、Wi2premium、Wi2premium_club、Wi2、Wi2_club、Wi-Fi_square) やUQコミュニケーションズ (SSID:UQ_Wi-Fi) が展開する公衆無線LANを利用可能である。バックボーンにUQコミュニケーションズが展開するWiMAX網やKDDIおよび電力系通信事業者各社の光回線などを利用する。Wi-Fiスポットは一部を除くauショップ、トヨタ自動車系販売店のPiPit、一部のTSUTAYA、ローソンをはじめ、カフェなどの飲食店や携帯電話売り場を持つ家電量販店、路線バスや一部の駅などで、2013年3月末時点で23万箇所ある。ごく一部にドコモショップで利用できる箇所がある。一部のスポットはSSIDが検出されるもののログインできない。京王線・京王井の頭線・小田急ロマンスカー・京成スカイライナー・成田スカイアクセスなどは車内でも利用可能で、高速バスも対応路線がある。
利用可能SSIDは機種・エリアにより異なる。
Au Wi-Fi SPOT 利用方法
iOS
auで契約したiPhoneとiPadでは、auお客様サポートを開き、Wi-Fi設定のプロファイルをインストールして利用できる。iPhone 5以降はあらかじめ自動接続が可能な状態で販売されている。ソフトバンクモバイル向けiPhone・iPadや、iPod touchなどの3G/LTE非対応iOS機器はApp Storeから導入し、あらかじめ設定したau IDとパスワードを初期設定の際に入力すると利用可能となる。
Au Wi-Fi SPOT Wi-Fi HOME SPOT
宅内でもWi-Fiが利用可能で、インターネット接続環境と専用機器（HOME SPOT CUBE (PXH11)・プラネックスコミュニケーションズ製）のレンタルが必要である。利用料金は通常月額525円だが、「ISフラット」もしくは「プランF (IS) シンプル/プランF (IS)」を契約している場合は105円で利用可能である。2012年8月末までに申し込んだ場合はさらに105円が割引されて永年無料で利用可能である。WPSに対応しており、接続は上記のau Wi-Fi 接続ツールでかんたん接続からauの項目を選択する。接続ツールを利用しない場合はSSID (auhome_xxxxxxx) とパスワードの入力する。
HOME SPOT CUBE (PXH11) は、最高通信速度は150メガビット毎秒 (Mbps)、周波数帯は2.4GHzと5GHzの無線ルーターで、auスマートフォン以外の携帯ゲーム機を含むWi-Fi対応機器も接続可能である。
Au Wi-Fi SPOT Wi-Fi HOME SPOT
Android向けのau Wi-Fi 接続ツールの最新バージョンではかんたん接続に従来のHOME SPOT CUBEを利用するものに加えて、バッファロー製とNECアクセステクニカ製のWi-Fiルーターのバーコード読み取り設定対応機種でバーコード読み取り設定にも対応するようになった。
2015年5月末にHOME SPOT CUBE (PXH11) のサポートを終了し、すでにレンタルしている利用者は無償譲渡される。
後継にHOME SPOT CUBE2は、希望小売価格7800円(税抜)で2015年4月10日発売予定である。
Au Wi-Fi SPOT au Wi-Fiアクセス
2020年9月1日から、au PAYユーザーとauスマートパスプレミアムユーザー向けに提供されている公衆Wi-Fiサービスである。au PAYとauスマートパスプレミアムはauユーザー以外も利用可能で、auユーザー以外にもau Wi-Fi SPOTが解放された。利用料金は無料でauスマートパスプレミアムユーザーはVPN機能に対応した「セキュリティモード」を利用可能で、パソコンやゲーム機の利用も対応している。
花の咲く場所
「花の咲く場所」（はなのさくばしょ）は、今井麻美の7枚目のシングル。2011年8月3日に5pb.から発売された。
花の咲く場所 概要
初回限定盤は、今井本人のオリジナルフォトジャケットになっており、「花の咲く場所」のPVを収録したDVD、ライブBD/DVD「今井麻美バースデーライブ2011」との連動特典用応募券が同梱・封入されている。また予約先着特典として、B2発売告知ポスターが封入された。
また、初回限定盤と通常盤のジャケットで着用している衣装が異なっているが、前者が囚われの身、後者が伝道師をイメージしている。
作品のキャッチコピーは、『花の咲く場所、そしてまだ見ぬ楽園(EL DORADO)へ…』
花の咲く場所 収録内容
CD
花の咲く場所 [5:00]
作詞：森由里子、作曲：濱田智之、編曲：伊藤俊
PSP用ソフト『コープスパーティー Book of Shadows』オープニングテーマ
3rdシングル『シャングリラ』と対をなす楽曲で、合唱パート担当者を続投させると同時に自身も合唱に加わるなど、3rdシングルを意識した作りになっている。歌詞は、今は困難でもその先には希望が溢れた内容となっている。
DVD（初回限定盤のみ）
スタニスワフ・ミコワイチク
スタニスワフ・ミコワイチク（Stanisław Mikołajczyk, 1901年7月18日 - 1966年12月13日）は、ポーランドの政治家。ポーランド亡命政府（以下、亡命政府）の内相および首相、ポーランド農民党（以下、農民党）党首などを務めた。姓についてはかつては日本語でミコライチェクという表記も用いられた。
スタニスワフ・ミコワイチク 来歴
1931年から1939年まで農民党左派の最高評議会メンバー、1930年から1935年までセイム（下院）議員を務めた。1939年9月、ナチス・ドイツがポーランド侵略を開始すると、ロンドンに亡命、亡命政府の内相となった。1943年7月に亡命政府首相のヴワディスワフ・シコルスキ（Władysław Eugeniusz Sikorski）が死亡したため、後を継いで1944年11月まで亡命政府首相を務めた。
解放後の1945年6月、ポーランドに帰国、ポーランド国民解放委員会（ルブリン政権）と亡命政府の一部政治家によって発足した挙国一致臨時政府（以下、臨時政府）に副首相兼農業・農地改革相として入閣した。臨時政府内部においてソ連軍の後押しを受けて勢力を拡大していたポーランド労働者党（以下、労働者党）に対抗して、同年8月に農民党を再建、党首として共産主義勢力に対抗した。
しかし、1947年に入るとソ連軍と労働者党による農民党への弾圧が強化され、ミコワイチク自身の身にも危険が及んできたため、同年10月17日までに亡命を決意。同月20日夜、イギリス大使館とアメリカ大使館の手引きでワルシャワを脱出し、翌21日午前に海路でロンドンへと向かった。1966年、アメリカ合衆国の首都、ワシントンで客死した。
KÍクラクスヴィーク
KÍクラクスヴィーク（フェロー語: Klaksvíkar Ítróttarfelag Klaksvík）は、フェロー諸島の自治体クラクスヴィークに本拠地を置くサッカークラブチームである。フェロー諸島プレミアリーグに所属している。国内リーグが初開催された1942年に優勝し初代王者となった。以降は国内リーグ3連覇が2回、5連覇が1回あり、優勝19回はHBトースハウンに次ぐ成績。
KÍクラクスヴィーク タイトル
1942, 1945, 1952, 1953, 1954, 1956, 1957, 1958, 1961, 1966, 1967, 1968, 1969, 1970, 1972, 1991, 1999, 2019, 2021, 2022, 2023, 2025
1966, 1967, 1990, 1994, 1999, 2016
2020, 2022, 2023
KÍクラクスヴィーク 現所属メンバー
2023年4月12日現在
注：選手の国籍表記はFIFAの定めた代表資格ルールに基づく。
趙逸
趙 逸（ちよう いつ、生没年不詳）は、中国の五胡十六国から北魏にかけての人物。字は思群。本貫は天水郡上邽県。
趙逸 経歴
後趙の黄門郎の趙昌の子として生まれた。後秦の姚興に仕えて、中書侍郎をつとめた。後秦の将軍の斉難の下で軍司をつとめて、赫連勃勃を討った。斉難が敗北すると、赫連勃勃に捕らえられて、夏の著作郎となった。北魏の太武帝が統万を平定すると、趙逸の書いた文章に目を止めて追放しようとしたが、司徒の崔浩が反対したため取りやめられた。そこで中書侍郎に任じられた。430年（神䴥3年）3月上巳、太武帝が白虎殿で百官に命じて詩を詠ませると、趙逸は詩の序文を作った。しばらくして寧朔将軍・赤城鎮将に任じられ、十数年のあいだ務めた。たびたび引退を願い出て、長らくして許された。70歳を越えても、書巻を手放さなかった。趙逸の著述には、詩・賦・銘・頌が五十数篇あった。
子に趙回があり、殷州刺史となった。
河原ビューティモード専門学校
河原ビューティモード専門学校（かわはらビューティモードせんもんがっこう）は、学校法人河原学園が運営している愛媛県の理美容専門学校。
富山県道160号水橋停車場線
富山県道160号水橋停車場線（とやまけんどう160ごう みずはしていしゃじょうせん）は、富山県富山市内を通る一般県道である。
河原外語観光・製菓専門学校
河原外語観光・製菓専門学校（かわはらがいごかんこう・せいかせんもんがっこう）は、学校法人河原学園が運営している専門学校。
ポートアイランド西公園
ポートアイランド西公園（ポートアイランドにしこうえん）は兵庫県神戸市のポートアイランド西海岸のウォーターフロントにある緑地公園である。一般公募による愛称はポーアイしおさい公園。
ポートアイランド西公園 概要
ポートアイランド2期地区に移転したコンテナターミナルの跡地、ポートアイランド1期地区西岸の旧PC1-5バースの海側を再整備し、神戸港開港140年に当たる2007年（平成19年）にオープンした。この公園は864mにわたって海に面しており、多くの場所から神戸港、六甲連山、神戸ポートタワーや神戸ハーバーランド等を望むことができる。岸壁は船舶の接岸が可能である。
公園は、2007年に隣接地にキャンパスを設置した神戸学院大学、兵庫医療大学、神戸夙川学院大学、夙川学院短期大学のキャンパスと一体化しており、一般・観光客でも大学のレストラン・学食等一部施設を利用可能である。
愛称である「ポーアイしおさい公園」は、一般市民の応募により決められ、135点の応募の中から選ばれた。2007年（平成19年）6月8日に、ポートアイランド西岸壁初着岸セレモニー&『ポーアイしおさい公園』命名式が開催された。
カリー＝ハワード同型対応
カリー＝ハワード同型対応（カリー＝ハワードどうけいたいおう、英語: Curry–Howard correspondence）とは、プログラミング言語理論と証明論において、計算機プログラムと証明との間の直接的な対応関係のことである。「プログラム＝証明」(proofs-as-programs)・「型＝命題」(formulae-as-types)などとしても知られる。これはアメリカの数学者ハスケル・カリーと論理学者ウィリアム・アルヴィン・ハワードにより最初に発見された形式論理の体系とある種の計算の体系との構文論的なアナロジーを一般化した概念である。通常はこの論理と計算の関連性はカリーとハワードに帰属される。しかしながら、このアイデアはブラウワー、ハイティング、コルモゴロフらが定式化した直観主義論理の操作的解釈の一種（ブラウワー＝ハイティング＝ コルモゴロフ解釈（BHK 解釈））と関係している。
カリー＝ハワード同型対応 一般的な定式化
もっと一般的な観点からいえば、カリー＝ハワード対応は証明計算と計算模型の型システムとの間の対応である。これは2つの対応に分けられる。ひとつは、論理式と型のレベルであり、これは特定の証明体系や計算模型の選択に依存しない。いまひとつは、形式的証明とプログラムのレベルであり、これは証明体系や計算模型の選択に依存する。
論理式と型のレベルにおいて、この対応によれば、含意は関数型、論理積は直積型（タプル、構造体、リストなど、言語によって様々に呼ばれる）、論理和は直和型（バリアント、共用体、Eitherなど）、偽は空な型、真はシングルトン型のように振る舞うという。量化子は依存直積または直和にそれぞれ対応する。
まとめると、次のような表になる：
証明体系と計算模型のレベルにおいて、この対応は主に構造的な同一性を示す。ひとつはヒルベルト流の推論体系とコンビネータ論理、いまひとつはゲンツェンの自然演繹とラムダ計算との間の同一性である。
自然演繹とラムダ計算との間には次のような対応関係が存在する：
カリー＝ハワード同型対応 ヒルベルト流の推論体系とコンビネータ論理との間の対応
この対応はCurry and Fays (1958)に於いて指摘された：最も単純なコンビネータ論理の一種におけるコンビネータ K と S が、驚くべきことにヒルベルト流の証明体系における公理図式  と   とにそれぞれ対応するのである。このことから、しばしば上記の公理図式はそれぞれ K と S と呼ばれる。ヒルベルト流の証明と見做せるプログラムの例が与えられる（後述）。
直観主義論理の含意断片に制限するならば、次のようにヒルベルト流の極めて簡明な形式化が存在する。いま  を論理式の有限集合として、これを仮定と見做す。論理式  が  から導出可能である（）とは、以下の場合をいう：
これは推論規則を用いて形式化できる。以下に示す表の左の列を参照されたい。
我々は同様の構文により型付きコンビネータ論理を形式化することができる。いま  を次の形式の有限集合（ただし同じ変数に異なる型が紐付けられてはならない）として、これを変数の型宣言と見做す。
ここで  は変数、  は型
このとき、CL項  が  のもとで型  を持つ（）とは、以下の場合をいう：
型付きCL項の構成規則は以下に示す表の右の列を参照されたい。カリーは各々の行が同型に対応していることを指摘した。この直観論理との対応の制限は、古典論理の恒真式、例えばパースの法則  などがこの対応から締め出されていることを意味する。
カリー＝ハワード同型対応 ヒルベルト流の推論体系とコンビネータ論理との間の対応
もっと抽象的なレベルから見ると、この対応は以下の表のようにして述べ直すことができる。とくに、ヒルベルト流の推論体系における演繹定理（のメタ証明）は、コンビネータ論理における抽象の除去手続きと対応している。
この対応によって、コンビネータ論理の結果をヒルベルト流の推論体系の結果に翻訳できる。その逆もまた同様である。例えば、CL項の簡約はヒルベルト流の証明図の簡約手続きと見ることができる。また、正規なCL項は正規な証明図へと翻訳される。ここで正規とは、これ以上簡約できないことを意味する。正規化定理は型付け可能なCL項は必ず正規形を持つという定理であるが、これはヒルベルト流の証明図は必ず正規形を持つという結果に翻訳できる。
反対に、直観主義論理における例えばパースの法則の証明不能性は、コンビネータ論理における次の結果に翻訳できる：型  を持つCL項は存在しない。
コンビネータからなる集合の完全性の結果もまた翻訳できる。例えば、 one-point basis  は任意のCL項を表現できることが知られている。このコンビネータから公理図式
が得られる。これは  の主要型（ の可能な型で代入に関して極小なもの）である。 コンビネータの完全性から、上に挙げた唯一の公理図式から次の公理図式が証明可能であることが従う：
カリー＝ハワード同型対応 自然演繹とラムダ計算との間の対応
ハスケル・カリーがヒルベルト流の体系とコンビネータ論理の構文的対応を強調した後、ウィリアム・アルヴィン・ハワードは1969年に単純型付きラムダ計算と自然演繹との構文的な同型性を明確にした。以下、左辺で直観主義的自然演繹の含意断片を形式化し、右辺でラムダ計算の型付け規則を示す。左辺では  で順序付けられた論理式の列を表す。右辺ではラムダ項で名前付けられた論理式の列を表す。
この対応を言い換えれば、 を証明するということは、型宣言列  のもとで型  を持つオブジェクトを構成することに対応する。公理は新しい変数の導入（とその型宣言）に、→ I 規則は関数抽象に、→ E 規則は関数適用に対応する。もし左辺の文脈  を単なる論理式の集合と見做す（暗黙の縮約と弱化を認める）ならば、この対応は正確ではないことが分かる。というのも、例えば  の中にラムダ項  と  で名前付けられた論理式  が属していたならば、右辺ではこれらを区別するが、左辺ではこれを同じものと見做す。
ハワードは他の論理の結合子と単純型付きラムダ項の他の構成との間に対応を拡張できることを示した。例えば論理積との対応は次に示す表のようになる：
カリー＝ハワード同型対応 自然演繹とラムダ計算との間の対応
もっと抽象的に見ればこの対応は次の表として纏められる。とりわけ、ラムダ計算における正規形の概念は自然演繹におけるプラヴィッツの正規な証明に対応する。型付けられたラムダ項は正規形を持つという結果（正規化定理）は、自然演繹の無矛盾性や論理和分離特性の証明に利用できる。型の具体性の問題の決定手続きを直観主義的な証明可能性の決定手続きに変換できる。
ハワードの対応は自然演繹およびラムダ計算の拡張に対しても自然に延長できる。網羅的ではないがここに列挙しておく：
ハワードの対応はまた自然演繹およびラムダ計算の制限に対しても成り立つ。例えばBCKλ計算とBCK論理の対応が挙げられる。ここでBCKλ計算とは、ラムダ項の構成のうち関数適用の規則を
M と N に共通に現れる自由変数が存在しないならば (MN) はラムダ項である
と制限することにより得られる項書換え系である。これにより自由変数の複数回の使用が禁止される。したがってこの体系は1つの仮定を複数回使用する（縮約規則）ことを禁止するBCK論理と対応する。さらにラムダ項の構成のうちラムダ抽象の規則を
M の中に変数記号 x が自由に現れるならば (λx.M) はラムダ項である
と制限することにより得られる体系はBCI論理と対応する。これにより未使用の変数の束縛が禁止される。したがってこの体系は縮約規則に加えて未使用の仮定を解消する（弱化規則）ことを禁止するBCI論理と対応する。
カリー＝ハワード同型対応 古典論理と制御演算子との間の対応
カリーおよびハワードの時代では、「証明＝プログラム」対応は専ら直観主義論理においてのみ考察されていた。すなわち、ここでの論理では、とくにパースの法則は導出不能であった。パースの法則すなわち古典論理を含む明確な対応の拡張はグリフィンの仕事による。グリフィンはプログラムの実行における評価文脈（継続）をキャプチャしそれを再度使用するような制御演算子を持つラムダ計算が古典論理と対応することを指摘した。基本的な古典論理のカリー＝ハワード対応は以下で与えられる。なお、古典論理の証明から直観論理の証明への変換（グリベンコの定理）に用いられる二重否定変換は、制御演算子を持つラムダ項から純粋なラムダ項へのCPS変換に対応する。もっと具体的にいえば、名前呼びCPS変換はコルモゴロフの二重否定変換に、値呼びCPS変換は黒田の二重否定変換に関係する。
パースの法則の代りにシークエントの結論に複数の論理式を許容することによっても古典論理の自然演繹を定義できる。この場合もやはり対応が成立する。例えばある種の古典論理の自然演繹とM. Parigotのλμ計算の間に「証明＝プログラム」の対応が存在する。
カリー＝ハワード同型対応 シークエント計算
「証明＝プログラム」対応はゲンツェンのシークエント計算においても確立されるが、ヒルベルト流の体系や自然演繹のように、既に知られていたような計算模型との対応関係は存在しない。
シークエント計算は左導入規則、右導入規則、ならびに除去可能なカット規則により特徴づけられる。シークエント計算の構造はある種の抽象機械の構造に似ている。非形式的な対応は次のようである：
カリー＝ハワード同型対応 再帰型と自己言及
命題論理式に次のような構成規則を追加する場合を考える：
が論理式で  が命題変数ならば、 は論理式である。
この論理式の内容的な意味は循環的命題  である。ただし  なる論理式の内容的意味  の中の this は命題全体ではなく  を指示するものである。すなわち  とは次の論理式の再帰方程式
の解（不動点）であるというに他ならない。例えば  は嘘つきのパラドックスにおける嘘つき命題 this sentence is false を意味する論理式である。したがってこの論理体系は矛盾している。
この論理式構成に対応する型構成を再帰型という。例えば可変長リスト型は再帰型として実現できる：
ここで 1 はトップ型である。この型システムでは Yコンビネータ や  などの項も型を持つことになる。これらの項は通常の型システムでは型を持たない。なおコンビネータ  の（主要型の）型付けの導出はカリーのパラドックスの自然演繹による証明と対応する。
以上の体系の対応は次のように纏められる：
カリー＝ハワード同型対応 例
カリー＝ハワード対応により、型付けられた表現は対応する論理式の証明と見做すことができる。以下、いくつかの例を与える。
簡単な例として  のヒルベルト流の証明を構成する。ラムダ計算では、これは恒等関数  の型であり、コンビネータ論理では恒等関数は  と  により  （ただし慣例によって適用は左結合と見做す）と表現できる。以上の説明は  の証明の構成を与えている。実際、この論理式は次のようにしてヒルベルト流の証明体系にて証明可能である（慣例に従い含意記号は右結合と見做す）：
もっと複雑な例として、 コンビネータに対応する定理を示そう。 の型は  である。 は  に対応する（この事実は抽象除去などを用いて得られる）。これは目的の定理の証明の道筋を与えている。
まず  を構成する。公理  の前にまず公理  の形を見る。そして公理  の  に公理  の論理式を代入する。すると次が得られる：
カリー＝ハワード同型対応 例
ここで  とモーダス・ポネンスにより、
次にこの論理式と公理  の最初の部分  とが同一になるような代入を求め（ユニフィケーション）、
を得る。これと先の論理式にモーダス・ポネンスを適用すれば、
この論理式の最初の部分  と公理  とが同一になるような代入を求めれば、それは  であるから、
最後にこれらにモーダス・ポネンスを適用すれば次を得る：
適当に命題変数の名前を付け替えれば所望の論理式の証明が得られる。
次の図は  の自然演繹における証明である。簡単のため、文脈  は省略してある。
この証明が型付きラムダ項  と解釈できることは明らかである。なお、前述の   のヒルベルト流の証明は、自然演繹におけるこの証明に対して抽象の除去とη変換を何度か使用することで得られる。
カリー＝ハワード同型対応 その他の応用
最近ではカリー＝ハワード対応が遺伝的プログラミングにおける探索空間のパーティションを定義する方法として提案されている。この手法は遺伝子型（システムにより進化するプログラムの木）の集合に対して（種と呼ばれる）カリー＝ハワード対応する証明を索引付ける。
カリー＝ハワード同型対応 参照文献
De Bruijn, Nicolaas (1968), Automath, a language for mathematics, Department of Mathematics, Eindhoven University of Technology, TH-report 68-WSK-05. Reprinted in revised form, with two pages commentary, in: Automation and Reasoning, vol 2, Classical papers on computational logic 1967–1970, Springer Verlag, 1983, pp. 159–200.
カリー＝ハワード同型対応 参照文献
Howard, William A. (September 1980) [original paper manuscript from 1969], “The formulae-as-types notion of construction”, in Seldin, Jonathan P.; Hindley, J. Roger, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Boston, MA: Academic Press, pp. 479–490, ISBN 978-0-12-349050-6 .
Davies, Rowan; Pfenning, Frank (2001), “A Modal Analysis of Staged Computation”, Journal of the ACM 48 (3):  555–604, doi:10.1145/382780.382785, https://www.cs.cmu.edu/~fp/papers/jacm00.pdf
カリー＝ハワード同型対応 参照文献
Pfenning, Frank; Davies, Rowan (2001), “A Judgmental Reconstruction of Modal Logic”, Mathematical Structures in Computer Science 11:  511–540, doi:10.1017/S0960129501003322, https://www.cs.cmu.edu/~fp/papers/mscs00.pdf
Griffin, Timothy G. (1990), “The Formulae-as-Types Notion of Control”, Conf. Record 17th Annual ACM Symp. on Principles of Programming Languages, POPL '90, San Francisco, CA, USA, 17–19 Jan 1990, pp. 47–57 .
カリー＝ハワード同型対応 参照文献
Parigot, Michel (1992), “Lambda-mu-calculus: An algorithmic interpretation of classical natural deduction”, Logic Programming and Automated Reasoning: International Conference LPAR '92 Proceedings, St. Petersburg, Russia, Lecture Notes in Computer Science, 624, Berlin; New York: Springer-Verlag, pp. 190–201, ISBN 978-3-540-55727-2 .
カリー＝ハワード同型対応 参照文献
Herbelin, Hugo (1995), “A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure”, in Pacholski, Leszek; Tiuryn, Jerzy, Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25–30, 1994, Selected Papers, Lecture Notes in Computer Science, 933, Berlin; New York: Springer-Verlag, pp. 61–75, ISBN 978-3-540-60017-6 .
カリー＝ハワード同型対応 参照文献
Gabbay, Dov; de Queiroz, Ruy (1992), “Extending the Curry–Howard interpretation to linear, relevant and other resource logics”, Journal of Symbolic Logic, 57, pp. 1319–1365 . (Full version of the paper presented at Logic Colloquium '90, Helsinki. Abstract in JSL 56(3):1139–1140, 1991.)
de Queiroz, Ruy; Gabbay, Dov (1994), “Equality in Labelled Deductive Systems and the Functional Interpretation of Propositional Equality”, in Dekker, Paul; Stokhof, Martin, Proceedings of the Ninth Amsterdam Colloquium, ILLC/Department of Philosophy, University of Amsterdam, pp. 547–565, ISBN 90-74795-07-2 .
カリー＝ハワード同型対応 参照文献
de Queiroz, Ruy; Gabbay, Dov (1995), “The Functional Interpretation of the Existential Quantifier”, Bulletin of the Interest Group in Pure and Applied Logics, 3(2–3), pp. 243–290 . (Full version of a paper presented at Logic Colloquium '91, Uppsala. Abstract in JSL 58(2):753–754, 1993.)
de Queiroz, Ruy; Gabbay, Dov (1997), “The Functional Interpretation of Modal Necessity”, in de Rijke, Maarten, Advances in Intensional Logic, Applied Logic Series, 7, Springer-Verlag, pp. 61–91, ISBN 978-0-7923-4711-8 .
カリー＝ハワード同型対応 参照文献
de Queiroz, Ruy; Gabbay, Dov (1999), “Labelled Natural Deduction”, in Ohlbach, Hans-Juergen; Reyle, Uwe, Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Trends in Logic, 7, Kluwer Acad. Pub., pp. 173–250, ISBN 978-0-7923-5687-5, http://www.springer.com/philosophy/logic/book/978-0-7923-5687-5 .
カリー＝ハワード同型対応 参照文献
de Oliveira, Anjolina; de Queiroz, Ruy (1999), “A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction”, Logic Journal of the Interest Group in Pure and Applied Logics, 7, Oxford Univ Press, pp. 173–215 . (Full version of a paper presented at 2nd WoLLIC'95, Recife. Abstract in Journal of the Interest Group in Pure and Applied Logics 4(2):330–332, 1996.)
カリー＝ハワード同型対応 参照文献
Poernomo, Iman; Crossley, John; Wirsing; Martin (2005) [2005], Adapting Proofs-as-Programs: The Curry–Howard Protocol, Monographs in Computer Science, Springer, ISBN 978-0-387-23759-6 , concerns the adaptation of proofs-as-programs program synthesis to coarse-grain and imperative program development problems, via a method the authors call the Curry–Howard protocol. Includes a discussion of the Curry–Howard correspondence from a Computer Science perspective.
カリー＝ハワード同型対応 参照文献
de Queiroz, Ruy J.G.B.; de Oliveira, Anjolina (2011), “The Functional Interpretation of Direct Computations”, Electronic Notes in Theoretical Computer Science, 269, Elsevier, pp. 19–40, doi:10.1016/j.entcs.2011.03.003 . (Full version of a paper presented at LSFA 2010, Natal, Brazil.)
de Queiroz, Ruy J.G.B. (1994), “Normalisation and language-games”, Dialectica, 48, pp. 83–123, http://www3.interscience.wiley.com/journal/119262585/abstract?CRETRY=1&SRETRY=0 . (Early version presented at Logic Colloquium '88, Padova. Abstract in JSL 55:425, 1990.)
カリー＝ハワード同型対応 参照文献
de Queiroz, Ruy J.G.B. (2001), “Meaning, function, purpose, usefulness, consequences – interconnected concepts”, Logic Journal of the Interest Group in Pure and Applied Logics, 9, pp. 693–734, http://jigpal.oxfordjournals.org/cgi/content/abstract/9/5/693 . (Early version presented at Fourteenth International Wittgenstein Symposium (Centenary Celebration) held in Kirchberg/Wechsel, August 13–20, 1989.)
de Queiroz, Ruy J.G.B. (2008), “On reduction rules, meaning-as-use and proof-theoretic semantics”, Studia Logica, 90, pp. 211–247, http://www.springerlink.com/content/27nk266126k817gq/ .
カリー＝ハワード同型対応 参照文献
De Bruijn, Nicolaas Govert (1995), “On the roles of types in mathematics”, in Groote, Philippe de, The Curry–Howard isomorphism, Cahiers du Centre de logique (Université catholique de Louvain), 8, Academia-Bruyland, pp. 27–54, ISBN 978-2-87209-363-2, http://alexandria.tue.nl/repository/freearticles/597627.pdf , the contribution of de Bruijn by himself.