stanford-oval/wikipedia huggingface dataset:
すずきももこ
出演 > ゲーム

ソラとウミのアイダ（2017年、櫻舞湖）
誰ガ為のアルケミスト（2017年、レオニア）
シャドウストーン（2017年、アイ・エヴァ ほか）
ファントム オブ キル（2018年、カリス・聖鎖・アザゼル）
装甲娘（2018年、ブルド、ミネルバ）
ファイトリーグ（2018年、プリティ フルール）
絵師神の絆（2020年、ノルマー）
アートコードサマナー（2020年、菱川師宣）
装甲娘 ミゼレムクライシス（2020年、ブルド、ミネルバ）
ファントム オブ キル -オルタナティブ・イミテーション-（2024年、カリス）
出演 > 外画

シャドウ・チェイサー（2017年、クシューシャ）
出演 > ラジオ

文化放送ウェンズデープレミアム 青木瑠璃子の声優アワード ナビゲーション！（2016年、文化放送）
声優ラッパー養成講座（2017年、K-Station Musicチャンネル）
あさひのももCan（2018年、Kステーションチャンネル）
宇宙漁師候補生がラジオやってみた!宇宙漁業団非公認!花林とほの花とももことソラとウミのラジオ!略してギョギョッとラジオ!さらに略してギョギョラジ!（2017年 - 2018年、超!A&G+・音泉）
出演 > テレビ

韓国食品 パプリカ（2016年、テレビCMナレーション）
テレビ東京『おはスタ』（2017年、ジャラステナビガール）
キッズステーション『子育てTVハピクラ』（2017年、ナレーション）
出演 > その他

MEMプロジェクト（2018年 - 、黒羽聖）
YouTubeチャンネル「新人声優がバンドやってみた企画」ガールズバンド"Vounce"（2020年 - 、ドラム担当)
ディスコグラフィ

| 発売日> 2018年 | 商品名> 2018年 | 歌唱> 2018年 | 楽曲> 2018年 | 備考> 2018年 |
| --- | --- | --- | --- | --- |
| 11月28日 | ソラとウミのアイダ ボーカルソング集 | 空町春（高橋花林）、ルビー・安曇（井上ほの花）、櫻舞湖（すずきももこ） | 「ソラとウミのアイダ」 | テレビアニメ『ソラとウミのアイダ』オープニングテーマ |
| 11月28日 | ソラとウミのアイダ ボーカルソング集 | 櫻舞湖（すずきももこ） | 「ドンパン節」 | テレビアニメ『ソラとウミのアイダ』関連曲 |
2019年
| 11月29日 | MEM project Sprouting Dreams | 黒羽聖（すずきももこ）、朝比奈ひな（音羽里奏） | 「虹の花束」 |  |
| 11月29日 | MEM project Sprouting Dreams | 天宮もなか（天野聡美）、黒羽聖（すずきももこ）、朝比奈ひな（音羽里奏） 月岡みかん（大石歩佳）、柏崎こぐま（優音）、西遠白雪（澤田美晴）、三ツ星綺羅良（若林倫香） | 「恋に吠えろ」 |  |
オンリー・ユー (1994年の映画)

| オンリー・ユー |
| --- | --- |
 Only You
監督:  ノーマン・ジュイソン
脚本:  ダイアナ・ドレイク
製作:  ノーマン・ジュイソン ケイリー・ウッズ ロバート・N・フリード チャールズ・マルヴェヒル
出演者:  マリサ・トメイ ロバート・ダウニー・Jr
音楽:  レイチェル・ポートマン
撮影:  スヴェン・ニクヴィスト
編集:  スティーブン・E・リヴキン
配給:   トライスター ピクチャーズ  COLTRI
公開:   1994年10月7日  1995年9月9日
上映時間:  108分
製作国:   アメリカ合衆国
言語:  英語
興行収入:  $20,059,210
テンプレートを表示
『オンリー・ユー』（Only You）は、1994年に公開されたアメリカ合衆国のロマンティック・コメディ映画。
ストーリー

ルイ・アームストロングが歌う「オンリー・ユー」が流れる。小学校教師であるロマンティストな女性フェイス（「信念」という意味がある）は、幼い頃に兄ラリーと遊んだ占い盤で出てきた名前と水晶占い師にも告げられた「運命の人」の名前「デイモン・ブラッドリー」を未だに信じている。だが、そんな名前の男性が実際に現れるはずもなく、フェイスは足専門の医者のドウェインと婚約。『南太平洋』の「魅惑の宵」を感動しながら観ていると、兄の妻で親友でもあるケイトは「『愛の歌は残酷なウソ』とカウンセラーが言った」などと愚痴だらけ。結婚式まで10日前と迫ったある日、2度着たという母親のウェディングドレスを試着して「人生は映画と違う」と嘆く。転送されたドウェイン宛ての電話が鳴り、結婚式には参加できないという高校の同級生の名前を聞くと「デイモン・ブラッドリー」という。
これは運命なんだと信じて疑わないフェイスはケイトと共に、デイモンが向かったとされるベニスの高級ホテル「ダニエリ」へと向かう。しかし、彼はその日のうちにホテルを発ってしまっていた。それでも諦めきれないフェイスはゴミの中のメモから彼が次に向かったかもしれないローマへ、ストライキで交通手段がなくなるので、レンタカーで向かう。「お見合い結婚がうらやましい　失敗を親のせいにできるわ」といいながらレストランで人探し。その名前の男は6000キロ旅してきて5メートル先にいるといわれるが、トラブルで見失う。街なかで、靴を落とし、偶然にも拾った男性は靴の専門家で「デイモン・ブラッドリー」と名乗る。ゲーテの詩を2人で暗唱「…離れていた二人に昨夜同じ鳥の鳴き声が響いた」、リルケの詩だった！一日デートを楽しみ、「真実の口」で手を一緒に入れ、いざキスを交わすとなった時、2人は意外な告白をする。帰国する前にポジターノに、ケイトにナンパするイタリア男と4人で向かう。浜で老人が「運命は星に書かれている」という。異常事態に慌ててイタリアに来たラリーが占いに関する真実を伝える。
キャスト

※括弧内は日本語吹替
フェイス・コルヴァッチ - マリサ・トメイ（佐々木優子）
ピーター・ライト - ロバート・ダウニー・Jr（堀内賢雄）
ケイト・コルヴァッチ - ボニー・ハント（吉田理保子）
ジョヴァンニ - ジョアキム・デ・アルメイダ（菅生隆之）
ラリー・コルヴァッチ - フィッシャー・スティーヴンス（牛山茂）
ハリー - ビリー・ゼイン（中田和宏）
ドウェイン - ジョン・ベンジャミン・ヒッキー（伊藤和晃）
レスリー - シオバン・ファロン（雨蘭咲木子）
デイモン・ブラッドリー - アダム・ルフェーヴル（大川透）
水晶占い師 - アントニア・レイ（片岡富枝）
スタッフ

監督：ノーマン・ジュイソン
製作：ノーマン・ジュイソン、ケイリー・ウッズ、ロバート・N・フリード、チャールズ・マルヴェヒル
脚本：ダイアナ・ドレイク
撮影：スヴェン・ニクヴィスト
音楽：レイチェル・ポートマン
佐竹義術

| --- | --- |
: 「佐竹義休」とは別人です。
|  凡例佐竹 義術 |
| --- | --- |
時代:  江戸時代後期
生誕:  寛政5年7月2日（1793年8月8日）
死没:  天保12年10月14日（1841年11月26日）
改名:  百太郎（幼名）→義術
別名:  又四郎、河内（通称）
戒名:  慈徳院殿俊山良英
主君:  佐竹義厚
藩:  出羽国久保田藩角館所預
氏族:  佐竹北家
父母:  父：佐竹義文、母：戸村義敬の長女
妻:  正室：佐竹義恭の娘（佐竹義純の姉または妹）
子:  於庫（多賀谷厚孝正室）、武子（佐竹義茂正室）、義陳 養子：義許 （多賀谷厚孝の子）
テンプレートを表示
佐竹 義術（さたけ よしやす）は、佐竹氏一門の佐竹北家第15代当主。佐竹北家角館第8代所預。
生涯

寛政5年（1793年）、佐竹義文の子として生まれる。文政7年（1824年）、藩主佐竹義厚が将軍徳川家斉に拝謁する際に同席する。文政8年（1825年）、父の隠居により家督を相続し、角館城代となる。天保5年（1834年）、北浦一揆が発生すると、自ら一揆勢と面談して取り鎮めた。天保7年（1837年）、嫡男の義陳（よしのぶ）が17歳で早世する。天保12年（1841年）死去。家督は外孫（長女の長男）で多賀谷厚孝の長子である義許が養子となって相続した。
中国オープン (ゴルフ)

| ボルボ中国オープン>  トーナメント情報 |
| --- | --- |
創設:  1995
開催地:   北京（2017年）
開催コース:  トップウィンゴルフ&CC（2017年）
基準打数:  72（2015年）
ヤーデージ:  7,229ヤード (6,610 m)
ツアー:  ヨーロピアンツアー アジアンツアー
競技方法:  72ホールストローク
賞金総額:  2000万人民元
開催月:  4月
 最高記録
最少打数:  264 ニコラス・コルサーツ（英語版） (2011)
通算スコア:  −24 (同上)
 最新優勝者
  Sarit Suwannarut
テンプレートを表示
ボルボ中国オープン（ボルボちゅうごくオープン、英: Volvo China Open、中: 沃尔沃中国公开赛）は中華人民共和国で開催されるナショナルオープンであり、中国ゴルフ協会と国家体育総局小球運動管理中心が主催するヨーロピアンツアーとワンアジアツアーの共催大会。
概要

2008年まではアジアンツアーとヨーロピアンツアーとの共催大会で、アジアンツアーの一戦として開催されていた。
2009年からはワンアジアツアーのヨーロピアンツアーとの共催大会として開催されている。
2013年大会では、イェ・ワーチェン（中国）が12歳242日でヨーロピアンツアー出場の最年少記録を塗り替えたことが話題となった。2020年以降は新型コロナの影響で中断。2024年に5年ぶりに開催予定
歴代優勝者

| 年 | ツアー | 優勝者 | スコア | アンダーパー | 2位との差 | 2位（タイ） |  |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 2024 | CHN, EUR |  Adrián Otaegui | 198 | −18 | 1 stroke |  Guido Migliozzi | Hidden Grace |
| 2023 | ASA, CHN |  Sarit Suwannarut | 269 | −19 | 6 strokes |  Chen Guxin  Kho Taichi | Hidden Grace |
| 2022 | EUR | No tournament due to the COVID-19 pandemic | No tournament due to the COVID-19 pandemic | No tournament due to the COVID-19 pandemic | No tournament due to the COVID-19 pandemic | No tournament due to the COVID-19 pandemic | No tournament due to the COVID-19 pandemic |
| 2021 | CHN, EUR |  Zhang Jin | 280 | −8 | 1 stroke |  Li Haotong | Genzon |
| 2020 | ASA, CHN, EUR |  Zhang Huilin | 269 | −19 | 9 strokes |  Ding Wenyi (a) | Genzon |
| 2019 |  ミッコ・コルホネン | Genzon Golf Club | 268 | −20 | Playoff |  ベンジャミン・エベール |  |
| 2018 |  アレクサンダー・ビョーク | Topwin Golf and Country Club | 270 | −18 | 1打差 |  アドリアン・オタエグイ |  |
| 2017 |  アレクサンダー・レビ | Topwin Golf and Country Club | 271 | −17 | Playoff |  ディラン・フリッテリ |  |
| 2016 |  李昊桐 | Topwin Golf and Country Club | 266 | −22 | 3打差 |  フェリペ・アギラー |  |
| 2015 |  呉阿順 | Pudong Golf Club | 279 | −9 | 1打差 |  デービッド・ハウエル |  |
| 2014 |  アレキサンダー・レビ（英語版） | Genzon Golf Club | 269 | −19 | 4打差 |  |  |
| 2013 |  ブレット・ラムフォード（英語版） | Binhai Lake Golf Club | 272 | −16 | 4打差 |  |  |
| 2012 |  ブランデン・グレース（英語版） | Binhai Lake Golf Club | 267 | −21 | 3打差 |  |  |
| 2011 |  ニコラス・コルサーツ（英語版） | 蘇州金鶏湖国際CC | 264 | −24 | 4打差 |  |  |
| 2010 |  梁容銀 | Suzhou Jinji Lake GC | 273 | −15 | 2打差 |  |  |
| 2009 |  スコット・ストレンジ（英語版） | 北京CBD国際GC | 280 | −8 | 1打差 |  |  |
| 2008 |  ダミアン・マクグレン（英語版） | 北京CBD国際GC | 278 | −10 | 9打差 |  |  |
| 2007 |  マルクス・ブライヤー（英語版） | 上海旭宝GC | 274 | −10 | 5打差 |  |  |
| 2006 |  ジーブ・ミルカ・シン | Beijing Honghua International GC | 278 | −10 | 1打差 |  |  |
| 2005 |  ポール・ケーシー | 深圳GC | 275 | −13 | Playoff |  |  |
| 2004 |  スティーブン・ドッド（英語版） | 上海旭宝GC | 276 | −12 | 3打差 |  |  |
| 2003 |  張連偉（英語版） | 上海旭宝GC | 277 | −11 | 2打差 |  |  |
| 2002 |  デビッド・グリーソン（英語版） | 上海旭宝GC | 272 | −16 | 1打差 |  |  |
| 2001 |  チャーリー・ウィー（英語版） | 上海旭宝GC | 272 | −16 | 1打差 |  |  |
| 2000 |  サイモン・ダイソン（英語版） | 上海旭宝GC | 275 | −13 | 1打差 |  |  |
| 1999 |  キー・フラ・ハン | 上海旭宝GC | 273 | −15 | 7打差 |  |  |
| 1998 |  エド・フライアット（英語版） | 上海太陽島国際GC | 269 | −19 | 2打差 |  大山健 |  |
| 1997 |  程軍 | 北京国際GC | 280 | −8 | 5打差 |  |  |
| 1996 |  プラヤド・マークセン | 北京国際GC | 269 | −19 | 9打差 |  |  |
| 1995 |  ラウル・フレテス（英語版） | 北京国際GC | 277 | −11 | 3打差 |  |  |
ジョージ・ゴードン (第9代ハントリー侯爵)

第9代ハントリー侯爵、ジョージ・ゴードン（英: George Gordon, 9th Marquess of Huntly, KT、1761年6月28日 - 1853年6月17日）は、イギリス・スコットランドの政治家、陸軍軍人、貴族。
爵位を継承する1794年までストラサヴォン卿 (Lord Strathavon)の儀礼称号を使用し、1794年にアボイン伯爵（英語版）を継承。1836年にハントリー侯爵の爵位を継承した。
経歴

1761年6月28日、スコットランド貴族の第4代アボイン伯爵（英語版）チャールズ・ゴードンとその妻マーガレット(第6代ギャロウェイ伯爵アレグザンダー・スチュワートの娘)の間の長男としてエディンバラで生まれる。
イートン校で学ぶ。
1777年に陸軍に入隊。第1歩兵連隊、ついで第81ハイランド歩兵連隊に配属された。1780年からアイルランド総督の第5代カーライル伯爵フレデリック・ハワードの副官となる。1782年に第9竜騎兵連隊に転属となり、1783年には少佐、1789年には第35歩兵連隊の中佐となる。
1802年から1804年にかけてはフリーメイソン・スコットランド・グランドロッジ・グランドマスター（英語版）を務めた。
1794年12月28日、父の死により第4代アボイン伯爵（英語版）を継承した。1796年の総選挙の際にスコットランド貴族の貴族代表議員に選出され、貴族院議員となった。1802年、1807年、1812年にも選出された。1815年8月11日には連合王国貴族メルドラム男爵に叙せられ、自動的に貴族院議員に列することになった。
党派はトーリー党だった。1832年には第2代グレイ伯爵チャールズ・グレイ内閣を一時総辞職に追い込んだトーリー党議員初代リンドハースト男爵ジョン・コプリー（英語版）提出の選挙法改正法案に関する動議に協力した。
1836年5月28日、親族の第5代ゴードン公爵・第8代ハントリー侯爵ジョージ・ゴードンが嫡出子なく死去した。ゴードン公爵位は継承者なく絶えたが、ハントリー侯爵位は彼が継承した(彼は第2代ハントリー侯爵ジョージ・ゴードン（英語版）の来孫にあたるため)。しかしこの際、ハントリー伯爵位とハントリー侯爵位と一緒に創設された2つの爵位(インジー伯爵位とバデノックのゴードン卿)の継承は認められなかった。ハントリー伯爵位については女系継承が可能な爵位との反論があり、リッチモンド公爵家が継承者である可能性があるためであった。
1853年6月17日にロンドン・グローヴナー広場・チャペル通りで死去。
栄典 > 爵位

1794年12月28日の父の死により以下の爵位を継承。
第5代アボイン伯爵（英語版）(5th Earl of Aboyne)
第5代ストラサヴォン及びグレンリベットのゴードン卿 (5th Lord Gordon of Strathavon and Glenlivet)
1815年8月11日に以下の爵位を新規に与えられた
初代アバディーン州におけるモーヴァンのメルドラム男爵 (1st Baron Meldrum, of Morven in the County of Aberdeen)
1836年5月28日に死去した親族から以下の爵位を継承
第9代ハントリー侯爵 (9th Marquess of Huntly)
栄典 > 勲章

1827年、シッスル騎士団(勲章)ナイト(KT)。
家族

1791年に第2代準男爵チャールズ・コープ（英語版）の娘キャサリンと結婚し、彼女との間に爵位を継承するチャールズ・ゴードン（英語版）はじめ8子を儲けた。
第1子(長男)チャールズ・ゴードン（英語版） (1792–1863)
第2子(長女)キャサリン・スーザン・ゴードン (1792–1866) - チャールズ・キャヴェンディッシュ（英語版）と結婚
第3子(次男)ジョージ・ゴードン (1794–1862)
第4子(三男)ジョン・フレデリック・ゴードン＝ハリバートン（英語版） (1799–1878) - 海軍軍人
第5子(四男)ヘンリー・ゴードン (1802–65)
第6子(次女)セシル・メアリー・ゴードン (1806–78)
第7子(三女)メアリー・ゴードン (-1825)
第8子(五男)フランシス・アーサー・ゴードン (1808–57)
ジョルジュ・リシュモン

| 獲得メダル>  タヒチ フランス領ポリネシア .陸上競技 .サウスパシフィックゲームズ |
| --- | --- | --- |
| 金 | 1995 パペーテ | 5000m  |
| 金 | 1995 パペーテ | 1000m  |
| 金 | 1995 パペーテ | マラソン  |
| 金 | 1999 ハガニア | 5000m  |
| 金 | 1999 ハガニア | 10000m  |
| 金 | 1999 ハガニア | マラソン  |
| 金 | 2003 スバ | 10000m  |
| 金 | 2003 スバ | ハーフマラソン  |
| 金 | 2007 アピア | 10000m  |
| 金 | 2007 アピア | ハーフマラソン  |
| 銀 | 2003 スバ | 5000m  |
| 銀 | 2007 アピア | 5000m  |
| 銀 | 2011 ヌメア | 10000m  |
ジョルジュ・リシュモン（Georges Richmond、1965年2月3日 - ）はフランス領ポリネシア(タヒチ)の男子陸上競技選手。専門は長距離走、マラソン。
1995年にパペーテで開催されたサウスパシフィックゲームズに出場し5000m、10000m、マラソンの3競技で優勝を果たした。1999年のパペーテ大会でも3冠を達成し、それぞれ2連覇を達成した。2003年のスバ大会と2007年のアピア大会では5000mは銀メダルに終わっているが、10000mとマラソン(2003年のスバ大会よりマラソンの代わりにハーフマラソンが開催されている)は大会4連覇を達成している。1999年には世界陸上選手権ゼビリア大会男子マラソンに出場し、2時間45分36秒の59位となった。
ジョセフソン素子

ジョセフソン素子（ジョセフソンそし、Josephson device）とは、極薄の絶縁体あるいは常伝導金属薄膜を超伝導体で挟んだときに生じる「ジョセフソン効果」を用いた電子素子である。ブライアン・ジョセフソンによって考案された。
二つの超伝導体の間に薄い絶縁体を挟んで弱く接合した「ジョセフソン接合」に電流を流すと、トンネル効果によって二つの超伝導体間に直流電流が流れるが、電圧をかけるとその電圧に比例した周波数の振動電流が発生する。この「ジョセフソン効果」を応用したものがジョセフソン素子であり、そのスイッチング速度が従来のシリコン半導体より速いため、シリコン素子を超える夢のコンピュータの高速素子として期待された。
しかし、ジョセフソン素子は超低温下でしか動作しないため、液体ヘリウムで冷却する必要があるが、コスト高となることからまだ本格的な実用化には至っていない。高温超伝導体の応用研究が進むにつれ液体窒素の冷却温度でも作動するジョセフソン素子の開発が進みつつある。近年ではテラヘルツ波の発振器としても期待が高まりつつある。
カット除去定理

カット除去定理（カットじょきょていり、英: Cut-elimination theorem）は、シークエント計算の手法の重要性を示す、数理論理学の主要な結果のひとつである。（数理論理学の）基本定理と呼ぶこともある。ゲルハルト・ゲンツェンが1934年に書いた記念碑的論文 "Investigations into Logical Deduction" で、古典論理と直観論理の体系をそれぞれ形式化したシークエント計算の形式的体系 LK 及び LJ において、最初に証明が与えられた。カット除去定理は、シークエント計算の推論規則であるカット規則を用いて証明可能な式には、カット規則を用いない証明図もまた必ず存在することを示したものである。
シークエント

シークエントは複数の文からなる論理表現であり、
A,B,C,\ldots \vdash P,Q,R,\ldots
という形式をとる。これは、直観的には
「A かつ B かつ C かつ… を仮定すれば、P または Q または R または… が証明可能である」
という意味に理解することができる（ここで左辺が論理積で、右辺は論理和であることに注意されたい）。前提である左辺は任意個の論理式からなり、左辺が空のシークエントが証明できた場合、その右辺は無前提に主張可能なトートロジーだということになる。逆に、結論である右辺が空となるなら、左辺は矛盾していると言える。LK（古典論理）では、右辺もまた任意個の論理式からなるが、LJ（直観論理）では、右辺には多くとも一つの文しか置くことが許されない。右辺に複数の論理式を置けることと、右縮約規則があるときに排中律が成り立つこととは等価である。ただし、シークエント計算は非常に表現能力が高く、右辺に多数の論理式のある直観論理のシークエント計算も存在する。Jean-Yves Girard の論理体系 LC においては、右辺に高々一個の論理式しか持たない古典論理の自然な定式化も容易に得られている。ここで鍵となるのは、論理的な推論規則と構造に関する推論規則との相互作用である。
カット規則

「カット規則」とは、シークエント計算の一般的な推論規則であり、次のような形式で表現される。
(1)  (A,B,\ldots )\vdash C
と
(2)  C\vdash (D,E,\ldots )
とが、ともに成立しているとき、次を導出できる。
(3)  (A,B,\ldots )\vdash (D,E,\ldots )
すなわち、ここでは論理式 C が帰結からカットされている。
カット除去定理

カット除去定理は、ある論理体系でカット規則を使って証明可能なシークエントは、この規則を使わずとも証明可能であることを示したものである。そのシークエントが定理であるとき、カット除去定理は、単に、その証明の過程で使われた補題 C をインライン化できることを示している。すなわち、定理の証明が補題 C を使っている場合、その箇所を全て C の証明に置き換えることで、新しい完全な証明図を与えることができるということである。従って、カット規則は許容できる規則 (admissible rule) である。
シークエント計算で形式化される体系では、カット規則を使わない証明を「解析的証明; analytic proof」と呼ぶ。そのような証明は必ず長くなるというわけではないが、一般的には長くなる。George Boolos の論文 "Don't Eliminate Cut!" では、カット規則を使えば1ページで表せる証明（導出）があったとき、その解析的証明が完了するまでに宇宙の寿命より長くなる例が示されている。
この定理を応用して、様々な派生的結果を示すことができる。
カット除去定理の成立する論理体系では、矛盾命題（空のシークエント）を証明することができない。いま、ある論理体系でカット除去定理が成り立っていると仮定する。このとき、その体系で矛盾命題の証明が可能である（矛盾命題に証明図が存在する）と仮定すると、その証明図と同一の帰結をもたらす証明図で、カット規則を用いないような証明図もまた存在している筈である。しかし、そのような証明図が構成可能でないことは、推論規則をチェックしてゆけば、一般に容易に確認できる（その確認を困難にするのがカット規則なのであり、カット除去定理がその除去できることを保証する）。従って、ある論理体系でカット除去定理を示すことができれば、その体系の無矛盾性をもただちに導くことができる。
通常、カット除去定理の成立する論理体系では、少なくとも一階述語論理までの体系であるならば、部分論理式性 (subformula property) も成り立つ。これは、証明図中に登場する全ての論理式が、帰結となる論理式の部分論理式になっているという性質である。証明にカット規則が用いられている場合は、その証明図からカットを除去した証明図が、この性質をみたしている。このことは、証明論に基づく意味論への幾つかのアプローチにおいて重要な役割を果たす。また、古典命題計算の体系では、部分論理式性は真偽を検証する必要のある論理式の数を有限個に限定し、このことから古典命題計算の決定可能性を導くこともできる。
カット除去は、クレイグの補間定理を証明する際に強力な道具となる。Prolog というプログラミング言語を考案する元となった導出に基づいた証明探索手法の可能性は、適切な論理体系におけるカット規則の許容性 (admissibility) に依存している。カリー・ハワード同型対応を使った高階ラムダ計算に基づく証明体系では、カット除去アルゴリズムは強い推論属性に対応している（全ての証明項には正規形があり、その正規形には任意の推論の完全なシーケンスから到達可能である）。
あなた、その川を渡らないで

| あなた、その川を渡らないで |
| --- | --- |
 님아, 그 강을 건너지마오
監督:  チン・モヨン
製作:  ハン・ギョンス
音楽:  チョン・ミヌ
撮影:  チン・モヨン
編集:  ヒョン・ジンシク
配給:   大明文化工場/CGVアートアウス  アンプラグド
公開:   2014年11月27日  2016年7月30日
上映時間:  86分
製作国:   韓国
言語:  韓国語
テンプレートを表示
| あなた、その川を渡らないで> 各種表記 |
| --- | --- |
ハングル：:  님아, 그 강을 건너지마오
日本語読み：:  あなた、そのかわをわたらないで
英題：:  My Love, Don't Cross That River
テンプレートを表示
『あなた、その川を渡らないで』（あなた、そのかわをわたらないで、原題：님아, 그 강을 건너지마오）は、2014年公開の韓国映画。韓国の田舎で仲睦まじく暮らす二人の老夫婦に密着したドキュメンタリー映画。興行動員数は480万人を突破[要出典]し、ドキュメンタリー映画としては韓国で過去最高の動員数を記録した。老夫婦は市場でお揃いの韓服を来て手を繋いで歩いているところを新聞記者に取材され、その様子がネットで話題になるとKBSやSBSのドキュメンタリー番組でも取り上げられるようになった。その番組を見たドキュメンタリー作家のチン・モヨンが二人の日常を映画として記録することとなった。監督にとってこの作品が初監督作品となった。
キャスト

チョ・ビョンマン
カン・ゲヨル
受賞

第22回ロサンゼルス映画祭：最優秀ドキュメンタリー作品賞
第37回モスクワ国際映画祭：観客賞
オンリー・ユー (テレビドラマ)

| オンリー・ユー> 各種表記 |
| --- | --- |
繁体字：:  你是我的唯一
簡体字：:  你是我的唯一
拼音：:  Nĭshìwŏdewéiyī
注音符号：:  ㄋㄧˇ ㄕˋ ㄨㄛˇ ㄉㄜ˙ ㄨㄟˊ ㄧ
発音：:  ニーシーウォデーウェイイー
英文：:  Only You
テンプレートを表示
『オンリー・ユー』（原題: 『你是我的唯一』）は2009年に台湾の公共電視台で放送されたミニテレビドラマ。全7話。
放送時間

本放送：2009年1月24日（土） - 1月30日（金）
再放送：2009年3月2日（月） - 3月10日（火）
あらすじ

両親の問題で転校された啓剛は台北を離れて母親の実家の原郷（原住民の人口が多い郷）の花蓮県玉里鎮に引っ越していった。台北と彼女のツバメへの思いで、田舎っぽい玉里で文句ばかりの日々をすごした。いろいろな生活ショックに遭った彼は同じクラスの小真と出逢って友情か愛情か曖昧不明な関係が発展していく。彼は家族、親友との間にそして、ツバメと小真との間での感情の揺れに“自分”を改めて探す。人生の目標を決めて、最後に玉里を発って台北に戻ろうとするときに、未来への道に心の中で確信した。それらはすでに決まっているに初めて気付いた。
『オンリー・ユー』は原郷で発生した少年少女の初恋を主題にして細かく「ピュアな初心」を描くドラマ。人文、土地への関心、環境保護などの意識を含まれると見られるという。
キャスト

呉啓剛 – 王柏傑
王真環 – 傅小芸
伍国芸 – 張君明
陳保旺 – 高培文
王鉄樹 – 陳博正
王慕義 – 蘇炳憲
王之渙 – 傅顯捷
毛怪 – 道武司
顔嘉嘉 – 顔嘉楽
お婆さん – 碧徳恪・拿告（高佳音）
ツバメ – 王心宜
先輩 – 呂亜霆
特別支援学校教員 – 李懿芳
森の密猟者 – 殷復民など
スタッフ

監督 -  林君城
脚本 -  鄧潔・李懿芳・夏康真
中央競馬新聞情報やじ馬競馬

『中央競馬新聞情報やじ馬競馬』（ちゅうおうけいばしんぶんじょうほうやじうまけいば）とはちばテレビ・テレビ埼玉の共同制作で1994年1月5日から2005年3月26日まで放送された番組である。
概要

関東競馬新聞協会加盟の競馬新聞である競馬研究、ダービーニュース、ホースニュース・馬、勝馬、競馬ブック、日刊競馬の6紙（2001年3月まではケイシュウニュースも加わっていた）を使って、中央競馬の日曜日のメインレース（基本的には関東のメインレース）の本紙予想の印を見ていく番組である。番組の後半には各紙のトラックマンが1 - 2名ゲスト出演し、メインレースと推奨レースの予想を披露した。
番組タイトルや競馬新聞を読み比べるというコンセプトからして、『やじうまワイド』シリーズ（テレビ朝日）のパロディ番組としての趣もある。
放送時間

基本的に毎週土曜日23:30 - 23:45。テレビ埼玉は1998年12月まで毎週日曜日7:30 - 7:45に放送されていた。
歴代女性ナビゲーター

岩澤甫美
尾島圭美
相良舞
| チバテレビ・テレ玉共同制作 土曜23:30〜23:45> 前番組 | チバテレビ・テレ玉共同制作 土曜23:30〜23:45> 番組名 | チバテレビ・テレ玉共同制作 土曜23:30〜23:45> 次番組 |
| --- | --- | --- |
| ?  | 中央競馬新聞情報 やじ馬競馬  | ウハウハ競馬  |
上領英之

| 人物情報 |
| --- | --- |
生誕:   (1930-12-04) 1930年12月4日（93歳）  日本 兵庫県神戸市
国籍:   日本
出身校:  山口大学経済学部卒業 マサチューセッツ工科大学経営学大学院修士課程修了
学問
研究機関:  九州産業大学 広島修道大学 上領経済政策研究所 環境経済総合研究所
学位:  博士（経営学）
称号:  広島修道大学名誉教授
主な業績:  地球連邦財団を結成
テンプレートを表示
上領 英之（かみりょう ひでゆき、1930年12月4日 - ）は、日本の経営学者。広島修道大学名誉教授。博士（経営学）（1995年、広島修道大学にて取得）。
略歴

兵庫県神戸市出身。山口大学経済学部を卒業。マサチューセッツ工科大学経営学大学院修士課程修了。九州産業大学助教授、教授、広島修道大学教授。1995年「企業財務構造論 史的考察をふまえて」で広島修道大学博士（経営学）。2002年定年退官。同大学名誉教授。上領経済政策研究所代表取締役、環境経済総合研究所所長、至聖会理事。北川訓司と地球連邦財団を結成。
著書

『経営分析の実際 業種別経営分析に関する研究』上領英一 技報社 1956
『ケース・スタディによる中小企業の信用調査』金融財政事情研究会 1963
『新しい企業分析とビジネス・ゲーム』金融財政事情研究会 1964
『企業と財務の実査 ケース・スタディによる』金融財政事情研究会 1964
『生産性分析 理論とその活用』日本能率協会 1965
『生産性による企業成長分析』中央経済社 1966
『実践企業分析』金融財政事情研究会 1967
『生産性分析研究』日本経営出版会 1967
『設備資金』日本生産性本部 資金管理シリーズ　1968
『総合原単位分析』日本経済出版会 1969
『利益計画と予算統制』東洋経済新報社 1969
『弾力性経営分析』金融財政事情研究会 1970
『資金調達経営分析』金融財政事情研究会 1972
『中小企業の信用調査 動態的経営分析の具体的手法』金融財政事情研究会 ケース・スタディブックス　1977
『動的経営分析の基礎 日米企業比較』千倉書房 1984
『簿価基準財務構造の基礎 会計的アプローチの深化と拡充』広島修道大学総合研究所 1987
『簿価基準財務構造の展開 評価基準に拡充』広島修道大学総合研究所 1988
『損益・資産・資本構造の測定 会計と経済分析の接点を求めて』国元書房 1989
『企業財務構造論 史的考察をふまえて』国元書房 1990
『資本市場の企業財務論 投資家の立場と企業の立場との関係整序』広島修道大学総合研究所 1991-92
『会計データと株式価値 資本維持機能の結合モデルとその計測方法』中央経済社 1995
『日本経済再生のための構造改革分析 試論』総合研究開発機構 2002
著書 > 共編著

『企業財務のケース・スタディ 成長企業の社長が指南する』渋谷弘利共著 金融財政事情研究会 1992
『理論株価計測のモデルと分析:日米比較』鷲頭正憲共著　広島修道大学総合研究所 1994
『現代会計 学際的展開』木下照嶽,勝山進共編著 創成社 1998
論文

＜上領英之
サクリファイス (1986年の映画)

| サクリファイス |
| --- | --- |
 Offret
監督:  アンドレイ・タルコフスキー
脚本:  アンドレイ・タルコフスキー
製作:  カティンカ・ファラゴー
製作総指揮:  アンナ・レーナ・ウィボム
出演者:  エルランド・ヨセフソン
音楽:  ヨハン・ゼバスティアン・バッハ
撮影:  スヴェン・ニクヴィスト
編集:  アンドレイ・タルコフスキー ミハウ・レシチロフスキー
配給:   フランス映画社
公開:   1986年5月9日  1987年4月25日
上映時間:  149分
製作国:   スウェーデン  イギリス  フランス
言語:  スウェーデン語 英語 フランス語
テンプレートを表示
『サクリファイス』（英語題：The Sacrifice, スウェーデン語題：Offret）は、1986年にロシア人映画監督のアンドレイ・タルコフスキーが制作したスウェーデン映画である。
解説

当作品は1986年の第39回カンヌ国際映画祭において絶賛され、審査員特別グランプリを初めとする4賞を独占して受賞した。しかしタルコフスキーはこの映画の完成後に病床に伏し、同年暮に故国にも戻れぬままパリで亡くなり、遺作となった。
あらすじ

舞台はスウェーデンのゴトランド島。舞台俳優の名声を捨てたアレクサンデルは、妻アデライデと娘マルタ、息子の少年（喉の手術をしたため、映画の最後まで口をきけない設定）と暮らしている。家には小間使いのジュリア、召使いのマリアもいる。アデライデは夫への不満を抱き、夫婦は不仲である。今日はアレクサンデルの誕生日。彼は“子供”と一緒に枯れた松の木を植え、枯れた木に3年間水をやり続けて甦らせた僧の伝説を話す。
その日、郵便局員オットーや医師ヴィクトルといった友達も交えて誕生会を開くことになっていた。オットーが持ってきたプレゼントの古い地図が高価だからと辞退するアレクサンデルに、犠牲がなければプレゼントではないとオットーが言う。
白夜の屋外に、アレクサンデルは自宅そっくりの小さな家を見つけるが、帰宅途中のマリアに、それが子供が誕生日のプレゼントに作ったものだと教えられる。子供は自宅の2階のベッドで眠っていた。アレクサンデルが階下に降りると、サロンにあるテレビが突然、核戦争が勃発し非常事態となったことを伝えた。しかし停電により外部との連絡が途絶えてしまい、人々はパニックに陥った。
アデライデはヴィクトルから鎮静薬を打たれ、自分の願望といつも逆のことをしてきたと語る。彼女は子供を起こそうとするがジュリアに止められる。アレクサンデルはヴィクトルの持ち物にピストルがあるのを見つける。子供は眠っている。その頃ヴィクトルの前でマルタが衣服を脱いで彼を誘っている。
神を信じなかったアレクサンデルが初めて、家族も家も自分の持つ総ての物を放棄するから愛する者を守ってほしいと神に祈り、力尽きてソファに倒れ込む。アレクサンデルを訪ね、眠っていたのを起こしたオットーから、召使のマリアは魔女であり、彼女と一夜を共にすることで世界は救われると告げられる。
アレクサンデルはマリアの家を訪ね、マリアの前でピストルをこめかみに当て、懇願し、マリアは同意する。
翌朝、アレクサンデルが目覚めると、電力は通じておりいつものようにオーディオセットで海童道祖のテープを聴くことが出来た。それどころか、テレビをつけると核戦争自体が全く無かったことになっていた。
何事もなかったように朝が訪れたのを、アレクサンデルは自分が魔女と寝たからだと、そしてそのことを教えてもらえたのはこれから自分が払う犠牲のおかげだと考えた。彼は神に約束した通り、犠牲を捧げることを始める。
キャスト

アレクサンデル - エルランド・ヨセフソン
妻アデライデ - スーザン・フリートウッド
郵便局員オットー - アラン・エドヴァル
召使いマリア - グドルン・ギスラドッティル
医師ヴィクトル - スヴェン・ヴォルテル
小間使いジュリア - ヴァレリー・メレッス
娘マルタ - フィリッパ・フランセーン
“子供”- トミー・チェルクヴィスト
スタッフ

監督 - アンドレイ・タルコフスキー
製作 - カティンカ・ファラゴ
製作総指揮 - アンナ＝レーナ・ヴィボム
脚本 - アンドレイ・タルコフスキー
撮影 - スヴェン・ニクヴィスト
音楽 -
J・S・バッハ『マタイ受難曲』よりアリア「憐れみ給え、わが神よ」（独唱：ユリア・ハマリ）
海童道祖による法竹の音楽
スウェーデンの民俗音楽 ほか
編集 - アンドレイ・タルコフスキー
映画からの影響

作家・柳田邦男は著書『犠牲（サクリファイス） わが息子・脳死の11日』（文藝春秋、1995年、ISBN 978-4-16-350490-2）で次のようなことを書いている。
次男は生前、バッハの『マタイ受難曲』を気に入って何度もレコードで聴いていた。またタルコフスキーのこの映画『サクリファイス』にも傾倒していた。

その後、自殺を図った次男は治療の甲斐なく脳死状態となり、移植のため腎臓の摘出手術を受けた。深夜に柳田が次男の遺体とともに帰宅して間もなく、長男がこの時間に偶然にNHKの衛星放送で『サクリファイス』が放送されているのに気付いてテレビのスイッチを入れると、映画の終盤の場面が映り、そのBGMは『マタイ受難曲』のアリア「憐れみ給え、わが神よ」であった。
エピソード

最後の家屋が全焼するシーンは撮影中にカメラが止まってしまったため、セットをすべて作り直して再撮影された。
シャーンドル

シャーンドル（Sándor）は、ハンガリーの男性名、姓。アレクサンドロス、アレクサンダー（アレグザンダー）、アレクサンドル、アレクサンダル、アレクサンデル、アレッサンドロ、アレハンドロに対応する。
※ハンガリーでは人名が姓・名の順に呼ばれるが、以下の項目名には名・姓の順のものも混在する（ハンガリー国外で活躍、あるいは出身の人物など）。
個人名

ペテーフィ・シャーンドル - ハンガリーの詩人
シャーンドル・ヴェーグ（ヴェーグ・シャーンドル） - ハンガリーのヴァイオリニスト、指揮者。
ヴェレッシュ・シャーンドル - ハンガリーの作曲家。戦後スイスに亡命した。
フェレンツィ・シャーンドル - ハンガリーの精神分析医。
シャーンドル・コチシュ - ハンガリー出身のサッカー選手。
ロージャ・シャーンドル - ハンガリーの義賊（ベチャール）。
シャンドル・カロシュ - ウクライナ出身のハンガリー系ソ連・ロシアの作曲家。
カントル・サンドロ - ハンガリーのバレーボール選手。
姓

シャーンドル・エンマ - ハンガリーの作曲家、ピアニスト、詩人、翻訳家。作曲家、民族音楽研究家として知られるコダーイ・ゾルターンの最初の妻。コダーイ・エンマの名でも知られる。
シャーンドル・ジェルジ - ハンガリー出身のピアニスト。バルトーク・ベーラのピアノの弟子。演奏会活動の他ジュリアード音楽院で教鞭をとるなどした。
レナータ・シャーンドル - ハンガリーのバレーボール選手。
NO MORE

| --- | --- |
: この項目では、JASMINEの曲について説明しています。米寿司の曲については「No more」をご覧ください。
『NO MORE』は日本のシンガーソングライター、JASMINEの2枚目のシングル。
背景

2009年9月2日、公式ホームページで新曲の完成とリリースが発表された。翌9月3日にJASMINEがパーソナリティを務めるラジオ番組『MUSIC WONDERLAND』で楽曲が初公開され、10月7日より着うたの先行配信が開始された。初回限定盤はデジパック仕様である。
『NO MORE』はTBS系の音楽番組『COUNT DOWN TV』2009年11月度のオープニングテーマとして起用された。
ミュージック・ビデオ

『NO MORE』は前作『sad to say』も担当したタナカノリユキが監督を務める
。制作はピラミッドと前田屋、カメラマンはshinya、スタイリストは長瀬哲朗
、メイクはmichiru、ヘアはSHINMMAがそれぞれ担当した。
PVは多くの人が地べたに倒れている中で、JASMINEが歌う。中盤で男性が1人起き上がると、次々に皆立ち上がり、全員がある方向を見る。最後はJASMINEのショットで終わる。JASMINEの髪、衣装共に緑色である。
チャート成績

『NO MORE』は2009年10月27日付けの日本レコード協会による着うたのダウンロード数を集計したRIAJ有料音楽配信チャートで最高5位、10月27日から12月1日までトップ100内に入った。2009年11月7日放送回のTBS系の音楽番組『CDTV』のTHIS WEEK'S 100で初登場及び最高12位、TOP100内の登場回数は4回だった。オリコンシングルチャートでは11月第2週目で初登場し、最高15位を記録。
収録曲

| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
| 全作詞・作曲: JASMINE。 | 全作詞・作曲: JASMINE。 | 全作詞・作曲: JASMINE。 | 全作詞・作曲: JASMINE。 |  |
| # | タイトル | 作詞 | 作曲・編曲 | 編曲家 |
| 1. | 「NO MORE」 | JASMINE | JASMINE | Jeff Miyahara,Daido |
| 2. | 「CLUBBIN"」 | JASMINE | JASMINE | MANABOON |
| 3. | 「what do you want?」 | JASMINE | JASMINE | Miyahara |
チャート

| チャート (2009年) | 最高 順位 |
| --- | --- |
RIAJ有料音楽配信チャート: 5
CDTV THIS WEEK'S 100: 12
オリコンチャート: 15
おとなのギャル雀〜きみにハネ満!〜

『おとなのギャル雀〜きみにハネ満!〜』（おとなのギャルじゃん〜きみにハネまん!〜）は、2003年12月18日にジャレコからPlayStation 2ソフトとして発売した麻雀恋愛シミュレーションゲームである。
登場人物

理緒 - 夏目理緒
ひとみ - 岡田ひとみ
ゆり - 岩田ゆり
優 - 二宮優
久美 - 日向久美
いちご - いちご姫
ローラ - ローラ
美弥子 - 貝吹美弥子
ウィリー・ブルームクイスト

| --- | --- |
 ダイヤモンドバックス時代
基本情報
国籍:   アメリカ合衆国
出身地:  ワシントン州ブレマートン
生年月日:   (1977-11-27) 1977年11月27日（46歳）
身長 体重:  5' 11" ＝約180.3 cm 190 lb ＝約86.2 kg
選手情報
投球・打席:  右投右打
ポジション:  内野手、外野手
プロ入り:  1999年 ドラフト3巡目(全体95位)でシアトル・マリナーズから指名
初出場:  2002年9月1日 カンザスシティ・ロイヤルズ戦
最終出場:  2015年6月28日 ロサンゼルス・エンゼルス・オブ・アナハイム戦
年俸:  290万ドル(2015年)
経歴（括弧内はプロチーム在籍年度）
  サウス・キトサップ高等学校  アリゾナ州立大学  シアトル・マリナーズ (2002 - 2008)  カンザスシティ・ロイヤルズ (2009 - 2010)  シンシナティ・レッズ (2010)  アリゾナ・ダイヤモンドバックス (2011 - 2013)  シアトル・マリナーズ (2014 - 2015)
国際大会
代表チーム:   アメリカ合衆国
WBC:  2013年
 この表について  この表はテンプレートを用いて表示しています。編集方法はTemplate:Infobox baseball playerを参照してください。 ■プロジェクト:野球選手  ■テンプレート  
ウィリアム・ポール・ブルームクイスト（William Paul Bloomquist, 1977年11月27日 - ）は、アメリカ合衆国・ワシントン州ブレマートン出身の元プロ野球選手（内野手、外野手）。右投右打。
投手と捕手以外すべてのポジションを経験し、ユーティリティープレイヤーとして知られた。
経歴 > プロ入り前

サウス・キトサップ高校では州の選抜チームに選出され、1996年のMLBドラフトでシアトル・マリナーズから8巡目（全体237位）で指名されるが、ブルームクイスト本人は「厳しいプロの世界で生きるほど成長していなかった。それに、指名される前から進学して学位を取りたいと考えていた。」として、アリゾナ州立大学に進学。
大学3年時に60試合の出場で打率.394・100安打を記録し、パシフィック・テン・カンファレンスの最優秀選手に選出された。
経歴 > マリナーズ時代

1999年のMLBドラフトで再びマリナーズから3巡目（全体95位）で指名され契約。
2002年9月1日のカンザスシティ・ロイヤルズ戦で代走としてメジャーデビュー。以後、メジャーでユーティリティープレイヤーとして定着。
2008年10月30日にFAとなった。
経歴 > ロイヤルズ時代

2009年1月9日にカンザスシティ・ロイヤルズと2年契約を結んだ。
経歴 > レッズ時代

2010年9月13日に金銭トレードでシンシナティ・レッズへ移籍。
経歴 > ダイヤモンドバックス時代

2011年1月18日、アリゾナ・ダイヤモンドバックスと1年契約を結んだ。オフの10月31日にFAとなったが、11月9日に再契約した。
2013年2月27日に第3回WBCのアメリカ合衆国代表に選出された事が発表され、代表入りしている。オフの10月31日にFAとなった。
経歴 > マリナーズ復帰

2013年12月2日に古巣・マリナーズと総額580万ドルの2年契約で合意し、5日に球団が発表した。
2015年7月2日にDFAとなり、7月6日にマイナー契約を拒否したためFAとなった。
2016年3月11日に現役引退を表明。