システムFとは? わかりやすく解説

System F

(システムF から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/09/07 02:10 UTC 版)

System F型付きラムダ計算の一体系で,単純型付きラムダ計算についての全称量化を導入したものである.2階ラムダ計算(ジラール–レイノルズ)多相ラムダ計算としても知られる.プログラミング言語におけるパラメータ多相を形式化するもので,MLHaskellのような関数型言語の理論的な背景となっている.System Fは論理学者ジャン=イヴ・ジラールおよび計算機科学者のジョン・C・レイノルズによって独立に発見された.




「System F」の続きの解説一覧

システムF(1999-2002)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/01/05 01:47 UTC 版)

フェリー・コーステン」の記事における「システムF(1999-2002)」の解説

詳細は「en:Gouryella」を参照 1990年代末に人気博しだしたことにより、 DJ Tiësto (グリエラ, Vimana), ヴィンセント・デ・ムーア(音楽ユニットVeracochaを結成),ロバート・スミット(Robert Smit,Starparty)といったトランス界のミュージシャンDJたちと共演する機会増えた1999年2月、 コーステンはソロプロジェクト、システムF(System F)名義Tsunamiから"Out of the Blue"までのアルバム出した。そのアルバムにはメロディック楽曲含まれており、世界中のダンスフロアでヒットしイギリスシングルチャートではトップ20入ったこともあり、その後にでた Robert Smitとの共同プロデュース出されシングル "Cry"もイギリスチャートトップ20入った5月リリースされたグリエラ名義楽曲 "Gouryella" のシングルUK Singles Top 7515位を記録するなど、世界中でヒット巻き起こした。その次に出たシングル "Walhalla"もイギリスシングルチャート27位を記録1999年、コーステンはロンドンEricsson Muzik Awardでプロデューサー・オブ・イヤーを受賞した2000年9月Gouryellaから3rdシングル "Tenshi"がリリースされた。同年にはWilliam Orbit の『弦楽のためのアダージョ』(原作サミュエル・バーバー) と、U2の『ニュー・イヤーズ・デイ英語版)』をリミックスし、このうち弦楽のためのアダージョ』のリミックス版はDancestar 2000アワード受賞したMinistry of SoundプレゼンツのダンスコンピレーションシリーズTrance Nationイギリスでもっともよく売れたダンスコンピレーションアルバムとなり、プラチナディスク獲得するいたった2001年日本歌手浜崎あゆみ楽曲リミックス担当2002年リリースしたアルバムI am...』の収録曲Connected」にトランス色の強いプロデュースとなり、ドイツでは2003年ヨーロッパでシングルとしてリリースされた。 2002年には自身初のベストアルバムVery Best Of Ferry Corsten System F」をリリース

※この「システムF(1999-2002)」の解説は、「フェリー・コーステン」の解説の一部です。
「システムF(1999-2002)」を含む「フェリー・コーステン」の記事については、「フェリー・コーステン」の概要を参照ください。

ウィキペディア小見出し辞書の「システムF」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「システムF」の関連用語

システムFのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



システムFのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのSystem F (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのフェリー・コーステン (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2024 GRAS Group, Inc.RSS