英文字典中文字典


英文字典中文字典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
    Quine's chief objection to analyticity is with the notion of cognitive synonymy (sameness of meaning) He argues that analytical sentences are typically divided into two kinds; sentences that are clearly logically true (e g "no unmarried man is married") and the more dubious ones; sentences like "no bachelor is married "
  • Quince | High Quality Essentials, Radically Low Prices
    Quince brings luxury products like Mongolian Cashmere, Italian Leather, Turkish Cotton and Washable Silk to everyone at radically low prices Shop premium essentials with no middleman
  • Willard Van Orman Quine - Stanford Encyclopedia of Philosophy
    Willard Van Orman Quine, 1908–2000, Philosopher and Mathematician, a site maintained by Douglas Quine, son of W V O Quine, dedicated to the work of the latter
  • Willard Van Orman Quine | Biography, Books, Philosophy, Facts . . .
    Willard Van Orman Quine (born June 25, 1908, Akron, Ohio, U S —died December 25, 2000, Boston, Massachusetts) was an 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: 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)
  • 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
  • Quine’s Revolution in Analytical Philosophy
    Quine’s critiques of established theories and his novel approach to epistemology left an indelible mark on the field His work is especially known for questioning the distinction between analytic and synthetic truths, a foundational idea that had been central to logical positivism
  • Willard Van Orman Quine (1908–2000) – The Whitehead Encyclopedia
    Quine’s philosophy of language was strongly influenced by the behaviorist tradition, and was soon strongly criticized by Chomsky at the dawn of the cognitivist era in linguistics and psychology





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