ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり
I've recently been playing with the Rust programming language, and what better way to learn a language than to implement a second language in the language one wishes to learn?! It almost goes without saying that this second language being implemented should be Scheme. Thus, Oxischeme was born. Why implement Scheme instead of some other language? Scheme is a dialect of LISP and inherits the simple
Specialised locking schemes and lock-free data structures are a big part of my work these days. I think the main reason the situation is tenable is that, very early on, smart people decided to focus on an SPMC architecture: single writer (producer), multiple readers (consumers). As programmers, we have a tendency to try and maximise generality: if we can support multiple writers, why would one bot
魔術師本: (名詞) MITの入門コースで使う計算機科学の優れた教科書 ハル・エイブルソン, ジェリー・サスマン, ジュリー・サスマン共著(和田英一訳)「計算機プログラムの構造と解釈 第二版」(ピアソン・エデュケーション 2000年). 表紙の魔術師ゆえにそういわれる. LISP/Scheme世界の聖典のひとつ. まれに紫本としても知られている. ハッカー英語辞典 第2版(MITプレス 1993)より λλλ 計算機プログラムの構造と解釈 第二版 λλλ λλλ(Structure and Interpretation of Computer Programs Second Edition) λλλ λλλ に関連するホームページ λλλ λ 訳者跋文 λ 正誤表 λ 人名地名考 Ben Bitdiddle, Alyssa P. Hacker, Slumervilleなどの意味 λ 問
この記事はジェット推進研究所(JPL)におけるLispの盛衰について、私の（しかもかなり偏った）個人的見地から書きました。JPLの所員としての立場で書いているのではなく、JPLの公的な立場を代弁するものでもないことをお断りしておきます(これについては読み進めていただければ分かります)。 1988-1991 ロボット工学の時代 私は1988年にJPLに入所し、自律移動ロボットの人工知能（AI）グループに配属されました。当時は今と違って政府の財源から資金が潤沢に流入していました。「ＡＩの冬」が始まりかけていましたが、まだJPLには到達していませんでした。研究所の技術動向は最先端から数年遅れになる傾向があるようです。 当時のJPLはマーズ・ローバー・サンプル・リターン（MRSR）と呼ばれるマーズ・ローバー・ミッションの初期計画段階にありました。あの時代、宇宙ミッションはあらゆる意味で巨大でした。
This phrase, or the phrase "SHALL NOT", means that the guideline is an absolute prohibition. You must ask permission to violate a MUST NOT. This word, or the adjective "RECOMMENDED", means that there may exist valid reasons in particular circumstances to ignore the demands of the guideline, but the full implications must be understood and carefully weighed before choosing a different course. You m
Amazon から On Lisp の本も届き、On Lisp Web 版 と合わせて読み進めているのだけど、Common Lisp の知識がある前提で書かれていてつらい。こういうときは仕様書が頼り。Common Lisp の仕様書を探したら Franz Inc Product Documentation に発見。ANSI Specification のリンクをたどると ANSI Common Lisp に行き着く。まとめてダウンロードもできてありがたいんだけど、いかんせん生の HTML だと使い勝手が悪い。ということで、HTML Help（CHM）にしてみましたよっと。Alt-N→関数名→Enter で定義に行き着けて大変幸せ。読書効率があがりました。あとは理解していくだけ…。http://tech.nitoyon.com/misc/ansicl-chm.zip On Lisp作者: ポ
Maxima（マキシマ）は、LISP で記述された数式処理システムである。GNU GPL に基づくフリーソフトウェアであり、現在も[いつ?]活発に開発が続けられている。Maple や Mathematica などの商用の数式処理システムと比べても遜色のない機能を持っている。 Maxima の起源は、マサチューセッツ工科大学の MACプロジェクトによって開発され、米国エネルギー省（DOE）によって配布されていたDOE Macsyma の1982年のバージョンを GNU Common Lisp に移植したものである。 1982年から Macsyma の独自のバージョンを管理・維持していたビル・シェルター (en) が、1998年にエネルギー省から GPLライセンスを適用することを条件に公開の許可を得た。 こうして公開されたプログラムは 「Maxima」（マキシマ）と呼ばれるようになった。 20
Home: a high-performance, free Common Lisp implementation CMUCL is a free implementation of the Common Lisp programming language which runs on most major Unix platforms. It mainly conforms to the ANSI Common Lisp standard. Here is a summary of its main features: Support for static arrays that are never moved by GC but are properly removed when no longer referenced. Unicode support, including many
人工知能への応用を念頭において設計された記号処理言語 Lisp は，1950 年代後半に開発された LISP I 以来，数多くの改良が加えられLisp の方言の族として現在に至っています．一時の世界的な「人工知能ブーム」の際には，主要なプログラミング言語として隆盛をきわめましたが，ブームの去った現在では，Lispの有する動的特性，対話性，柔軟性，拡張性などの優れた性質が見直され，インターネットに代表されるネットワーク技術への応用に使われるなど，新しい応用分野が開発されつつあります． 一方で，Lisp の研究者や応用開発者が，情報を交換できる場がきわめて限られているという現実があります．このために，1998 年から，Lisp User GroupMeeting (LUGM) がこれまでにバークレイ（米国），アムステルダム（オランダ），サンフランシスコ（米国）において開催され，多くの国からの
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く