Lisp - Ciallo Wiki | チャロ百科

1958年、MITのジョン・マッカーシーは、記号処理と人工知能研究のための新しいプログラミング言語の設計を開始した。彼は従来の数値計算中心の言語（FORTRANなど）では記号操作に限界があると判断し、リスト構造を基本データ型とするLISP（List Processing）を提案した。1960年に発表された論文「Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I」で、LISP Iの設計が詳細に記述された。この言語は、関数定義にλ記法を採用し、条件分岐や再帰をネイティブにサポートする点で革新的だった。

1.1.2 LISP 1.5と初期のAI研究

1962年に公開されたLISP 1.5は、実用的なインタプリタとコンパイラを備え、スタンフォード大学やカーネギーメロン大学などのAI研究機関で急速に普及した。マッカーシーのチームは、LISP 1.5上で初期のエキスパートシステムや自動定理証明器（例：STUDENT、SIR）を開発した。この時期にガベージコレクションや動的型付けといった基本機能が確立され、後のプログラミング言語に多大な影響を与えた。

1.2 主要な発展段階

1.2.1 Common Lispの標準化

1970年代から1980年代にかけて、LISP方言（MacLisp、Interlisp、ZetaLispなど）が乱立し、互換性の問題が深刻化した。これを受け、1981年にDARPAの主導でCommon Lispの標準化プロジェクトが開始され、1984年に最初のCommon Lisp仕様書（CLtL1）が出版された。ANSIによる正式な標準化は1994年に完了し（ANSI X3.226-1994）、これによりCommon Lispは安定した言語プラットフォームとして確立された。

1.2.2 Schemeの登場と分化

1975年、MITのガイ・スティールとジェラルド・ジェイ・サスマンは、LISPの簡潔化と教育的利用を目的としたSchemeを開発した。Schemeは最小限の構文と強力な静的スコープ、末尾呼び出し最適化を特徴とし、関数型プログラミングの基礎を学ぶための理想的な言語として広まった。その後、複数のレポート標準（R5RS、R6RS、R7RS）が策定され、Common Lispとは異なる発展を遂げた。

1.3 現代の動向

1.3.1 Clojureの台頭

2007年、リッチ・ヒッキーは、JVM上で動作するLISP方言であるClojureを発表した。Clojureは関数型プログラミングを強調し、不変データ構造やソフトウェアトランザクショナルメモリ（STM）による並行性サポートを提供する。特にJavaエコシステムとのシームレスな相互運用性が評価され、Web開発（例：Ring）、データ分析、分散システムの分野で採用が進んでいる。

1.3.2 Lisp系言語の再評価

2010年代以降、関数型プログラミングやメタプログラミングへの関心の高まりとともに、Lisp系言語の設計思想が再評価されている。Common LispのマクロシステムやSchemeのミニマリズムは、RustやJuliaなどの新しい言語にも部分的に取り入れられた。また、Elixir（Erlang VM上）やHy（Python上）など、LISP構文を採用したハイブリッド言語も登場し、Lispの遺産は多彩な形で現代に受け継がれている。

2 言語の特徴

2.1 S式と構文

2.1.1 アトムとリスト

LISPのすべてのコードとデータは、S式（symbolic expression）として一様に表現される。S式はアトム（数値、シンボル、文字列など）または、括弧で囲まれたアトムのリストからなる。リストは(car (cdr '(a b c)))のように入れ子にでき、プログラムそのものをデータとして操作可能にする。この「コードはデータ、データはコード」の原則がLISPの最大の特徴である。

2.1.2 クォートと評価モデル

通常、LISPはS式を評価し、最初の要素を関数として適用する（関数適用形式）。しかし、クォート（'）を用いると式の評価を抑制し、そのままデータとして扱える。例えば'(a b c)はリスト(a b c)を返す。この単純な評価ルールとクォート機構により、マクロやコード生成が容易になる。

2.2 関数型プログラミング

2.2.1 高階関数とラムダ式

LISPは初めて高階関数を標準的にサポートした言語のひとつである。関数は他の関数の引数として渡したり、返り値として返したりできる。また、lambdaキーワードを使ってその場で無名関数を定義できる（例：(lambda (x) (* x x))）。これにより、map、filter、reduceなどの関数型操作が容易に行える。

2.2.2 再帰と末尾最適化

繰り返し処理は主に再帰で記述される。Schemeは末尾呼び出し最適化（TCO）を仕様で保証しており、再帰をループと同等の効率で実行できる。Common Lispでも多くの実装がTCOをサポートするが、標準では必須ではない。この再帰志向は、LISPが関数型プログラミングの基盤を築いた理由の一つである。

2.3 マクロシステム

2.3.1 コード生成と抽象化

LISPのマクロは、コンパイル前の抽象構文木（S式）を操作することで、新しい構文や制御構造を定義する強力なメタプログラミング手段である。例えば、whenやunlessのような条件構文も、より基本的なifを用いたマクロとして実装されている。マクロは任意のS式変換を行えるため、ドメイン固有言語（DSL）の埋め込みに適している。

2.3.2 マクロの種類と安全性

Common Lispには、パターンマッチングに基づくdefmacroのほか、シンボルを自動的に一意にするgensymを用いた漏れ防止機能が標準で用意されている。Schemeはdefine-syntaxとlet-syntaxによる衛生マクロ（hygienic macro）を採用し、偶然の名前衝突を防ぐ。Clojureではマクロはコンパイル時に展開され、Java VMのバイトコードとして安全に動作する。

2.4 動的型付けとガベージコレクション

2.4.1 型推論とランタイム

LISPは動的型付け言語であり、変数には任意の型の値を格納できる。型チェックはランタイムに行われるが、Common Lispでは型宣言によって最適化コードを生成可能な実装もある。Schemeではダックタイピングに近い動作が標準であり、Clojureはさらに型ヒントを用いてJavaの静的型との橋渡しを行う。

2.4.2 メモリ管理手法

最初のLISPからガベージコレクション（GC）が組み込まれており、現在のほとんどの実装は世代別GCやコピーGCを採用する。Common Lisp実装のSBCLは、Stop-and-Copy GCと世代別GCを組み合わせ、リアルタイム性の要求が低い用途で高いパフォーマンスを発揮する。Schemeの実装は簡素なマークアンドスイープが多く、ClojureはJVMのGC機構に依存している。

3 主な方言

3.1 Common Lisp

3.1.1 ANSI標準と仕様

Common LispはANSI X3.226-1994として標準化された多機能な言語である。オブジェクト指向機能（CLOS）、条件システム（restart）、ループマクロ（loop）など、大規模プログラミングを支援する豊富な機能を備える。言語仕様は「Common Lisp the Language」第2版（CLtL2）に詳述されている。

3.1.2 主要な実装（SBCL、CCL、Allegro CL）

SBCL（Steel Bank Common Lisp）：オープンソースで高パフォーマンスなネイティブコンパイラ。機械語への直接コンパイルにより、繰り返し処理速度に優れる。
CCL（Clozure Common Lisp）：Mac OSやiOS向けに最適化された実装で、低遅延インタラクションが特徴。
Allegro CL：商用実装であり、フラグやエラーハンドリングの詳細な情報を提供し、産業利用に適する。

3.2 Scheme

3.2.1 レポート標準（R5RS、R6RS、R7RS）

R5RS（1998年）は最小限の仕様で教育的利用に広く普及した。R6RS（2007年）はライブラリ機構や例外処理を追加し、実用的な拡充を図った。R7RS（2013年）は「小言語」を目指すR7RS-smallと、大規模開発向けのR7RS-largeに分岐している。

3.2.2 教育用途と限定環境

SchemeはMITの「Structure and Interpretation of Computer Programs」（SICP）で使用され、コンピュータ科学教育の教材として世界的に影響を与えた。また、軽量な処理系（Chicken、Gambitなど）は組み込みスクリプトやWebアプリケーションにも利用される。

3.3 Clojure

3.3.1 JVM上での動作と関数型設計

ClojureはJava仮想マシン上で動作するLISP方言であり、Javaライブラリを直接呼び出せる。関数型設計を重視し、永続データ構造（vectorやmapのコピーオンライト版）を採用している。また、リーダーマクロではなく、データリテラルを用いた簡潔な記法が特徴である。

3.3.2 並行性サポート（STM、core.async）

Clojureはソフトウェアトランザクショナルメモリ（STM）を組み込み、ロック不要で安全な共有状態変更を実現する。また、core.asyncライブラリはGo言語のチャネルに着想を得た並行モデルを提供し、非同期処理をシーケンシャルに記述できる。

3.4 その他の方言

3.4.1 Emacs Lisp

Emacsエディタの拡張言語であり、1980年代から継続的に発展している。バッファ操作、キーマップ定義、Emacs Lispパッケージ（ELPA）による機能追加が可能。ただし、動的スコープが一部残っている点で他のLISP方言とは異なる。

3.4.2 AutoLISP

AutoCADのカスタマイズに使用される軽量なLISP方言である。図形操作やデータベースアクセスをS式で記述でき、土木・建築分野で広く利用された。Visual LISPに発展したが、現在も互換性を維持している。

3.4.3 Racket

MIT Schemeから派生した言語研究用プラットフォームであり、豊富なライブラリと独自のマクロシステムを備える。教育的ツール（DrRacket）やWebサーバー、ゲーム開発など、多目的に活用される。typed/racketなどの静的型付け拡張も提供する。

4 応用分野

4.1 人工知能

4.1.1 初期のエキスパートシステム

1970年代から80年代にかけて、多くのエキスパートシステムがLISPで開発された。DENDRAL（有機化学の構造解析）、MYCIN（医療診断）、XCON（コンピュータ構成）は代表例である。これらのシステムは、ルールベースの知識表現と推論エンジンをLISPのマクロで効率的に実装していた。

4.1.2 自然言語処理と知識表現

初期の自然言語処理システム（ELIZA、SHRDLU）はLISP上で構築され、シンボル操作とパターンマッチングの柔軟性を活かした。また、フレーム理論やセマンティックネットワークなど知識表現の研究でもLISPが標準的な実装言語として使われた。

4.2 スクリプティングと組み込み

4.2.1 Emacsエディタの拡張

Emacs Lispはテキストエディタのカスタマイズに特化しており、ユーザーはキーバインディングの変更から複雑な編集補助ツールの作成まで自由に行える。Emacsの「拡張可能」「設定可能」な哲学を支える中心技術である。

4.2.2 AutoCADでのAutoLISP

AutoLISPはAutoCAD内で図形座標の計算やバッチ処理を自動化するスクリプト言語として普及した。ブロック操作やレイヤ管理を数行のコードで記述でき、CADパワーユーザーの間で広く使われた。

4.3 Web開発とデータ処理

4.3.1 Clojureを用いたWebアプリケーション

ClojureのWebフレームワークRingとCompojureは、Java Servlet APIの上にリクエスト/レスポンスを関数型のパイプラインとして実装する。さらに、ClojureScript（ClojureのJavaScriptトランスパイラ）を用いたフロントエンド開発も活発である。

4.3.2 データ分析と科学計算

Common LispにはIncanter（データ可視化・統計処理ライブラリ）、Maxima（数式処理システム）などの科学計算環境がある。ClojureもIncanterやNeanderthal（行列演算）を通じてデータ分析に使用され、特に並行性を活かした大規模データ処理が注目されている。

5 コミュニティと文化

5.1 ハッカー文化への影響

5.1.1 Jargon Fileと逸話

LISP関連の逸話はハッカー文化の伝説の一部となっている。「LISPの半角8ドル記号」や「Guy Steeleの名前の由来」など、Jargon File（後にはNew Hacker's Dictionary）に多くのエピソードが収録されている。LISPのパイオニアたちのエピソードは、ハッカーコミュニティの創世神話として語り継がれている。

5.1.2 Lispの「宗教戦争」

1980年代から1990年代にかけて、Common LispとSchemeの間で激しい「宗教戦争」が繰り広げられた。両者のマクロのアプローチや設計哲学（多機能 vs 最小主義）の違いは、当時のUSENETやメーリングリストで白熱した議論を生んだ。この文化は後に「どの言語が最強か」という議論の原型として知られている。

5.2 現代的イベント

5.2.1 European Lisp Symposium

2008年から開催される年次国際会議で、LISPの研究と応用に特化している。学術論文発表、チュートリアル、ハッカソンが行われ、特にClojureとRacketのセッションが充実している。

5.2.2 International Lisp Conference

1984年から断続的に開催される国際会議（ILC）。Common LispやSchemeのトップ開発者が集い、言語進化やツール開発について議論する。近年はClojureも主要なトピックとして加わっている。

5.3 学習リソース

5.3.1 古典的書籍（SICP、Practical Common Lisp）

SICP（Structure and Interpretation of Computer Programs）：Schemeを用いてコンピュータ科学の基礎を教える名著。MITの講座で使われ、関数型プログラミングの考え方を広く伝えた。
Practical Common Lisp：Peter Seibel著。Common Lispを使って現実の問題を解決する実践的な内容で、メタプログラミングやCLOSの解説が充実している。

5.3.2 オンライン教材とインタラクティブ環境

Try Clojureや4Clojureなどのブラウザベースのチュートリアル、Lisp Koansなどの対話的学習ツールが充実している。Portacle（Common Lisp統合環境）やDrRacket（Racket用IDE）も初心者に優しい入門環境を提供する。

5.4 ミームとユーモア

5.4.1 「Lispはエイリアンの言語」

LISPの奇妙な構文（大量の括弧や前置記法）は、しばしば「エイリアンが書いた言語」と冗談めかして評される。RedditやX（旧Twitter）では、括弧の多いコードを「括弧地獄」と呼ぶミームが広まっている。一方で、LISP信者はこれを「括弧は思考の抽象化の証」と自嘲的に受け止める。

5.4.2 マクロジョークとパロディ

「LISPマクロを書いた次の日、自分自身が括弧に変換されていた」というジョークや、「Common Lispの条件システムは決して死なない - ただ異常な状態に再起動されるだけだ」といったパロディが存在する。また、`#	`や`;`などのコメント記号を利用したアスキーアート文化も見られ、コミュニティの遊び心を示している。