英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：

quine    音标拼音: [kw'ɑɪn]
Quine
n 1: United States philosopher and logician who championed an
empirical view of knowledge that depended on language
(1908-2001) [synonym: {Quine}, {W. V. Quine}, {Willard Van
Orman Quine}]

/kwi:n/ (After the logician Willard V. Quine,
via Douglas Hofstadter) A program that generates a copy of its
own source text as its complete output. Devising the shortest
possible quine in some given programming language is a common
hackish amusement.

In most interpreted languages, any constant, e.g. 42, is a
quine because it "evaluates to itself". In certain {Lisp}
dialects (e.g. {Emacs Lisp}), the symbols "nil" and "t" are
"self-quoting", i.e. they are both a symbol and also the value
of that symbol. In some dialects, the function-forming
function symbol, "lambda" is self-quoting so that, when
applied to some arguments, it returns itself applied to those
arguments. Here is a quine in {Lisp} using this idea:

((lambda (x) (list x x)) (lambda (x) (list x x)))

Compare this to the {lambda expression}:

(\ x . x x) (\ x . x x)

which reproduces itself after one step of {beta reduction}.
This is simply the result of applying the {combinator} {fix}
to the {identity function}. In fact any quine can be
considered as a {fixed point} of the language's evaluation
mechanism.

We can write this in {Lisp}:

((lambda (x) (funcall x x)) (lambda (x) (funcall x x)))

where "funcall" applies its first argument to the rest of its
arguments, but evaluation of this expression will never
terminate so it cannot be called a quine.

Here is a more complex version of the above Lisp quine, which
will work in Scheme and other Lisps where "lambda" is not
self-quoting:

((lambda (x)
(list x (list (quote quote) x)))
(quote
(lambda (x)
(list x (list (quote quote) x)))))

It's relatively easy to write quines in other languages such
as {PostScript} which readily handle programs as data; much
harder (and thus more challenging!) in languages like {C}
which do not. Here is a classic {C} quine for {ASCII}
machines:

char*f="char*f=%c%s%c;main() {printf(f,34,f,34,10);}%c";
main(){printf(f,34,f,34,10);}

For excruciatingly exact quinishness, remove the interior line
break. Some infamous {Obfuscated C Contest} entries have been
quines that reproduced in exotic ways.

{Ken Thompson}'s {back door} involved an interesting variant
of a quine - a compiler which reproduced part of itself when
compiling (a version of) itself.

[{Jargon File}]

(1995-04-25)

quine: /kwi:n/, n. [from the name of the logician Willard van Orman Quine, via Douglas
Hofstadter] A program that generates a copy of its own source text as its
complete output. Devising the shortest possible quine in some given
programming language is a common hackish amusement. (We ignore some
variants of BASIC in which a program consisting of a single empty string
literal reproduces itself trivially.) Here is one classic quine:

((lambda (x)
  (list x (list (quote quote) x)))
 (quote
    (lambda (x)
      (list x (list (quote quote) x)))))
This one works in LISP or Scheme. It's relatively easy to write
quines in other languages such as Postscript which readily handle programs
as data; much harder (and thus more challenging!) in languages like C
which do not. Here is a classic C quine for ASCII machines:

char*f="char*f=%c%s%c;main()
{printf(f,34,f,34,10);}%c";
main(){printf(f,34,f,34,10);}
For excruciatingly exact quinishness, remove the interior line
breaks. Here is another elegant quine in ANSI C:

#define q(k)main(){return!puts(#k"
q("#k")");}
q(#define q(k)main(){return!puts(#k"
q("#k")");})
Some infamous Obfuscated C Contest entries
have been quines that reproduced in exotic ways. There is an amusing
Quine Home
Page.


请选择你想看的字典辞典：
单词字典翻译
quine查看　quine　在百度字典中的解释百度英翻中〔查看〕
quine查看　quine　在Google字典中的解释Google英翻中〔查看〕
quine查看　quine　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Willard Van Orman Quine - Wikipedia
    A computer program whose output is its own source code is called a "quine" after Quine This usage was introduced by Douglas Hofstadter in his 1979 book, Gödel, Escher, Bach: An Eternal Golden Braid
  • Willard Van Orman Quine - Stanford Encyclopedia of Philosophy
    Quine is often said to put forward an “indispensability argument” (sometimes known as “the Quine-Putnam indispensability argument”) for the existence of mathematical entities
  • Willard Van Orman Quine: The Analytic Synthetic Distinction
    And thus Quine writes: “The problem of analyticity confronts us anew” (Quine, 1980: 22) To tackle the notion of analyticity, Quine makes a distinction between two kinds of analytic claims, those comprised of logical truths and those comprised of synonymous terms
  • Willard Van Orman Quine | Biography, Books, Philosophy, Facts . . .
    Willard Van Orman Quine, American logician and philosopher, widely considered one of the dominant figures in Anglo-American philosophy in the last half of the 20th century
  • Willard Van Orman Quine: Philosophy of Science
    By rejecting any sharp distinction between analytic and synthetic truths, Quine is led to the further denial of any type of knowledge that is categorically distinct from that found in our system of empirical knowledge (for details, see Quine 1951; Hylton 2007, 48-80)
  • Quine Co - Facebook
    Quine Co 1,960 likes · 1,129 talking about this Real Estate Specialists | Powered by Ownly | Licensed under REA 2008
  • Willard Van Orman Quine - New World Encyclopedia
    Willard Van Orman Quine (June 25, 1908 – December 25, 2000), usually cited as W V Quine or W V O Quine but known to his friends as Van, was one of the most influential American logicians and philosophers of the twentieth century
  • Willard Van Orman Quine home page by Douglas Boynton Quine
    Home page for Willard Van Orman Quine, mathematician and philosopher including list of books, articles, essays, students, and travels Includes links to other Willard Van Orman Quine Internet resources as well as to other Family Web Sites by Douglas Boynton Quine
  • Biography:Willard Van Orman Quine - HandWiki
    Quine was famous for his position that first order logic is the only kind worthy of the name, and developed his own system of mathematics and set theory, known as New Foundations
  • Willard Van Orman Quine gt; By Individual Philosopher gt; Philosophy
    Willard Van Orman Quine (AKA W V O Quine, or "Van" to his friends) (1908 - 2000) was an American philosopher and mathematical logician, widely considered one of the most important philosophers of the second half of the 20th Century





中文字典-英文字典  2005-2009