HOME |
ゲストブック |
書き込み一覧 |
返事を書く |
マッカーシーの1960年の有名な論文が以下で手に入りますね。 ちと読むのは難しそうですが。。(^^;; Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I http://www-formal.stanford.edu/jmc/recursive.pdf
HOME |
ゲストブック |
書き込み一覧 |
返事を書く |