システムF

ウィキペディア

System F

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

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

ウィキペディア小見出し辞書

システム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 75で15位を記録するなど、世界中でヒットを巻き起こした。その次に出たシングル "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」をリリース。