ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり
Japan Lisp User Group (Japanese)
人工知能への応用を念頭において設計された記号処理言語 Lisp は，1950 年代後半に開発された LISP I 以来，数多くの改良が加えられLisp の方言の族として現在に至っています．一時の世界的な「人工知能ブーム」の際には，主要なプログラミング言語として隆盛をきわめましたが，ブームの去った現在では，Lispの有する動的特性，対話性，柔軟性，拡張性などの優れた性質が見直され，インターネットに代表されるネットワーク技術への応用に使われるなど，新しい応用分野が開発されつつあります． 一方で，Lisp の研究者や応用開発者が，情報を交換できる場がきわめて限られているという現実があります．このために，1998 年から，Lisp User GroupMeeting (LUGM) がこれまでにバークレイ（米国），アムステルダム（オランダ），サンフランシスコ（米国）において開催され，多くの国からの
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
