Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I

John McCarthy, 1960, Communications of the ACM

About this paperTiếng Việt中文

This paper is under a licence that does not allow it to be reproduced, so what is here is its front matter and a short abstract. Read it at the publisher's page.

English
日本語

April 1960

記号式の再帰関数

およびその機械による計算 第I部

John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass. ∗

1960年4月

1 序論

LISP（LISt Processor）と呼ばれるプログラミングシステムが、M.I.T.の人工知能グループによってIBM 704コンピューター用に開発された。このシステムは、Advice Takerと呼ばれる構想中のシステムに関する実験を容易にするために設計されたものである。Advice Takerでは、機械に宣言文だけでなく命令文も扱うよう指示でき、命令を実行する際に「常識」を発揮させることができる。Advice Takerの最初の提案 [1] は1958年11月になされた。主な要件は、形式化された宣言文および命令文を表す式を操作するためのプログラミングシステムであり、それによってAdvice Takerシステムが推論を行えるようにすることであった。

開発の過程で、LISPシステムはいくつかの簡略化の段階を経て、最終的には、あるクラスの記号式の部分再帰関数を表現するための方式に基づくものとなった。この表現はIBM 704コンピューターにも、その他のいかなる電子計算機にも依存しないものであり、現在では、S式と呼ばれる式のクラスおよびS関数と呼ばれる関数から始めてこのシステムを説明するのが適切であると思われる。

∗ Putting this paper in L A supported by ARPA (ONR) grant N00014-94-1-0775

TEXpartly 1962年以来John McCarthyが在籍しているStanford Universityへ。この論文は、若干の記法上の変更を加えてCACM, April 1960から複写したものである。正確な組版を確認したい場合は、そちらを参照されたい。

1 Introduction

This section is missing here.

2 Functions and Function Definitions

This section is missing here.

3 Recursive Functions of Symbolic Expressions

This section is missing here.

4 The LISP Programming System

This section is missing here.

5 Another Formalism for Functions of Symbolic Expressions

This section is missing here.

6 Flowcharts and Recursion

This section is missing here.

7 Acknowledgments

This section is missing here.

References

  1. J. McCARTHY, Programs with common sense, Paper presented at the Symposium on the Mechanization of Thought Processes, National Physical Laboratory, Teddington, England, Nov. 24-27, 1958. (Published in Proceedings of the Symposium by H. M. Stationery Office).
  2. A. NEWELL AND J. C. SHAW, Programming the logic theory machine, Proc. Western Joint Computer Conference, Feb. 1957.
  3. A. CHURCH, *The Calculi of Lambda-Conversion* (Princeton University Press, Princeton, N. J., 1941).
  4. FORTRAN Programmer’s Reference Manual, IBM Corporation, New York, Oct. 15, 1956.
  5. A. J. PERLIS AND K. SAMELS0N, International algebraic language, Preliminary Report, *Comm. Assoc. Comp. Mach.*, Dec. 1958.

Read off the page by a vision model reading the page images using olmOCR-2-7B-1025-FP8.

Read off the page by the text layer of the PDF using pdftotext version 26.09.0. Translated into 日本語 by gpt-5, against glossary version 6. Translated from the English.