増補版:気軽に試してみよう！今こそ Lisp 入門 - Lisp の調べ
1. 関数型プログラミングでもっと言いたかったこと (1) λ計算 λ計算は関数型プログラミングでは基本中の「キ」ですが、本文は初心者向けということでカットしていますが、ここでは少し説明します。 λ計算（λ-calculus）はα変換とβ-簡約、η-変換の規則があります。 α-変換は束縛変数の名前を変える変換で、β-変換（簡約）は関数適用です。 η-変換はすべての引数で同じ値を返す関数は等価である（関数の外延性）とするものです。 α-変換の例はλx.fx → λy.fy であり、β-変換の例は(λx.fx)3 → f3であり、η-変換の例は λx.fx → f（但しxはfで自由でないとき）です。 Lisp 風に書くのであれば、(lambda (x) (f x))→(lambda (y) (f y))、((lambda (x) (f x)) 3)→（f 3)、(lambda (x) (f x
Lispプログラミング入門
1957年頃に米国MITのJohn McCarthyらにより開発された LISt Processor (リスト処理言語)の省略で， AIプログラム等の記述・開発に適している 多数の方言が存在するが，標準版として1984年に Guy L. Steele Jr. が中心となってCommon Lispを設計した Lisp言語の一種であるSchemeも広く用いられている Clojureという新しい言語も出ている An Introduction to Programming in Emacs Lisp On Lisp 初めての人のためのLISP (Amazon, OPAC) Scheme The Scheme Programming Language (Amazon, OPAC) プログラミング言語SCHEME (Amazon) The Scheme Programming Languageの日本語
マンガで分かるLisp(Manga Guide to Lisp)
スポンジで虎を倒せるんだよ？ (you can take down a tiger with a sponge, right?)
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
not found
