英文字典中文字典


英文字典中文字典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
    Willard Van Orman Quine: The Analytic Synthetic Distinction Willard Van Orman Quine was one of the most well-known American “analytic” philosophers of the twentieth century He made significant contributions to many areas of philosophy, including philosophy of language, logic, epistemology, philosophy of science, and philosophy of mind psychology (behaviorism) However, he is best known
  • 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 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
  • 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 - philosophypages. com
    Born in Akron, Ohio, Quine began his philosophical studies at Oberlin College in his native state He later studied the foundations of mathematical logic with Alfred North Whitehead at Harvard University, where Quine himself became professor of philosophy in 1936
  • Willard Quine - Harvard Square Library
    Willard Van Orman Quine, one of the most important philosophers of the 20 th century, died on Christmas Day at the age of 92 In more than 20 books that have been translated into some 50 languages, Quine has addressed topics both weighty and whimsical
  • W. V. O. Quine (1908-2000) | Issue 95 | Philosophy Now
    Quine made major contributions to the development of logic, the philosophy of language, epistemology, and metaphysics After establishing himself as a leading logician, he evolved into the quintessential language philosopher
  • ‪Willard Van Orman Quine‬ - ‪Google Scholar‬
    Willard Van Orman Quine Other names Edgar Pierce Professor of Philosophy, Harvard University Verified email at mit edu - Homepage





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