LISP

LISP

LISPのロゴ
パラダイム	関数かんすう型がたプログラミング、手続てつづき型がたプログラミング、メタプログラミング、マルチパラダイムプログラミング、リフレクション
登場とうじょう時期じき	1960年ねん (1960)
設計せっけい者しゃ	ジョン・マッカーシー
開発かいはつ者しゃ	スティーブ・ラッセル、ティモシー・P・ハート、マイク・レビン
型付かたつけ	強つよい動的どうてき型付かたつけ
方言ほうげん	Arc、AutoLISP、Clojure、Common Lisp、Emacs Lisp、EuLisp、Franz Lisp、Hy、Interlisp、ISLISP、Le Lisp、LFE、Maclisp、MDL、newLISP、NIL、PicoLisp、 Portable Standard Lisp、Racket、Scheme、SKILL、Spice Lisp、T、XLISP、Lisp Machine Lisp
影響えいきょうを受うけた言語げんご	Information Processing Language
影響えいきょうを与あたえた言語げんご	CLIPS、CLU、COWSEL、Dylan、Falcon、 Forth、Haskell、Io、Ioke、JavaScript、 Julia、LOGO、Lua、Mathematica、MDL、 ML、Nu、OPS5、Perl、POP-2、POP-11、Python、R、Rebol、RPL、Ruby、Smalltalk、Tcl

LISP（リスプ）は、関数かんすう型がたプログラミング言語げんごである。S式しきと前ぜん置おけ記法きほうなどが特徴とくちょうである。

1958年ねん秋あきから開発かいはつを始はじめ、1960年ねん3月がつにLISP Iのマニュアルが書かかれ、1960年ねん4月がつに初はじめて論文ろんぶん発表はっぴょうされたLISPは、現在げんざいでも広範囲こうはんいに使用しようされている高水準こうすいじゅんプログラミング言語げんごの中なかではFORTRAN、COBOLに次ついで3番目ばんめに古ふるい（世界せかいで3番目ばんめに作つくられたプログラミング言語げんごという意味いみでは無なく、他たの言語げんごが使つかわれなくなったという意味いみ）。

これまでに多数たすうの方言ほうげんが存在そんざいしてきたが、今日きょう広ひろく使つかわれているLISP方言ほうげんは、Common Lisp、Scheme、Clojureなどである。

元々もともと、LISPは、アロンゾ・チャーチのラムダ計算けいさん表記ひょうき法ほうに影響えいきょうを受うけ、コンピュータプログラムのための実用じつよう的てきかつ数学すうがく的てきな表記ひょうき法ほうとして作つくられた。そして、すぐに人工じんこう知能ちのう研究けんきゅうに好このまれるプログラミング言語げんごになった。最初さいしょ期きのプログラミング言語げんごとして、LISPは計算けいさん機き科学かがくにて、木き構造こうぞう、ガベージコレクション、動的どうてき型付かたつけ、条件じょうけん分岐ぶんき、高階たかしな関数かんすう、再帰さいき、セルフホスティング、コンパイラを含ふくむ多おおくのアイディアを切きり開ひらいた。

LISPの名前なまえは、「list processor」に由来ゆらいしている。リストはLISPの主要しゅようなデータ構造こうぞうであり、LISPソースコードはそれ自体じたいがリストからできている。その結果けっか、LISPプログラムはソースコードをデータとして操作そうさすることができ、プログラマは、マクロ・システムで新あたらしい構文こうぶんやLISP埋うめ込こみの新あたらしいDSLを作成さくせいできる。

コードとデータの互換ごかん性せいは、LISPにそのすぐに認識にんしきできる構文こうぶんを与あたえる。すべてのプログラム・コードはS式しきまたは入いれ子このリストとして書かかれる。関数かんすう呼よび出だしまたは構文こうぶんは先頭せんとうが関数かんすうまたは演算えんざん子この名前なまえで、その続つづきが引数ひきすうであるリストとして書かかれる。具体ぐたい的てきには、3つの引数ひきすうを取とる関数かんすうfは、(f arg1 arg2 arg3)として呼よび出だされる。

古ふるくから使つかわれているが、FORTRANと同様どうように、現在げんざいのLISPは初期しょきのものから変化へんかしている。しかし、FORTRANと比くらべると変化へんかは小ちいさく、1960年ねんのLISP Iの時点じてんで大半たいはんの機能きのうは実装じっそう済ずみで、ガーベジコレクションやquoteでコードの中なかにコードを埋うめ込こみevalで実行じっこうする仕組しくみも最初さいしょから存在そんざいし、その後ご実装じっそうされた主おもなものは静的せいてきスコープ（LISP Iは親おやスコープの変数へんすう束縛そくばくがおかしく動的どうてきスコープだった）とマクロと継続けいぞくである。また、標準ひょうじゅんライブラリには永続えいぞくデータ構造こうぞうが片方向かたほうこうリストしかなかった。マクロは1963年ねんに実装じっそうされた。静的せいてきスコープは研究けんきゅうされ続つづけ、1975年ねんのSchemeでクロージャを使用しようする形かたちで完全かんぜんに解決かいけつした。

LISPの歴史れきし

ジョン・マッカーシー(上うえ)、スティーブ・ラッセル(下した)

LISPは1958年ねん秋あきにジョン・マッカーシーがMITのコミュニケーション科学かがくの助教授じょきょうじゅに就任しゅうにんし開発かいはつが始はじまった。マッカーシーは1960年ねんにACMの学会がっかい誌しCommunications of the ACMに「Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I」という題名だいめいの論文ろんぶん（「パートII」が発表はっぴょうされることはなかった）を発表はっぴょうした。この論文ろんぶんにおける重要じゅうような点てんはいくつかあるが、そのひとつは、自分じぶん自身じしんを eval できる meta-circular evaluator（en:Meta-circular evaluator）を記述きじゅつできる、ということを示しめしたことである 。1955年ねんまたは1956年ねんから開発かいはつが始はじまったIPLは、最初さいしょの人工じんこう知能ちのう言語げんごで、リスト処理しょりや再帰さいきなどの多おおくの概念がいねんをすでに含ふくんでいたが、その後ごすぐにそういった分野ぶんやではLISPが使つかわれるようになった。

前述ぜんじゅつの meta-circular evaluator はLISP自身じしんで実装じっそうされているが、ひとたびLISP以外いがいの言語げんごで実装じっそうすればそれは実際じっさいにLISPを解釈かいしゃく実行じっこうできるインタプリタとなる。マッカーシーは自分じぶんの論文ろんぶん中ちゅうにある評価ひょうか器きは単たんなる理論りろん上じょうの存在そんざいで、そのようにしてインタプリタを実装じっそう可能かのうであると考かんがえていなかった。しかし、マッカーシーのもとで大学院生だいがくいんせいであったスティーブ・ラッセルは論文ろんぶんを読よんだ後のち、機械きかい語ごでそれを実装じっそうしてみせ、マッカーシーを驚おどろかせた。そうしてLISPインタプリタが生うまれた。

meta-circular evaluator は、ある意味いみで、チューリングマシンにおける万能ばんのうチューリングマシンに相当そうとうする。（当初とうしょLISPプログラムの表現ひょうげん法ほうとしていた）「M式しき」を、LISP自身じしんが扱あつかうデータ構造こうぞうに変換へんかんした「S式しき」は、万能ばんのうチューリングマシンの入力にゅうりょく（テープの初期しょき状態じょうたい）として与あたえられるチューリングマシンの記述きじゅつに相当そうとうする。マッカーシーはやはり、LISPプログラムのS式しきによる表現ひょうげんはevalを考かんがえるための論文ろんぶんの中なかだけのものと考かんがえており、実際じっさいのプログラムをS式しきで書かくようになるとは考かんがえていなかった。

LISPは当初とうしょIBM 704上うえで実装じっそうされたが、その計算けいさん機きのレジスタを構成こうせいする部分ぶぶんの名前なまえが、対たいを分解ぶんかいする関数かんすうcar、cdrの名前なまえの由来ゆらいとなった。爾来じらい、ほとんどのLISPの方言ほうげんにおいて、carとcdrはそれぞれlistの最初さいしょの要素ようそと、最初さいしょの要素ようそ以外いがいを返かえす関数かんすうの名前なまえとなっている。

1960年ねんにLISP Iがリリースされ、1962年ねんにLISP 1.5がリリースされた。1960年ねんのLISP Iの時点じてんで既すでにガベージコレクションは実装じっそうされている。また、1960年ねんのLISP Iの時点じてんから、M式しきで apply[f;x;p] とマニュアルに記載きさいされているものであっても、パンチカードでは f x p と空白くうはく区切くぎりでS式しきで入力にゅうりょくすることとなっている。1964年ねんの書籍しょせき The Programming Language LISP: Its Operation and Applications では既すでにM式しき表記ひょうきはなくなり現代げんだいと同おなじく空白くうはく区切くぎりのS式しきで表記ひょうきされている。

その発端ほったんからLISPは、人工じんこう知能ちのう研究けんきゅうのコミュニティ、特とくにPDP-10システムのユーザーには近ちかしい存在そんざいであった。PDPの計算けいさん機きの設計せっけい目標もくひょうの一ひとつにLISPの実装じっそうがあり、PDP-6は当初とうしょ、1ワード24bitの計算けいさん機きとして設計せっけいされていたが、LISP 1.5を移植いしょくしやすくするために36bitに変更へんこうされた。人工じんこう知能ちのうコミュニティでは、LISPはプログラミング言語げんごの実装じっそう用よう言語げんごとしても用もちいられた。有名ゆうめいなAIシステムSHRDLUの実装じっそう言語げんごのMicro Plannerは、MACLISPで実装じっそうされている。

また、1968年ねんにLISPで実装じっそうされたREDUCEやMacsyma等ひとしの数式すうしき処理しょりシステムが登場とうじょうし、需要じゅようが高たかまるにつれ高速こうそくなLISPの処理しょり系けいの需要じゅようも高たかまり、LISPを高速こうそくに処理しょりするいわゆるLISPマシンの動機どうきの一ひとつとなった。LISPマシンは、タグアーキテクチャや、ハードウェアスタック等とうLISP向むけのハードウェア機構きこうにより、型かたのディスパッチや関数かんすう呼出よびだし、ガベージコレクションの高速こうそく化かを実現じつげんした。

LISPは実装じっそうの容易たやすさゆえに非常ひじょうに多おおくの方言ほうげんを生うんだ。マクロを用もちいれば文法ぶんぽう構造こうぞうそれ自体じたいを拡張かくちょうできるので、ある意味いみでは利用りよう者しゃごとに方言ほうげんがあるとさえいってよい。1970年代ねんだいから1980年代ねんだいにかけては、大おおきく分わけてMACLISP系けいとInterlisp系けいの二ふたつの主流しゅりゅうが存在そんざいし、後ごのLISP方言ほうげんに影響えいきょうを与あたえている。

1975年ねんにLISPベースでプログラミングに必要ひつような言語げんご機能きのうを極限きょくげんまで抽象ちゅうしょう化かしたSchemeが開発かいはつされ、こちらも現在げんざいの主流しゅりゅうの一ひとつになっている。Schemeで変数へんすうのスコープ問題もんだいが完全かんぜん解決かいけつし、クロージャを使用しようする静的せいてきスコープが実装じっそうされた。Schemeにて基本きほん的てきな言語げんご仕様しようが確定かくていする。関数かんすう型がた言語げんごのグループではMLが1973年ねんに開発かいはつされ、これが、Standard ML、Ocaml、Haskellなどへと発展はってんしていく。

1980年代ねんだいと1990年代ねんだいには、たくさんのLISP方言ほうげんを一ひとつの言語げんごに統合とうごうしようという努力どりょくがなされた。その結果けっかとして1984年ねんに設計せっけいされた新あたらしい言語げんごCommon Lispは基本きほん的てきにそれらの方言ほうげんのスーパーセットであり、それらを置おき換かえることになった。1994年ねんにANSIはCommon Lispの標準ひょうじゅん仕様しよう「ANSI X3.226-1994 American National Standard for Programming Language Common LISP」を出版しゅっぱんした。しかし、このときまでには、全盛期ぜんせいきに比くらべるとLISPの市場いちばは小ちいさくなっていた。

LISPは現在げんざいでも広ひろく使つかわれている年代ねんだい物ぶつの言語げんごの一ひとつである。

LISP処理しょり系けいと派生はせい言語げんごのタイムライン

LISP系けい言語げんごの大おおまかな流ながれ

	1960	1965	1970	1975	1980	1985	1990	1995	2000	2005	2010	2015	2020
LISP	LISP I, 1.5, 2
Maclisp		Maclisp
Interlisp			Interlisp
ZetaLisp				Lisp Machine Lisp
Scheme				Scheme
NIL				NIL
Common Lisp					Common Lisp
T						T
Emacs Lisp						Emacs Lisp
AutoLISP						AutoLISP
ISLISP						ISLISP
EuLisp						EuLisp
PicoLisp							PicoLisp
Racket								Racket
Arc									Arc
Clojure										Clojure
LFE										LFE
Hy											Hy

文法ぶんぽう

LISPは「式しき指向しこう」の言語げんごである。他たの多おおくの言語げんごとは違ちがって、式しきと文ぶんは区別くべつされず、すべてのコードとデータは式しきとして書かき下くだされる。式しきが評価ひょうかされたとき、それは値ね（または値ねのリスト）を生成せいせいする。式しきは他たの式しきに埋うめ込こめる。

マッカーシーの1960年ねんの論文ろんぶんでは、2つのタイプの表現ひょうげんが導入どうにゅうされている。内部ないぶのデータ構造こうぞうの表現ひょうげんであるS式しき（記号きごう式しき、英えい: symbolic expression、sexp）と、S式しきを引数ひきすうに取とりS式しきを返かえす関数かんすうを表あらわす、外部がいぶ表現ひょうげんであるM式しき(メタ式しき、英えい: meta expression）である。マッカーシーは、S式しきはプログラムの処理しょり対象たいしょうのデータの表現ひょうげんに使つかい、LISPプログラムの表現ひょうげんにはM式しきを使つかった。S式しきによるプログラムの表現ひょうげんは論文ろんぶんの中なかのみのものと考かんがえていた。しかし、S式しきで表現ひょうげんされたプログラムを評価ひょうかするevalが実装じっそうされ、S式しきで表現ひょうげんすることでプログラムをプログラムで操作そうさできるという利点りてんがあり、今日きょうではほとんどすべてのLISP言語げんごでM式しきは使用しようされておらず、プログラムとデータの両方りょうほうにS式しきを使用しようする。

LISPの用もちいる S式しきは括弧かっこを大量たいりょうに使用しようするため、批判ひはんを受うけることもある。「LISP は 『lots of irritating superfluous parentheses』（過剰かじょうでいらいらさせる大量たいりょうの括弧かっこ）に由来ゆらいする」というジョークもある。しかし、S式しきによる構文こうぶんはLISPの能力のうりょくを生うみ出だしてもいる。この構文こうぶんは極きわめて正規せいき化かされているので、コンピュータによる操作そうさが容易よういに行おこなえる。

式しきへの依存いぞんが、LISPに優すぐれた柔軟じゅうなん性せいを与あたえている。LISPの関数かんすうは、それ自身じしんがリストとして書かかれており、データとまったく同様どうように扱あつかうことができる。LISPのプログラムは他たのLISPプログラムを処理しょりするように書かくことができる。これは、メタプログラミングと呼よばれる。多おおくの LISP方言ほうげんはこの機能きのうをマクロシステムで活用かつようしており、言語げんご自身じしんの機能きのうをほとんど際限さいげんなく拡張かくちょうすることを可能かのうにしている。

LISPでのリストは空白くうはくと括弧かっこで区切くぎられた要素ようそで記述きじゅつされる。たとえば、

(1 2 "foo")

は1, 2, "foo"の値ねを要素ようそとして持もつ1つのリストである。これらの値ねは暗黙あんもくの型かたを持もつ。これらは2つの整数せいすうと1つの文字もじ列れつであるが、そのように宣言せんげんされている必要ひつようはない。空そらのリスト()はnilとも書かける。

評価ひょうか

ここでは Lisp の方言ほうげんの一ひとつである Common Lisp を例れいに説明せつめいする。現実げんじつの実装じっそうでは、上記じょうきのリストを直接ちょくせつ処理しょり系けいに入力にゅうりょくするとエラーが起おきる。

CL-USER> (1 2 "foo")
; in: 1 2
;     (1 2 "foo")
; 
; caught ERROR:
;   illegal function call

これは、上うえの(1 2 "foo")は正ただしい式しきではないからである。処理しょり系けいの中なかで上うえのリストを表現ひょうげんしたい場合ばあいは、クオート「'」を用もちいて'(1 2 "foo")と書かく必要ひつようがある。このことを解説かいせつするため、ここでLISPでの評価ひょうかルールについて述のべる。

すべての式しきは前ぜん置おけ記法きほうのリストとして書かかれる。リストの最初さいしょの要素ようそはフォーム（関数かんすう、演算えんざん子こ、マクロ、特殊とくしゅフォームのいずれか）の名前なまえである。リストの残のこりは引数ひきすうである。たとえば、関数かんすうlistはその引数ひきすうをリストとして返かえす。つまり式しき

(list 1 2 "foo")

は評価ひょうかされてリスト'(1 2 "foo")を返かえす。このことを念頭ねんとうに置おいて、もう一度いちど最初さいしょに挙あげた式しきを振ふり返かえると、

(1 2 "foo")
; 1 という関数かんすう名めいは存在そんざいしない

という仕組しくみでによりエラーが返かえされたことがわかるだろう。

もし引数ひきすうのどれかが式しきであれば、それを含ふくむ式しきが評価ひょうかされる前まえにそれが再帰さいき的てきに評価ひょうかされる。たとえば、

(list 1 2 (list 3 4))

はリスト(1 2 (3 4))に評価ひょうかされる。つまり、3番目ばんめの引数ひきすうはリストであり、リストはネストできるのである。

算術さんじゅつ演算えんざんも同様どうように処理しょりされる。式しき

(+ 1 2 3 4)

は10に評価ひょうかされる。この式しきは中置ちゅうち記法きほうでは「$1+2+3+4$」と等価とうかである。

特殊とくしゅ形式けいしき（special form）は制御せいぎょ構造こうぞうなど、引数ひきすうの位置いちにあるものを通常つうじょうのようには評価ひょうかしないような機能きのうを提供ていきょうする。たとえば、ifは3つの引数ひきすうをとり、 第だい一いち引数ひきすうの値ねが真しんなら第だい二に引数ひきすうに、偽にせなら第だい三さん引数ひきすうに評価ひょうかされる。ここで真しんとはnil以外いがい、偽にせとはnilのことである。したがって式しき

(if (evenp 5)
  (list 1 2 "foo")
  (list 3 4 "bar"))

は(3 4 "bar")に評価ひょうかされる。evenpは、その第だい一いち引数ひきすうが偶数ぐうすうであるときにtを、 奇数きすうの時ときnilを返かえす関数かんすうである。5は奇数きすうなので、第だい一いち引数ひきすう(evenp 5)を評価ひょうかしたifは、その第だい三さん引数ひきすう(list 3 4 "bar")を返かえす。

関数かんすうの定義ていぎには、特殊とくしゅ形式けいしきlambdaによって

(lambda (x y) (+ x y))

のようにして、関数かんすうを表現ひょうげんする。この例れいは、ラムダ計算けいさんにおける (λらむだx y.(x + y))をLISPで表現ひょうげんしたものである。

特殊とくしゅ形式けいしきdefunで関数かんすうを定義ていぎすると、関数かんすうに名前なまえを付つけて定義ていぎできる。defunの引数ひきすうは引数ひきすうのリストと、関数かんすうとして評価ひょうかされる式しきである。

純じゅんLISP

→詳細しょうさいは「純じゅんLISP」を参照さんしょう

1980年代ねんだい、LISPのサブセットの純粋じゅんすい関数かんすう型がたである純じゅんLISPと、その処理しょり系けいであるLispkit Lispが、関数かんすう型がたプログラミングのテストベッド用ように、SECDマシン上うえで開発かいはつされた。その仕様しようとしては、遅延ちえん評価ひょうかを評価ひょうか戦略せんりゃくに採とり、レキシカルスコープを採用さいようしている。以下いかの5つの関数かんすうと特殊とくしゅ形式けいしき、他たにシンボルのnilとt、などがあれば自分じぶん自身じしんを解釈かいしゃく実行じっこうできるevalを実装じっそうできる。このことはある意味いみで万能ばんのうチューリングマシンと同様どうようのことであると言いえる。

• 関数かんすう
  • car
  • cdr
  • cons
  • eq
  • atom
• 特殊とくしゅ形式けいしき
  • cond
  • quote
  • define(label)

プログラム例れい

以下いかにいくつかのLISP (特とくにCommon Lisp) のコード例れいを示しめす。これらは産業さんぎょう界かいにおける典型てんけい的てきなコードではないが、コンピュータサイエンスのコースで通常つうじょう教おしえられる典型てんけい的てきなLISPコードである。

LISPの構文こうぶんはそれ自身じしんが再帰さいき的てき定義ていぎに自然しぜんに適合てきごうしている。それゆえ、再帰さいき的てきに定義ていぎされた集合しゅうごうを列挙れっきょするというような数学すうがくの問題もんだいをシンプルに表現ひょうげんできる。

以下いかの関数かんすうは引数ひきすうの階かい乗じょうに評価ひょうかされる。

(defun factorial (n)
  (if (<= n 1)
      1
      (* n (factorial (- n 1)))))

下記かきは別べつのやり方かたであり、末尾まつび再帰さいきになっている。

(defun factorial (n &optional (acc 1))
  (if (<= n 1)
      acc
      (factorial (- n 1) (* acc n))))

再帰さいきと対照たいしょう的てきな概念がいねんである反復はんぷくによる計算けいさんの例れいとして、Common Lispの代表だいひょう的てきな繰くり返かえし構文こうぶんであるLOOPを使つかった例れいを示しめす。

(defun factorial (n)
  (loop for i from 1 to n
        for fac = 1 then (* fac i)
        finally (return fac)))

LOOPはマクロであり、最終さいしゅう的てきにはプリミティブな構文こうぶんの組くみ合あわせに展開てんかいされる。

以下いかの関数かんすうは引数ひきすうにリストをとり、そのリストの要素ようその順番じゅんばんを逆ぎゃくにしたものに評価ひょうかされる（LISPは実際じっさいには同おなじことを行おこなうビルトイン関数かんすうを普通ふつう持もっている）。

(defun reverse (l &optional acc)
  (if (atom l)
      acc
      (reverse (cdr l) (cons (car l) acc))))

オブジェクト指向しこうシステム

以下いかを含ふくむ多種たしゅのオブジェクト指向しこうあるいはモジュールがLISPの上うえに、あるいは併置へいちして、あるいは組くみ込こまれて設置せっちされている。

• MITによるFlavors
• Flavorsの子孫しそんであるCLOS(The Common Lisp Object System)

CLOSは多重たじゅう継承けいしょうと多重たじゅうディスパッチ（マルチメソッド）の機能きのうを持もち、強力きょうりょくなメソッド結合けつごう(method combination)のシステム(FIXME)を持もつ。LISPを含ふくめたCommon Lispは、公式こうしきに標準ひょうじゅん化かされた最初さいしょのオブジェクト指向しこう言語げんごである。

→詳細しょうさいは「Common Lisp Object System」を参照さんしょう

系統けいとうと変種へんしゅ

• AutoLISP/Visual LISP - AutoCAD製品せいひんのカスタマイズ用ようの言語げんご。
• Cambridge LISP - 当初とうしょ、IBMのメインフレーム上うえで実装じっそうされ、メタコムコによってAmiga用ようとして発表はっぴょうされた。
• Clojure - Java仮想かそうマシン上うえで動作どうさするLISP。マルチスレッドプログラムの開発かいはつを容易ようい化かする汎用はんよう言語げんご。
• Common Lisp - 主おもにZetaLISPとFranz Lispの子孫しそんであり、InterLISPの機能きのうも導入どうにゅうされた。

• ELisp -古ふるいLISP実装じっそうのひとつ。 Emacs Lispとは別べつ。
• Emacs Lisp - GNU Emacsエディタの拡張かくちょう言語げんご。
• Franz LISP - 元もとはバークレイのプロジェクトである。後のちにFranz, Incに移行いこう。

• InterLisp - BBN社しゃで開発かいはつされ、初期しょきにはBBN LISPと呼よばれた。後のちに開発かいはつ者しゃグループがゼロックスのパロアルト研究所けんきゅうじょに移動いどうした際さいにInterLispと改名かいめいされ、ゼロックスのLISPマシンにもInterLisp-Dとして採用さいようされた。強力きょうりょくな対話たいわ型がた開発かいはつツールが特徴とくちょう。より小ちいさいバージョンである「InterLISP 65」はAtariの6502ベースのコンピュータ用ように発表はっぴょうされた。
• KLISP - 1967年ねんに中西なかにし正和まさかずがTOSBAC-3400上じょうで開発かいはつし、日本にっぽんのLISP研究けんきゅうと教育きょういくに貢献こうけんした。
• LISP I、LISP 1.5 - MITで開発かいはつされたマッカーシーのオリジナル版ばん。
• Lispkit LISP - 純粋じゅんすいな関数かんすう型がた言語げんごとしての方言ほうげんであり、SECDマシン上うえに実装じっそうされた。関数かんすう型がた言語げんごのコンセプトの実験じっけん用ようテストベッドとして使用しようされた。

• MACLisp - MITのプロジェクトMAC（AppleのMacintoshとは無関係むかんけい）のために開発かいはつされたLISPの直系ちょっけい子孫しそん。
• MockLisp - Gosling Emacs (Unipress Emacs) エディタの拡張かくちょう言語げんご。リストのないLISP。
• Oak LISP - Schemeベースのオブジェクト指向しこう言語げんご。
• RPL - 「Reverse Polish LISP」(逆ぎゃくポーランド記法きほう式しきLISP)の名なを冠かんした言語げんご。逆ぎゃくポーランド記法きほう・スタック指向しこうを採用さいようするなど、Forthの影響えいきょうも大おおきい。ヒューレット・パッカード社しゃ製せいの関数かんすう電卓でんたくに組くみ込こまれることを想定そうていして開発かいはつされた。
• Scheme - ダイナミックスコープではなく静的せいてきスコープにもとづき再さい設計せっけいされたLISP。
• SKILL - ケイデンス・デザイン・システムズ社しゃ製せいの多おおくのEDA製品せいひんで使つかわれる。

• ZetaLisp - LISPマシンのために使つかわれた、MACLISPの直系ちょっけい子孫しそん。
• 純じゅんLISP - 超ちょう循環じゅんかん評価ひょうか機きを記述きじゅつ可能かのうな程度ていどで、ごく小ちいさいサブセットに機能きのうを絞しぼった方言ほうげん。元々もともとは「最初さいしょの論文ろんぶん」と呼よばれている論文ろんぶん中ちゅうで理論りろん的てきなものとして示しめされたが、実際じっさいに実装じっそう可能かのうである。
• xyzzy - Microsoft Windowsで動うごくエディタ。マクロ言語げんごとしてxyzzy Lispを実装じっそうしている。

関連かんれん項目こうもく

• Macsyma、Maxima
• AutoCAD
• 人工じんこう知能ちのう
• SICP
• シェーキー

外部がいぶリンク

ウィキメディア・コモンズには、LISPに関かんするメディアがあります。

• Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I) - マッカーシーによる1960年ねんの最初さいしょのLISPの論文ろんぶん。
• ホーム → projects → lisp → Books — Software Preservation Group - 1960年代ねんだいのLISPのマニュアル
• Programs with Common Sense - Professor John McCarthy - マッカーシーによる LISP を考案こうあんする際さいの元もととなった、「家いえに机つくえがある」を at(desk, home) の様ように論理ろんり式しきで情報じょうほうを表現ひょうげんすることを提案ていあんした1958年ねんの論文ろんぶん。
• History of Lisp - 1979年ねんにジョン・マッカーシーが書かいた1960年ねん前後ぜんこうの LISP の沿革えんかく