This HTML5 document contains 56 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n21https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n6http://www.nue.org/nue/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Tak_(function)
rdf:type
yago:Measure100033615 yago:Benchmark107261143 yago:WikicatFunctionsAndMappings yago:Abstraction100002137 yago:WikicatComputerBenchmarks yago:WikicatSpecialFunctions yago:Relation100031921 yago:MathematicalRelation113783581 yago:WikicatElementarySpecialFunctions yago:Function113783816 yago:SystemOfMeasurement113577171 yago:Standard107260623
rdfs:label
Tak (Funktion) 竹内関数 Fonction de Takeuchi Tak (function)
rdfs:comment
Die Tak-Funktion, benannt nach (竹内郁雄), ist eine rekursive Funktion, die folgendermaßen definiert ist: Anders ausgedrückt: Sie wird oft als Benchmark für Programmiersprachen verwendet, die auf Rekursion optimiert sind. La fonction de Takeuchi, abrégée tak ou parfois tarai, est la présentation récursive d'une fonction qui doit son nom à (竹内郁雄). La présentation de la fonction, qui, par ailleurs, admet une définition non récursive assez simple, peut requérir des calculs très longs si le compilateur qui l'implante n'est pas performant. Pour cette raison, elle est souvent utilisée pour tester les performances de l'implantation des fonctions récursives par le compilateur d'un langage de programmation. In computer science, the Tak function is a recursive function, named after (竹内郁雄). It is defined as follows: def tak( x, y, z) if y < x tak( tak(x-1, y, z), tak(y-1, z, x), tak(z-1, x, y) ) else z endend This function is often used as a benchmark for languages with optimization for recursion. 竹内関数（たけうちかんすう）は、プログラミング言語処理系のベンチマークなどに使われる、再帰的に定義された関数である。
dcterms:subject
dbc:Special_functions dbc:Functions_and_mappings
dbo:wikiPageID
4683709
dbo:wikiPageRevisionID
1121012644
dbo:wikiPageWikiLink
dbr:Computer_science dbr:Haskell_(programming_language) dbr:Recursion_(computer_science) dbr:Memoization dbr:Lazy_evaluation dbr:Benchmark_(computing) dbr:John_McCarthy_(computer_scientist) dbc:Special_functions dbr:Ikuo_Takeuchi dbr:Recursion dbc:Functions_and_mappings
dbo:wikiPageExternalLink
n6:%23tak-function
owl:sameAs
dbpedia-fr:Fonction_de_Takeuchi yago-res:Tak_(function) freebase:m.0ch4p6 wikidata:Q736804 dbpedia-de:Tak_(Funktion) dbpedia-ja:竹内関数 n21:4uo7A
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Benchmark dbt:Short_description dbt:Mathworld
dbp:title
TAK Function
dbp:urlname
TAKFunction
dbo:abstract
竹内関数（たけうちかんすう）は、プログラミング言語処理系のベンチマークなどに使われる、再帰的に定義された関数である。 La fonction de Takeuchi, abrégée tak ou parfois tarai, est la présentation récursive d'une fonction qui doit son nom à (竹内郁雄). La présentation de la fonction, qui, par ailleurs, admet une définition non récursive assez simple, peut requérir des calculs très longs si le compilateur qui l'implante n'est pas performant. Pour cette raison, elle est souvent utilisée pour tester les performances de l'implantation des fonctions récursives par le compilateur d'un langage de programmation. Die Tak-Funktion, benannt nach (竹内郁雄), ist eine rekursive Funktion, die folgendermaßen definiert ist: Anders ausgedrückt: Sie wird oft als Benchmark für Programmiersprachen verwendet, die auf Rekursion optimiert sind. In computer science, the Tak function is a recursive function, named after (竹内郁雄). It is defined as follows: def tak( x, y, z) if y < x tak( tak(x-1, y, z), tak(y-1, z, x), tak(z-1, x, y) ) else z endend This function is often used as a benchmark for languages with optimization for recursion.
prov:wasDerivedFrom
wikipedia-en:Tak_(function)?oldid=1121012644&ns=0
dbo:wikiPageLength
4009
foaf:isPrimaryTopicOf
wikipedia-en:Tak_(function)