CLSQL: Common Lisp SQL Interface
OverviewCLSQL is a SQL database for Common Lisp interface maintained by Kevin M. Rosenberg. CLSQL uses the Universal Foreign Function Interface (UFFI) library for broad compatibility.CLSQL is compatible with AllegroCL, Lispworks, SBCL, CMUCL, and OpenMCL. It has been tested with Microsoft Windows, Linux, Solaris, FreeBSD on a number of different CPU architectures.
CLISP - an ANSI Common Lisp Implementation
Welcome to CLISP This is GNU CLISP - an ANSI Common Lisp Implementation Current version:2.49 (2010-07-07) NEWS What is CLISP? a feature-loaded implementation of a great language! The benefits of Common Lisp and CLISP why is ANSI Common Lisp such a great programming environment? CLISP manual page for UN*X command line options for other platforms are very similar (see clisp.html in your build direct
LISPMEMO
私が最初に見かけた Catalyst のサンプルが taskpad.jp みたいなのを Catalyst で作ってみる でした．Catalyst の感じがつかめて非常に参考になりました． そこで，最近入手した AllegroCL で似たような事をやってみようと思います． まぁ，偉そうな事いいながらマニュアル片手に調べながらちまちま書いてるわ けですが． まず，データを保持するクラスを定義します． (defclass user () ((uid :initarg :uid :reader uid) (password :initarg :password :reader password))) (defclass memo () ((tid :initarg :tid :reader tid) (uid :initarg :uid :reader uid) (body :initarg :b
CLiki: index
Welcome to CLikiCLiki is a Common Lisp wiki hosted by The Common Lisp Foundation. CLiki contains resources for learning about and using the programming language Common Lisp, and information about DFSG-compliant free software implemented in Common Lisp. CLiki Resources Getting Started - Practical tips and basics for newcomers to Lisp Free Software Common Lisp implementations Development tools Curre
Matzにっき(2007-01-12)
<< 2007/01/ 1 1. [Ruby] The Ruby Virtual Machine 2. [Ruby] matzrubyブランチ on Subversion 3. 大当たり 2 1. 一族集合 2. [Ruby] リクルート エンジニア適職フェア 3. フニクリフニクラ 4. [言語] Groovy 1.0 is there 3 1. [Ruby] nkf-utf8 4 1. [Ruby] Headius: New JRuby Compiler: Progress Updates 2. [Ruby] ユメのチカラ: マルチプロセッサ向けソフトウェアパラダイムとは？ 3. [Ruby] Class Variables 5 1. asahi.com：米共和党、ロムニー氏が大統領選に始動 2. [知財] 絶版書籍、ネット閲覧可能に・政府が著作権法改正へ 3. [Ruby] Ruby
Lisp:よくある正解
Lispについての正しい認識と、それでもLisperがLispを使う理由 yoriyukiさんのエントリがなかなか 真実を突いていたので、ネタにさせていただきます。 原因のほとんどは経路依存性とかネットワーク効果によるもので、Lisp自体の性質とは無関係だと思います。と言った上で、私が何となくLisp系言語を使わない理由としては、 Too dynamic: 実行時にコードが差し替えられることがすごい利点だ、と言っている人がいましたが、逆に言えば今どのコードが走っているか理解しにくい、という欠点にも繋がる。 Meta programming:S式のおかげでMeta Programmingがしやすいが、Meta Programmingを多用したプログラムは理解しにくい。 動的型付け:利点でもあるけど、特有のバグを引き起こす。 識別子に関数と値の2種類が別々にバインドできる。これは私には非常に美
サルが使おうとすると怒られる気がする言語 : 404 Blog Not Found
2006年12月18日07:45 カテゴリLightweight Languages サルが使おうとすると怒られる気がする言語 禿同です。 Matzにっき(2006-12-06) 今までLispという言語について語ったことはあったけれども、 LispコミュニティやLispユーザの精神性について言及したことはなかった(と思う)。 しかし、今回のことで「Lispが広まらないのには括弧以外の理由があるのかもね」と 強く感じた次第である。 (Common) Lisp has been the language from which inferior people picked good ideas when they could not handle the full language. -- Erik Naggum [拙訳:(Common) Lispは、言語をフルを扱えない愚民どもがアイディアを
なぜLispなのか
Hofstadter『メタマジック・ゲーム』 ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっていただろう」 ゲーデルの証明の一番難しいところは、数学的体系に自分自身を語らせるところにある。天才のひらめきが何段階か必要になる。しかし、Lispは、少なくともゲーデルが必要としていた意味で、まさに自分自身を直接語ることができる ゲーデルはLispを発明した！ 不完全性定理のLisp, Mathematicaによる記述 和田英一「Lispへのこだわり」(PDF) Eric S. Raymond「ハッカーになろう」LISP は、それをモノにしたときのすばらしい悟り体験のために勉強しましょう。この体験は、その後の人生でよりよいプログラマーとなる手助けとなるはずです。たとえ、実際には LI
参照透過性 - Wikipedia
参照透過性（さんしょうとうかせい、英: Referential transparency）は、計算機言語の概念の一種である。ある式が参照透過であるとは、その式をその式の値に置き換えてもプログラムの振る舞いが変わらない(言い換えれば、同じ入力に対して同じ作用と同じ出力とを持つプログラムになる)ことを言う。具体的には変数の値は最初に定義した値と常に同じであり、関数は同じ変数を引数として与えられれば同じ値を返すということになる。当然変数に値を割り当てなおす演算である代入 (Assignment) を行う式は存在しない。このように参照透過性が成り立っている場合、ある式の値、例えば関数値、変数値についてどこに記憶されている値を参照しているかということは考慮する必要がない、即ち参照について透過的であるといえる。 参照透過性が成り立つ言語は式の値がプログラムのテキストから定まるという特徴から宣言型言語
圏論 - Wikipedia
圏論（けんろん、英: category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。サミュエル・アイレンベルグ と ソーンダース・マックレーンとによって代数的位相幾何学の基本的仕事の中で20世紀中ごろに導入された。圏論において考察の対象となる圏は対象とその間の射からなる構造であり、集合とその間の写像、あるいは要素とその間の関係（順序など）が例として挙げられる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。 圏の研究は、関連する様々なクラスの数学的構造に共通する性質を見出そうとする試みだといえる。 集合論的な数学
ラムダ計算 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月） ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論
Introduction to Scheme Programming Language
まえがき 世の中には様々なプログラミング言語があるが，本文書では，Lispプログラミン グ言語の一つの方言であるScheme(スキーム)を紹介する．ここではSchemeを直観 的に理解することをまず目標として，形式的に完全であるかどうかにはこだわら ないことにする． ※見た目にもあまりこだわらないことにする:-) より詳しくは， 湯浅太一 「Scheme入門」 岩波書店 K.ディヴィグ著 / 村上雅章 訳 「プログラミング言語 SCHEME」 ピアソン・エデュケーション 2000 猪股俊光, 益崎真治 「Schemeによる記号処理入門」 森北出版 1994 D.P.フリードマン, M.フェライセン 著/ 元吉文男, 横山晶一 訳 「Scheme手習い」 マグロウヒル出版 1990 H. Abelson, G.J. Sussman and J. Sussman 著 "Strucuture a
なぜ関数プログラミングは重要か
John Hughes, Institutionen för Datavetenskap, Chalmers Tekniska Högskola, 41296 Göteborg, SWEDEN. rjmh@cs.chalmers.se この日本語訳は原著者の承諾を得て山下がここに公開するものです。 この訳文についての、御指摘などは山下伸夫(nobsun .at. sampou.org)までおねがい いたします。 翻訳最終更新日 : 2011-09-17 原文 "Why Functional Programming Matters" 日本語訳PostScript この論文は1984年以来何年ものあいだChalmers大学のメモとして回覧された。 1989年と1990年に幾分か改訂をしたのが[Hug89]と [Hug90]である。この版はもとのChalmer大学のメモ のnroff原稿をもとに
独習 Scheme 三週間 Teach Yourself Scheme in Fixnum Days
A practical introduction to the programming language Scheme
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.unixuser.org/~euske/doc/python/python-lisp-j.html