fix と memo とそのおまけ。 - 嫌気性平均律
不動点オペレータと関数のメモ化で大いに遊ぶのが流行っているみたいで（k.inaba さんの発端の記事、結城浩さんによるリンク集）、楽しそうなのでひっそり書いてみます。Common Lisp で、というか xyzzy でちょこちょこしてみます。 まずは普通に。 とりあえず不動点オペレータを教科書的に書いてみます。funcall が健全な精神に対して極めて有害そうであることがよく判ります。 ;;;figure.1 (defun %fib (f) #'(lambda (x) (if (<= x 1) 1 (+ (funcall f (- x 1)) (funcall f (- x 2)))))) (defun fix (f) (funcall #'(lambda (g) (funcall g g)) #'(lambda (h) #'(lambda (x) (funcall (funcall f
不動点演算子ふたたび - sumiiの日記
（追記：Ｙコンビネータって何に使うの？） Yコンビネータ（Curryの不動点演算子）を説明するのがプチブーム（死語）らしいので、ふたたび挑戦。 まず、ふつーに再帰関数factをSchemeで定義してみる。 (define fact (lambda (n) (if (= n 0) 1 (* n (fact (- n 1))))))この定義は、右辺にfact自身が出現するので、再帰的定義なのであった。ここから右辺にfactが出現しないようにするのが目標。とりあえず、factを関数の引数として外から受け取るようにしてみる。 (define make-fact (lambda (my-fact) (lambda (n) (if (= n 0) 1 (* n (my-fact (- n 1)))))))これは( (make-fact fact) 10)みたく使えるが、make-factを呼び出す際に
newLISP と CL/Scheme の比較
意訳、省略を含むので参考程度に眺めることを推奨します。 ところで newLISP ってなに？ Comparison to Common Lisp and Scheme このページでは newLISP と他の標準な Common Lisp, Scheme とのいくつかの違いを明らかにする。newLISP 特有のアプローチを知りたいなら About を読んで下さい。 CL と異なり、newLISP と Scheme は式のオペレータ部分を(引数に適用する前に)評価する。 ラムダ式は自身を評価する。それらはリストの副タイプであり、他のリスト同様に扱えるファーストクラス・データオブジェクトである。 newLISP ではラムダ式の自由変数の束縛はラムダ式の適用時にのみ行われる。 newLISP のラムダ式は関数定義の後いつでも処理できる。 (last (lambda (x) (+ x x))) =>
howm wiki - 不完全性定理
This Wiki is frozen. Use GitHub for reports, discussions, etc. 不完全性定理のLisp, Mathematicaによる記述 の ゲーデルの証明 が理解できませんでした(is-unprovable なんて「実装」できるわけないやん). そこで, 「こんな解釈なのかなあ?」というメモを晒してみます. 口調は解説風ですが山勘で書いているだけですから, つっこみをお待ちしています. (理解のあやしさは, 同趣旨のモナドと比べてもずっとひどいです) ※ lisp と言いつつ文法が scheme 風なのは, 私の趣味 仮想言語 lisp+ 一般に, 論理式を S 式に翻訳して表現することができます. a∨b …… (or a b) ¬(a∨b) → (¬a)∧(¬b) …… (imply (not (or a b)) (and (not a
Edi Weitz - Common Lisp code
Lisp stuff Most of the Common Lisp libraries I once wrote are now available via GitHub at https://github.com/edicl. Please update your bookmarks or links. If there's something that's not in that repository, you might find it at http://weitz.de/files/lispOld.zip or at https://github.com/lispstudent/weitz-lispOld. My Lisp book is here.
LISPBUILDER - Do stuff with Common Lisp
Download Current Versions: The latest versions can be downloaded from Releases above. Windows Installation Install Lispworks Personal Edition. Install Edi Weitz's Lisp Starter Pack. Download config.lisp and place into the same directory as the Lisp Starter Pack as described here. Run the Lisp Starter Pack and select the LISPBUILDER-* packages to install. Finally, load the LISPBUILDER libraries int
Common Lisp クエックブック
素敵な断片 Common Lisp の素敵な断片です。 数値のコンマ編集 (format nil "~:D" 1000000) ;; ==> "1,000,000" 標準出力を束縛する (with-output-to-string (*standard-output*) (write-string "Hello ") (format t "~{~a~^, ~}" '(1 2 3))) ;; ==> "Hello 1, 2, 3" アナフォリックマクロ Anaphora より抜粋。マクロを定義するマクロ。it を予約語であるかのように使う。 (defmacro anaphoric (op test &body body) `(let ((it ,test)) (,op it ,@body))) (defmacro aif (test then &optional else) `(anapho
Sun Developer NEWS いまこそ新しいOS、新しい言語をイメージする
2002年新年号の談話室時也葉に登場するのはコグニティブ リサーチ ラボ株式会社の代表取締役であり、コンピュータサイエンテストである苫米地英人氏をお迎えしての新春放談。 苫米地氏は、Javaコンソーシアムの立ち上げに尽力されたり、ジャストシステムで多くのプロダクト開発に関わった実績に加え、大学における活動や、国家プロジェクトでの活躍など多彩な方面で活躍されていますし、コグニティブリサーチ社においては独自のWebサーバをLISPを使って開発するなど、LISPのエキスパートとしても有名。 今回はコンピューターサイエンテストとしての立場から、今求められているコンピューティングのあり方についてお話を伺った。JavaやSolarisの世界に留まらず、真の次世代コンピューティングについてとてもエキサイティングな話しを伺うことが出来た。そのすべてを紹介することはできないが、その片鱗でも感じて
Ypsilon Scheme System - リトルウイングピンボール オフィシャルサイト
Ypsilon Scheme System(イプシロン・スキーム・システム)はプログラミング言語Schemeの最新規格R6RS*に準拠する実装です。インタープリタの特性を活かしてスピーディーでインタラクティブなアプリケーション／ユーザーライブラリーの開発を可能にします。またマルチコアCPU用に最適化したMostly Concurrent Garbage Collectionを実装することにより、極めて短いGC停止時間と並列実行によるパフォーマンスの向上を達成しています。 News: 2008-12-23 Ypsilon 0.9.6-update3をリリースしました。 R6RS: http://www.r6rs.org/ Ypsilon開発の背景: http://www.LittleWingPinball.com/contents/ja/ypsilon.html ライセンス Ypsilon
CHILD'S SQUARE'S Wiki - [Lisp処理系を作る] Lisp処理系を作る
ここを見て Lisp 処理系を作ってみた。 けど、途中で不満に思う点が何点かあった。 どうせ手を加えるなら、一から作ろうと思った。 それなら、その作成の経緯を記録しておこう。
Life with Cygwin
沖ソフトウェア株式会社は、沖通信システム株式会社および株式会社沖インフォテックと平成22年10月1日をもって合併いたしました。新会社名は、株式会社OKIソフトウェアとなります。3社が行っております事業は新会社にて従来通り継続いたします。
紫藤のページ
紫藤のページにようこそ！ Lisp, Haskell, Python, Sather などの関数型言語の解説、小品プログラムを載せています。 ここでは関数型プログラミング言語をものすごく広い意味で使っており、 手続きをデータとして扱える言語を指します。 （Python, Sather などは普通はオブジェクト指向言語に分類されます。） また、xyzzy のマクロに関するメモもあります。 面白そうな割りに、web 上に文書が少ない題材を取り上げています。 リンクはご自由にお張りください。 更新ログ [Sep 15, 2014](Python) Set を用いたライフゲームの実装 を作成 [Jul 21, 2014]デコレータを用いた bottle.py のアクセスコントロール を作成 [Jul 13, 2014]Maildir のバックアップ を作成 [Jun 28, 2014]自宅サーバの
gcl emacs
GNU Common Lispを使う たけおか@AXE (ex.山本ナヲミ)(竹岡尚三) last update 2018/SEP/10 #| これは、筆者が 技術評論社 刊 ソフトウェアデザイン誌 「つこてなんぼのFreeBSD」 1998年9月 に掲載した原稿をもとにしたものです |# 0. はじめに 筆者がSun3(CPU=68020)のSunOS下で、CommonLispを初めて触った時、あまりに 快適なので驚きました。 当時、ワークステーションと呼ばれる機械の性能が急激に上がり始めた頃です。 CommonLispの様に規模の大きな言語は仮想記憶がなければまともに動かすこと はできません。当然、それまでは、かなり大きなスーパーミニコン(VAX-11や MV-2000などという機械)以上の計算機でしか動作しませんでした。 当時もDOS用に、GoldenCommonLispなどいくつか
Peter Seibel著「Practical Common Lisp」(Apress): ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://www.amazon.co.jp/exec/obidos/ASIN/1590592395/showshotcorne-22/ref=nosim Peter Seibel著「Practical Common Lisp」(Apress)の紹介です。 夏休みの宿題として、これを読もうと
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://tips.lisp-users.org/scheme/
http://tips.lisp-users.org/common-lisp/
CLHS: Macro DEFMETHOD
IBM Developer
Sign in - Google Accounts
レシピ一覧 - Common Lisp クックブック