| dbo:abstract |
Los Caballeros del Cálculo Lambda (Knights of the Lambda Calculus en inglés) es un grupo semi-ficticio de hackers expertos en Lisp y Scheme. El nombre hace referencia al Cálculo Lambda, un formalismo matemático inventado por Alonzo Church, En el que Lisp está conectado. Y hace referencia a los Caballeros templarios No hay realmente una organización que tenga el nombre Caballeros del Cálculo Lambda; Casi siempre existe como una broma de la cultura hacker. El conecto puede haber sido tomado en el MIT. Por ejemplo, en el Structure and Interpretation of Computer Programs, presenta el botón a la audiencia diciendo que ahora son miembros de dicho grupo. Sin embargo, según el Jargon File, se sabe que un "Conocido LISPer" ha entregado botones con la insignia de los Caballeros. Y algunos han afirmado estar dentro de la organización. (es) The Knights of the Lambda Calculus is a semi-fictional organization of expert Lisp and Scheme hackers. The name refers to the lambda calculus, a mathematical formalism invented by Alonzo Church, with which Lisp is intimately connected, and references the Knights Templar. There is no actual organization that goes by the name Knights of the Lambda Calculus; it mostly only exists as a hacker culture in-joke. The concept most likely originated at MIT. For example, in the Structure and Interpretation of Computer Programs video lectures, Gerald Jay Sussman presents the audience with the button, saying they are now members of this special group. However, according to the Jargon File, a "well-known LISPer" has been known to give out buttons with Knights insignia on them, and some people have claimed to have membership in the Knights. (en) ラムダ計算騎士団（ラムダけいさんきしだん、英語: Knights of the Lambda Calculus）は、LISPとSchemeのエキスパートによるハッカー集団である。名前は、LISPと密接な関係にあるラムダ計算と、テンプル騎士団にちなんだものである。 実際にはこのような名前の組織はなく、ハッカー文化のジョークとして存在しているだけである。この概念はマサチューセッツ工科大学(MIT)で生まれたものである可能性が高い。例えば、『計算機プログラムの構造と解釈』のビデオ講義では、ジェラルド・ジェイ・サスマンが聴衆にボタンを見せて、「これでこの特別なグループの団員になった」と語っている。しかし、ジャーゴンファイルによると、「ある有名なLISPer」が騎士団の記章が入ったボタンを配っていたことが知られており、そのため、騎士団員であると主張する人が多い。 (ja) λ演算骑士团（英語：Knights of the Lambda Calculus）是一个由LISP专家和Scheme黑客组成的的半虚构组织。这个名字指代的是Λ演算，一个由阿隆佐·邱奇创造的数学形式体系。此体系与LISP紧密相关，而λ演算骑士团之名称引用自圣殿骑士团。 其实并没有组织叫λ演算骑士团；它主要只在内作为内部笑话而存在。这个概念可能起源自MIT（麻省理工学院）。例如，在《计算机程序的构造和解释》的视频讲座 （页面存档备份，存于互联网档案馆）里, 傑拉德·傑伊·薩斯曼给听众介绍了个徽章，说他们现在是这个特殊组织的成员了。然而，根据所述，一个“众所周知的LISP使用者”会收到有骑士团标志的徽章，而且一些人声称说他们有骑士团的会籍。 (zh) |
| dbo:thumbnail |
wiki-commons:Special:FilePath/Knights_of_the_Lambda_Calculus.svg?width=300 |
| dbo:wikiPageExternalLink |
http://www.swiss.ai.mit.edu/classes/6.001/abelson-sussman-lectures/ |
| dbo:wikiPageID |
17209 (xsd:integer) |
| dbo:wikiPageLength |
2533 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1050248548 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Scheme_(programming_language) dbc:Lambda_calculus dbc:In-jokes dbr:Massachusetts_Institute_of_Technology dbr:Gerald_Jay_Sussman dbr:Anime dbr:Lisp_(programming_language) dbr:MIT dbr:Structure_and_Interpretation_of_Computer_Programs dbr:Hacker_culture dbr:Alonzo_Church dbr:File:Knights_of_the_Lambda_Calculus.svg dbr:Hacker_(programmer_subculture) dbr:Jargon_File dbc:Fictional_knights dbr:Lambda_calculus dbr:Knights_Templar dbr:Serial_Experiments_Lain |
| dbp:wikiPageUsesTemplate |
dbt:Reflist dbt:Compu-prog-stub |
| dcterms:subject |
dbc:Lambda_calculus dbc:In-jokes dbc:Fictional_knights |
| gold:hypernym |
dbr:Organization |
| rdf:type |
yago:Aristocrat109807754 yago:CausalAgent100007347 yago:Knight110238375 yago:Leader109623038 yago:LivingThing100004258 yago:MaleAristocrat110285135 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo dbo:Organisation yago:Whole100003553 yago:WikicatFictionalKnights |
| rdfs:comment |
ラムダ計算騎士団（ラムダけいさんきしだん、英語: Knights of the Lambda Calculus）は、LISPとSchemeのエキスパートによるハッカー集団である。名前は、LISPと密接な関係にあるラムダ計算と、テンプル騎士団にちなんだものである。 実際にはこのような名前の組織はなく、ハッカー文化のジョークとして存在しているだけである。この概念はマサチューセッツ工科大学(MIT)で生まれたものである可能性が高い。例えば、『計算機プログラムの構造と解釈』のビデオ講義では、ジェラルド・ジェイ・サスマンが聴衆にボタンを見せて、「これでこの特別なグループの団員になった」と語っている。しかし、ジャーゴンファイルによると、「ある有名なLISPer」が騎士団の記章が入ったボタンを配っていたことが知られており、そのため、騎士団員であると主張する人が多い。 (ja) λ演算骑士团（英語：Knights of the Lambda Calculus）是一个由LISP专家和Scheme黑客组成的的半虚构组织。这个名字指代的是Λ演算，一个由阿隆佐·邱奇创造的数学形式体系。此体系与LISP紧密相关，而λ演算骑士团之名称引用自圣殿骑士团。 其实并没有组织叫λ演算骑士团；它主要只在内作为内部笑话而存在。这个概念可能起源自MIT（麻省理工学院）。例如，在《计算机程序的构造和解释》的视频讲座 （页面存档备份，存于互联网档案馆）里, 傑拉德·傑伊·薩斯曼给听众介绍了个徽章，说他们现在是这个特殊组织的成员了。然而，根据所述，一个“众所周知的LISP使用者”会收到有骑士团标志的徽章，而且一些人声称说他们有骑士团的会籍。 (zh) The Knights of the Lambda Calculus is a semi-fictional organization of expert Lisp and Scheme hackers. The name refers to the lambda calculus, a mathematical formalism invented by Alonzo Church, with which Lisp is intimately connected, and references the Knights Templar. (en) Los Caballeros del Cálculo Lambda (Knights of the Lambda Calculus en inglés) es un grupo semi-ficticio de hackers expertos en Lisp y Scheme. El nombre hace referencia al Cálculo Lambda, un formalismo matemático inventado por Alonzo Church, En el que Lisp está conectado. Y hace referencia a los Caballeros templarios (es) |
| rdfs:label |
Caballeros del cálculo lambda (es) Knights of the Lambda Calculus (en) ラムダ計算騎士団 (ja) Λ演算骑士团 (zh) |
| owl:sameAs |
freebase:Knights of the Lambda Calculus yago-res:Knights of the Lambda Calculus wikidata:Knights of the Lambda Calculus dbpedia-es:Knights of the Lambda Calculus dbpedia-ja:Knights of the Lambda Calculus dbpedia-zh:Knights of the Lambda Calculus https://global.dbpedia.org/id/4pRVv |
| prov:wasDerivedFrom |
wikipedia-en:Knights_of_the_Lambda_Calculus?oldid=1050248548&ns=0 |
| foaf:depiction |
wiki-commons:Special:FilePath/Knights_of_the_Lambda_Calculus.svg |
| foaf:isPrimaryTopicOf |
wikipedia-en:Knights_of_the_Lambda_Calculus |
| is dbo:wikiPageDisambiguates of |
dbr:KLC_(disambiguation) |
| is dbo:wikiPageRedirects of |
dbr:Knights_of_the_lambda_calculus dbr:Lambda_nature dbr:Knights_of_the_Eastern_Calculus dbr:Knights_of_the_Lambda-Calculus |
| is dbo:wikiPageWikiLink of |
dbr:Lambda_calculus dbr:Serial_Experiments_Lain dbr:KLC_(disambiguation) dbr:Knights_of_the_lambda_calculus dbr:Lambda_nature dbr:Knights_of_the_Eastern_Calculus dbr:Knights_of_the_Lambda-Calculus |
| is foaf:primaryTopic of |
wikipedia-en:Knights_of_the_Lambda_Calculus |
