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日 - )は、アメリカ合衆国の俳優。ザッカリー・クイントと表記されることもある。 ペンシルベニア州ピッツバーグ出身。父親のジョンはイタリア人とアイルランド人の血を引く理容師だったが、ザカリー
NHKオンライン(エヌエイチケイオンライン)とは、日本放送協会がインターネットのウェブ上で運営している、公式ウェブサイトの名称である。 1991年にnhk.or.jpのドメインを取得。1995年10月6日に前身となるページが開設された。 2000年代後半になると『NHK紅白歌合戦』のコーナー「スキ
ローガン・T・ウェブ(Logan T. Webb, 1996年11月18日 - )は、アメリカ合衆国カリフォルニア州プレイサー郡ロックリン(英語版)出身のプロ野球選手(投手)。右投右打。MLBのサンフランシスコ・ジャイアンツ所属。 2014年のMLBドラフト4巡目(全体118位)でサンフランシスコ
この名前は、日本の人名慣習に従い、名前を姓名順で表記しています。姓はウェブ、名は将武です。 ウェブ 将武(ウェブ しょうん、1981年12月30日 - )は、元ラグビー選手、ラグビー指導者。元日本代表。旧名ショーン・ウェブ(Shaun Webb)。現在JAPAN RUGBY LEAGUE
ティム・カリー(Tim Curry, 本名:Timothy James Curry, 1946年4月19日 - )は、イングランドのウォリントン出身の俳優。 父はメソジスト派の牧師であったが、1958年に他界した。バーミンガム大学とケンブリッジ大学で演劇と英文学を学び、卒業後に舞台『ヘアー』に出演