アロンゾ・チャーチ（Alonzo Church、1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者である。ラムダ計算の創案者や、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。 ワシントンD.C.にて判事の父のもとに生まれ、1924年にプリンストン大学で学士号を取...

この記事の項目名には以下のような表記揺れがあります。 ピート・アロンゾ ピート・アランソ ピート・アロンゾ（英語: Pete Alonso 英語発音: [pit əˈlɑnzoʊ]、本名: ピーター・モーガン・アロンゾ（Peter Morgan Alonso）、1994年12月7日 -...

アロンゾ・ハーディング・モーニング・ジュニア（Alonzo Harding Mourning, Jr., 1970年2月8日 - ） はアメリカ合衆国バージニア州チェサピーク出身の元プロバスケットボール選手。ポジションはセンター。 センタープレイヤーとして特別上背があったわけではなかったが、剛力を発...

レオポールト・レーヴェンハイム スタニスワフ・レシニェフスキ トアルフ・スコーレム パウル・ベルナイス エミール・ポスト ハスケル・カリー アルフレト・タルスキ アロンゾ・チャーチ スティーヴン・コール・クリーネ クルト・ゲーデル ゲルハルト・ゲンツェン ジャック・エルブラン アーサー・プライア アンジェイ・モストフスキ...

1994年1月25日）は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。クリーネは、正規表現の発明や、アロンゾ・チャーチ、クルト・ゲーデル、アラン・チューリング、エミール・ポストらと共に帰納的関数論という数理論理学の一分野を創始したことで知られる。クリーネ代数...

アロンゾ・シドニー・パウエル（Alonzo Sidney Powell , 1964年12月12日 - ）は、アメリカ合衆国カリフォルニア州サンフランシスコ出身の元プロ野球選手（外野手）、野球指導者、スコアラー。右投右打。愛称は「ゾウさん」。 日本プロ野球（NPB）時代は1992年 -...

チャード・モンタギューと共にタルスキの講座に属するようになった。だから私たちが友人になったのはそのころのことだ。スコットはタルスキの指導で博士号を目指していたが、私たちの伝記に説明されている理由で落第することになった。動揺したスコットはプリンストンに移り、アロンゾ・チャーチ...

の型システムのことを型理論と呼ぶこともある。集合論の代替となる数学の基礎として役立てられる型理論（型システム）も存在する。そのような例としてアロンゾ・チャーチの型付きラムダ計算やマルティン・レーフの直観主義型理論が有名である。 20世紀初頭にバートランド・ラッセルが発見した、ラッセルのパラドックス...

拡大すれば、任意のモデルで真となる命題のみ、そしてそれらの全てを証明できるような、健全で完全な証明計算は存在する。 高階述語論理の例として、アロンゾ・チャーチの Simple Theory of Types や Calculus of Constructions (CoC) がある。 型付きラムダ計算...

チャーチのラムダ計算を選択したに過ぎない。 歴史的に言えば、 LISP に続いて関数型プログラミングパラダイムへ刺激を与えたのは、1960年代半ばのピーター・ランディン（英語版）の成果である。ランディンの成果はハスケル・カリーとアロンゾ・チャーチ...

コモ周辺では、コモ湖などに生息するスズキ目のヨーロピアンパーチ（イタリア語ではペッシェ・ペルシコ pesce persico）や、ニシン目のアロサの近縁種のミッソルティーニ（missoltini）という名の魚が食卓に上る。 チーズ 当地産のチーズとしては、ゴルゴンゾーラ、グラナ・パダーノ、タレッジョ、ビット、ロ...

1988年） 6月6日 - アラム・ハチャトゥリアン、作曲家・指揮者（+ 1978年） 6月6日 - 清水文雄、国文学者（+ 1998年） 6月8日 - 知里幸恵、詩人（+ 1922年） 6月12日 - 奥田良三、歌手（+ 1993年） 6月14日 - アロンゾ・チャーチ、論理学者・数学者（+ 1995年）...

- アロンゾ・チャーチ、数学者、論理学者（* 1903年） 1995年 - 城戸禮、小説家（* 1909年） 1996年 - ラファエル・クーベリック、指揮者、作曲家（* 1914年） 1996年 - 邦光史郎、作家（* 1922年） 1996年 - メル・テイラー、ドラマー（ザ・ベンチャーズ）（*...

ニューヨーク市のFar Rockawayに生れる。最初は奇術師をしていた。1955年にシカゴ大学から学士を得る。1959年にプリンストン大学から博士号を得る。アロンゾ・チャーチのもとで学んだ数多くの傑出した論理学者の一人。 スマリヤンは博士課程にいるときの1957年に“Journal of Symbolic...

言葉は「仕事として計算を行う人（計算手）」を指していた。しかしこの時代に、現代に通じる計算理論と計算模型が考案されている。クルト・ゲーデル、アロンゾ・チャーチ、アラン・チューリングなど、後に計算機科学と呼ばれるようになる分野の先駆者は、計算可能性、すなわち（特別な前提知識や技能なしに）「紙と鉛筆と...

ジョン・バークリー・ロッサー - 論理学者、数学者、コーネル大学教授 デイナ・スコット - 論理学者、数学者、計算機科学者、カーネギーメロン大学教授、1976年度チューリング賞受賞者 アロンゾ・チャーチ - 論理学者、数学者、プリンストン大学教授 レイモンド・スマリヤン - 論理学者、数学者、ニューヨーク市立大学教授...

『魔動王グランゾート』（マドーキング グランゾート、MADÖ KING GRANZÖRT）は、1989年4月7日から1990年3月2日まで、日本テレビ系列で毎週金曜17:00 - 17:30（JST、一部の系列局を除く）に全41話が放送された、サンライズ制作のロボットアニメ。...

ある。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数...

バーナード・キング（2013年） ゲイリー・ペイトン（2013年） リッチー・ゲーリン（2013年） ロジャー・ブラウン（2013年） アロンゾ・モーニング（2014年） ミッチ・リッチモンド（2014年） ガイ・ロジャース（2014年） シャルーナス・マルチュリョニス（2014年） ルイー・ダンピアー（2015年）...

費やし、組合せ論理の開拓者、最大の貢献者になった。組合せ論理は、ある種の関数型プログラミング言語の基盤になっている。組合せ論理の力と範囲は、アロンゾ・チャーチのラムダ計算のそれときわめて似通っているが、近年は後者の形式主義の方が優勢である。 はじめ、ハーバード大学とプリンストン大学で教え、1929...

well-formed expression）の概念を形式化することができるようになる。 1930年代に「λ式」と呼ばれる新たな種類の数式が、アロンゾ・チャーチおよびスティーヴン・クレイニにより、函数とその評価を定式化するために導入された。λ式はλ計算—数理論理学およびプログラミング言語理論（英語版...

創設後数年間は、他の新興チームと同様低い勝率に苦しんだが、1990年にケンドール・ギル、1991年にラリー・ジョンソン、1992年にアロンゾ・モーニングを獲得するとホーネッツの成績は上向き始めた。ラリー・ジョンソンは新人王受賞、モーニングはリーグ有数のセンターへと成長していき、若く才能...

ャー(44位)、ニック・カレイテス(45位)、ダニー・グリーン(46位)、A・J・プライス(52位)、パティ・ミルズ(55位)などが指名を受けている。 ドラフト外選手にはジェフ・エイドリアン、アロン・ベインズ、アロンゾ...

ジャペ・アギラー (Japeth Aguilar) ボグズ・アドルナド (Bogs Adornado) ジミー・アラパグ (Jimmy Alapag) チャド・アロンゾ (Chad Alonzo) ポール・アルバレス (Paul Alvarez) ケリー・ウィリアムズ (Kelly Williams) アラン・カイディック...

ドラフト最上位で指名された2名、シャキール・オニールとアロンゾ・モーニングは2006年のNBAファイナルで共にマイアミ・ヒートでプレーし優勝した。 デイビッド・ウェズリー (SG/PG), ベイラー ドラフト全体3位で指名されたクリスチャン・レイトナーは、NBAでのデビュー前の1992年の夏に行...

デイヴィッド・ホックニー（1937年 - ） レンゾ・ピアノ（1937年 - ） ダニエル・ビュラン（1938年 - ） リチャード・セラ（1938年 - ） チャールズ・ジェンクス（1939年 - 2019年） ジャン・ピエール・レイノー（1939年 - ） チャック・クロース（1940年 - 2021年）...

この名前は、スペイン語圏の人名慣習に従っています。第一姓（父方の姓）はアロサレーナ、第二姓（母方の姓）はゴンサレスです。 この記事の項目名には以下のような表記揺れがあります。 ランディ・アロザリナ ランディ・アロザリーナ ランディ・アロザレーナ ランディ・アロサレナ ランディ・アロサレーナ・ゴンサレス（Randy Arozarena...

debut” (英語). MLB.com. 2019年6月10日閲覧。 ^ “MLB新人王は最多本塁打のアロンゾ「僕を信じてくれたチームに感謝を伝えたい｣ ア・リーグのアルバレスは満票選出”. ベースボールチャンネル(BaseBall Channel). 2019年11月16日閲覧。 ^ Anthony Castrovince...

て入団した。その年ルーキー・オブ・ザ・イヤーを獲得した。ケンドール・ギルと翌1992年のドラフト1巡目全体2位で指名されたアロンゾ・モーニングが加入しホーネッツは「フューチャーブルズ」（未来のシカゴ・ブルズ）と呼ばれるほど強豪チームとして期待された。 1994年バスケットボール世界選手権にドリーム...

Kakutani (2019年7月4日). “二刀流マッケイも選出。リニューアルした MLBオールスター・フューチャーズゲーム、未来のスターが結集(変更点の概要は1ページ目)”. ベースボール・チャンネル. 株式会社カンゼン. 2019年7月8日閲覧。 Major League Baseball Baseball...

ャーのブルーも操縦。 イエローショーグンゾード（イエロークマード） イエローレンジャーのショーグンゾード。メガゾードの右足となる。エイリアンレンジャーのイエローも操縦。 ブラックショーグンゾード（ブラックガンマー） ブラックレンジャーのショーグンゾード。メガゾードの左足となる。エイリアンレンジャーのブラックも操縦。...