Lisp（リスプ）
英語表記: Lisp
概要
Lisp（リスプ）は、1950年代後半にジョン・マッカーシーによって考案された、非常に歴史の古いプログラミング言語です。この言語は、現在私たちが「プログラミングパラダイム」の中で特に注目している「関数型プログラミング」の概念を世界で初めて明確に実装した代表的な言語として知られています。特に、データとプログラムコードを統一的に扱う「S式（S-expression）」と呼ばれる独自の括弧構造を特徴とし、リスト処理に特化している点がユニークです。
詳細解説
Lispを理解する上で重要なのは、まず私たちが今、プログラミングパラダイム（命令型, 関数型, オブジェクト指向）という大きな分類の中の、関数型プログラミングという道筋をたどっている、という点です。Lispは、この関数型プログラミングの源流であり、その思想的基盤を築きました。
1. 関数型プログラミングの祖としてのLisp
Lispが誕生した背景には、当時の主流であった命令型言語（FORTRANなど）では難しかった、記号処理や人工知能（AI）研究のニーズがありました。命令型言語が「どうやって計算するか」という手続きを重視するのに対し、Lispは「何が計算結果であるか」という関数の定義と適用を重視します。
Lispの核心は、計算を数学的な関数として扱うという点にあります。これにより、プログラムの実行中に状態（副作用）が変わることを極力避け、同じ入力に対しては必ず同じ出力が得られるという、予測可能性の高いコードを実現します。これは、関数型プログラミングの最も重要な哲学であり、Lispがその代表言語として位置づけられる所以です。
2. S式（S-expression）によるコードとデータの統一
Lispの見た目の最大の特徴は、大量の括弧です。これはS式（Symbolic Expression）と呼ばれ、Lispにおけるすべてのデータ構造とプログラムコードがこのS式として表現されます。例えば、他の言語で 1 + 2 と書く計算は、Lispでは (+ 1 2) となります。演算子（+）も、他の引数と同じようにリストの先頭要素として扱われるのです。
このS式こそが、Lispを他の言語と一線を画す最大の機能です。S式によって、データ構造（リスト）とプログラムコード（関数呼び出し）が同じ形式で表現されます。これはつまり、「プログラム自身がデータとして扱える」ことを意味しており、プログラマがプログラムを操作するためのプログラム（メタプログラミング）を極めて容易にします。
3. マクロ機能の強力さ
このコードとデータの等価性がもたらす究極の機能が「マクロ」です。Lispのマクロは、コンパイル時（または実行前）にコードを書き換える能力を持っています。他の言語におけるマクロが単なるテキスト置換に留まるのに対し、Lispのマクロは、S式というデータ構造を操作して、プログラマが望む新しい文法や言語構造を動的に作り出すことができます。
これは、Lispが単なる言語ではなく、「プログラミング言語を作成するためのツールキット」であると称される理由です。これにより、Lispプログラマは、プロジェクトのニーズに合わせて言語そのものを拡張・最適化できるのです。他の関数型言語が持つ高い抽象化能力に加え、Lispは言語の柔軟性において圧倒的な優位性を持っています。
4. 記号処理とリストの重要性
Lispという名前自体が「LISt Processing」に由来していることからもわかるように、Lispはリスト構造の処理に特化しています。AI研究、特に知識表現や推論システムにおいては、複雑な記号や構造化された情報を効率的に扱う必要がありました。Lispは、その柔軟なリスト操作能力により、初期のAI研究のデファクトスタンダードとして君臨しました。
現代のITの世界では、PythonやJavaScriptなど、様々な言語が関数型プログラミングの要素を取り入れていますが、Lispが確立した「関数を第一級オブジェクトとして扱う」「副作用を避ける」「リスト構造を基本とする」といった思想は、今なお多くの言語設計に影響を与え続けています。Lispは、まさに「関数型プログラミング」というパラダイムの基礎を築いた、偉大な代表言語なのです。
具体例・活用シーン
Lispは、その歴史の長さと柔軟性から、特定のニッチな分野で非常に強力な力を発揮してきました。
1. AI研究と専門システム
Lispは、誕生初期から人工知能の研究と密接に結びついていました。記号推論、探索アルゴリズム、自然言語処理など、初期のAIシステムはLispで書かれることが一般的でした。特に、複雑なルールベースのシステムやエキスパートシステム（専門家の知識をプログラム化したもの）の開発においては、Lispの柔軟なリスト処理能力が不可欠でした。
2. Emacsエディタの拡張言語
世界的に有名なテキストエディタであるEmacsは、その拡張機能のほとんどが「Emacs Lisp（Elisp）」というLispの方言で書かれています。Emacsユーザーは、Elispを使ってエディタの挙動を根本からカスタマイズしたり、新しい機能を実装したりできます。これは、Lispが持つ「プログラムをデータとして扱い、実行中に変更できる」という特性が、ユーザーのニーズに合わせて環境を無限に調整できるという形で具体的に現れた素晴らしい例です。
3. 比喩：プログラミングの「レゴブロック」
LispのS式とマクロ機能を理解するための比喩として、「プログラミングのレゴブロック」という考え方が非常にしっくりきます。
一般的なプログラミング言語（例えばC言語やJava）は、あらかじめ決められた形の構造物を作るための「決まった設計図と部品セット」だとイメージしてください。もちろん、設計図通りに素晴らしいものが作れますが、設計図にないものは作れません。
対してLispは、極めて単純で普遍的な部品（S式という名のレゴブロック）だけを提供します。Lispを使うプログラマは、この単純な部品を組み合わせて、まず自分だけの新しい部品（マクロ）を作り出します。そして、その新しい部品を使って、最終的な目的のプログラムを構築するのです。
つまり、Lispプログラマは、単にプログラムを書いているだけでなく、プログラムを書くための「新しい文法やツール」を同時に開発していると言えます。この柔軟性は、他の言語ではなかなか味わえない、Lisp特有の魔法のような体験です。Lispが「関数型プログラミングの代表言語」でありながら、同時に「最も強力なメタプログラミング言語」である理由がここにあります。
4. 現代的な利用（Clojureなど）
Lispの思想は、現代の言語にも受け継がれています。特に、Java仮想マシン（JVM）上で動作する「Clojure（クロージャ）」は、Lispの強力な関数型プログラミングの思想と、現代的な並行処理の概念を融合させた人気のある言語です。Clojureが採用している「永続的なデータ構造（変更不可能なデータ）」は、副作用を徹底的に排除し、関数型プログラミングの安全性を高めるための極めて重要な要素であり、これもまたLispの哲学の進化形と言えます。
資格試験向けチェックポイント
Lisp自体がITパスポートや基本情報技術者試験で直接コードを問われることは稀ですが、Lispは「関数型プログラミング」の概念を問う問題において、その代表例として頻繁に引き合いに出されます。
プログラミングパラダイム → 関数型プログラミング → 代表言語という文脈で、以下の点を押さえておきましょう。
- 関数型プログラミングの代表例としての認識: Lispは関数型プログラミングの祖であり、その思想（副作用の排除、参照透過性）の具体例として認識しておく必要があります。「関数型言語の例としてLispが挙げられる」という知識は必須です。
- S式（S-expression）とリスト処理: Lispの最大の特徴であるS式（括弧を多用した表記）は、データとコードを同一視するメタプログラミングの基盤です。この「コードとデータの等価性」という概念は、応用情報技術者試験などで、高度な言語設計思想として問われる可能性があります。
- マクロの機能: Lispのマクロは、コンパイル時にコードを生成・変換する機能であり、他の言語の単純なマクロとは異なります。この機能が、言語の柔軟な拡張を可能にしている点を理解しておきましょう。
- 副作用の排除: Lisp（特に現代の関数型Lisp方言）は、可能な限り副作用を排除し、プログラムの信頼性を高めることを目指しています。これは、関数型プログラミングのメリット（並行処理の容易さ、デバッグのしやすさ）を問う問題に直結します。
- 応用分野: AI研究や記号処理など、Lispが得意とする分野の知識は、特に基本情報技術者試験のテクノロジ系（基礎理論）で、プログラミング言語の特性を問う設問で役立ちます。
関連用語
- 情報不足
