サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
デスク環境を整える
www-formal.stanford.edu
John McCarthy JanFebMarAprMayJun JulAugSepOctNovDec , :< 10 0 John McCarthy 885 Allardice Way Stanford, CA 94305 (h) 650 857-0672 (c) 650 224-5804 email: jmc@cs.stanford.edu ``Mistress, your baby is doing poorly. He needs your attention.'' ``Stop bothering me, you fucking robot.'' ``Mistress, the baby won't eat. If he doesn't get some human love, the Internet pediatrics book says he will die.'' ``
Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass. ∗ April 1960 1 Introduction A programming system called LISP (for LISt Processor) has been developed for the IBM 704 computer by the Artificial Intelligence group at M.I.T. The system was designed to facilitate experiments with a proposed syste
RECURSIVE FUNCTIONS OF SYMBOLIC EXPRESSIONS AND THEIR COMPUTATION BY MACHINE (Part I) This paper appeared in Communications of the ACM in April 1960. It is the original paper on Lisp. There are html, dvi, pdf and Postscript versions of the paper. Up to: Send comments to
Some Philosophical Problems from the Standpoint of Artificial Intelligence by John McCarthy and Patrick J. Hayes was published in 1969 in Machine Intelligence 4. It is the basic paper on situation calculus. dvi, pdf and ps versions are also available. @InCollection{McCHay69, author = "John McCarthy and Patrick J. Hayes", title = "Some Philosophical Problems from the Standpoint of Artificial Intell
Next: Introduction Elephant 2000: A Programming Language Based on Speech Acts John McCarthy, Stanford University I meant what I said, and I said what I meant. An elephant's faithful, one hundred percent! moreover, An elephant never forgets! Abstract: Elephant 2000 is a proposed programming language good for writing and verifying programs that interact with people (e.g. transaction processing) or i
LISP has survived for 21 years because it is an approximate local optimum in the space of programming languages. However, it has accumulated some barnacles that should be scraped off, and some long-standing opportunities for improvement have been neglected. It would benefit from some co-operative maintenance especially in creating and maintaining program libraries. Computer checked proofs of progr
John McCarthy's Home Page I'm Professor Emeritus (as of 2001 Jan 1) of Computer Science at Stanford University and here's more about me including addresses. What's new? It occurs to me that those who have already looked at this web page might not want to slog through all of it on the chance that something newly installed might interest them. If you've looked at the page before, then look at this d
Next: Introduction History of Lisp John McCarthy Artificial Intelligence Laboratory Stanford University 12 February 1979 This draft gives insufficient mention to many people who helped implement LISP and who contributed ideas. Suggestions for improvements in that directions are particularly welcome. Facts about the history of FUNARG and uplevel addressing generally are especially needed. Introduct
Next: Introduction Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass. 1 April 1960
このページを最初にブックマークしてみませんか?
『www-formal.stanford.edu』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く