なぜ、Linuxユーザーはこんなに知的で魅力的なのか? (227ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
39: [age] 2021/12/07(火)20:35:38.79 ID:18owKgS3(10/14) AAS
1927年後半、カリーはプリンストン大学の講師として働いているときに
コンビネータを再発見した。1930年代後半、アロンゾ・チャーチと
プリンストン大学の彼の教え子が、ラムダ計算というライバルとなる
関数抽象の形式化を考案し、コンビネータ論理より人気を博すこととなった。
こうした歴史的偶然のために、理論計算機科学が60〜70年代にコンビネータ論理に関心を
持ち始めるまで、この分野のほとんどすべての業績は、ほとんどカリーとその教え子、もしくは
ベルギーのロベール・フェイによるものであった。より最近のコンビネータ論理とラムダ計算の
比較については Barendregt (1984) を参照されたい（デイナ・スコットが60〜70年代に
考案したコンビネータ論理のためのモデル理論についても触れている）。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.010s