| http://dbpedia.org/ontology/abstract
|
ド・ブラウン記法(英:De Bruijn notation)とは、ラムダ計算の表記のためのの一つである。オランダ人数学者ニコラース・ホーヴァート・ド・ブラウンによって発明された。
, In mathematical logic, the De Bruijn notat … In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.nction instead of after the latter's body.
|
| http://dbpedia.org/ontology/wikiPageID
|
10317758
|
| http://dbpedia.org/ontology/wikiPageLength
|
5156
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1101652445
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Function_%28mathematics%29 +
, http://dbpedia.org/resource/Netherlands +
, http://dbpedia.org/resource/Nicolaas_Govert_de_Bruijn +
, http://dbpedia.org/resource/Category:Lambda_calculus +
, http://dbpedia.org/resource/Pure_type_system +
, http://dbpedia.org/resource/Argument_%28computer_science%29 +
, http://dbpedia.org/resource/%CE%9B_calculus +
, http://dbpedia.org/resource/Syntax_%28logic%29 +
, http://dbpedia.org/resource/Mathematician +
, http://dbpedia.org/resource/Explicit_substitution +
, http://dbpedia.org/resource/Permutative_conversion +
, http://dbpedia.org/resource/Commutative_conversion +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Type_theory +
, http://dbpedia.org/resource/Type_checking +
, http://dbpedia.org/resource/Mathematical_notation +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:For +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Lambda_calculus +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Syntax +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/De_Bruijn_notation?oldid=1101652445&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/De_Bruijn_notation +
|
| owl:sameAs |
http://ja.dbpedia.org/resource/%E3%83%89%E3%83%BB%E3%83%96%E3%83%A9%E3%82%A6%E3%83%B3%E8%A8%98%E6%B3%95 +
, http://rdf.freebase.com/ns/m.02q88c8 +
, http://www.wikidata.org/entity/Q5244291 +
, http://dbpedia.org/resource/De_Bruijn_notation +
, https://global.dbpedia.org/id/4jEiS +
|
| rdf:type |
http://dbpedia.org/ontology/Software +
|
| rdfs:comment |
ド・ブラウン記法(英:De Bruijn notation)とは、ラムダ計算の表記のためのの一つである。オランダ人数学者ニコラース・ホーヴァート・ド・ブラウンによって発明された。
, In mathematical logic, the De Bruijn notat … In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.nction instead of after the latter's body.
|
| rdfs:label |
De Bruijn notation
, ド・ブラウン記法
|
