英文字典中文字典


英文字典中文字典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 was a teacher of logic and set theory He 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 - 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
    In this paper, Quine argues that all attempts to define and understand analyticity are circular Therefore, the notion of analyticity should be rejected (along with, of course, the spurious distinction in which it features) This rejection has inspired debates and discussions for decades
  • 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
    Quine’s epistemological concern is to examine our successful acquisition of scientific theories, while his ontological interests focus on the further logical regimentation of that theory
  • Kristine Quine, Financial Advisor | Edward Jones
    Kristine Quine is an Edward Jones Financial Advisor serving Colorado Springs, CO Get the personal financial advice you need to achieve your goals
  • 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 - 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 - Philosophy of Cosmology
    Willard Van Orman Quine (25 June 1908 – 25 Dec 2000) was one of the most important philosophers of the 20th century He made major contributions to logic, philosophical logic, philosophy of language, epistemology, and philosophy of science





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