Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
著作には直観主義論理への多大な関心が現れている。 Haskell - ハスケル・カリーの名にちなんだプログラミング言語 Curry - 同上 カリー化 組合せ論理 ラムダ計算 Yコンビネータ カリー・ハワード対応 カリーのパラドックス 関数型プログラミング 1951年、『形式主義者の数理哲学の概要』(Outlines
カリーにちなんで名付けられたが、実際に考案したのはMoses Schönfinkelとゴットロープ・フレーゲである。 ごく簡単な例として、f(a, b) = c という関数 f があるときに、F(a) = g(ここで、g は g(b) = c となる関数である)という関数 F が、f のカリー化である。
カリー 英語の curry・currie・currey は カレー、クリー、カーリー などとも。 currie・currry は英語の姓で、スコットランド・アイルランド系に多い。 ジャベツ・ラマー・モンロー・キュリー (Jabez Lamar Monroe Curry) - アメリカの政治家 (1825–1903)。
ザカリー・ジョン・クイント(Zachary John Quinto, 1977年6月2日 - )は、アメリカ合衆国の俳優。ザッカリー・クイントと表記されることもある。 ペンシルベニア州ピッツバーグ出身。父親のジョンはイタリア人とアイルランド人の血を引く理容師だったが、ザカリー
フレッド(Fred) アルフレッドの愛称。 フレデリックの愛称。 LVMH傘下のブランド。 ソ連に貸与されたベル P-39のNATOコードネーム。 五十音順。 フレッド・アーチャー - 19世紀イギリスのトップジョッキー。 フレッド・アステア - アメリカの俳優、ダンサー、歌手。 フレッド・アレクサンダー
フレッド・ロッサー(Fred Rosser、1983年11月2日 - )は、アメリカ合衆国の男性プロレスラー。ニュージャージー州ユニオンシティ出身。新日本プロレス所属。フルネームはフレデリック・ダグラス・ロッサー三世(Frederick Douglas Rosser III)。
フレッド・ハンセン(Fred Hansen, 1940年12月29日 - )はアメリカ合衆国・テキサス州出身の陸上競技男子棒高跳の選手である。ライス大学卒。 1964年東京オリンピック金メダル(5m10・五輪新記録) 1960年代前半に活躍したアメリカの棒高跳選手である。
フレッド・アーミセン(Fred Armisen, 1966年12月4日 - )は、アメリカ合衆国の コメディアン、俳優、ミュージシャン。『サタデー・ナイト・ライブ』の出演者。祖父は韓国系日本人で舞踏家の邦正美。 ハッティズバーグ (ミシシッピ州)で生まれ、ナッソー郡 (ニューヨーク州)Valley