stanford-oval/wikipedia huggingface dataset:
GOING 〜JAM Project BEST COLLECTION VIII〜
収録曲

MAXON [4:08]作詞・作曲：影山ヒロノブ、編曲：IKUO・寺田志保・栗山善親
UHFアニメ『スーパーロボット大戦OG ジ・インスペクター』オープニングテーマ
TRANSFORMERS EVO. [4:37]作詞・作曲：影山ヒロノブ、編曲：菊田大介（Elements Garden）
テレビ愛知・テレビ東京系アニメ『トランスフォーマー アニメイテッド』オープニングテーマ
流星Lovers [4:26]作詞・作曲：影山ヒロノブ、編曲：寺田志保・栗山善親
UHFアニメ『スーパーロボット大戦OG ジ・インスペクター』第24・25話オープニングテーマ
Vanguard [3:35]作詞・作曲：影山ヒロノブ、編曲：安瀬聖
テレビ愛知・テレビ東京系アニメ『カードファイト!!ヴァンガード』第1期オープニングテーマ
爆鎮完了!レスキューファイアー [4:03]作詞・作曲：影山ヒロノブ、編曲：鈴木マサキ
テレビ愛知・テレビ東京系ドラマ『トミカヒーロー レスキューファイアー』第2期オープニングテーマ
弾劾の剣 [4:27]作詞・作曲：影山ヒロノブ、編曲：須藤賢一
パチスロ『超重神グラヴィオン』挿入歌
冒険王 〜Across the Legendary kingdom〜 [5:00]作詞・作曲：影山ヒロノブ、編曲：安瀬聖
オンラインゲーム『ラグナロクオンライン』イメージソング
Go!Stand up! [3:36]
作詞・作曲：きただにひろし、編曲：三宅博文
ヒカリへのカウントダウン [5:11]作詞・作曲：影山ヒロノブ、編曲：鈴木マサキ
グッドスマイルカンパニー『創立10周年記念』ソング・CMソング
Blue rise [4:59]
作詞・作曲：奥井雅美、編曲：安瀬聖、ストリングスアレンジ：須藤賢一
BIG BANG EXPLOSION〜Song for Ragnarok Party〜 [4:41]作詞・作曲：影山ヒロノブ、編曲：R・O・N
オンラインゲーム『ラグナロクオンライン』イメージソング
PRAISE BE TO DECEPTICON [5:01]
作詞・作曲：きただにひろし、編曲：栗山善親・横関敦・寺田志保
LONGING [5:13]
作詞・作曲：奥井雅美、編曲：藤田淳平（Elements Garden）
GOING [4:25]
作詞：奥井雅美、作曲：影山ヒロノブ、編曲：R・O・N
清水良太郎

| --- | --- |
: 「清水健太郎」とは別人です。
| しみず りょうたろう 清水 良太郎 |
| --- | --- |
生年月日:   (1988-08-15) 1988年8月15日（36歳）
出生地:   日本・東京都新宿区落合
国籍:   日本
身長:  177 cm
血液型:  O型
職業:  俳優 ものまねタレント
ジャンル:  テレビ 映画 舞台
活動期間:  2006年 - 2017年
活動内容:  ものまね
配偶者:  あり
著名な家族:  清水アキラ（父）
事務所:  清水エイジェンシー（最終所属）
テンプレートを表示
清水 良太郎（しみず りょうたろう、1988年8月15日 - ）は、日本の元タレント。東京都新宿区落合出身。血液型はO型。プロダクション尾木を経て、清水エイジェンシーに所属していた。父は清水アキラ。
来歴

高校在学中の2006年、『功名が辻』で俳優としてデビューする。
2011年3月に『爆笑そっくりものまね紅白歌合戦スペシャル』に出演し、ものまねタレントとしての活動も開始。同年10月、『オールスター芸能人歌がうまい王座決定戦スペシャル』で優勝した。
2016年5月に一般女性と結婚、11月8日に第1子女児が誕生した。
2017年2月10日発売の写真週刊誌『FRIDAY』にて、遠藤要とともに違法営業の遊技場で違法賭博を行ったと報じられた。良太郎はこの報道を受け、同年3月から4月に予定されていたミュージカル『花・虞美人』を降板したことが発表された。その後は活動謹慎処分を受けていたが、同年6月23日に処分が解除され仕事復帰した。
だが同年10月11日、派遣型風俗店の30代の女性の通報により豊島区西池袋のラブホテルを出てきたところ、任意で尿を提出し翌日覚醒剤取締法違反（使用）の容疑で東京都内の自宅の敷地内で目白警察署に逮捕された。捜査関係者によると逮捕当初、容疑を否認していた が、その後の調べに対し「ホテルや自宅で使った。まわりに迷惑をかけた」などと話し、容疑を認めていることが分かった。同月12日には会見で父が謝罪し、本人が容疑を認めたことで17日、清水エイジェンシーは解雇処分とした。
その後、2023年にBreakingDown8に出場し、ぬりぼうと対戦したが、KO負けした。
出演 > テレビドラマ

功名が辻（2006年、NHK） - 山内家の兵 役
ドラマ24 エリートヤンキー三郎（2007年、テレビ東京） - 白石圭太 役
土曜ドラマ フルスイング（2008年、NHK） - 野球部キャプテン・石田 役
ごくせん 第3シリーズ（2008年、日本テレビ） - 桂良太郎 役
ドラマ8 キャットストリート（2008年、NHK） - 高校生・治司 役
ハンチョウ〜神南署安積班〜シリーズ4 〜正義の代償〜 第10話（2011年6月13日、TBS） - 緒方 役
月曜ゴールデン 世田谷駐在刑事（2012年6月18日、TBS） - 柴田晃 役
あまちゃん（2013年8月12日、NHK） - 若き日の橋幸夫(20) 役
出演 > バラエティ番組

爆笑そっくりものまね紅白歌合戦スペシャル（フジテレビ） - 父と初共演。
爆笑そっくりものまね紅白歌合戦スペシャル（2011年3月18日・9月27日・2012年3月24日・9月21日・2013年2月1日・2014年11月4日・2015年5月8日・10月23日・2016年5月6日・9月2日・2017年1月6日）
大晦日はマル・マル・モリ・モリ! 爆笑そっくりものまね紅白歌合戦 祭りだ祭りだスペシャル（2011年12月31日）
最強!!ものまね紅白! 大激突!ワンサカ祭り!（2013年4月12日）
ドリームチーム対抗! 最強!!ものまね紅白! 史上初の頂上決戦スペシャル!（2013年10月29日）
ものまね紅白歌合戦 最強!春の新ネタ祭り（2014年4月13日）
歌がうまい王座決定戦スペシャル（フジテレビ）
イケメン歌がうまい王座決定戦スペシャル（2011年5月31日）
オールスター芸能人歌がうまい王座決定戦スペシャル（2011年10月28日・2012年10月19日） - 優勝して賞金200万円を獲得した。
メンズ歌がうまい王座決定戦スペシャル（2012年5月29日）
歌がうまい王座決定戦 チャンピオン大会（2013年7月2日）
ものまね王座決定戦（フジテレビ）
12年ぶりに今夜復活! ものまね王座決定戦 日本一は誰だ!? 大激突トーナメントスペシャル（2012年7月6日）
日本一誰だ!? ものまね王座大決定戦 最強トーナメント 超下克上スペシャル!!（2012年12月28日）
最強トーナメント2013 ものまね王座大決定戦 新王者誕生スペシャル!!（2013年12月28日）
日本一のものまね王者が今夜決定! ものまね王座決定戦 年に一度のガチンコバトルスペシャル（2014年12月12日）
日本一のものまね王者が今夜決定! ものまね王座決定戦 年に一度の超真剣トーナメントスペシャル（2015年12月11日）
日本一のものまね王者が今夜決定! ものまね王座決定戦 年に一度の鉄板ネタガチンコバトルスペシャル（2016年11月25日）
潜入!リアルスコープ（2011年11月19日、フジテレビ）
VS嵐（2012年2月16日、フジテレビ）
ホンマでっか!?TV（2012年3月14日、フジテレビ）
誰だって波瀾爆笑（2012年4月8日、日本テレビ）
ザ・ベストハウス123（2012年5月8日、フジテレビ）
関ジャニの仕分け∞（2012年6月9日、テレビ朝日） - 「最新得点カラオケでプロに勝てる最強歌うま芸能人を仕分けろ!」でプロ歌手の木山裕策に負けた。
大人のKISS英語（2014年5月5日、フジテレビ）
ライオンのごきげんよう（フジテレビ）
森田一義アワー 笑っていいとも!（フジテレビ）
ものまねグランプリ（2015年12月15日、日本テレビ）
出演 > 映画

ごくせん THE MOVIE（2009年、東宝） - 桂良太郎 役
喧嘩番長 劇場版〜一年戦争（2011年、ジョリー・ロジャー）
出演 > 舞台

飛行機雲2009 流れる雲よ 〜DJから特攻隊へ愛を込めて〜
マリア・マグダレーナ来日公演『マグダラなマリア』 - アレクセイ役
魔愚堕裸屋・恋のカラ騒ぎ（2011年10月）
マグダライブ!!2013（2013年6月）
オレンジ 命の奇跡（2012年3月、銀座博品館） - 栂村 役
ザ・ベストハウス123 on Stage!!（2012年6月）
ミュージカル『花・虞美人』（2017年3月 - 4月、赤坂ACTシアター/愛知県芸術劇場大ホール/森ノ宮ピロティホール） - 項羽 役 ※先述の違法賭博報道を受け降板。
出演 > 携帯サイト

発掘!イケメン大好き!（2008年、プロデュース・アソシエーション）
THEクイズ神

| 超人気クイズ番組統一No> 1決定戦! THEクイズ神 |
| --- | --- |
ジャンル:  クイズ番組 / 特別番組
演出:  立浪仁志（総合演出）
監修:  乾雅人
出演者:  唐沢寿明 若林正恭（オードリー） ほか
製作
プロデューサー:  畠山渉 / 菊野浩樹（CP）
制作:  TBS

放送
音声形式: ステレオ放送
放送国・地域:  日本
放送期間: 2012年 - 2013年
回数: 2
 公式サイト
特記事項： ナレーター：林田尚親
テンプレートを表示
『THEクイズ神』（ざ クイズしん）は、TBS系列で放送されたクイズ番組である。
出演者 > 司会・進行

主宰（総合司会）
唐沢寿明
進行
若林正恭（オードリー）
解答者
各テレビクイズ番組を優勝などしたクイズ王たち、ならびに東日本予選、西日本予選の突破者
問題読み
堀井美香（TBSアナウンサー）
実況
矢野武
リポーター
青木裕子（第1回、当時TBSアナウンサー）
吉田明世（第2回、TBSアナウンサー）
賞金システム

ステージの結果に関係なく、出場者は「クイズ1問正解につき1万円」を積み立てる。ただし、ステージを敗退した場合、積み立て賞金は全て勝者へと渡り、最後に残った「クイズ神」が出場者全員の賞金を獲得する。理論上の最高賞金は470万円である。第1回では賞金に加え、トヨタ・カローラフィールダーも獲得できた。
クイズ形式 > 1stステージ

読み問題（筆記）を20問出題。解答は特に指定がない限り漢字で書かなくてもよいが、図形の問題などは正確に書かなければならない。正解数上位8名が2ndステージ進出。ボーダーライン上に複数名がいた場合は1問不正解で失格となるサドンデスを行う。勝者は自らの積み立て賞金に加え、敗者12名が積み立てた賞金を8人で頭割りした分を積み立てる。
クイズ形式 > 2ndステージ

準々決勝。映像問題（筆記）を5問出題。解答は、特に指定がない限り漢字で書かなくてもよい。1stステージ1位通過者から残るプレイヤーを1人指名し1対1で戦う。正解数が多い者が勝利、5問消化する前に逆転できない場合はその時点で打ち切りとなる。5問消化時点で同点の場合はサドンデスとなり、どちらか一方が不正解になるまで続く。勝者はこれまでに積み立てた賞金に加え敗者の賞金も積み立てる。
クイズ形式 > 3rdステージ

準決勝。答えが複数ある多答問題に挑戦。問題はA - Zまであり挑戦者自身が選択する。正解数は4 - 10個と問題によって異なる。制限時間は1問につき1分。全て正解で1ポイント。時間内の不正解に対するペナルティは無し。挑戦者が失敗した場合は「解答権オープン」となり、自信がある人は早押しで挑戦権を獲得。同様に1分間のチャレンジを行い、成功で0.5ポイント、失敗で−0.5ポイント。3巡行い獲得ポイントの多い2名が決勝ステージに進出。このステージも上位2名が確定した時点でステージが打ち切られる。敗者2名はそれぞれ勝者2名のうちどちらかに手持ちの賞金を渡す。
クイズ形式 > 決勝ステージ

シンプルな早押し対決。1問正解で1ポイント、不正解でも減点や休みはないが相手に解答権が移る。10ポイント先取で優勝。
クイズ形式 > 決勝ステージ > 決勝戦の結果

| 名前 | 主な戦績（放送時） | 得点 |
| --- | --- | --- |
| 為季正幸 | NHK「連続クイズ ホールドオン!」初代チャンピオン | 7 |
| 渡辺匠 | 東日本予選代表 | 10 |

| 名前 | 主な戦績（放送時） | 得点 |
| --- | --- | --- |
| 安藤正信 | フジテレビTWO「クイズ王最強決定戦〜THE OPEN〜5」優勝 | 10 |
| 田中健一 | 東日本予選代表  | 6 |
ネット局

| 放送対象地域 | 放送局 | 系列 | 遅れ |
| --- | --- | --- | --- |
| 関東広域圏 | TBSテレビ（TBS） | TBS系列 | 制作局 |
| 北海道 | 北海道放送（HBC） | TBS系列 | 同時ネット |
| 青森県 | 青森テレビ（ATV） | TBS系列 | 同時ネット |
| 岩手県 | IBC岩手放送（IBC） | TBS系列 | 同時ネット |
| 宮城県 | 東北放送（TBC） | TBS系列 | 同時ネット |
| 山形県 | テレビユー山形（TUY） | TBS系列 | 同時ネット |
| 福島県 | テレビユー福島（TUF） | TBS系列 | 同時ネット |
| 山梨県 | テレビ山梨（UTY） | TBS系列 | 同時ネット |
| 新潟県 | 新潟放送（BSN） | TBS系列 | 同時ネット |
| 長野県 | 信越放送（SBC） | TBS系列 | 同時ネット |
| 静岡県 | 静岡放送（SBS） | TBS系列 | 同時ネット |
| 富山県 | チューリップテレビ（TUT） | TBS系列 | 同時ネット |
| 石川県 | 北陸放送（MRO） | TBS系列 | 同時ネット |
| 中京広域圏 | 中部日本放送（CBC） | TBS系列 | 同時ネット |
| 近畿広域圏 | 毎日放送（MBS） | TBS系列 | 同時ネット |
| 鳥取県・島根県 | 山陰放送（BSS） | TBS系列 | 同時ネット |
| 岡山県・香川県 | 山陽放送（RSK） | TBS系列 | 同時ネット |
| 広島県 | 中国放送（RCC） | TBS系列 | 同時ネット |
| 山口県 | テレビ山口（tys） | TBS系列 | 同時ネット |
| 愛媛県 | あいテレビ（ITV） | TBS系列 | 同時ネット |
| 高知県 | テレビ高知（KUTV） | TBS系列 | 同時ネット |
| 福岡県 | RKB毎日放送（RKB） | TBS系列 | 同時ネット |
| 長崎県 | 長崎放送（NBC） | TBS系列 | 同時ネット |
| 熊本県 | 熊本放送（RKK） | TBS系列 | 同時ネット |
| 大分県 | 大分放送（OBS） | TBS系列 | 同時ネット |
| 宮崎県 | 宮崎放送（MRT） | TBS系列 | 同時ネット |
| 鹿児島県 | 南日本放送（MBC） | TBS系列 | 同時ネット |
| 沖縄県 | 琉球放送（RBC） | TBS系列 | 同時ネット |
放送日時

第1回：2012年6月29日 21:00 - 22:48
第2回：2013年1月8日 21:00 - 23:03
スタッフ

第1回
ナレーター：林田尚親
総合構成：堀江利幸
問題作成：久保隆二、セブンデイズウォー
実況資料：井上修
TM/TD/SW：長谷川晃司
技術協力：東通、エヌ・エス・ティー、ティエルシー、TAMCO、インターナショナルクリエイティブ、SiS、デジデリック
美術プロデューサー：東立
美術デザイン：太田卓志、石井健将
編集：望月和哉
MA：宝積伸示
音響効果：樋口謙・茂野敦史（メディアハウス・サウンドデザイン）
TK：伊藤佳加
CG：小室泰樹・秋田小百合（コーラルレッド）
宣伝：磯谷昌宏、藤塚基広
HP：西岡恒平
デスク：大島史子
制作協力：ハイスタンダード、ロジック・エンターテインメント
監修：乾雅人
AP：後藤央、高田真由子
AD：田崎真洋、百々隆了、野口昌希、三田泰子、篠田武史、松尾宗之、木畑直記、宮慎司、香月信
ディレクター：木村大介、川名良和、後藤美和、植木光雄/小田切大輔、足立達哉、岸宏美、長久保彰宏、村上俊教、立浪貴司
アソシエイトプロデューサー：大久保徳宏
総合演出：立浪仁志
プロデューサー：畠山渉
チーフプロデューサー：菊野浩樹
製作著作：TBS
第2回
ナレーター：林田尚親
総合構成：堀江利幸
構成：竹村武司、井上修
TM：長谷川晃司
TD/SW：大蔵聡
CAM：中村年正
VE：後藤静香
MIX：石島順一
照明：中川清志
美術プロデューサー：東立
美術デザイン：太田卓志、石井健将
美術制作：渋谷政史
装置：谷平真二
操作：今野貴司
特殊装置：高橋出
幕装飾：堤隆示
電飾：眞鍋明
メカシステム：濱口利行
CGシステム：水上圭介
アクリル装飾：渡邊卓也
装飾：野呂利勝
衣裳：難波洋子
メイク：高梨祐子
編集：望月和哉
MA：宝積伸示
音響効果：樋口謙（メディアハウスサウンドデザイン）
CG：小室泰樹（CORALRED）
宣伝：眞鍋武、川鍋昌彦
HP：西岡恒平
編成：辻有一
TK：伊藤佳加
デスク：大島史子
制作協力：ハイスタンダード
監修：乾雅人
アソシエイトプロデューサー：大久保徳宏
AP：後藤央、渡辺舞、伊藤絵梨香
AD：田崎真洋、百々隆了、三田泰子、恒川亜美、宇津宮祐二、三宅俊希、松尾宗之、木畑直記、宮慎司、金城一希
ディレクター：木村大介、川名良和、後藤美和、熊澤謙一、立浪貴司、塚田純也、岸宏美、長久保彰宏、足立達哉、小田切大輔、大谷眞純
プロデューサー：畠山渉
チーフプロデューサー：菊野浩樹
間帯土壌

間帯土壌（かんたいどじょう英: Intrazonal soils）とは、気候帯に関係なく地形・地下水・岩石などの特性に支配され、局地的に分布する土壌のこと。成帯土壌と対になる概念。
間帯土壌の分類

レグール
レス（黄土）
テラローシャ
テラロッサ
リリアン・ブライナー

| --- | --- |
国籍:  Switzerland
ル・マン24時間での経歴
年: 1993 – 1995, 1997
チーム: Cartronic Motorsport, Écurie Biennoise, Stadler Motorpsort
最高位: 9th (1994)
クラス優勝: 0
リリアン・ブライナー（Lilian Bryner、1959年4月21日 - ）は、スイス出身のレーシングドライバー。
経歴

彼女は主に1997年から2005年までFIA GT選手権に参戦しル・マン24時間レースにも出場した。ル・マンでの彼女の最初のレースは1993年で、最も成功したのは、 GT2クラスでE2位、1994年に総合9位となった。 1995年にスタドラーモータースポーツに参加したが、1995年では、81周リタイアとなった。同年、彼女はBPRグローバルGTシリーズに出場し、1戦のみの出場であったが、表彰台で3位となった。
彼女は1997年までル・マンに出場した。同年も再び98周を終えてリタイアした。その年、彼女はFIA GTの初シーズンにスタドラーモータースポーツとレースをしたが、オレカの支配によりチームがクラスで獲得したポイントは3回のみであった。
1998年にFIA スポーツカー選手権に出場し、2001年のFIAスポーツカー選手権にBMSスクーデリア・イタリアに参加して50ポイントと2つの表彰台を獲得した。
彼女のFIA GT選手権での最初のフルシーズンは、2003年にケアレーシングから参戦した。彼女は1つのポールポジションと表彰台6回獲得し、ケアレーシングとそのフェラーリ550マラネロが選手権で3位になった。 2004年のFIA GT選手権に、BMSスクーデリア・イタリアに参加し、そのシーズンにスパ・フランコルシャン24時間レースと5つの表彰台を含む2つの勝利を収めた。
FIA GT選手権での彼女の最終シーズンは2005年で、ラーブルコンペティションで3回出場した。
Standard ML

| --- | --- |
パラダイム:  マルチパラダイム: 関数型、命令型
型付け:  強い、静的、推論あり
主な処理系:  MLton, MLWorks, Moscow ML, Poly/ML, SML/NJ, SML.NET
方言:  Alice、Dependent ML
影響を受けた言語:  ML
テンプレートを表示
Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。The Definition of Standard ML で型付け規則と操作的意味論が与えられている。1990年に初版が出版され、1997年に単純化された改版が出版されている。
概要

Standard ML は基本的には関数型言語である。Standard ML で書かれたプログラムの大部分は、値を計算すべき式で構成されている。
他の関数型言語と同様、Standard ML の鍵となる機能は関数であり、それによって抽象化を行っている。例えば、階乗関数は次のように表される。
fun factorial x = 
      if x = 0 then 1 else x * factorial (x-1)
Standard ML のコンパイラは、このようにユーザーが全くデータ型を指定していない記述から int -> int という型を静的に推論する必要がある。すなわち、x が整数の式でしか使われていないことから、それ自身も整数だと推論し、関数内の式で生み出される値も全て整数であると推論しなければならない。
同じ関数を節関数定義 (clausal function definition) で表現することもできる。その場合 if-then-else という条件分岐を | で区切られた一連のテンプレートに置換し、個々のテンプレートは特定の値について評価される。各テンプレートは順番に試行され、一致するものを見つけることになる。
fun factorial 0 = 1
   | factorial n = n * factorial (n - 1)
局所関数を使い、この関数を末尾再帰に書き換えることもできる。
fun factorial x =
  let
    fun tail_fact p 0 = p
     | tail_fact p n = tail_fact (p * n) (n - 1)
  in
    tail_fact 1 x
  end
let-式の値は、 in と end に挟まれた式の値になる。
概要 > モジュールシステム

Standard ML には高度なモジュールシステムがあり、プログラムを論理的に関連する型と値の宣言の structure による階層に分解することができる。SMLモジュールは単に名前空間を制御するだけでなく、抽象化の役割も持っており、プログラマはこれを使って抽象データ型を定義できる。
主に3つの構文要素でSMLモジュールシステムが構成される。signature と structure と functor である。structure はモジュールそのものである。型、式、値、structure (substructure) の集合体であり、それらを1つの論理単位にパッケージ化している。signature はインタフェースであり、一般にその structure の型として認識される。その structure が提供する全ての実体の名前を指定し、型要素のアリティ、値要素の型、substructure の signature も指定する。型要素の定義はエクスポートする場合もしない場合もある。定義を隠蔽した型要素を「抽象型 (abstract type)」と呼ぶ。functor は structure から structure への関数である。すなわち、functor は1つ以上の引数を受け付け（通常、signature で指定した structure）、結果として structure を生成する。functor はジェネリックなデータ構造とアルゴリズムを実装するのに使われる。
例えば、キューデータ構造の signature は次のようになる。
signature QUEUE = 
sig
  type 'a queue
  exception Queue
  val empty : 'a queue
  val insert : 'a * 'a queue -> 'a queue
  val isEmpty : 'a queue -> bool
  val peek : 'a queue -> 'a 
  val remove : 'a queue -> 'a * 'a queue
end
この signature はキューのパラメータ化された型 queue を提供するモジュールを記述しており、それには Queue という例外、キューの基本操作を提供する5つの値（うち4つは関数）を記述している。これを使ってキューデータ構造を実装した structure を書くことができる。
structure TwoListQueue :> QUEUE = 
struct
  type 'a queue = 'a list * 'a list
  exception Queue
  val empty = ([],[])
  fun insert (a,(ins,outs)) = (a::ins,outs)
  fun isEmpty ([],[]) = true
   | isEmpty _ = false
  fun peek ([],[]) = raise Queue
   | peek (ins,[]) = hd (rev ins)
   | peek (ins,a::outs) = a
  fun remove ([],[]) = raise Queue
   | remove (ins,[]) = 
     let val newouts = rev ins
     in (hd newouts,([],tl newouts))
     end
   | remove (ins,a::outs) = (a,(ins,outs))
  end
この定義では、TwoListQueue が QUEUE という signature の実装であることを宣言している。さらに（:> で指定されている） opaque ascription により、この signature（すなわち queue）で定義が提供されていない型要素は抽象型として扱うことを示している。すなわち、ここではキューが2つのリストで定義されているが、それはモジュール外部には見せない。structure 本体には signature に挙げられている全要素に対応した実装が記述される。
structure を使うには、ドット記法でその型や値といったメンバーにアクセスすればよい。例えば、文字列のキューの型は string TwoListQueue.queue、空のキューは TwoListQueue.empty、q というキューの最初の要素を削除するには TwoListQueue.remove q と書けばよい。
コード例

SMLの処理系の多くは対話型のトップレベルを備えており、それに入力することで、コード断片は容易に実行できる。これは、入力された式の型を推論し評価する。例えば、SML/NJ では、次のように起動する。
$ sml
   Standard ML of New Jersey v110.52 [built: Fri Jan 21 16:42:10 2005]
   -
コードは - のプロンプトの位置に入力する。例えば 1+2*3 を計算する場合、次のようになる。
- 1 + 2 * 3;
  val it = 7 : int
トップレベルは式の型が int であると推論し、その値 7 を表示している。
コード例 > Hello world

次のようなプログラム hello.sml があるとする。
print "Hello world!\n";
これをMLtonでコンパイルする場合、次のように入力する。
$ mlton hello.sml
実行は次の通り。
$ ./hello
Hello world!
$
コード例 > マージソート

マージソートのアルゴリズムについては、当該記事を参照されたい。ここではマージソートを3つの関数 split、merge、MergeSort で実装している。
関数 split は、追加の引数を持つ局所関数 split_iter を使って実装している。これは末尾再帰の実装に便利な手法である。この関数はSMLのパターンマッチング構文を使っており、リストが空でないケース (x::xs) と空のケース ([]) を定義している。
(* 要素のリストを与えられ、それをほぼ同じサイズの
  * 2つに分割する。
  * O(n)
  *)
 local
  fun split_iter (x::xs, left, right) = split_iter(xs, right, x::left)
  |   split_iter ([], left, right) = (left, right)
 in
  fun split(x) = split_iter(x,[],[])
 end;
local-in-end という構文を let-in-end という構文に置き換えると、等価な定義が得られる。
fun split(x) =
  let
   fun split_iter (x::xs, left, right) = split_iter(xs, right, x::left)
   |   split_iter ([], left, right) = (left, right)
  in
   split_iter(x,[],[])
  end;
split と同様、merge も局所関数 merge_iter を使って効率化する。merge_iterではいくつかのケース（渡されたリストがどちらも空でない場合、一方が空の場合、両方が空の場合）を定義している。 _ はワイルドカード・パターンを表している。
この関数は2つの昇順のリストを1つの降順のリストにマージする。逆転するのはSMLにおけるリストの構造によるものである。SMLではリストを非平衡2分木で実装しているため、要素を先頭に付与するのは容易だが、最後尾に付与するのは非効率的である。
(* 2つの昇順リストを1つの降順リストにマージする。
  * 関数 lt(a,b) は a < b と同値
  * O(n)
  *)
 local
  fun merge_iter (out, left as (x::xs), right as (y::ys), lt) =
      if lt(x, y)
       then merge_iter(x::out, xs, right, lt)
       else merge_iter(y::out, left, ys, lt)
  |   merge_iter (out, x::xs, [], lt) = merge_iter( x::out, xs, [], lt)
  |   merge_iter (out, [], y::ys, lt) = merge_iter( y::out, [], ys, lt)
  |   merge_iter (out, [], [], _) = out
 in
  fun merge(x,y,lt) = merge_iter([],x,y,lt)
 end;
最後に、MergeSort関数を以下に示す。
(* リストを降順にソートする。順序は lt(a,b) <==> a < b で決定。
  * O(n log n)
  *)
 fun MergeSort(empty as [], _) = empty
 |   MergeSort(single as _::[], _) = single
 |   MergeSort(x, lt) =
     let
      val (left, right) = split(x)
      val sl = MergeSort(left, lt)
      val sr = MergeSort(right, lt)
      val s = merge(sl,sr,lt)
     in
      rev s
     end;
なお、見ての通りこのコードでは要素の型を規定していない。そのため、順序関数ltさえあれば、どんな型の要素でもソートできる。型推論により、コンパイラはlt関数のような複雑な型も含め、あらゆる変数の型を推論できる。
コード例 > 任意精度の階乗関数（ライブラリ）

SMLでは、IntInf モジュールで任意精度（多倍長精度）の整数の算術を提供している。さらに言えば、コード内に現れる整数はどれだけ桁数があってもプログラマが気にする必要がない。
次のプログラム fact.sml は、任意精度の階乗関数を実装したもので、120の階乗を表示する。
fun fact n : IntInf.int =
       if n=0 then 1 else n * fact(n - 1)
   
   val () =
       print (IntInf.toString (fact 120)^"\n")
コンパイルして実行すると次のようになる。
$ mlton fact.sml
   $ ./fact
   66895029134491270575881180540903725867527463331380298102956713523016335
   57244962989366874165271984981308157637893214090552534408589408121859898
   481114389650005964960521256960000000000000000000000000000
コード例 > 数値微分（高階関数）

SMLは関数型言語なので、関数を生成し処理することが容易である。これには様々な応用が考えられる。関数の数値微分もその1つである。以下のSML関数 d は与えられた関数 f の x における数値微分を計算する。
- fun d delta f x =
       (f (x + delta) - f (x - delta)) / (2.0 * delta);
   val d = fn : real -> (real -> real) -> real -> real
この関数は小さい値 delta を必要とする。例えば、マシンイプシロンの立方根を delta として使うことができる。
関数 d の型は、型 (real -> real) -> real -> real を持つ別の関数へ real を与える、というものである。このように、「関数を、必要な全ての引数より少ない数の引数を取り、さらに残りの引数を取るような関数を返す関数にする」方式をカリー化と呼ぶ。これにより、引数を一部だけ適用する（部分適用という。部分適用のことないし「ある関数をカリー化し、それに部分適用したものを返す」ことについて誤って「カリー化」と言及されていることがあるので注意する）こともできるようになる。ここでは delta を具体的に指定し、より特化した関数を得る。
- val d = d 1E~8;
   val d = fn : (real -> real) -> real -> real
ここで推論された型を見ると、置換された d は第一引数が real -> real という型の関数になっている。これを使って、例えば x^3-x-1 での x=3 のときの微分値の近似を計算する。
- d (fn x => x * x * x - x - 1.0) 3.0;
  val it = 25.9999996644 : real
正しい値は f′(x) = 3x2−1 ⇒ f′(3) = 27−1 = 26 である。
関数 d は別の関数 f を引数としてとるので、高階関数 (higher-order function) と呼ばれる。
カリー化と高階関数は冗長コードを排除できる。例えば、ライブラリに a -> b という型の関数が必要だとする。しかし、a 型と c 型のオブジェクトに固定的な関係がある場合、a * c -> b という型の関数を書くほうが便利である。(a * c -> b) -> (a -> b) という型の高階関数を使えば、共通部分を取り除くことができる。これは Adapter パターンの一例である。
コード例 > 離散ウェーブレット変換（パターンマッチング）

2の整数乗の長さの数列の1次元離散ウェーブレット変換はSMLでは簡単に実装でき、リスト上のパターンマッチの好例となっている。リストの先頭から2つの要素 （h1 と h2）を取り出し、その総和をリストs に、差分をリストd に格納する。
- fun haar l =
       let fun aux [s] [] d = s :: d
             | aux [] s d = aux s [] d
             | aux (h1::h2::t) s d =
               aux t (h1 + h2 :: s) (h1 - h2 :: d)
             | aux _ _ _ = raise Empty
       in  aux l [] []
       end;
   val haar = fn : int list -> int list
実行例は次の通り。
- haar [1, 2, 3, 4, ~4, ~3, ~2, ~1];
  val it = [0,20,4,4,~1,~1,~1,~1] : int list
パターンマッチは複雑な変換を明確かつ簡潔に表現できる。さらに、SMLコンパイラはパターンマッチに最適化したコードを生成するので、単にコードが簡潔になるだけでなく高速である。
実装

様々な実装があるが、ここでは一部を紹介する。
MLton（英語版） - 最適化コンパイラを中心とした処理系であり、他の処理系よりも性能がいいコードを生成する。
Standard ML of New Jersey（英語版） (SML/NJ) - コンパイラ、ライブラリ、ツール、シェル、文書などが揃っている。
Moscow ML（英語版） - Caml Light をベースにした軽量な実装。
Poly/ML
TILT - 型付きの中間言語を使った実装。
HaMLet - インタプリタ実装。
ML Kit - ガベージコレクション機能を備え、リアルタイム処理に対応。
SML.NET - マイクロソフトのCLRを生成でき、他の.NETコードとのリンクを可能にする拡張もある。
SML2c - モジュールレベルの宣言をC言語に変換する。
Poplog - POP-11という言語を中心としたシステムで、Standard ML、Common Lisp、Prolog をその上で使用できる。
SML# - 東北大学電気通信研究所の大堀淳研究室が開発。C言語と連携、レコード多相性などを実装。（マイクロソフトの.NETとは無関係）
MLWorks - かつて Harlequin という企業が商用製品として開発販売していた。同社は既に倒産したが、Ravenbrook によってオープンソース化されている。
これらはいずれもオープンソースである。多くは処理系自体がSMLで実装されている。SMLの商用製品は存在しない。
服部眞司

服部 眞司（はっとり しんじ、1933年 - ）は、日本の実業家、湘南信用金庫元理事長、横須賀エフエム放送株式会社（FM・ブルー湘南）会長、株式会社CATV横須賀（現・ジェイコム湘南・神奈川）元取締役会長
人物・経歴

1933年、神奈川県横須賀市生まれ。1956年3月、立教大学経済学部卒業。同年4月、横須賀信用金庫入庫。
1971年、同庫常務理事、1974年、専務理事。1984年、理事長に就任。
1989年、鎌倉信用金庫と合併し、名称を湘南信用金庫とし、同庫理事長に就任。
1995年、黄綬褒章受章。
横須賀エフエム放送株式会社（FM・ブルー湘南）会長、株式会社CATV横須賀（現・ジェイコム湘南・神奈川）取締役会長、横須賀防犯協会会長、大相撲宮城野部屋横須賀後援会会長なども歴任する。
ヴェイユ群

| --- | --- |
: その他の用法については「ヴェイユ・シャトレ群」、「モーデル・ヴェイユ群」、「ワイル群 」をご覧ください。
数学において、ヴェイユ群(Weil group)は、 Weil (1951)で導入され、類体論で使われる絶対ガロア群の局所体や大域体での変形である。そのような体 F に対して、ヴェイユ群は一般に WF と記される。ガロア群の「有限なレベル」の変形も存在し、E/F を有限拡大としたときの E/F の相対ヴェイユ群(relative Weil group)が WE/F = WF/W c
E  である（この記号 c は交換子部分群による完備化を意味している。）。
ヴェイユ群について、詳しくは、(Artin & Tate 2009) や (Tate 1979) や (Weil 1951) を参照。
類構造におけるヴェイユ群

基本類 uE/F ∈ H2(E/F, AF) を持つ類構造（英語版）(class formation)に於けるヴェイユ群(Weil group)は、変形されたガロア群の一種であり、類体論の様々な定式化に使われ、特にラングランズ・プログラムの定式化において使われる。
E/F が正規レイヤであれば、E/F の（相対）ヴェイユ群 WE/F は、拡大
であり、（中心拡大として第二群コホモロジー(group cohomology)の元と解釈することにより、）H2(Gal(E/F) AF) の中の基本類 uE/F へ対応する。全体の構成のヴェイユ群は、G の開部分群 F に対して、すべてのレイヤ
G/F のヴェイユ群の逆極限として定義される。
類構造 (G, A) の相互写像は、AG からヴェイユ群のアーベル化への同型を導く。
アルキメデス的局所体のヴェイユ群

アルキメデス的局所体に対し、ヴェイユ群は容易に記述される。C に対しては、ヴェイユ群は非零である複素数の群 C× であり、R に対しては、非零の複素数の群によるオーダー 2のガロア群の非分岐拡大であり、非零の四元数群の部分群 C× ∪ j C× と同一視できる。
有限体のヴェイユ群

有限体に対するヴェイユ群は、無限巡回群である。非常に重要な生成子はフロベニウス自己同型である。数論的フロベニウス（英語版）(arithmetic Frobenius)のようなある記法では、（フロベニウスか、あるいはその逆として）生成しの固定部分をトレースすることができる。
局所体のヴェイユ群

標数 p > 0 の局所体のヴェイユ群は、定数体（すべての有限部分体の合併）上のフロベニウス自己同型の羃として作用する元の絶対ガロア群の部分群である。
p-進体のヴェイユ群は、絶対ガロア群の稠密な部分群であり、剰余体のガロア群の像がフロベニウス自己同型の整数羃であるような元すべてで構成される。
さらに、これらの場合、ヴェイユ群は部分空間のトポロジーをもたず、より良いトポロジーを持つ。このトポロジーは部分空間のトポロジーを惰性部分群により与え、ヴェイユ群の開部分群であるとすることにより定義される（結果としてのトポロジーは、局所的に射有限（英語版）(locally profinite)である）。
函数体のヴェイユ群

標数 p>0 の大域体（函数体）のヴェイユ群は、（すべての有限部分体の合併である）定数体上のフロベニウス自己同型の羃として作用する元の絶対ガロア群の部分群である。
数体のヴェイユ群

数体の場合は、拡大を構成するコサイクルを使うことなしにヴェイユ群を「自然に」構成する方法は知られていない。ヴェイユ群からガロア群への写像は全射で、その核はヴェイユ群の同一視される連結成分であるが、非常に複雑である。
ヴェイユ・ドリーニュ群

非アルキメデス的局所体の K のヴェイユ・ドリーニュ群スキーム(Weil–Deligne group scheme)（あるいは、簡単にヴェイユ・ドリーニュ群(Weil–Deligne group)） W′K は、1 次元加法群スキーム Ga によるヴェイユ群 WK の拡大として、Deligne (1973, 8.3.6) により導入された。この拡大では、ヴェイユ群は、加法群の上で
として作用する。ここに w は a→aq||w|| として位数 q の剰余体上に作用する。
K 上の GLn の局所ラングランズ対応（英語版）(local Langlands correspondence)は、GLn(K) の許容既約表現の同型類と K のヴェイユ・ドリーニュ群のある n 次元表現の間に自然な全単射が存在することを言っている（現在は証明されている）。
ヴェイユ・ドリーニュ群は、その表現を通して示されることがよくある。その場合は、ヴェイユ・ドリーニュ群は、WK × SL(2,C) や WK × SU(2,R)、あるいは、その代わりに簡単に WK のヴェイユ・ドリーニュ表現(Weil–Deligne representation)として使うことがある。
アルキメデス的な場合は、ヴェイユ・ドリーニュ群はヴェイユ群として簡単に定義される。
六本木バナナ・ボーイズ

| 六本木バナナ・ボーイズ> 小説 |
| --- | --- |
著者: 喜多嶋隆
出版社: 実業之日本社
巻数: 全3巻
テンプレート - ノート
プロジェクト: ライトノベル
ポータル: 文学
『六本木バナナ・ボーイズ』（ろっぽんぎバナナ・ボーイズ）は、喜多嶋隆著の小説、およびそれを原作とした映画である。
既刊一覧

六本木バナナ・ボーイズ（1988／光文社文庫、1989）

六本木シンデレラ（1989／光文社文庫、1992）

六本木サンセット（1991）
映画版

| 六本木バナナ・ボーイズ |
| --- | --- |
監督:  成田裕介
脚本:  柏原寛司
出演者:  仲村トオル 清水宏次朗
音楽:  飛澤宏元
主題歌:  清水宏次朗 「俺たちのシーズン」
撮影:  柳島克己
編集:  田中修
配給:  東映
公開:   1989年8月12日
上映時間:  90分
製作国:   日本
言語:  日本語
テンプレートを表示
『ビー・バップ・ハイスクール』シリーズで主演を務めた仲村トオルと清水宏次朗が再びコンビを組み、1989年8月12日に東映系にて公開された。2010年9月21日にはDVDが発売された。
映画版 > スタッフ

監督 - 成田裕介
企画 - 黒澤満、岡田裕介
プロデューサー：青木勝彦、山本勉
原作 - 喜多嶋隆
脚本 - 柏原寛司
撮影 - 柳島克己
照明 - 井上幸男
美術 - 小澤秀高
録音 - 柿沼紀彦
編集 - 田中修
助監督 - 伊藤裕彰
音楽 - 飛澤宏元
作曲 - 都志見隆、羽場仁志
演奏 - TEA-J BAND
音楽プロデューサー - 高桑忠男
主題歌 - 清水宏次朗「俺たちのシーズン」
作詞 - 松本隆
作曲 - 清水宏次朗
編曲 - つのごうじ
技闘 - 高瀬将嗣
カースタント - TA・KA
製作協力 - セントラルアーツ
東映株式会社作品
映画版 > キャスト

夏目涼太郎 - 仲村トオル
岩田哲男 - 清水宏次朗
高見小百合 - 森川由加里
ジュディ・エストラダ - カトリーナ・ケーシー
京子 - RIKACO
今井 - 木之元亮
アキラ - ジミー大西
渡辺 - 香川照之
前島 - 栗田貫一
君津刑事 - 伊藤洋三郎
梅 - 千石規子
その他 - 伊藤加奈子、加藤善博、杉本哲太、高橋克典、小沢一義、松山鷹志、藤原晋、榎木兵衛
長崎国体

長崎国体（ながさきこくたい）
第24回国民体育大会
第69回国民体育大会
0 (Superflyのアルバム)

『0』（ゼロ）は、2020年1月15日に発売されたSuperflyの6枚目のオリジナル・アルバム。
概要

オリジナル・アルバムとしては、『WHITE』から約4年半ぶりとなるアルバム。
2019年7月29日、FUJI ROCK FESTIVALに出演した際、アリーナツアーのタイトル「0」とアルバムリリースが発表された。
収録曲の殆どがシングル曲及びそのカップリング曲で占めており、アルバムとしてのオリジナル曲は3曲となっている（シングル『Bloom』のカップリング曲「ユニゾン」のみ未収録）。
本作は、通常盤・初回盤A・初回盤Bの3形態でリリース。初回盤AのDVD・Blu-rayには、2019年秋から開催されている「Superfly Arena Tour 2019"0"」さいたまスーパーアリーナ公演から一部楽曲のライブ映像が収録。初回盤BのDVD・Blu-rayには、2019年夏に開催された「MEET THE WORLD BEAT 2019」のライブ映像と「Superfly BEST」以来となるMV集、全17曲が収録。
発売を記念してリリース日には、都内某所にてミニライブが開催、1月6日よりタワーレコード 表参道・梅田NU茶町・札幌ビヴォ店にて「Superfly CAFE」が開催される。
チャート成績

初動3日間で23,851枚、1月27日付オリコンランキングで35,548枚を売り上げ3位を記録した。また、2020年1月度・月間オリコンランキングでは57,110枚を売り上げ4位を記録した。前作、「Superfly 10th Anniversary Greatest Hits "LOVE,PEACE＆FIRE"」からの首位連続記録とはならなかった。
収録曲 > CD (通常盤・初回盤共通)

| # | タイトル | 作詞 | 作曲 | 編曲 | 時間 |
| --- | --- | --- | --- | --- | --- |
| 1. | 「Ambitious」 | 越智志帆、jam | 越智志帆 | 島田昌典 | 4:31 |
| 2. | 「フレア」 | 越智志帆 | 越智志帆 | 島田昌典 | 4:14 |
| 3. | 「Gemstone」 | 越智志帆 | 越智志帆 | トオミヨウ | 4:08 |
| 4. | 「覚醒」 | 越智志帆 | 越智志帆 | 蔦谷好位置 | 4:15 |
| 5. | 「ハッピーデイ」 | 越智志帆 | 越智志帆 | UTA | 3:39 |
| 6. | 「Fall」 | 越智志帆 | 越智志帆 | 蔦谷好位置 | 4:04 |
| 7. | 「Lilyの祈り」 | 越智志帆 | 越智志帆 | 八橋義幸、越智志帆 | 5:46 |
| 8. | 「氷に閉じこめて」 | 越智志帆 | 越智志帆 | 中田裕二 | 4:32 |
| 9. | 「Bloom」 | いしわたり淳治 | 蔦谷好位置 | 蔦谷好位置 | 3:58 |
| 10. | 「サンディ」 | 越智志帆 | 越智志帆 | UTA | 4:23 |
| 11. | 「Gifts」 | 越智志帆 | 越智志帆、蔦谷好位置 | 蔦谷好位置 | 4:32 |
| 合計時間: | 合計時間: | 合計時間: | 合計時間: | 合計時間: | 47:01 |
収録曲 > DVD・Blu-ray > 初回盤A

「Superfly Arena Tour 2019 “0”」
(2019.10.27 Saitama Super Arena)
| # | タイトル | 作詞 | 作曲・編曲 |
| --- | --- | --- | --- |
| 1. | 「Wildflower」 |   |   |
| 2. | 「やさしい気持ちで」 |   |   |
| 3. | 「Beautiful」 |   |   |
| 4. | 「恋する瞳は美しい」 |   |   |
| 5. | 「My Best Of My Life」 |   |   |
| 6. | 「覚醒」 |   |   |
| 7. | 「タマシイレボリューション」 |   |   |
| 8. | 「Alright!!」 |   |   |
| 9. | 「99」 |   |   |
| 10. | 「愛をこめて花束を」 |   |   |
収録曲 > DVD・Blu-ray > 初回盤B

「FM802 30PARTY MEET THE WORLD BEAT 2019」
（2019.7.21）
| # | タイトル | 作詞 | 作曲・編曲 |
| --- | --- | --- | --- |
| 1. | 「ハロー・ハロー（Short ver.）」 |   |   |
| 2. | 「Beautiful」 |   |   |
| 3. | 「タマシイレボリューション」 |   |   |
| 4. | 「Gifts」 |   |   |
| 5. | 「愛をこめて花束を」 |   |   |
| 6. | 「Ambitious」 |   |   |
Music Video
※は初ソフト化
| # | タイトル | 作詞 | 作曲・編曲 |
| --- | --- | --- | --- |
| 1. | 「Starting Over」 |   |   |
| 2. | 「Always」 |   |   |
| 3. | 「Bi-Li-Li Emotion」 |   |   |
| 4. | 「Live ※」 |   |   |
| 5. | 「愛をからだに吹き込んで ※」 |   |   |
| 6. | 「White Light ※」 |   |   |
| 7. | 「On Your Side ※」 |   |   |
| 8. | 「Beautiful ※」 |   |   |
| 9. | 「黒い雫 ※」 |   |   |
| 10. | 「Good-bye ※」 |   |   |
| 11. | 「心の鎧 ※」 |   |   |
| 12. | 「愛に抱かれて ※」 |   |   |
| 13. | 「Bloom ※」 |   |   |
| 14. | 「Fall ※」 |   |   |
| 15. | 「Gifts ※」 |   |   |
| 16. | 「Ambitious ※」 |   |   |
| 17. | 「フレア ※」 |   |   |
チャートと売上 > 認定とセールス

| 国/地域 | 認定 | 認定/売上数 |
| --- | --- | --- |
| 日本 (RIAJ) | — | 73,000（フィジカルCD) （オリコン） |
 * 認定のみに基づく売上数 ^ 認定のみに基づく出荷枚数