LISP Scheme Part3

過去スレ
Part1: http://piza2.2ch.net/tech/kako/987/987169286.html
Part2: http://pc.2ch.net/test/read.cgi/tech/1002584344/
Part2（過去ログ倉庫）: http://pc.2ch.net/tech/kako/1002/1002584344.html

リンクは>>2-4に。

□参考リンク□

日本Lispユーザ会(日本語)
http://jp.franz.com/jlug/index.html
ここにかなりの情報があります。

プログラミング言語Scheme(日本語)
http://www.sci.toyama-u.ac.jp/~iwao/Scheme/scheme.html
Schemeの人はまずここを見ましょう。

Lisper への道(日本語)
http://www.geocities.co.jp/SiliconValley-Oakland/1680/rakup.html
判りやすいLISP入門サイト

Schemeへの道(日本語)
ttp://www.stdio.h.kyoto-u.ac.jp/~hioki/gairon-enshuu/SchemeNotes/scheme.html

慶応の授業のページ・記号処理プログラミング 2001
http://buri.sfc.keio.ac.jp/lisp/menu.html

Practical Scheme(日本語)
http://www.shiro.dreamhost.com/scheme/index-j.html
「普通のやつらの上を行け」など、興味深い文書があります。

SICP(英語)
http://mitpress.mit.edu/sicp/full-text/book/book.html
「計算機プログラムの構造と解釈」の原書です。
全てオンラインで読めます。

Scheme Hash(英語)
http://okmij.org/ftp/Scheme/index.html

John McCarthy's Home Page
http://www-formal.stanford.edu/jmc/
LISPの生みの親、Ｊ・マッカーシーのページだそうです。

お隣りのプログラマ板のLISPスレのログです。
http://mentai.2ch.net/prog/kako/963/963134110.html

□仕様書関係□

Common Lisp the Language, 2nd Edition(英語)
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/cltl/cltl2.html
CommonLispの仕様書です。

アルゴリズム言語Schemeに関する第五改訂報告書 R5RS(日本語)
http://www.sci.toyama-u.ac.jp/~iwao/Scheme/r5rsj/html/r5rsj_toc.html
http://www.biwa.ne.jp/~mmura/scheme/tspl.html#r5rs
日本語訳はここ以外にもあるそうです。

Scheme Requests for Implementation SRFI (英語)
http://srfi.schemers.org/

Scheme Frequently Asked Questions （英語）
http://www.schemers.org/Documents/FAQ/

□その他□

Schemeで書かれた正規表現ライブラリ
ttp://www.cs.rice.edu/~dorai/pregexp/pregexp.html

SICPの回答集
http://www.melt.kyutech.ac.jp/~gogogo/sicp_ex/
http://pluto.aurorasd.co.jp/~mkama/sicp/
http://www.ipl.t.u-tokyo.ac.jp/sicp/solution.root.html
http://www.sampou.org/scheme/sicp/answer/

「神神神神　教えてください。　神神神神」という放置スレにあったコードなん
ですが、これで縦型探索になるのが不思議です。lにリストをいれてxに要素を
いれると、見つかるとscontが呼び出されてだめだとfcontが呼び出されるという
ことでいいんでしょうか。Scheme屋さんはこういうコードが好きなんですか？

(define (dfsearch x l scont fcont)
　(if (pair? l)
　　　(dfsearch x (car l)
　　　　　　　　scont
　　　　　　　　(lambda ()
　　　　　　　　　(dfsearch x (cdr l) scont fcont)))
　　　(if (equal? x l) (scont x) (fcont))))

直前の評価値を取得する方法ってないですか？
(+ 1 2) ; -> 3
(* @ 2) ; -> (* 3 2) -> 6
(- @ @@) ; -> (- 6 3) -> 3
みたいに。

>>6
CommonLispにはある筈。
たしか+
詳しくは仕様書参照して。

*, **, *** だよ >>7

前スレの>>949
http://pc.2ch.net/test/read.cgi/tech/1002584344/?&st=949&to=949&nofirst=true
> つーか、シンボルは分解するようなものじゃないだろ？

Lisp 1.5懐かしあげ

(explode 'explode) → (e x p l o d e)
(inplode '(i n p l o d e)) → inplode

>>9
すげえな。でも、何の意味が？
シンボルってアトムじゃないの？

>>10
質問の意味がワカラン

昔はLispではシンボル（アトム）を文字列代りに使っていたので，
シンボルを簡単に分解できるexplode/implodeが重宝がられたそう
です．

>>11
atomって用語は「それ以上分解できない原子」って意味じゃない？
なのに分解できちゃうのか、みたいな疑問。

>>12
納得。それならわかります。

HyperLispではatomもリストも同じような構造をしていて，atomの
car/cdrを取ることもできます．

これとは関係ないのですが，昔のマイコン上のLisp処理系では，
atomのcarだかcdrだかを取るとproperty listがぞろぞろと取れ
てしまうものがありました．atomのメモリ上の表現がconsセルと
同じだったからなんですね．実際それを使ったプログラムもあり
ました．うーむ．

>>13
symbol の字面の文字を解析して別の symbol の list を返す
というのは, atom の分解できないという定義とは矛盾しないと
思うけど.

schemeだとこんな感じかな
(define (explode sym)
  (map (lambda(c) (string->symbol(string c)))
       (string->list(symbol->string sym)))
)
(define (inplode sym-list)
  (string->symbol (apply string
    (flatten (map (lambda(s)(string->list(symbol->string s)))
                  sym-list))
  ))
)

>(inplode(explode 'abcde))
=>abcde

>>16
s/flatten/apply append/

問題

Lisp の組み込み述語 member を自力で定義しなさい。
(キーワードパラメーターももちろんサポートすること)

例：
> (member '(c) '( ( (a) (b) ) ( (c) (d) ) ) :key #'car :test #'equal)
( ( (C) (D) ) )

副作用について質問、
こういうmap関数を作ったとき、
(define (string-map proc s)
  (let loop ((pos 0))
    (if (< pos (string-length s))
        (cons
          (proc (string-ref s pos))
          (loop (+ pos 1)))
        tail)))

(string-map (lambda(c)(display c)#t) "abcdef")
fedcba
=>(#t #t #t #t #t #t)
という結果になってしまいました。
これは規格通りなのでしょうか？
ほんとは
abcdef
と出したいんですけど。

>>19
(defun member (item list &rest rest &key test test-not key)
(nthcdr (or (apply #'position item list rest) (return-from member)) list))

正解 >> 21
比較的、lisp primitive に精通していると見た。

>>20
consじゃなくてbeginつかえよ。

procの結果をletで受けて評価順序をコントロールすれば良いかと。>20
(let ((r (proc (string-ref s pos)))) (cons r (loop (+ pos 1))))

なんでこんなことになるかというと、関数の引数の評価順序は
特に規定が無いからなんだけど。
副作用のある処理でこの辺気をつけて書かないと
大量のバグを抱え込むことになる。

副作用のあるやつはシーケンスの中に置くべきだけど、
これ間違えたら警告出す様にできない？

ftp://publications.ai.mit.edu/ai-publications/pdf/AITR-474.pdf

>>26
Schemeの場合，任意の式が副作用を持つか持たないかは静的には
（実行する前には）わからないので難しいと思います．

>>27
またなつかしい論文を…

まあ，それにしても G. Steele って天才だと思います．
彼のこの分野への影響力は半端ではない．

>>27
これWeb翻訳しようとしたら、全部画像じゃん。アホか。
PDF使えねー

>>20
コンパイルすると大抵の処理系では右から左への評価順序に
なるんじゃないかと。(理由はCと同じだと思う。)
インンタプリタなら左から右ってのも珍しくないけど。
過去スレに無理矢理評価順序を変えるマクロがあった。

Common Lisp でバイナリストリーム扱いたいのですが、
詳しい情報があるページとか教えてください。

検索した？>32

考えられる限り検索したんですけど、駄目ですね。
やっぱり、Lisp は バイナリ処理には向いてないのですかね？ >> 33

>>30
いったいいつの論文だと思ってるんだか…
スキャンしてオンラインで読めるようにしてくれているだけでも十分ありがたいのに．

>>35
なんだと？この論文オナニー野郎
OCRにぶち込めば済む話だろうが？

>>36
じゃｵﾏｴがやれやｳﾞｫｹ

λなカッチョいいアイコンない?

LISPっていう言語、このスレではじめて知ったんだけど
何する言語？
みなさんどんなことに使ってるんですか？

単に興味持っただけなんですが、教えてくらさいませ・・・・

AIなどでよく使われる，データをリストに変換する高級言語．

汎用言語だよ。
俺はパースなんかに使ってる。

39ではないですが、
僕も最近lispを知って、面白そうだったのでxyzzyでいろいろ
いじってます。

lispだけしかやらない人は少ないと思うのですが
lispをやって得た知識が、他の言語でのプログラム
に役立ったってことはありますか？

リスト操作ライブラリかなんかはLISPの名前参考にしてる。

A Little Schemer　学生のころ読んで感動したなぁ。
あの本たのしいね。

25才を越えてしまったいま、「普通の奴ラの上を行け」を読んで
今年はSchemeきわめようかな、と思うこのごろ。でもRubyもSqueakも
極めたい。

Closure とか Macro とか C にはない機能が盛りだくさん >> 42

CにもMacroはあるかモナー

>>46
でもCのマクロとschemeのマクロは全然違う機能だと思うけど。

schemeのコードをパースしたいんだけど、
エレガントな方法ある？
SICPの４章みたいなのが一般的？

>>45
僕は培風館のLISP(原書3版）というのを使ってやってますが、
そこでクロージャーでジェネレーターを作っているのがありました。
確かにこんな機能はCにはないですねえ。

ただ、ジェネレータを作るたびにそれぞれのレキシカルな環境が生まれるっていうのは
なんだか、クラス作ってインスタンスを作ったみたいな感じがしました。
（って、激しく勘違いしてるのかも知れませんが。）

同じだよ>49
データ付き関数

よかった。あってて。

しかし、xyzzyでやってるからオブジェクト指向で書けない。
CLOS、おもしろそうなんですが・・・。

>>47
マクロはマクロだけど
lisp の構造上異常に強力になるという
ことだよね。

まあ、Cのは単に文字列置き換えてるのと大差ないし。

Cのマクロは再帰的な展開ができない。
(#defineの中に#ifdefなんかが書けない)
LISPはなんでもあり。
この違いはﾃﾞｶｲ

AISTのJava用プリプロセッサーEPPだと、その辺出来るかも。

明日確認しよーっと。

マクロの展開ルールをLISPで書けるのがよいとこかと。

>>15-19 壊滅的な壊れ方ですね。
　　データ救助＆復旧の予定は？

>>55
できる。あれはLisperの作者がLisp風マクロをJavaでも使いたくて作ったものなので。

>>41

根本的な考え方が身についた。

>>44

どれかを徹底的にやってから次に手を出すのがよいと思われ。

LispとSmalltalkは甲乙つけがたいよさがあるが、Smalltalkは見事な
実アプリはあっても丁寧に内容を説明したないのが欠点。
Lispはいい本がたくさんあるが、"Paradigms of Artificial Intelligence
Programming"を一冊終わらせたらスーパープログラマーになること
間違いなし。

MASMのマクロはなにげに関数型チック

>>20 亀レスだが
mapじゃなくてfor-eachを使えば評価順序は規定されてる。
(ただし値はunspecified。副作用専用。)

OLE使うとかいうﾊﾅｼはどうなった

>>20
SRFI の map-in-order

ザウルスで動くschemeはないですか?

>>64
ザウルスってCEだっけ？
だったらPocketSchemeで検索

ザウルスってまだあったの？
OSはWindowsですか？

ザウルスはちかぢかLinuxになります。でもWinCEではありません。
独自ＯＳです。

いまどき独自ＯＳが残ってるなんて驚異的だね。

emacsとかxyzzyの様な大作エディタはLISPみたいだけど、
そんなにLISPってすごいの？

>>69
すごいですぅ

LISPは凄いけど、LISPじゃないと大作エディタが出来ない
ってわけでもない。

例えば、vim with perl/python/ruby

パーサーが小さいからだろ？

AutoCADやGIMPもLISPですが。

>>73
そういえば、Omoikane Debian GNU/Linuxのinstallerもschemeでした。

>>74
それってマクロだけじゃ無いの？
本体をＬＩＳＰで書いている分けではないでしょ？

>>69
LISP も凄いけど、その方言である Scheme はもっと凄い。
これは LISP に環境モデルを加え、言語としてもかなり綺麗。
「環境」をうまく使えば、メッセージ送信、(多重)継承、カプセル化
なども簡単に実現できる。他にも継続なんてものもあるので、
これを使えばバックトラックも可能。Scheme に弱点はあるのかな？

アルゴリズムの実装という点では強いけど,
無敵と考えるのは不遜だよ.

>>77
>Scheme に弱点はあるのかな？

名前空間が１つしかない、とか。
define-publicとかは処理系依存だし。
あとオペレータ操作とかが面倒。
普通の言語ではa:=bと４文字程度で済むのに対し、
(:= a b)とタイプ量が増える。(括弧、セパレータの空白)
独自にリーダー作っちゃえば良いんだけど。

タイプ量ねぇ・・・
Schemeのプログラムはもっと根本的なところで
タイプ量が減ると思うけどね。

>>79
> 名前空間が１つしかない、とか。
そうですね。これについては拡張 Scheme を使えば良いと思います。
処理系依存になってしまいますが、これは現実的なプログラミング
との妥協点だと思います。Schemeの計算モデルの問題では
ないですね。根本的な問題点で思い付く事ってありますか？

個人的には普通の言語でも空白を入れて欲しいなぁ。
あと、ローカル関数があれば名前空間はなくてたいして困らないと思う。
現実的に一番困るのは動的な型が大きなプログラムではデバグしにくいこと。

そうだね。Schemeの大きな弱点と言ったら、括弧だらけの書式と
静的な型が無いことぐらいだね。

「動的な型である」というのは、単純に弱点とは言えないと
思います。現実なプログラミングとして「デバグがしにくい」という
のはあると思いますが、それと同時に記号処理の恩恵も受けている
はずですからね。

書式 (括弧だらけ) についても、長所と短所があると思います。
括弧で囲い前置記法にすることで曖昧性がなくなり、つまらない
ミスを減らしているのも事実です。慣れない人とっては奇妙な書式
ですけど。色々なプログラムの設定ファイルを見ると、その長所は
理解してもらえると思います。LISP/Scheme の S 式を使う事で、
書式の統一が出来ますし、混乱することもなくなりますからね。
初心者用には、フロントエンドを用意すれば良いと思います。

長所と短所が同時にでてくるってのは同意だけど、
やっぱりそれでも短所だよ。同時に長所だけどね。（ｗ

今更ですが、、、

>>77 型付ラムダ計算の実習に使えない点
　 が弱点かと思います。

>>82
Cは、「Fileローカルな関数/変数があるから、名前空間がない」という流儀で、
バリバリやってきたわけだけど、欲しい…名前空間。

(define hoge::foo (lambda (x) ..
みたいな名前にすると名前空間気分が味わえるよ。
usingのかわりに(define foo hoge::foo)とかする。

>>88
それいただき（ｗ

age

問題:
次のようなマクロを Common Lisp で定義しなさい。
> (for x (0 8) (princ x) (princ (+ x 1))
0112233445566778
NIL

>>88
(let ((foo hoge::foo))
...)
で囲んだ方がそれっぽいかも(w

>>91
意味わからん。宿題？

>>19 と同じ人じゃない? 多分宿題じゃないよ.

では聞くがShemeがLispより優れている点は？？？

Scheme！！　タイプミス　ｽﾏｿ

>>96
シンプルなところ

継続があるところ。

Scheme勉強したくなってきたなぁ。Lispより凄いみたいだね。
でも Win じゃまともな処理系が見つからない。DrScheme ってなんか見た目が
好きじゃないし。

>>99
まともな処理系はchezとか、mitとかscmとかbiglooとかたくさん
あるみたいだけど。
なんにせよ見た目で選ぶのはやめたほうが良いよ。

>99
僕もWinのコマンドラインの処理系探し回ったけど
処理系の「アプリ」として一番まともなのはPetite Chez Scheme。
mit,scmはどーもいまいち。

DrSchemeとかSCMは好きだけどなあ。何で駄目なんだろ。

処理系が氾濫してるわりには、使える実装があまり無い気がする。>Scheme
特に実行ファイルで配布できそうなもの。
GUI対応で単体EXEで配布できるようにすれば普及するかもよ？
誰か作らない？

>>103
> 誰か作らない？
そう言われて「じゃあおまえが作れ」という言葉がよく返ってくるのは、
「欲しいけど自分は作れない」人が多いからなんじゃないかと思ったりして。
……という訳で、自分で作ってください……。

Winで実行ファイルが作れる処理系は、わたしはこれしか知りません。
（Cのソースを吐き出す奴だけど）
http://www.kt.rim.or.jp/~qfwfq/rhiz-pi/index.html

UNIXなら、guileなんかが割と使えそうな感じなんですけどね……。

>>104
EXEで配布だけ、ってのは自作で持ってる。
やたら遅いのでお蔵入りしたけど。
スキルのある人登場しないかな。
やっぱネイティブにコンパイルしないと駄目だよ。

>>105
それ下さい

>>106
仕事で使ってるので公開できない。
おれはコレ作るのに(片手間だが)２年費やしてる。
２年前はLISPなんてまったく知らんかったやつがだ。
キミもそれぐらい苦労すれば作れるだろう。
某スレでは1週間で作ってたやついたし。

一瞬、2chでLISP板ができたのかと思った。
http://pc.2ch.net/cdr/

まさか、と思ったら、やっぱりあった（笑
http://natto.2ch.net/car/

nullとconsはないようですな。残念(w

nilきぼーん

>>108-109の板にネタスレ立てたくなったけど、我慢我慢・・

ソース付きのlispのものすごく小さい処理系無いですか？
リスト、シンボル、整数、apply、eval、gcぐらいでいいんで。

>108 その板とても需要があるとも思えないんだけど...

>>113
パロディー版アスキーにＢＡＳＩＣで書いたlispのソースがあります。

ＢＳデジタル放送板よりはうごいてそうだね＜ｃｄｒ

>>113
ttp://aten.aial.hiroshima-u.ac.jp/~kakugawa/clisp/index-ja.shtml

>>117
>小学4年生の時に作った、はじめての Lisp 処理系の名前が CAMPUS LIsP でした。
天才か？

と思ったら、読み間違えでした。
s/小学/大学生/

>>113
昔、アスキーから出てた「Cプログラムブック」の第3巻に
Will'O Lispってのが掲載されてた。
丸々一冊の本でLispインタプリタの最小実装をまず作って
それから少しづつ機能を増やしていくって構成だった。
MS-Cで書かれたたんだけど、それをX68K上で動かすように
いじくった憶えがある。

著者は小西弘一・清水剛

LinuxかFreeBSD用にリファインして再販キボンヌ。

で、配布するに足るexe/dllを生成するWindows向けSchemeコンパイラは？

>>120
ください。

Chez有償版って単に実行時にコンパイルするだけで
exeを作ってくれるわけじゃないんだっけ？

>>122
> Chez有償版
有償版では、作ってくれたような気がします。

つーか、自作したいんだけど、
スタンドアロンでEXEやDLL作るための情報、誰かお願いします。

>>124
winならMSDN

native化って、gcが絡むとむずかしくない？

単にインタプリタとスクリプトexeに押し込むだけじゃないの？

あ、そうなんだ・・。
bytecodeのレベルまでならgc気にしなくても書けるかな。
探索とかの生成が無いコードだとnativeにしても問題ないね。

インストラクションコードに直すまではまあ努力次第として、
一番厄介なのはEXEやDLLのヘッダ部分なんだけど。
MSDNに載ってる？

ヤフーオークションで、幻の人気商品、発見！！！

今は無き「コピーガードキャンセラー」↓
http://page3.auctions.yahoo.co.jp/jp/auction/c15158602

ヤフーオークション内では、現在、このオークション
の話題で、持ちきりです。

>>129
MSDNに少しだけ載ってたような載っていないような・・
「Windows System Internal」か、そんな感じの名前の
本にPEファイルフォーマットについて詳しく載ってた。
今、手元にその本がないから詳細不明。

LISPのメリットを教えてくれー
Cとか、JavaとかC++みたいな言語と比較してね。

過去ログでも見れ>132
ここや、「型無し言語逝って良し」スレとか。

>>132
emacsのマクロがかける。

>>134
C/C++やJavaだと書けないね。

リンカ＆ローダーっていう本が出てる。ま、いちおう

Lisp のマクロって何が凄いのでしょうか？
使ってみりゃ分かるみたいな記述が多いですが、初心者には何に使えば良いのか分かりません。
色々読んで、C のマクロと同列に語ると失礼になると言う事は分かりましたが。

>>137
使ってみりゃわかる

>>137
とくべつ使う用途がないなら、ムリに使う必要ないよ。

>>137
知らずに使ってる場合が多い。

拡張構文や、CLOSみたいなオブジェクト指向あたりは、
すべてマクロで作られてる可能性が高い。
実際、Cでいうところのenum列挙子やstruct/union,sizeofなんかは
マクロで書いた。

DrScheme　で、ユーザーからの入力を受け付けるような処理はどうやって書くんですか？
scanf() みたいな。

>>142
DrSchemeは知らんけど、SLIBにscanfそのものがあったと思う。

そう、入出力に関してはSLIBを使えばCライクな物が一通り揃うんだよね。
getchとかは無いけど。

http://kyoto.cool.ne.jp/suzakumon/gallery/tactical/gallery-tactical.htm
ここの
Ｘ−ＣＯＭ：ＡＬＬＩＡＮＣＥ
というコーナーに、面白い記事が載ってる。

「中でも一番の特徴は驚異的なＡＩである。タイプ的にはＳＷＡＴ３の様なリアルタイム方式なのだ
が、簡単な命令で非常に複雑な行動を地形やシチュエーションに応じて自動的にやってのける能力を持
っているのも同じ。ただしもっとずっと頭が良いという事であり、これがＥ３のベストに選ばれた最大
の理由だった。ＡＩの作成には世界でTOPクラスのマサチューセッツ工科大学のロボット班が協力してい
るそうで、感情パラメータ導入により人間的な振る舞いを見せてくれるとの事。発売されればPCゲーム
界に革命を起こすとまで言われている期待作である。」

>>145
なんの話？

protable common loopsというのをインストールすると
CLOSになるという話を聞きましたが、PCLというのは
フリーなんでしょうか。
xyzzyにのせられる？そんな話題を聞いたこともないの
で無理なんでしょうが。

私の知る範囲では、Clispには10年位前に Portable Common Loops が移植されてたと思います。

ってゆーか、PCLは、Xeroxが出したCLOSの原案だったよーな気がする.

Freeで入手できるCLOSってあるんですか？

SLIB のインストール方法がわからん。
WIZARDRYの謎解きよりも難しいじゃん。

>>150
上手い

>150
たしかrequireをちゃんと設定するんだと思われ

訳そうかと思って諦めた。身代わりキボンヌ。

Lisp FAQ
http://www.faqs.org/faqs/lisp-faq/

1. Introductory Matter and Bibliography of Introductions and References
2. General Questions
3. Common Programming Pitfalls
4. Lisp Implementations and Mailing Lists
5. Object-oriented Programming in Lisp
6. FTP Archives and Resources
7. Lisp Window Systems and GUIs

Scheme FAQ
http://www.faqs.org/faqs/scheme-faq/
Topics Covered (Part 1):
[1-0] What is the purpose of this newsgroup?
[1-2] What is the difference between Scheme and Common Lisp?
[1-3] Scheme books, introductions, documentation, periodicals,
journals, and conference proceedings.
[1-4] Where can I learn about implementing Scheme interpreters and
compilers?
[1-7] Standards for Scheme -- What are R4RS and IEEE P1178?
[1-8] How do I do object-oriented programming in Scheme?
[1-9] Repositories of Scheme Software
[1-10] Publicly Redistributable Scheme Software
[1-11] Formatting code in LaTeX (WEB and other literate programming tools)
[1-12] Where can I get an implementation of Prolog in Scheme?
[1-13] What does SICP, SCOOPS, R4RS, CAR, CDR, ... mean?
[1-14] Why is there no EVAL in Scheme?
[1-15] World-Wide Web (WWW) Resources
[1-16] Why is Scheme called 'Scheme'?

Topics Covered (Part 2):
[2-1] Free Scheme implementations.
[2-2] Commercial Scheme implementations.
[2-3] What Scheme-related discussion groups and mailing lists exist?

滅茶苦茶です……。
exite翻訳以下のところさえあるでしょう。

scheme faq 1-1
http://www.faqs.org/faqs/scheme-faq/part1/section-1.html
[1-0] このニュースグループ（comp.lang.scheme）は何ですか？

　ニュースグループ「comp.lang.scheme」は、プログラミング言語Scheme に関係のある様々な話題について話すところです。たとえば、次のようなものがあるでしょう（これらに限定している訳ではありません）――
　* Scheme に関する本や、その他のものの告知
　* Scheme で書かれたプログラムやユーティリティに関する議論
　* 移植性に関する問題点についての議論
　* Scheme 処理系のバグについての質問
　* 他アーキテクチャへ処理系を移植するときの問題点
投稿は Scheme コミュニティが興味を持つものにしてください。question [2-3] も参照のこと。

　comp.lang.scheme は
ftp.cs.cmu.edu:/user/ai/pubs/news/comp.lang.scheme/
にアーカイブされています。更新は週単位です。

　CommonLisp に関する質問は comp.lang.lisp で。
Lisp でのオブジェクト指向プログラミングについての議論は comp.lang.clos。
関数型プログラミング言語全般にわたるものは comp.lang.functional。
また、Scheme で AI のプログラミングをしている時は、comp.ai. にクロスポストすべきかもしれません。

>>150
Winだったら、解凍した後、環境変数SCHEME_LIBRARY_PATHにSLIBフォルダを
設定をして、開発環境に合わせた"〜．init"というファイルがSLIBフォルダに
入ってるので、そのファイルの中身を編集する。
編集の仕方はフォルダの場所の所を適切に変えて、software-typeをMS-DOSにする。
それで、そのinitファイルを開発環境からloadするとrequireが使えるようになる。
もしも開発環境がSCMだったら、はじめからSLIBを前提としてチューニングが
なされてるので、環境変数を設定するだけでいい。
あと、Dr.Schemeは初期化ファイルをSLIBとは別に既に用意してるので、
環境変数設定した後それを使ってもいい。ヘルプデスクで「SLIB」と検索すれば
使い方がわかる。

SCMはインタプリタの中では速いらしいけど、Win2000でMS-DOS版を
使ってると速さを感じないなあ。
Dr.SchemeやScheme48 for Winなんかと大差ないような気がする。
chezが一番速いような気がするんだけどどうかな？

あとMITのインタプリタは激遅い気がする。

mit の学生は mit のもの使ってんのかな.

リンカ＆ローダにはGuy Steeleという名前の人がコメント寄せてるけど、
これはあのビット別冊の人ですかね。

Guy Steeleってそんなに無名かな。
Lisp界隈では最大級の有名人だと思うけど。

Lisp→HPF→Java と渡り歩いてきた私は、
自称当社の Guy L. Steel Jr.担当 です.

他社にも Steel担当者って結構居るらしいです.

Wirth程度には有名だよね。

Steeleのことを萩谷先生が天才と言ってたような気が。

http://www.amazon.co.jp/exec/obidos/search-handle-url/index=books-jp&rank=+salesrank&field-keywords=Scheme&bq=1/ref=sr_aps_allb__/250-7214469-6555423
アマゾン japan で Scheme と入れて検索。
5件ヒット。
そのうち、4件は入手不可で、実質一つしか選択肢が無い。泣き笑

>>164
1.プログラミング言語SCHEME
　R.ケント ディヴィグ (著), その他 単行本 (2000/05/01) ピアソン・エデュケーション
↑これね。今時めずらしい本、と思っていたら、他はほとんど入手不可なんだ...

(中略)
4.FD ソフトウェアライブラリ Scheme
　湯浅 太
　　　 〜〜ふとしってだれだぁ？ 太一せんせーか(笑)

http://www.amazon.co.jp/exec/obidos/ASIN/4879669547/qid=1010341084/sr=1-3/ref=sr_1_0_3/250-7214469-6555423
は結構新しい本でしたよね……。

どうして入手不可なんだろぅ...

>>167
『入門SCHEME』は絶版らしい。
いまは著者のページで公開されてるよ。

http://www4.ocn.ne.jp/~inukai/artificial_j.html
ほんとに。

おばかな >>435 はほっておくとして、、、

高階関数 と 高階論理 の (類似性) を
誰か説明してくませんか？

>>170
http://pc.2ch.net/test/read.cgi/tech/1007387924/
もしかして、ここに書きたかった？

https://www.honya-town.co.jp/servlet/jp.co.honya_town.p3.HSsearchServlet?ipg=1&iqm=2&isc=999999&ici=ZB01&ibo=scheme&itm=0&ib1=1&ib2=2&ib3=4&ib4=8&ipu=&iop=0&iau=&ioa=0&isy=&ism=&iey=&iem=&ifr=&ifm=0&iol=20&ipr=0&ibt=0&iis=&x=0&y=0
>>164
ここだともうちょっと増えます。

うはっ。。直リン禁止。
http://www.honya-town.co.jp/ で、↓サテライトトップページへ↓から
「Scheme」で検索。

どなたか、Gauche を cygwin 環境で使っているひといませんか？

↑前にソース落としてビルドを試みたけど結局失敗
その後chezの存在を知り今に至る(藁

>>172-173
ありがとうございます。

>175
ふむー、chez ってマルチバイト文字対応はいかがですか？

> (display "表表表表")
_
↑うまくいきません。
> (display "あいうえお")
あいうえお>
　　　　　↑これはプロンプト
>>177
7ビットで切ってあるという事は無いようですけど、Shift-jisの問題が……。

>178
ありがとうございます｡
そうですか、やはりマルチバイトは……

>>178
一応(display "表\表\表\表\")で回避。

>>180
そりゃちょっと厳しい。2バイト目が「\」の字なんて「表」以外知りませんから……。
工夫が必要か。

>>162
Wirthの方が有名だし権威だろ。
比較の対象がちがってないか？

>>182 スレ違いで恐縮だが


「さよならファインマン」ちう本に写真が載ってて、

中央には椅子に座った、冗談物理学者のファインマン先生、
その横に立って談笑しているのは、数式処理ソフトMathematicaのウルフラム氏が、
背景には、シンキング・マシン社の超並列コンピュータ CM-1 (by ダニエル・ヒルズ)
が写っていた。従って、

　　ファインマン > ウルフラム > ダニエル・ヒルズ > Guy Steele

　　量子電磁気学 > 数式処理ソフト > 超並列機 > プログラム言語

なのは確か。
　　　

これ、ﾒﾁｬｸﾁｬワロタ
【ｵｶﾙﾄ】　　 λ..........ﾄﾎﾞﾄﾎﾞ
http://curry.2ch.net/test/read.cgi/occult/1010105764/l50

>>181
SJIS駄目ならEUC使えば？

>>185
で、表示の時には変換？
……それが楽そうです。

lisp 系の言語をつかっていて（正確には最近 emacs をゴリゴリカスタマイズしたいと思って勉強し始めて）おもったんですが、
括弧が激しく入れ子になるのをみてるとなんか forth のようなスタックマシンを連想します｡
コンピュータサイエンス的に見て、この感覚って、あってます？
あんまり学問の人じゃないんで、感覚で、としか言えないんですが…

http://www.amazon.co.jp/exec/obidos/ASIN/4756118054/qid=1010545785/sr=1-5/ref=sr_1_0_5/250-8508605-3661811
アスキーの青い本は Info で読める elisp-manual を訳しただけのものだって
読んだ気がするけど本当？買おうにも近くの本屋に置いてないし。
Info で読めるなら買うの迷うんだけど。

>>187
あってません。

>>188
あれはFSFへの募金と思って購入するものです。

>>182>>183

訳分かんね…

>>190
ということはやっぱり elisp-manual と中身はいっしょなんですね？
日本語版読んだけどあんまり分からないから買うのやめよかな（ｗ
とりあえず立読みするために本屋探します。

前ちょっと本読んだら対応する括弧に飛ぶ関数が書いてあったような気がする
んだけど Info 見てもそれらしいのがないな。どの辺にある？

>189
そうでしたか。
なんとなくスタックにリストが積まれていってるような気がしたものですから｡

>>194
Lispでいうリストは連結リスト(linked list)ですから、
スタックには積みません。
car、cdr、consの仕組みを学べば、すぐにわかることです
（というかLispの基本中の基本です）。

>>193
何をしたいの？　カーソルを一番内側のかっこの先頭に移動させたいとか？
あるいは、カーソルの直前にある閉じかっこに対応するかっこの先頭に移動したいとか？
いずれにせよ、search-backword-regexpを使えば一発だと思えますが。

>>191
おいおい、183が分からないとしても、
182は分かるだろ
Wirthの方が有名だってことだよ。
それ以外のことは云ってないぞ。

>>197
> Wirthの方が有名だってことだよ。
> それ以外のことは云ってないぞ。

比較の対象(>>182)違わないでしょ。
プログラミング言語の実際的なことが中心の人でしょ、両方。
Oberonのタイプシステムの研究に相当するようなやや理論的なこと、Steeleはやってないけど。

それにWirthが圧倒的により有名なのは、昔の話でしょ。

>>196
>カーソルの直前にある閉じかっこに対応するかっこの先頭に移動したい
って isearch-backward-regexp(？) でできます？

>195
リストを構成する要素の順番を逆転してみれば、
>194 の感覚もあながち完全な間違いとはいえないかもね。
でもそれはすでに lisp とはいわないかも｡

>>199
backward-sexp でどう？

>>200
linked listがメモリ上でどう表現されるか知っててそういう発言？

>>198
そんな君に
http://www.acm.org/awards/taward.html

>>183
feynman が死んだのは 1988年。
mathematica が世に出たのも同じ頃。

wolfram が feynman と談笑してたのは mathematica がすごいのでなく
wolfram がすごかったからです。

参考URI:
http://www.apple.co.jp/solution/education/hed/success/mathmobile/

>202
スタックって双方向リンクリストで実現できるかなーと。

>>205
スタックってFILOでしょ。トップ以外をポイントできないじゃんよ。
リストは任意の要素をポイントできるでしょ？

>>205
双方向でなくてもええんちゃう？
ちなみにスタック２つあれば、リストも表現できるよ。

lispのputpropを
common lispに移植してください。
おながいします。

>>204
WolframってCaltechだったんだー。ひょっとして
Feynmanのアドバイジーなんじゃないの？
Hillsは、たしか「さようなら[...]」にFeynmanが
TMIに首突っ込んだ話をHills自身が書いてた気がする。

まぁ、183はアホだけど。

>>208
putpropって何？つーかどのlisp?
put/getみたいなもん？

スタックはトップから相対アクセスできてこそ使い物になると思うんだが、どうか。

>>208です。

>>210
Lisp1.5です。


http://www.hucom.tp.titech.ac.jp/class/lisp/4th.html
にあった、

(defun putprop (var value attribute)
(setf (get var attribute) value))

をｺﾋﾟﾍﾟして解決したふりしました。

183ですが何か？

s/電磁気/麻雀/

Gauche,やっとFreeBSDでまともにビルドできたーよ。
なかなかよいので age

http://www.shiro.dreamhost.com/scheme/gauche/index-j.html

>>211
え？　pushとpopしかできないのがスタックなんじゃないの？

質問：
CLISPでUnicode対応でcatを作ろうとしたんだけど、
日本語コードが入ってるとエラーがでるんだが、ここらへん詳しい人いないかな？

質問の意味がまったくわかりません。
catは標準入力を標準出力に書き出すコマンドでしょ？
Unicode対応もクソもないと思うのだが。

>216
catならCで作った方がいいだろ。

説明不十分で申し訳ない。この場合はファイルを入力して、単に表示するだけ。
> (cat "hoge.txt") ;; hoge.txt は Unicode ファイル

やはり、open()で :external-format とか指定するのかな？

いちお、ソース

(defun cat (fname)
(let
((istream (open (make-pathname :name fname)
:direction :input
:if-does-not-exist nil)))
(when istream
(do
((line (read-line istream nil 'eof) (read-line istream nil 'eof)))
((eql line 'eof) t)
(format t "~A~%" line)
)
(close istream)
)
)
)

うーん、やっぱカッコたくさん書くの面倒くさいな。
特に一時変数作るのに(let((..)))や((lambda(..)))とか記述量が多い。
なんとかしてくらさい。

>>221
気のせいれす。

こんな感じのマクロ誰か作って
(var 変数1 値1
var 変数2 値2
...
式1
var 変数3 値3
式2
...
)

展開するとこんな感じになるやつ
(let* ((変数1 値1)(変数2 値2))
式1 ;式1は変数1〜2が使える
(let ((変数3 値3))
式2)) ;式2は変数1〜3が使える

最初のvar以降はキーワード。
varが置かれた場所は以下の書式が適用される。
var <変数名> <初期化式>
C++の様に、varはブロックの途中からでも変数宣言できる。

>>215
アセンブラのSP+nとかBP+nの様なことだと思われ。

>>223
(try
　 <try-sequence>
　finally
　 <finally-sequence>)
↓
(unwind-protect
　(begin try-sequence...)
　(begin finally-sequence))
みたいなのもあるといいな
これぐらいはすぐ組めそうだけど。

>224
いつのまにかデータ構造の話になっているようだけど。
最初に >187 が受けた印象や >200 の逝っていることは、
リストの評価はは主記憶に保持されている各リストたちへのポインタを
スタック push, pop しながら進行する、ということなのだとオモワレ。

リストへのポインタを push, pop しながら動作するスタックマシン、これでいいんじゃないの？

あと、>211 が逝ってる（そして >215 が突っ込んで >224 がフォローしてる）スタックはアセンブラレベルで見ての話ね。
C 言語の関数呼び出しのときなんか、引数＋戻り先ＰＣをひとまとまりでかんがえたら >215 が正しくて（そしてスタックの定義から言えばこちらが正しい）、
積まれた複数の引数のそれぞれにアクセスする必要があることを考えれば >211 が正しい。
Lisp に関係ないので sage。

>>223
頭の体操がてらに作ってみた。schemeだけど。
(連続let->let*変換はしてない。)

(define (var-expand l)
  (if (and (pair? (cdr l)) (symbol? (cadr l)) (pair? (cddr l)))
    `(let ((,(cadr l) ,(caddr l))) ,@(var-sequence-expand (cdddr l)))
    (error "syntax : var <name> <value>" l)))

(define (var-sequence-expand l)
  (let loop ((x l) (r '()))
    (if (pair? x)
      (if (eq? (car x) 'var)
          (append (reverse r) (list (var-expand x)))
          (loop (cdr x) (cons (car x) r)))
      (reverse r))))

(define-macro (var . l)
  (var-expand (cons 'var l)))

;test
(var putl (lambda l (for-each display l) (newline) #t)
  var a 1 (putl a)
  var b 2 (putl b)
  var c 3 (putl c)
  (putl (+ a b c))
  var d (+ a b c)
  d
)
1
2
3
6
=>6

>>228の式を展開するとこうなるはず。
(let ((putl (lambda l (for-each display l) (newline) #t)))
  (let ((a 1))
    (putl a)
    (let ((b 2))
      (putl b)
      (let ((c 3))
        (putl c)
        (putl (+ a b c))
        (let ((d (+ a b c))) d)))))

>>220
コンソールはUnicodeを表示できるコンソールなの？
僕の知る限り、Unicodeを表示できるコンソールって、
Mule-UCSをインストールしたEmacsのShellモードくらい
なのだけれど。

>230
コンソールとは限らないだろ

その前に read-line() 自体が UCS-2 に対応しているかどうかも不明です。
UNICODE から MBCS への変換関数とか知らないですか？
もしないなら、バイナリオープンして自前で実装するしかないのかな >> 230, 231

補足：
Cで言うところの fgetws() と wctomb() みたいたもの LISP にないかな？

>>225
(define (try-expand l)
  (let loop ((x l) (r '()))
    (if (pair? x)
        (if (eq? (car x) 'finally)
          `(unwind-protect (begin ,@(reverse r)) (begin ,@(cdr x)))
          (loop (cdr x) (cons (car x) r)))
      (error "syntax : try [<try-sequence>] finally [<finally-sequence>]" l)
      )))
(define-macro (try . l)
  (try-expand l))

>>233
だからさ、8bitストリームを読み込んで8bitストリームに書き出せば
いいだけじゃないの？　catなんでしょ？

文字単位で何かの処理をするわけじゃないんだから、wcstomb()なんか
何に使うのよ。

UCS-2だったら、16bitの固定長だよね。
いよいよwcstomb()なんか要らないと思うけど。

read-line 自体が 0x0D 0x00 0x0A 0x00 (改行)を認識できるわけ？ >> 236
それから 8bitストリームにしても Unicode 文字を出力するわけだから
プリント関数自体が ワイドバージョンじゃないとまずいじゃないの？ >> 235

>>227の連続let->let*変換plus版
(define (var-expand l)
  (let loop ((x l)(a '()))
    (if (and (pair? x) (eq? (car x) 'var))
      (if (and (pair? (cdr x)) (symbol? (cadr x)) (pair? (cddr x)))
        (loop (cdddr x) (cons (list (cadr x) (caddr x)) a))
        (error "syntax : var <name> <value>" l))
      `(,(if (pair? (cdr a)) 'let* 'let) ,(reverse a) ,@(var-sequence-expand x))
      )))

>>228のtest展開結果
(let* ((putl (lambda l (for-each display l) (newline) #t))
       (a 1))
  (putl a)
  (let ((b 2))
    (putl b)
    (let ((c 3))
      (putl c)
      (putl (+ a b c))
      (let ((d (+ a b c))) d))))

>>227は神！
ホントに作ってくれる人が現れるとは...
感謝！

カッコを減らす試みつーのはなかなか面白いもんだね

最近知ったんだけど、
=>
の使い方をおしえてください

condで使うんじゃないの？>242

今日はじめてSICPの日本語訳を読んだ。
あまりの訳の下手さに絶句した。
あのクソ訳に4000円も払う「まぬけX」「金持ちO」がいると考えると「笑えてX」「畏敬の念が湧き上がってきたO」
気の利いた大学生の方がもっとよっぽど良い訳をすると思われ。
少なくとも、あのレベルでは、翻訳事務所のトライアルも通らないのは確実。

同意。なんとかしてくれ>244

(define (call/fopen filename mode proc)
　(var fp (fopen filename mode)
　　(and fp
　　　(try (proc fp)
　　　　finally (fclose fp)))))
悪くないかも

>>244
でも技術系の翻訳って難しいよね．日本語として流暢な訳にしてしまうと，
「原文とは違う表現だ，これは誤訳だ」と言って騒ぐ人も多いし．
一字一句逐語的につき合わせができないと，訳が間違ってると思ってるみたい．
もともとそんなことできないのに，違う言語なんだから．

>247
原書で読めってことだね。

>>244
I am MANUKE! HA!(T_T)

> MANUKE
a MANUKE

>>237
何が問題なのかわからないので、自分でもCLISPをインストールしてみるわ。

# プリント関数がワイドバージョンじゃないと困るとはまったく思えないん
# だけどね。

SICP は web で原文が公開されているから,
意味がよくわからない所は原文にあたると
すんなりわかったりする.

かといって全部原文で読むよりはやはり日本語の方が
わかりやすいんだよな.

リストのなかの最大値を探すのはこれでいいの？

(define (max-value lst)
　(do ((max-v 0)
　　　 (cur-v 0))
　　　((null? lst) max-v)
　　(set! cur-v (car lst))
　　(if (and (number? cur-v) (> cur-v max-v))
　　　　(set! max-v cur-v))
　　(set! lst (cdr lst))))

>>253
lispは使ったことあんま無いけど、それって

(length lst）が２なら大きい方を返す
じゃなかったら (car lst) と　(max-value (cdr lst)) の大きいほうを返す

の再帰で短くなんない？

改訂しました。

(define (max-value lst)
　(case (length lst)
　　((0) 0)
　　((1) (first lst))
　　((2) (max (first lst) (second lst)))
　　(else (max (first lst) (max-value (cdr lst))))))

(apply max lst)

>>255
与えられたリストが空の場合、0が帰るのでいいの？
候補がないんだから、最大値は得られるべきではないのでは？

>>37
Cでcatを実装するとして、ワイド文字が必要とか思ってたりしませんよね？

>258
cat だからね。 wc じゃないからね。
単純にバイトごとに読んで書く、これでいいんじゃないの？

CLISPコンパイル中。時間かかるねえ。イヤになっちゃうよ。

>260
バイナリ拾ってくれば？

http://clisp.cons.org/

ためしてみたけど、日本語は問題ない。
ただ、cygwin上では改行コードのところで動作がおかしい。
UCS-2の場合、CRは\0\r、LFは\0\nになるんで、そこがダメだ。
cygwinの場合、改行コードの扱いをUNIX互換にするために操作するので、
そこでうまくいかなくなる。UTF-8なら、期待通り問題はない。
でも、この問題はcygwin特有の問題だよな。
バイナリストリームを利用すれば問題ないよ。
ちなみにformatではなくwrite-lineを使った。

失礼。
CLISPの拡張機能で文字のエンコーディングや改行コード問題は全然解決できるわ。
UCS-2からSHIFT-JISの変換とか、最初から持ってるじゃん。

>263
(cygwinじゃない)windowsバイナリあるみたいだけど。

たぶん、216氏は
(cat "hoge.txt")
としたら、hoge.txtの中身を画面に表示する機能がほしいんだと思うんだ。
でもって、通常、画面表示を担当しているコンソールはSHIFT-JISなり、
EUC-JPなりじゃないと表示できない。だからUCS-2なファイルだったら、
変換しないと文字化けしたり、エラーになったりする。
で、以下がそれなりの答え。めちゃめちゃ効率悪いですが、とりあえず
動きはします。Common Lispを触ったの今日が始めてので許してちょ。

(defun cat (fname)
  (let
      ((istream (open (make-pathname :name fname)
                      :direction :input
                      :element-type 'unsigned-byte
                      :if-does-not-exist nil))
       (byte-list '())
       (iencoding (ext:make-encoding :charset "UCS-2"))
       (oencoding (ext:make-encoding :charset "SHIFT-JIS")))
    (when istream
      (do
          ((byte (read-byte istream nil 'eof)
                 (read-byte istream nil 'eof)))
          ((eql byte 'eof) t)
        (setq byte-list (cons byte byte-list)))
      (close istream))
    (mapcar
     #'(lambda (x) (princ (coerce x 'character)))
     (coerce (ext:convert-string-to-bytes
              (ext:convert-string-from-bytes
               (coerce (reverse byte-list) 'vector)
               iencoding)
              oencoding) 'list))
    ))

ご協力感謝します。早速動かして見ます。>> 266氏

疑問なんだが、C で Win32 API で WriteConsoleW()で UNICODE 文字を引数に
してきちんと出力できるのは API 内で UCS-2 -> S-JIS 変換してるのかな？

Win の Scheme で日本語 OK なのって無いですよね？
Win の Scheme で日本語 OK なのって無いですよね？
Win の Scheme で日本語 OK なのって無いですよね？
Win の Scheme で日本語 OK なのって無いですよね？
Win の Scheme で日本語 OK なのって無いですよね？

あったら教えて下さい。

>>268
Chez&EUC

>>269
ありがとう、っておい！

# 御免なさい。つい興奮してしまいました。
# Win/Scheme のお手軽日本語環境なんぞ無いって事で良いですか？

>>270
Kawaはどうですか？

>>271
ありがとうございます。
Java VM で Unicode が使えるという事ですよね。
今 ftp からゲット中です。

;; Gauche が Cygwin で使えたら・・・

>272
> ;; Gauche が Cygwin で使えたら・・・
同意………
今後に期待age

>272
>;; Gauche が Cygwin で使えたら・・・
でもさ、無理やりコンパイルすればつかえるようにならないかな？
gcの辺りがネックっぽいね。
暇ができたら試してみるよ。

>271
kawaいいかもね

一応.
cat っていうのは文字コードとは関係ないものですよね.
ファイルのバイナリのシーケンスをただ標準出力にはき出すだけの.

>>276
同意。>>266はcatではなく、display-fileとでもすべきだね。
ついでにエンコーディングは引数として与えるべき。

(display-file "hoge" (ext:make-encoding :charset "UCS-2"))

こんな感じに使うわけよ。エンコーディングを省略したときは、
デフォルトとして変数display-file-default-encodingの値を参照する
としておけば、

(setq display-file-default (ext:make-encoding :charset "UCS-2"))

としてから、

(display-file "hoge.txt")

みたいに使えるから。

Guile Emacsってどう？　日本語通る？

kawa なんだけど、DOS consoleへ の表示がおかしくない？
リアルタイムで表示されない。

>279
そうなんだよね。
対話的に使いたいときはGUI版を使いなさい。
コンソール版はファイルに書いたコードを実行するときに使うなり。

JEmacs...遅そうだけど、面白そう。

Cygwin で Gauche インストール完了。

configure, make, make install だけで何やらちゃんと動いている模様。
DOS 窓から直接日本語の入力は出来なかった。

make test しなかったけど、とりあえずと言う事で。

Lisp = 某開発者の気まぐれ言語
・・・まぁ使えるんなら出自などどーでも良いのかも知れソが
やや鬱

>>282
NT系OSなら日本語入力できるんじゃない？

>>268
clispが日本語つかえるんだったら、
pseudo-scheme試してみるとか。
･･･まどろっこしすぎるか。

>>283
ほらそこ！negativeな発言すんな！（ｗ
つくりが単純なのは十分なメリットだぞ

>>284
Me なんですよ。Linux 入れようかなと思っていた所でした。

>>285
とりあえずファイルに書いたコードを実行する分には日本語が使える
ようになったので、しばらくこれで逝きます。

(display "表表表表") も OK でした（当然か・・・）。
実はこれが初めての Scheme です。

記号って、名前だけなの？
値なし？

強引に宣言するなら、
int foo = 1;
symbol bar;
ってことなのかな・・・。

記号に値を束縛することはできますが、それが何か？

>>283
> Lisp = 某開発者の気まぐれ言語

当時はFORTRANのリスト処理ライブラリがたくさんあった。
Lispの源はその中の一つで、他のライブラリの影響も受けて発展した。
一人の気まぐれじゃないよ。

>290
Lisp と C++ とアセンブラぜんぶてばなせない。
まぁアセンブラはいいとして Lisp と C++ ｹｺｰﾝしたプログラム書きたい。
Gauche てのはいいですか？

なんで御指名なんか分からんが、SWIG/guile/libguileもなかなかいいよ。

source取得してexampleでも見てね。
Debianなら、apt-get install swig-examples libguile6-devだな。

>292
> なんで御指名なんか分からんが、
なんとなく（笑

Debian なんで、apt-get します。

Common LispからPostgresSQL使いたいんだけど、
Implementation何使ったらいいの。情報求む。

むーん。>>266はバイナリ版だとうまく動かない。
どうもコンソールがCP932対応と決めうちされている。
日本語版のVisualC++かBCCでコンパイルしたバイナリ
があればいいんだが……。

# cygwinでソースからコンパイルしたので間に合ってはいるけれど。
# 他人に勧めるのはバイナリ版のが楽なんだがなあ。

>>294
Common Lispが良いならCMUCL
http://www.pmsf.de/pmai/MaiSQL.html
他に
XEmacs http://osb.sra.co.jp/PostgreSQL/Manual/PostgreSQL-7.1-ja/lisp.html
Guile http://www.google.co.jp/search?hl=ja&q=PostgreSQL+Guile&lr=

>>293
> なんとなく（笑

あっそ。ま、俺もC++ﾏﾝｾｰなんでいいや。

>>294
Debian使いですか(w
http://ww.telent.net/cliki/Debianにあるapt-lineを入れて、
apt-get intall uncommonsql-postgresql

ttp://village.infoweb.ne.jp/~fwhw5892/cygwin/index1.html

Cygwin で guile の make に成功している人がいました。
patch も公開して下さっているようです。

guile の make 失敗。

>tarball の解凍でエラー； and-let*.scm というファイル
>(アスタリスクを持ったファイル) を含むため。

これって何とかならんのかね。

win版のguileって無かった？

つーか手元にguile-1.4.zipてファイルがあるんで間違いはないかと

>>tarball の解凍でエラー； and-let*.scm というファイル
>>(アスタリスクを持ったファイル) を含むため。
>
>これって何とかならんのかね。
既に，CVSの方ではand-let-star.scmになってたと思う．
次のリリースくらいには直ってるんじゃない？

状態の保存／復帰ができるlisp or scheme処理系ってない？

あ、状態の保存／復帰というのは、インタプリタを終了したら、
そのときの状態をファイルに書き出しておいて、次回起動したら
そのファイルを読みこんで高速に復帰できるという意味です。

transcriptについて言っているのなら、みんな持っているんじゃないの？

guile って Mingw 版もあるのね。バイナリ落ちてたよ。
ところでこれって単体で GUI は作れないのでしょうか？

>>303
smalltalk の image ファイルみたいなのかな？
Python で言うと pickle 見たいな関数が欲しいんだよね？？

おい、最新の情報処理学会論文誌にTAOが乗ってるぞ！
bitで連載してたころからもう15年近くたってるんだけど…。

guile を組み込んだ win のアプリってあるのか？
というか、そもそも作れんの？

>>309
GPLに汚染されるのでは……。

>310
そういう話ではないのでは…。

>>305
transcriptみたいのじゃなくて、
Object指向で言う、シリアライズや永続化インスタンスの様なものです。
多分>>307さんの言ってるイメージが正しいと思います。
あったら面白い運用ができそうな気がするんですが。

>>312
CLISPの場合、saveinitmem関数でメモリイメージを保存できる。
http://clisp.cons.org/impnotes.html#image

で、起動時に-Mオプションでメモリイメージを保存したファイルを
指定する。

たぶん、これで期待通りだと思うけど。

>>313
まさにそれです。
ありがとうございます。

汚染という用語を使う会社といえば、、、

schemeもう飽きた。C#やろっと

そろそろ春かなあ・・

んがとっと
　(んが とっ と)

>>318
これ？
((lambda (x)
(list x (list (quote quote) x)))
(quote
(lambda (x)
(list x (list (quote quote) x)))))

'lambdaも長いから記号化できないかなあ
'λだと２バイトだし。

>>320
マクロ定義一発でわ。

>321
いや、それはそうなんだけど
quoteの'みたいな、しっくりくる略記号ないかなと。

あ、半角キャラクタ文字で

意味が通じる範囲で、今は'lam'使ってるんだけど

>>320
\

大文字のLなんてどうですかね。
Schemeでは大文字のシンボルを使う慣習はないし。

>326
大文字小文字区別されないんじゃなかった？
guileはそうでもないみたいだけど
lはすでにlistの変数名で良く使うし

((lam x x) 1 2 3)
=>(1 2 3)

質問
(list 1 2 3)
=>(1 2 3)
と
((lambda x x) 1 2 3)
=>(1 2 3)
と
'(1 2 3)
=>(1 2 3)
は何が違うのでしょうか

>>329
値という意味なら同じだけど、評価のステップ数？という意味ならちがうかも。

>>313
それだ、自作のschemeに組み込んだけど、確かに起動はめちゃめちゃ
速くなる。これはgc使う処理系にはお勧めかも。
イメージをEXEに結合すればそのまま配布もできそうだしね。
だけど、単純な状態退避／復帰だけでは色々な問題が発生するんだよ。
ファイルや、gcで管理されてないメモリなどの外部リソースのことをちゃんと
考えてやらんと・・・。
suspend前に外部リソース用の復帰用関数を登録して、
resume直後に呼び出す様にして解決したけど。結構しんどいかも。

へ？、どうやって保存するの？

>>329
list関数は、各要素を評価した上でリストの要素とする場合に使うよね。
(list
  (car '(1 2 3))
  (car (car '(1 2 3)))
  (car (car (car '(1 2 3)))))

誰か、コピーgcを再帰呼び出しやスタック使わないで実装する方法教えてくり
consのcdrはループに出来たんだけど、carがなあ・・

Mingw 版の guile で Windows でも日本語入力・処理がばっちり。
GUI が気軽に作ればもっと良いんだけど。

正規表現などをそなえた、
テキスト処理向きのscheme処理系は何ですか？

Gauche は開発者自身がテキスト処理等を手軽に出来るようにという目的で
作成されたそうです。
Guile でも正規表現は扱えたと思います。
日本語が扱える、大抵の Scheme なら可能なのではないでしょうか。
あとはプラットフォーム等の、別の要件によると思います。

>>336です。
Guileに正規表現あったんですね。regexpさえあれが満足なんです。
参考にした邦訳が古かったのかな。
http://www.kt.rim.or.jp/~kbk/guile/guile_toc.html
>>337 さん どうもありがとうございました。

>>338
guile は使った事が無いのですが、ここには
>Guile は正規表現によるパターンマッチングをサポートしている
と書いてありました。

http://www.unixuser.org/~euske/doc/scm-sd7/

>>336です。今日からguileプログラマになりました。
しかし、作業がはかどりません。
Emacs Lisp の lisp-interaction-mode や describe-function の
ようなものはありませんか？ あとシンボル名補間もほしい。

>340
Emacsでやってた作業なら、そのままEmacsでやりゃいいじゃん
つーか
＞lisp-interaction-mode や describe-function
って何？知らん奴は無視か？

scheme-mode とか使うんでは？
ただ、対話性や補完がどの程度あるのか疑問。

素のscheme
対話性：標準入出力以外無し。コマンドをS式で用意してる処理系はあるだろうけど。
補完：無し。
guileはreadline組み込んでるんじゃなかった？
bash程度の補完機能は望めるかと。

GNU kernelはともかくとして、、、
LispMachineみたいなシステム作るんだって逝ってたんだから、
Emacs位は LispMachineやInterLisp並の便利環境 (VBぽいかも)
を揃えて下さい>>rms方面

Emacs なら
(setq scheme-program-name "guile")
して M-x run-scheme するといいよ.

guileは真のschemeじゃないみたいだけど、
実際それで困ることってあるかな

>>340
~/.guile にこう書いています。
補完は tab でしてくれるようです。

(use-modules (ice-9 readline))
(activate-readline)

http://tanaka-www.cs.titech.ac.jp/%7Eeuske/scm/SD0007/index.html

guile の他に regex と readline が必要でした。

guileって1.4から上がった？

>>347 (･∀･)ｲｲ!!
補間も履歴も効いて快適です。

>>346
まじですか! 真ではないのはどこですか？

>>348
guile> (begin (write (version))
... (newline))
"1.7.0"
guile>
去年の夏にCVSから取て来たまま。いまどこまで行ってるか確認したらまた来ます。

＞真のscheme
ｶｺｲｲ

Guile Emacs のWeb に行ったら、びっくりするほど便利なもの見つけました。

http://prdownloads.sourceforge.net/gemacs/emacs-guile-0.2.tar.gz

西田さんが作った emacs-guile です。 Guile Emacs ではありません。
scheme-interaction-mode が (･∀･)ｲｲ!!
guile-scheme-mode では M-Tab で補間も効く、これすごすぎ。

emacsってWindows環境でつかえるの？

>>353
スレ違いの上に、googleあたりで検索すれば一発の質問だな。

>>353
君には無理だ YO!!

>>353
MeadowかXEmacsだな。http://www.xemacs.org

>>352
(･∀･)ｲｲ!!

Guile って多言語化の計画ある？
多言語化された scheme ってありますか？

>>358
多言語化って何？
unicode使えたら多言語化っていうの？

>>359
unicodeと多言語化は、近似値としてはイーコールだろ？
unicode1.0に欠点は多くあるが、unicocdeは存在すること自体に意義がある

気に入らないなら、自分で作れ

>>360
多言語化ってのは色々な意味があるよな。
localeに対応してエラーメッセージが変化するとかな。

Unicodeが使えればいいなら、Kawaがあるし、
Gaucheなんかも英語と日本語に対応しているから多言語ではあるね。
マルチバイト文字を文字として認識するかどうかって話をしてるんなら、
この辺がそうだよ。

>>358です。
多言語化、言われてみれば曖昧な質問でした。
私が考えていたのは。

正規表現で
"あ.い+う*"

文字定数として
#\あ

が、理想です。
別に同等のことができれば、満足です。

>>362
Gauche

>>348
> guileって1.4から上がった？

>>350
"1.7.0"

本当？ 今日のスナップショット見たら、1.5.4だった。
NEWS によると、これからはLinux的Version番号らしく、
奇数の1.5.4は開発版。安定版は偶数の1.4らしい。

$ pwd
/..(snip)../src/guile-core.unstable-20010824
maru@lahaina$ grep VERSION GUILE-VERSION
GUILE_MAJOR_VERSION=1
GUILE_MINOR_VERSION=7
GUILE_MICRO_VERSION=0
GUILE_VERSION=${GUILE_MAJOR_VERSION}
GUILE_VERSION=${GUILE_VERSION}.${GUILE_MINOR_VERSION}
GUILE_VERSION=${GUILE_VERSION}.${GUILE_MICRO_VERSION}
VERSION=${GUILE_VERSION}
$

こんな感じでした。unstable は自己責任で使うということで。
個人的には guile-hobbit の近況が知りたい也。

シマタ id host サラシテシマタヨ(^^;

正規表現って、リストに対してもできるの？

これ考えたやつ天才？
http://www.csl.sony.co.jp/person/masui/papers/JSSSTDmacro/dmacro.el

>>367
文字列を対象としたものでは無理でしょう。
SICP の 4 章の、非決定性計算を参照すると良いと思います。

clならsequenceとして同じ様に使えるんじゃない？

今仕事上Winなので、とりあえずDrSchemeを落としてみた。
Lispはかじったことがあったけど、微妙に構文が違うんだね。
さて、遊んでみよう。

newlisp っていうのがあるが、どうよ。

http://www.newlisp.org/

>>371
一応。
ちゃんとFull Schemeに設定しましたか？
Language->Choose Language

それにしてもＬｉｓｐな人たちって、どうして新しい処理系を作りたがるかね。
中途半端な処理系ばっかりではないか。

もっと団結して一つの処理系とその開発環境をつくって欲しいと願うものであるがいかがよ？

>>374
お前は何系ですか？

Lispは実装が簡単だから、自分のやりたいことに特化した実装が
作られるってのはあるよな。

でも、Common LISPの制定作業は「団結して一つの処理系」を作
る作業だったと思うけどね。

開発環境にしたって、金を出せば相当なものが手に入るし。

C言語において「団結して一つの処理系とその開発環境」が
つくられたことってあるのかね、フリーなもので。

# GNU Stepはいつまでたっても完成しないし、
# GNOMEやKDEあたりも、まだまだでしょう。

>>374
Emacsはしっかりした処理系・開発環境だと思われ。
Schemeじゃないけどね。

誰かマルチスレッドで scheme 実装,
しかも過去の elisp を全て利用できる
emacs 使ってくれ.

使ってくれ → 作ってくれ

elisp 勉強中なんですが scheme ってそんなにいいの？ elisp と具体的にどこ
が違うんですか？

>>378
> 誰かマルチスレッドで scheme 実装,
> しかも過去の elisp を全て利用できる emacs

Guile はマルチスレッド対応しているようだし、
Guile Emacs は elisp が動作することが前提なので。
Guile Emacs か？

>>380
elispと比較したときのschemeの最大のアドバンテージは、
俺にとってはレキシカルスコーピングだってところだなあ。

elispは名前空間の汚染を避けるためにパッケージ名を変
数名のprefixにしないと仕方ないので、ついつい変数名が
長くなる。その点、schemeはレキシカルスコーピングだか
ら、安心してローカル変数に短い名前を使える。
そこがイイ。

あと末尾再帰を繰り返しとして評価してくれるところか。

elispの場合、本質的には再帰で書ける処理を、実用上の
理由からループで書かないといけないことがあるのがダサ
い。これがschemeだと末尾再帰を繰り返しに最適化して
くれるので、そこもイイ。

関数の中で一時的に関数を定義したい時とかに
scheme の方が自然にできるのがいいね.
cl 使えばいろいろ便利にはなるけど.

変数と関数を変に区別しない方が
いろいろすっきり書けるような気がする.

>>381
Guile Emacs ってどのくらい使えるんかな.
使えるとしても, あんまりマイナー過ぎて
五年後に消えてたりするようなら使うの躊躇するね.

Schemeを知ってから、elispを書いてるときでも
「ここで継続があれば一撃なのに！」とか感じるようになった。

elispに○○がほしい、と思ったことはあまりなかった。
それもそうだ。どんな強力なアイデアでも、その存在を
知らなければ、「この機能が足りない」と考えるわけない。

>>382
> elispは名前空間の汚染を避けるためにパッケージ名を変
> 数名のprefixにしないと仕方ないので、ついつい変数名が
> 長くなる。その点、schemeはレキシカルスコーピングだか
> ら、安心してローカル変数に短い名前を使える。

間違っていますよ。

>>386
え？　elispってダイナミックスコーピングじゃなかったっけ？

ダイナミックスコーピングだよ。でも、だからといってローカル変数に短い名
前を使えないってことになならないんじゃない?

>>388
ダイナミックスコーピングの場合、
ある関数の中から、その関数で定義したローカル変数を
破壊するような別の関数を呼ぶことが可能じゃない？

>>389
それはダイナミックスコーピングなんだから当然。
でも、elispでのプログラミングスタイルでは一時変数を使う場合は必ずletで
束縛してから使うということになってる(バイトコンパイラも警告を出す)から
他の関数を呼び出す際もローカル変数を破壊しないと期待していい。
あくまでもお約束でしかないけど、Emacsの標準ライブラリもそれを前提に短
い名前使いまくりで書かれてるわけだし。

>>386です。
>>389
なるほど、そういうことですか。
そんな弊害は気が付きませんでした。

しかし、この問題を避けるために局所変数にまでパッケージ名の
prefix を付けるとは完璧主義者ですね。

>>390
そっか。警告出してくれるんだ。
ダイナミックスコーピングだって話を知った瞬間から
警戒しまくってたよ。thanx。

でも、だったらレキシカルスコーピングにしてくれればいいのに。
ダイナミックスコーピングであることを利用しているパッケージが
存在するってことなのかなー。

>>392
警告を出すのはあくまでもバイトコンパイラであって、評価時ではないので気
をつけてね。あと、elintなんてパッケージもあるです。

>>393
(let ((global-variable 'hoge))
(hokano-kansuu))
みたいなのは多用されてる。

>>394
elispのletって、schemeのfluid-letみたいなやつだっけ？

大学ノートの裏表紙にー♪

さなえちゃんを書いたのー♪

って、これ何？誤爆？

>>395
ダイナミックスコーピングなんでletはSchemeのfluid-letと同じだと思う。
一つのletでグローバル変数とローカル変数を同時に束縛したりすることも
多いから、そのままレキシカルスコーピングに移行するわけにもいかないのかも。
lexical-letとか新しいspecial formを用意すればいいのかな。

>>396=397
ご苦労さま

>>376
処理系と仕様を勘違いしている、と一応つっこんでおく。

lexical-let って cl にそのままありますよ.

>>397
>fluid

>>401
知らんかった。thanx。
レキシカルスコーピングな defun は無いのかなあ。

scheme の set! は納得がいかん。

(define x '#(1))

てして、長さ1のベクタへ x をバインドしておきながら、

(set! x '#(1 2))

どうして、そこに長さ2のベクタを代入できるんだ？
その点 string-set! は納得がいく。

set! は cons cell 自体の書き換えだからね。
(define x "hoge")
して、長さ4の文字列に
(set! x "hogehoge")
できるでしょ。

中身を書き換えるのは
vector-set!

>>404 です。
挙げ足とりですが、scheme では コンスセル は ペア というらしいです。

(define x "hoge")
(set! x "hogehoge")

これができるということは、私としては set! は代入ではなくて、
バインドしているようにしか思えないです。

なんで、4文字しか確保してないのに、8文字も入ちゃうの？
そうか、バインドかー。って感じです。

でも、バインドじゃーないんですよねー。set! は代入なのです。

私の感覚と scheme の相性が悪いのでしょう。
みなさんは scheme を勉強した時、すぐに腑に落ちました？

「普通のやつらの上をいけ」
http://www.shiro.dreamhost.com/scheme/trans/beating-the-averages-j.html

Lisp1.5で、

(defun func1 nil
　(prog (age)
　　(setq age 20)
　))

(defun func2 nil
　(setq age 30))

ってできるの？

ageはfunc1内ローカル変数だと思うんですけど。

>>404です。質問の件、理解できました。今思えば何が分かっていなかったのかも
分からない。テキトーにインタプリタで遊んでたら、腑に落ちちゃいました。

>>407
多言語と比較して Lisp で書けば圧倒時に開発期間が短くなるというのは
おおげさだと思う。ライバル会社が機械語で書いていたのなら別ですが。

404=406
じゃないの？

>405
>set! は cons cell 自体の書き換えだからね。
はぁ？

>>410
そうです、404,406,409は私です。

>>411
set-car! set-cdr! の間違いでしょう。

>>410
>>411
アホなことを書いてました。
set!は代入ですね。

>>409
>多言語と比較して Lisp で書けば圧倒時に開発期間が短くなるというのは
>おおげさだと思う。ライバル会社が機械語で書いていたのなら別ですが。

LISPマトモに使ったことないんだろな。
まぁ日本語も正しく入力できない奴は以下略。

>>414
でもやる仕事によると思うよ.
単純なテキスト処理なんかはやっぱり perl の方が楽だよ.
書いて楽しいのは lisp だけど.

>>415
でも機械語と比べるのはどうかなあ。
これだと「LispなんてC/Java/アセンブリ以下だ」と言っているのと同じような気がしますけど。
まあ、それはともかく。
>>409
「なる」ではなく「なった｣です。
>>406
> でも、バインドじゃーないんですよねー。set! は代入なのです。
どっちでも良いんじゃないかなあ、と思います。
「既にdefineされた記号に値をバインドし直す」でも「代入｣でも、自分がわかればそれで良いのでは？
（勿論、他の人と話が合うようにはすべきですけど）
そんなことに拘っていては、分かるものも分からなくなるかもしれませんよぅ。
もう一つ、揚げ足取り。
> scheme では コンスセル は ペア というらしいです。
この2つは別物では。
リストは「コンスセルの集まり」ですが、「ペアの集まり」とは言わなかったような。
「ペア｣はコンスセル単体（ '(hoge . fuga)など）のことを指します。多分。

list?とpair?が別々に用意されていることがデザイナーの意図を示している
と思うね。
(list? '(a . b)) ⇒ #f
(pair? '(a . b)) ⇒ #t

要するにコンスセルの最後がヌルであればlistであり、さもなくばpairだよな。

スマソ。297ってのは無視して。別のスレでの番号だわ。

schemeでSQL使いたいんだけど
良いのないですか？

guileでmysqlとかかね。
なんか日本語も楽に使いたいとか言い出しそうだな。
だったらkawa+JDBCってところかな。

ペアというのは 「コンスセル、あるいはその集まりであるリスト(なので、空リストは除く)」 リストというのは 「空リスト、単体のコンスセルを除くペア」 みたい。 >>417 list?は「行儀の良いリスト」にだけ#tを返す物なんだそうです(循環リストも#fです)

改行が消えてる……。

改
行
が
消
え
る
な
ん
て
こ
と
が
あ
る
の
か
？

Mozillaで書き込むとﾀﾏｰに消えますよ

せめてODBCが使えるやつ無いですか？

JDBCが使えればODBCなんか要らんと思うが...RDBMSは何を使っているの？

; 俺はPetite Chez SchemeからSQL操作専門のRubyスクリプトを呼び出す
; というバカなことを試してみたよ。割といける。標準入力からSQL文を読
; み込んで、標準出力に結果を書くの。

主に使ってるのはAccessとOracleです。
今までVBでやってた作業をschemeでもやりたいなと思いまして。

(define (hanoi n from to spare)
　(if (= n 1) (list (list 'move-disk from 'to to))
　　(append
　　　(hanoi (- n 1) from spare to)
　　　(hanoi 1 from to spare)
　　　(hanoi (- n 1) spare to from))))
これって末尾再帰に直せる？

>>427
AllegroCLにしなさい。
それで万事解決。

高いんだお。

>>428 に全角スペースが含まれているのに気付かず、3分悩んだ。
ソースに全角スペース 含めるなや (ﾟДﾟ)ｺﾞﾙｧ

>>431
半角スペース２個を全角スペース１個に置換するのは
ソースうｐするときの定説でしょ。

半角スペースを＆nbsp;に置換するのが定説。
＆nbsp;に半角スペースを織り交ぜ
出きるだけ＆nbsp;を使わないのが最強。

&amp;

つ−か誰も428の質問に答えられるやつはいないのか。
おれもわからんけど。

自前でスタック実装すりゃ末尾再帰に直せるだろう。
が、べつに面白くもないのでやってあげない。

>>427
なぜJDBCではダメなの？
あとAccess使ってるならVBで良いんじゃないの。
Accessには論理的な美しさなんかないんだし。

だから、AllegroCLにしなさい。
それで万事解決。

DrSchemeの.plt形式のファイルってどうやってみるんですか？

>>439
念写

>>439
伝書鳩

>>439
のろし

copy-gcを再帰呼び出し無しでやってる処理系教えて

>>443
copy gc を再帰呼び出しでやってる処理系を教えてくれ。
てか copy gc の利点の一つは gc 時に必要なメモリがコンスタントに押えられる
ところだと思うが。

>>428
Schemeだからする必要ないけど…

>>444
コピーGCて2倍のメモリ使うんじゃないの？

最近 Scheme の勉強をしようと思ってどの実装を使おうかなぁと思ってたんですが、guile と gauche を使ってみようかと。
で、僕は Debian GNU/Linux を使ってるんでパッケージを探してみたら guile はあるけど gauche は古いバージョンのやつしかない、と。
で、gauche の最新バージョンを Debian 用にパッケージ化してみました。
で、気づいた。
Scheme を使ったことないやつでも Scheme 処理系のパッケージングができることに。
でもさすがに Scheme 使ったことないやつが作ったパッケージなんて、だれも使いたくないだろうなぁ…（笑

>>447
＞Scheme 使ったことないやつが

改行の仕方を解らない人が作ったパッケージも
どっちかというと嫌です。

>>444
学生とかが作った奴はほとんど再帰呼び出し形式だよ

こういうのとか。
http://www.isc.meiji.ac.jp/~ce11731/work/tscm/

>>448
やらしいつっ込みだなあ。
はっきりいえばいいのに。

>>447
＞でもさすがに Scheme 使ったことないやつが作ったパッケージなんて、
＞だれも使いたくないだろうなぁ
わざわざ言わなきゃいいのに

…次から改行も頑張ります。
あと、今日 Scheme つかったので、
「Scheme 使ったことのあるやつ」になりました。

それはそうと、いつか(var〜)マクロ作ってた人、ｻﾝｸｽｺ。
かなり書きやすくﾅﾀﾖ

ちなみに、どこを見て遊んでいるかというと…
ttp://www.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme.html

>>455
sources.list
に何を加えればいいですか？
下さい。

とりあえずパッケージファイルを ftp でもっていって
dpkg -i でインストールしてください。

あと、パッケージの説明文とか空白のままなんですが、
しばらくは気にしないで使っててください。

ftp://infosys.sys.i.kyoto-u.ac.jp/pub/debian/dists/experimental/

の下の

main/binary-all/interpreters/gauche-doc_0.4.12-0.1_all.deb
main/binary-i386/interpreters/gauche_0.4.12-0.1_i386.deb

です。なお、gauhe-doc は texi 形式のドキュメントしか入ってません。
いずれ HTML, PDF 形式に変換したものも入れます。
それまでは Web ページの最新版ドキュメントを見たほうがいいと思います。

ttp://www.shiro.dreamhost.com/scheme/gauche/

他にもいろいろ有用（そうな）パッケージがあるんですが、
それはまた Linux 板の Debian スレでってことで。

あと、C プログラムとリンクさせたりするための
開発環境（ライブラリとヘッダファイル）の場所が
Debian 標準に沿っていません。

たとえばヘッダファイルは

現在 /usr/share/gauche/0.4.12/include/*.h
正しくは /usr/include/gauche/*.h

これはいずれ gauche-dev というパッケージに分離して
Debian 標準にあわせます。

＃すみません、age ます

LispMe!

>459
って、コレのことですか？
ttp://www.lispme.de/lispme/

>>460
ですよ。

思いの他サクサク動いて気持ち良いです。
思いついた時にサラサラ書けるのが良いですね。

なにこれ、palmで動くの？
入力はどうしてるんだろう

>>425
＞せめてODBCが使えるやつ無いですか？
DLL使える処理系ならODBC32.DLLを直接コールするとか。

>>462
グラフィティで入力して Eval ボタンで実行。
ライブラリはメモ帳アプリからロードします。
Palm の GUI も作れます。

>>462
http://www.lispme.de/lispme/angif.htm
http://www.lispme.de/lispme/LispMe3.gif

Palm で lisp いじれるとは ｶｺｲｲ!!

>457
Gauche は 0.5.0 が 1/30 付けでリリースされているようです。
昨日見たときにはまだ出てなかったような気がするんですが…
というわけで、近いうちに 0.5.0 も deb パッケージにします。

Gauche 新バージョン 0.5 リリース
ttp://www.shiro.dreamhost.com/scheme/gauche/
につき、Debian 用パッケージを作りました。

ftp://infosys.sys.i.kyoto-u.ac.jp/pub/debian/dists/experimental/

の下の

１）main/binary-all/interpreters/gauche-doc_0.5-0.1_all.deb
２）main/binary-i386/interpreters/gauche_0.5-0.1_i386.deb
３）main/binary-i386/interpreters/gauche-dev_0.5-0.1_i386.deb

です。実行に必要なバイナリ、ドキュメント、開発キット に分けました。
でもドキュメントは Web 上のものが最新です。
さらに開発キットはまだ使ったこと無いです。
というわけで、２） の実行に必要なバイナリだけ dpkg -i でインストールしてください。

なお、Scheme 勉強中につき以下のプログラムしか動作確認してません（笑

#!/usr/bin/gosh
(begin
(display "Hello, World!")
(newline))

でも、 make test で全部のテストをクリアしたので多分大丈夫かと。

いいなpalmでlisp
LXだと速度的につらい

俺はLispMeを使ってみたいがためにPalmVx買ったよ(wara

Scheme の load に関して、みなさんのやり方を教えてください。

;; fruits は (and apple banana) に、
;; main は (and fruits database weapon) に依存している
(main (fruits apple banana) database (weapon sword))

このような呼出し関係の場合、どう (load FILE) を記述して
いますか？ require/provide がある処理系ならそれを使うの
ですが、今回は無い場合と仮定しています。
要は、多重 load を避けたいわけです。

実際に使用している処理系は guile です。

純粋なR5RSだけだと無理ではないか?

Palm で lisp でなくても
超軽量電池長持ちマシンに Emacs でもいいかな.

実は LispMe はその名前とは裏腹に Scheme 処理系であるという罠。
ちゃんと末尾再帰もサポートしている。

>471
loadを上書きするのが簡単。
(define *load-list* '()) ; ロードしたファイル名を記録
(define load (let ((org load)) ;オリジナル
　(lambda (filename)
　　(if (not (memv filename *load-list*))
　　　(begin
　　　　(push filename *load-list*)
　　　　(org filename))))))

(push filename *load-list*)
は
(set! *load-list* (cons filename *load-list*))
のマクロ。

>>475
なるほど、その手がありましたか。ありがとうございます。
後はその再定義を util.scm なりに書いて、全スクリプトの頭で
(load "util.scm") しておけば良いですね。

>477
上のloadは２回以上読むとおかしなことになると思うよ。

↓これどうですか？
Arc
http://www.paulgraham.com/paulgraham/arc.html

文字列をlistと同一視する機能は便利かも
(CommonLispのsequenceアプローチとは違うみたい)
> (car "abc")
\a
> (cons \a "bc")
"abc"

>>479
http://www.paulgraham.com/paulgraham/arcll1.html
・構文に影響しない不要な括弧は省略できる
・記述的な長い名前を使わない(lambda->fnまで行うのはどうかと思うが)
・シンボルの出力が小文字（大文字シンボルは伝統的なLISPの標準）
・文字列操作の強化
・一時変数it(=>の代替え？)
・macroがFirstClassObject(コンパイルどうするの？)

は良い考えだと思う。
でもインデントに依存する様な構文(cond)があるみたいなのが
少し引っかかるのだが。勘違いかも。
暗黙の変数宣言も好き嫌いが分かれる所。

>("abc" 1)
\b
は型同士のみの位置関係(オペレータが存在しない)で定義する総称関数？
(define-generic (<string> s <number> n)
　　(string-ref s n))

ttp://www.paulgraham.com/paulgraham/onlisp.html
やた。On Lispついに公開された。
本屋探してもなくってさー。Arcネタと外れてすまん。

guile 1.5 はえーよ。ってゆうか、1.4 遅いよ。

Paul Graham の　Common Lisp と On Lisp って
具体的にどう違うわけ？

>>482
pdf印刷したら400枚・・厚さ5cmになった（ｗ
両面印刷なんてとても手動じゃできん
（トレイに逆向きに並べ替えるだけで大変な手間。）
せめて縮小２段組で印刷できるようにできないのか

psnup -> distiller じゃダメ?
会社でコソーリ 2pages/sheet の両面印刷してくる予定ですが何か(w

質問です
(define (func (a b) c)
　(+ a b c))
(func (1 2) 3)
=>6
ってできませんか？(funcの引数の構造に注目して)

なんか日本人の書いたＳＣＨＥＭＥの本で
無料で公開されてるのってどこでしたっけ？

そんなのあるんだ。
せめて名前がわかれば・・・

>>484
On Lispまだちゃんと読んでないけど、なんかマクロに力入れてるっぽい。
onlisp.lispのサンプルコードの定義の数
defun 157こ
defmacro 107こ
defvar 6こ
つーわけです。
他にもschemeの末尾再帰や継続について触れていたり、なかなか面白そうです。

サンクス >> 490
ANSI Common Lisp は本当にできがいい。英語も読みやすいし。
マクロか、呼んでみるか。

(OnLisp266ページから)
20.2 Continuation-Passing Macros
Common Lisp doesn’t provide call/cc, but with a little extra effort we can do
the same things as we can in Scheme. This section shows how to use macros to
build continuations in Common Lisp programs. Scheme continuations gave us
two things:
1. The bindings of all variables at the time the continuation was made.
2. The state of the computation—what was going to happen from then on.

CommonLISPのマクロで無理矢理レキシカルクロージャと継続を
エミュレートする試みらしい

>>488
>>169

>>488
http://www4.ocn.ne.jp/~inukai/scheme_primer_j.html

>493
絶版かあ・・
世知辛い世の中だね。

>>491
呼んだ？

IS LISP ってどうよ？
あれってどんな具合か知ってる人いない？

>497
どうよ？って、使ってみてよ。
ソースも公開されてるし。
まあ、一言で言えばCommonLISPのサブセット。

>>498
敵はＳｃｈｅｍｅって感じか？
こいつは流行るのかな？

ＣＬを掃除しただけって言うか、ＣＬとそんなに変わらん気がするが。
ならいままで通りＣＬが使われてそうな気もする。
ＩＳＬＩＳＰ用の資産、無いし。

LISPには変り種の方言がいっぱいあるから、
あまりにも普通っぽいのは埋もれていく運命なのでは・・・
個人的にはarcの思想みたいな密構文マンセー主義な方言が流行って欲しい。

よいこのHyperLispあげ

Arc が気になるあげ

>>499
>>500
湯浅せんせ〜！
こんなことゆってはるひとがいます〜！
こいつらしばきましょう！

ぶぶってばかりないでIS Lispも活動してください！

（ぶぶってむしろ.NET版が欲しい。ぶぶ.NET）

てめーら括弧つけてんじゃねぇ！

Common Lispの練習がてらに
HTML文書をXHTML文書に加工するプログラムを書き始めた。
処理系はGNU Clisp。
とりあえず、大文字のタグを小文字に変換するところまでは
すぐにできた。
エンコーディングを自動判定にしたりとかも「できそうだ」
という感触はあるな。
機能はとにかく沢山あって、
これだけのものを作ったからには
応用事例が大量にあるんだろうな、と思ったよ。

でも、高機能なのはいいけど、やっぱりいろいろウザいねえ。
構文がいろいろあって。
美しさでは圧倒的にSchemeだねえ。

schemeで例外機構ってどうやって作るの？
call/cc使うって理屈はわかるんだけど

>>506
http://www.google.co.jp/search?q=call%2Fcc+call-with-current-continuation+catch+throw&hl=ja&btnG=Google+%8C%9F%8D%F5&lr=
LISPのcatchは他の言語と比べて微妙に使い勝手が違う

Lisp や Scheme での、
オブジェクト指向的なこと(CLOS など)について、
分かりやすく教えてくれる日本語の本や文章ってありますか？

Paul Graham『On Lisp』(Prentice Hall)
の日本語訳って出てます？

>>509
出てなかったと思うけど・・出るには早すぎないかな、
翻訳が終わってなかろうと言う意味で。

読んでてちょっと思ったのは、
日本語版が出たとしても、ＳＩＣＰ第一版の悪夢を再現しそうかなと・・
ＬＩＳＰのしかも入門者向けの本じゃないとなれば、
翻訳者も「安」いだろうからねえ

amazon.com によれば、『On Lisp』が出版されたのは、
(September 9, 1993)

ま、原著も絶版らしいんで、
日本語の訳本は存在しない、
ということでいいですか？

>>511
え、そんなに古いの？
もしかして私は「最近絶版になった」を誤解してた？
絶版になった本じゃ、売ろうとはしてくれないだろうね。

日本でも次々と絶版だし。
Ｌｉｓｐ系の本って一体何冊残ってるんだろう？

オンライン出版とかでもしてもらわないと。

ANSI Common Lisp の翻訳出るみたい
ttp://www.pearsoned.co.jp/washo/nbindex_mar.html

>>510
SICP 第一版ということは、
第二版が出てるんですか?

SICPの第一版ってそんな訳悪かった?
第二版の方が (訳者は高いだろうに :-)) 悪い訳だった気がするが...

ちなみに第一版って、McGrowhillからでて、絶版になったやつだよね。

>>515
幸いにして読んだことないからしらない。
英語の方がましかも、というできだったと聞いてるが。

第二版は大先生が翻訳したので、用語の間違いなどが全改善されてよくなった
・・と聞いてる。

私個人は英語版を読んでる途中のまま（おい

>>481
("abc" 1)
=>\b
("abc" 1 #\c)
=>"acc"
(("abc" "def") "ghi")
=>"abcdefghi"
クソ長いオペレータ名書かなくて済むから便利かな？
バグの原因になりそうだが。

("abcdef" 0 2) ;substring
=>"bc"
("abcdef" 1 "xyz") ;insert
=>"axyzbcdef"
eval-hookを公開してる処理系なら切り分けできそうだけど、
本来は評価エラーになるはずの部分に埋め込む形だから
処理系自身に手を加えないと難しいかも。

SICP読破したよage

>>519
あれ、楽しい？
めちゃくちゃ つまらんかったんだけど。

バカにはつまらないんだよ…

という煽りはやめて，もしSICPがつまらなかったらEoPLをお勧めします．

>>521
禿同。2nd editionも出たし。
あとおすすめできるマニアック本はQueinnecのLISPかな？

>>521
ＳＩＣＰが面白くないのは、よっぽどできるか、
解ってないかのどちらかだと思われる。
原著のアマゾンでの評価の二極化を思い出されたし。

ＳＩＣＰがつまんなかったひとは、もっと簡単な本をするか、
もしくは薀蓄のある世界に全然興味の無い人ならＬｉｓｐ
なんぞ止めてしまうことを薦める。

>>523
よっぽどできる、ってアメリカの大学だとあの本でみんな計算機科学の勉強始めるんだよ。
計算機科学入門、みたいな授業で良く使われてるよ。確かにいい本だと思うけど、あくまで
入門者用って感じじゃないかな。アルゴリズムの授業とかの方が、もっとずっと難しいん
じゃないかな(ずっとためになるけど)。

アメリカの大学がどうかは知らないが、
日本の大学では教科書を理解してる奴はほんの一握りだな。

>>524
誤解されて読まれてしまった。

よっぽどできる、というのはですね、
例えばあの本にツッコミを余裕で入れられるくらいの人なら
「つまらない」かもしれないという前置きです。

解ってない、というのはあれでＬＩＳＰを１から勉強するには
適していないらしい、という過去の書きこみを汲んだものです。

また大学の話か。

だって大学でしか使われてないし

>521
EoPLって何ですか？
例によってオンラインで読めたりします？

http://www.cs.indiana.edu/eopl/
http://mitpress.mit.edu/catalog/item/default.asp?sid=73806852-76AF-4AAE-B79E-8AF1751C5A82&ttype=2&tid=3620
http://www.amazon.com/exec/obidos/ASIN/0262062178/

アマゾンで３４ページ読める。

>>530
つーか目次だけじゃん

これ、いいなあ・・
http://curry.2ch.net/test/read.cgi/occult/1010105764/

サーバ名がcurryというのがまたいい

ひそかに仕事で使い始めたage

うおぅ、しばらく来てなかったら、なんか反応がある(^^;

>>520

俺はそこそこ楽しかったかな。

序盤は「ふーん」って程度だった。
MLとかSchemeは普通に知ってたから、
高階関数とかカリー化とか関数オブジェクト
とか見せられても今更、って感じだったし。
むしろS式とかlambda式とかの数学的定義を
あまり表に出さない所とか、
少し好きではなかった気がする。

でもLogicalProgrammingとか、ambとかは
あんまりしらなかったのでとても面白かった。
SQLとかもあまり詳しくなくて、普通に本で
勉強した事がある、程度だったので、
むしろPrologに近い言語である、というのが
わかった時は驚いた(SQL使いには常識なんだろうが)。
コンパイラもストップアンドコピーは組んだ事無かった
ので、そこはなかなか楽しめた。
どうせならストップアンドコピーとマークアンドスイープ
の定量的な比較をシミュレータ使ってやってみる、
ついでにキャッシュ相当の機能も実装してみて、
ヒット率にどう違いがでるか、とかまでやったら
もっと楽しかったと思うが、そこまで要求するのも酷だろう。
Scheme系のインタプリタ組む時はいつもC使っちゃうから、
末尾再帰とか結構面倒な事になるんだけど、
アセンブリだと楽なんだねぇ、とか学んだ事もあった。
題材としてもゲートとかとの関連が見えたり、
HDLとかが裏に見えたり、副作用の無い関数型言語に
ついてのさわりが見られたり、良く選んでるなぁ、と思った。
全部読んだ感想としては、いろいろな事の基礎が学べて
良い本だと思ったよ。
OS関係が全く触れられてない、っていうのは良いのか
悪いのか良くわからん。あれも一つの選択なのかもしれない。
OOPに触れないのは俺は好感が持てたかな。
余談だが、ニュートン法とか大学受験を思いだして、ちょっと笑えた。
台形公式とかも。

ヘネシー＆パターソンとどっち読もうか悩んだんだけど、
一応読んどいて良かった、と今は思ってる。

入門書としてはどうかなぁ？とは思う。
何か具体的に作って動かす、という喜びが
あまり感じられない所が入門書としては
良く無いと思ったよ。
勉強にはなるけど、プログラムの楽しさは
わからない気がする。

>>523

いや、つまらん、面白い、ってのは人それぞれなのでは？
別に理解出来て勉強になるレベルでもつまらん、
と思う人もいそうな本だと思うが。
SchemeとかLisp好きな人は好きそうな本だとも思うけど。

>>535
> コンパイラもストップアンドコピーは組んだ事無かった
GCとコンパイラ、普通混同するかね…

>>535は、ただの知ってる単語自慢だから、しょーがなよ。

いや、コンパイラの所でGCが解説されてたからそう
書いただけなんだが、、、

Scheme ってなぜ nil に相当するものが #f と () と #<unspecified>
に分かれているのでしょうか?
Lisper としては下のようになるのは気持ち悪い。

CommonLisp: (if (if (< 2 1) 'a) 'b)
NIL
Scheme: (if (if (< 2 1) 'a) 'b)
b
CommonLisp: (if (< 2 1) 'a)
NIL
Scheme: (if (< 2 1) 'a)
#<unspecified>

and を使えばいっしょなんだけど
CommonLisp: (and (and (< 2 1) 'a) 'b)
NIL
Scheme: (and (and (< 2 1) 'a) 'b)
#f

>539
schemeでは(if #f 'a)が#<unspecified>なんだから
一致しないのはしょうがないのでは？
本来警告ぐらい出すべき部分だと思うけど。

>>540
うん、だからなぜ nil に相当するものを #f と #<unspecified>
にわざわざ分けるような仕様にしたのかなと思って。

例えば CommonLisp で

(defun foo (x)
　(and x
　　　 (stringp x)
　　　 (setf x (parse-integer x :junk-allowed t))
　　　 (* x 2)))
(foo "1") ==> 1
(foo "a") ==> NIL

みたいなことがしたいときに、 Scheme だと set! が #<unspecified>
を返すので

(define (foo x)
　(and x
　　　 (string? x)
　　　 (set! x (string->number x))
　　　 (* x 2)))
(foo "1") ==> 1
(foo "a") ==> Error

になってしまうのがちょっと不便だなと思ったわけです。

(define (foo x)
　(and x
　　　 (string? x)
　　　 (set! x (string->number x))
　　　 x
　　　 (* x 2)))

のようにすればいいんですけど。

>>541
　　　 (set! x (string->number x)) ;←これはまずいんでは？
　　　 (* x 2)
#<unspecified>が#tと同じかどうかは処理系依存だし。
素直に
(begin (set! x (string->number x)) (* x 2))
とすべき。

あるいはマクロでsetq相当を作っておくのも良いかと。
(macro setq (lambda(l) `(begin (set! ,(cadr l) ,(caddr l)) ,(cadr l))))

>>542
ごめん、ちょっと例が悪かったみたいなんだけど、
おれが聞きたかったことは
なんでわざわざ #<unspecified> という値(?) を仕様に
導入したの、ということで、

(if (< 2 1) 'a) ==> #f
(define x 1) ==> 1
(set! x 2) ==> 2

みたいな仕様になっていれば >>539>>541 のような
気持ち悪いことが起こらないのに、ということが言い
たかったのです。


> #<unspecified>が#tと同じかどうかは処理系依存だし。

ttp://www.sci.toyama-u.ac.jp/~iwao/Scheme/r5rsj/html/r5rsj.html#SEC59
| Schemeのすべての標準の値の内で、#fだけが条件
| 式の中で偽と判断される。#fを除くSchemeのすべて
| の標準の値は真と判断される。

と書いてあるので #<unspecified> も真なのではないの?
とりあえず手元にある scm-5d4 と kawa-1.6.97 では

(if (define x 1) #t #f) ==> #t

だったよ。

>>543
＞(if (define x 1) #t #f) ==> #t
なんでこんなﾍﾝなことしようとするの？
#<unspecified>みたいな特別な値を持ってない処理系だと、
例えば#fを返したりする事もありそうだけど？

#<unspecified>を返すって事は、
C言語とかでも見る関数引数の評価順序の様な「未定義の振るまい」
みたいなもんだと思うけど。（そんなのわかってそうだけど、一応）

警告にすりゃいいのを、なんでわざわざ未定義にしたのかは不明。
トレースで簡単に追えるからか、あるいは仕様書を短くしたいだけか。

>>544
> ＞(if (define x 1) #t #f) ==> #t
> なんでこんなﾍﾝなことしようとするの？

ただ #<unspecified> が真と評価されるか試してみただけ。
別に #<unspecified> を返す式ならなんでもよかったんだけど。

(define unspecified (if #f #t))
(if unspecified "unspecified は真" "unspecified は偽")
==> "unspecified は真"

俺もよくわからないけど、nilを返すのはまずいんじゃないかって
気がする。なぜって、正当な値としてnilを返すifはありそうじゃない？
nilを返す関数はあるわけだから。
R5RSによればunspecifiedを返すのではなく、何を返すか規定されてい
ないと書いてある。おそらく、本来、代替部alternateを省略できるこ
と自体が不適切なんですよ。SML/NJなんかは実際に省略できないわけだ
し。省略できるように「あえて」してあるのは、特定のケースにだけ副
作用を伴う式を評価し、if式全体の評価結果は使用しないようなケース
のためじゃないかな？

# if式全体の評価結果が必要なのであれば、明示的にalternateを記述
# すればいいだけだし。

(if test true)
って副作用のためにあるんじゃないの？
こういうのはシーケンスの途中に置くべきだと思う。
(begin ... (if test true) ...ちゃんとした戻り値)

だれか作って！
(try
　...
　(if test (throw <tag> <result>))
　...
catch <tag> <throw-result>
　...
catch-all <tag-result> <throw-result>
　...
finally
　...
)

Chez Schemeには例外機構がありますが、それが何か？

どんな例外機構ですか？

>>546>>547
なるほど。ありがとう。
まだ Scheme いじくりはじめて日が浅いのでいまい
ち実感がわかないけど、

Scheme の仕様に #<unspecified> が入っているのは
副作用を伴う式を明示的に示したいような場合に使う
ため、という感じでよいのかな?

つまり、この手続きは副作用のための手続きなので返
す値はどうでもいいよという場合に、あえて #<unspecified>
を返すことによってその手続きの目的を強調するという
ことかな?

例えば

(display 'hello) ==> #<unspecified> (副作用だから)

いまさらですが、lispインタプリタ作るのでだれかanatomy of lisp売ってください。
５千円くらい出します。
あと、cプログラムブック3も。

おながいします。

>>552
ええと、
図書館はご利用なされないのですか？
後者は昔地元の図書館で見かけましたが。

いまさらですが　>>552　を消すので、だれか奴のIPを売ってください。
５千円くらい出します。
あと、メールアドレスも。

おながいします。

>>551
僕が調べた限りでは、#<unspecified>というオブジェクトは
R5RSにはありません。仕様では戻り値が決められていない
（未定である）というだけです。
Chez Schemeでは

(if #f 'a)

は#<void>を返します（つまり戻り値がない、ということです）。
また#<void>が返ったときは画面上では何も結果が表示されません。
有意な戻り値がないわけですから、妥当な表現だと思います。

もっとも#<void>もまた、#fではないので

(if (if #f 'a) 'b)

はbを返します。つまり#<unspecified>と同じですね。

> つまり、この手続きは副作用のための手続きなので返
> す値はどうでもいいよという場合に、あえて #<unspecified>
> を返すことによってその手続きの目的を強調するという
> ことかな?

というより、nilは有意な値であるのに対して、#<unspecified>
や#<void>はそうではない、ということでしょう。そういう意味で
は、#<unspecified>や#<void>が#tとして評価されるのは、仕様
上仕方ないけれど、本来は「評価不能」としてエラーになるべきだ
と思う。

dynamic-windって、
call-with-current-continuation
しかない環境で(修正や上書きで)実装できますか？
(define (dynamic-wind before thunk after)
　(before)
　〜
　(thunk)
　〜
　(after)
)
afterはCommonLISPのunwind-protectと同じ解釈で良いですよね？
beforeがよくわからない・・・

うげぇ、酒のみながら考えてたら気持ち悪くなってきた。

>>556
例えばthunkの中で継承をどこかにset!して、あとでいきなりthunkの中に
戻ってくるとかしたときにやりたい処理を書いておく。

例えばthunkがファイルにアクセスする時、ファイルのオープンをbeforeです
るととつぜん継承を使ってファイルのアクセスコードにジャンプしてもファイ
ルがオープンできる。
そんなの無理に使わなくて良い。

#<unspecified>って言葉遊びみたいなものでしょ。
深く考え過ぎ。
値は定められてないって意味で値がunspcifiedだって書いてあるから、
値として#<unspecified>というのを返してるだけ。
別に#fを返そうが'()を返そうがR5RS的には問題ない。

call/ccを再定義しないとできないよ

>>550
手続き: (error シンボル 文字列 オブジェクト ...)
戻り値: 戻らない

errorへの引数はカレントerrorハンドラに渡される（error-handlerを見よ）。
ハンドラが制御を戻してきたら、エラーはリセットされてカレントcafeに戻る。

デフォルトerrorハンドラは引数を説明メッセージをprintするために使う。シ
ンボルはエラーの発生した場所を特定する。状況を説明する文字列はformat文
字列である（formatを見よ）。その他のオブジェクトはformatへの追加引数で
ある。第1引数がシンボルのかわりに#fならば無視される。メッセージを
formatしてprintした後、デフォルトerrorハンドラはerrorの継続を保存し
（debugを見よ）、リセットする。

(define slow-vector-map
 ; an allocation-intensive implementation of vector-map
  (lambda (p v)
  (unless (procedure? p)
  (error 'vector-map "~s is not a procedure" p))
  (unless (vector? v)
  (error 'vector-map "~s is not a vector" v))
  (list->vector (map p (vector->list v)))))

（続き）
パラメータ: error-handler

このパラメータの値は手続きでなければならない。カレントerrorハンドラは
errorによって呼び出され、errorの引数がerrorハンドラに渡される。デフォ
ルトerrorハンドラの解説はerrorを見よ。以下の例はデフォルトerrorハンド
ラの変形（breakを使って直接デバッガを起動させる）をインストールする方
法を示す。

The following example shows how to install a variant of the default
error handler that invokes the debugger directly (using break).


(error-handler
  (lambda (who msg . args)
  (fprintf (console-output-port)
  "~%Error~a: ~a.~%"
  (if who (format " in ~s" who) "")
  (parameterize ([print-level 3] [print-length 6])
  (apply format msg args)))
  (break)))

同じふるまいをする「やっつけ」の対案としては、単にbreakするerrorハンド
ラをセットすることである。

以下のバージョンは非ゼロのエラーステータスでシェルに即脱出する。makeファ
イルからChez Schemeを走らせているときには特に便利である。

(error-handler
  (lambda (who msg . args)
  (fprintf (console-output-port)
  "~%Error~a: ~a.~%"
  (if who (format " in ~s" who) "")
  (parameterize ([print-level 3] [print-length 6])
  (apply format msg args)))
  (abort)))

まあ、つまり、例外処理をしたいときには、まずerror-handlerに
例外を捕捉する手続きをセットしておき、それから処理を開始する。
例外を発生する個所で、errorを使う。errorの引数が
error-handlerに設定された手続きに渡されるからしかるべき処理
をする。これで例外処理は全部できるでしょ。

>>560
いや、再定義で良いんでヒントだけでも教えて下さい。
やろうとしてることはR4RSな処理系をR5RSに引き上げる様な感じです。

とりあえず再定義の出だしはこんな感じですよね？
(set! call-with-current-continuation
　(let ((old/cc call-with-current-continuation))
　　(lambda (proc)
　　　〜
　　　(proc cont) ;継続の引き渡し(contをこれから定義する)
　　　〜
　　)))

(define (test) (call/cc (lambda (cont)
　(dynamic-wind
　　(lambda()(display "before1\n"))
　　(lambda()
　　　(display "thunk1\n")
　　　(dynamic-wind
　　　　(lambda()(display "before2\n"))
　　　　(lambda() (display "thunk2\n") (cont #t))
　　　　(lambda()(display "after2\n")))
　　)
　　(lambda()(display "after1\n"))
　))))

(test)
としたとき、
before1
thunk1
before2
thunk2
after2
after1
=>#t
とならなくてはならない。

継続の呼び出し
(cont #t)について考える。
呼び出し時、contは
・before1->2についての呼び出しは完了している事を知っている。
・継続切り替え前後にafter2->1を呼び出さなければいけない事を知っている。
よって、cont毎にスタックの様な形式でbefore/after呼び出し履歴が必要。

現在いる継続中に複数の継続の参照がある場合、
cont毎にbefore/afterを持ち回るとそれらが複数回呼び出される
可能性があるので、どうにかして情報を共有化しなくてはならない。
親継続aの中で取り出された子継続x,yは親継続aを共有する。
(call/cc (lambda(親継続a)
　(call/cc (lambda(子継続x)〜))
　(call/cc (lambda(子継続y)〜))
))
親継続a <- 子継続x
親継続a <- 子継続y

そこで、現在の(親)継続の参照を保持するグローバル変数を作る。

(define *current-continuation* '())

これはcall/ccで現在の継続が取り出されると、その継続がpushされ、
call/ccから抜けるとpopされる。
*current-continuation*には、old/ccで得た継続、その継続に属する
before/afterがセットで格納される。

さて、では実際にどうやって実装するか、
を考えてたら頭がパンクしました。
call/ccとdynamic-windの連携が、、、、
(unwind-protectエミュレートの時は、巻き戻しだけなので
結構すんなりうまく行った)

chez scheme附属の文書にそのものずばりが載ってるよ。

検索したら、なんかあっさり見つかってしまった鬱。
みんな頭いいなあ。
でも考え方としてはだいたい有ってたので良かった。
次はcall-with-valuesかな。

call-with-valueは、無理(たしか)。

検索したらいくつか(scheme上での)実装がみつかりました。
http://www.accesscom.com/~darius/writings/scheme-for-lispers.html
http://sources.redhat.com/ml/guile/2000-02/msg00303.html
http://www.red-bean.com/guile/guile/new/msg00230.html
どれも完全では無い様で・・

ここを参考にオブジェクト指向してみた
http://www.angelfire.com/tx4/cus/shapes/scheme.html
この行数でこれだけのことができるなら
別に OO パッケージなんていらない気がするね

(define (make-str . strs)
　(let ((str (if (null? strs) "" (apply string-append strs)))) ;; member
　　;; methods
　　(define (get) str)
　　(define (set strs)
　　　(if (null? strs) #f
　　　　　(set! str (apply string-append strs))))
　　(define (ref k)
　　　(and (not (null? k)) (<= 0 (car k)) (< (car k) (string-length str))
　　　　　 (string-ref str (car k))))
　　;; dispacher
　　(lambda params
　　　(cond ((null? params) (get))
　　　　　　((eq? (car params) 'get) (get))
　　　　　　((eq? (car params) 'set) (set (cdr params)))
　　　　　　((string? (car params)) (set params))
　　　　　　((eq? (car params) 'ref) (ref (cdr params)))
　　　　　　((number? (car params)) (ref params))))))

(define s (make-str))
　=> #<void>
(s 'set "abc")
　=> #<void>
(s 'get)
　=> "abc"
(s 'ref 1)
　=> #\b
(s "ABC")
　=> #<void>
(s)
　=> "ABC"
(s 1)
　=> #\B

>>575
dispacher → dispatcher

>>575 を継承

(define (make-upcase-string . strs)
　(let ((super #f)) ;; member
　　;; private method
　　(define (string-upcase str)
　　　(list->string (map char-upcase (string->list str))))
　　;; public methods
　　(define (set strs)
　　　(if (null? strs) #f
　　　　　(super 'set (string-upcase (apply string-append strs)))))
　　(define (append strs)
　　　(if (null? strs) #f
　　　　　(set (list (apply string-append (super 'get) strs)))))
　　;; constructor
　　(set! super (apply make-str strs))
　　(super 'set (string-upcase (super 'get)))
　　;; dispatcher
　　(lambda params
　　　(cond ((null? params)　　　　　　 (super 'get))
　　　　　　((eq? (car params) 'set)　　(set (cdr params)))
　　　　　　((string? (car params))　　 (set params))
　　　　　　((eq? (car params) 'append) (append (cdr params)))
　　　　　　(else　　　　　　　　　　　 (apply super params))))))

(define s (make-upcase-string))
　=> #<void>
(s 'set "abc")
　=> #<void>
(s 'get)
　=> "ABC"
(s 'append "def")
　=> #<void>
(s 'get)
　=> "ABCDEF"
(s 'ref 5)
　=> #\F

「Scheme」を読めないという人、結構いるみたいだね。
おれなんかは古代祐三の曲で一躍有名になったスキームというゲーム
知ってたおかげか、初めから読めたけど。

おれも毎日スキームミルク飲んでたから初めから読めたけど。

Schedule読めるならScheme楽勝でしょう

スケジュール
スケム

>>581
スケジュールと柔軟に読めるならそれは詐欺だ
おれなんか最初スチェズレと読んだど？

スケジューるん

"sch"の発音は英語の"sk"より先にドイツ語の"sh"を先に知ってしまったので、ついそう読んでしまう……。
schemeしぇーめ、scheduleしぇじゅーる（中途半端に混じってる）

schというシェルがあった気がする

東工大の実験はshcemeとprologですが、なにか？

shcemeあげ

shceme晒しあげ

>>585
シェルとして実装した場合、括弧付けないとevalれない点は
どうなんだろうね。

Clispをログインシェルとして使うという剛毅な方法が
Clispのページに書かれていたな。たしかに必要なこと
はすべてできるんだけど、正直すげえな、と。

きゃつ等にとって括弧は空気みたいなもんです。

lispはｲｲ!ﾈ
人類が作った変態言語の極みﾀﾞﾖ

Schemeの場合、関数も変数もdefineで定義するし、名前空間も一緒。
Common Lispの場合、関数はdefun、変数はsetqで定義して名前空間も別。

俺はSchemeの流儀の方が好きなんだけど？

名前空間なんて飾りですﾖ
ｴﾗｲ人にはそれが判らんのです

>>575
#<void>返すところはself返したらいいかもしんない
((obj1 'set (obj2 'get)) 'draw)
んで括弧が見にくいと思ったらコマンド列にしてみるとか。
((make-telnet)
　'open '(host "####" port 23)
　'wait "login: "
　'send "####"
　'wait "Password: "
　'send "####"
　'wait "}%"
　'with-append-open "telnet.log"
)

>>592
はぁ?
お前はアホか?
Lisp なんざ変態言語としてはカスみたいなもんなんだよ。
お前みたいな奴は Brainfuck で HelloWorld でも書いてから出直してこい。
http://www.muppetlabs.com/~breadbox/bf/

>576
なにこれ？バイトコード？

それは違う意味の変態言語だと思うが･･･

>>596
これ、すごい小さい処理系(?)だけど、もうちょっと読みやすくならないかな。
あのままじゃさっぱり意味わからないよ。

初心者で申し分けないのですが、scheme を勉強するにあたって
いいドキュメントは何でしょうか?
いままで、「リスト遊び」と「初めての人のための LISP」を読みました。
犬飼さんの本はとっつきやすそうだけど、末尾再帰すら載ってないみたい。
ttp://kakugawa.aial.hiroshima-u.ac.jp/~kakugawa/Hacks/
これなんか、わりと良さげな気がしてるのですが…。

>>600
評価が分かれるけど>>2にあるSICPがいいと思うよ。

Little Schemerだろ。

>>601
SICPはSchemeを勉強する本じゃない、ってSICPに書いてあるの
知らないのかな？

>>593
それSteeleもCommon Lispの反省点として上げてたよ。

>>604
SteelはSchemeの設計者だからね…

先生! >>605 は Steel が Common Lisp の設計者であることを知らなげです!

>>600
R4RS-R5RSの規格書50ページと>>2以降にあるリンクのサンプルで勉強したよ。
あとは@niftyのプログラミングランゲージフォーラム(FPL)に上がってる、
昔のログや処理系の解析。結局、処理系の解析が一番役に立った気がする。
結局通信費除けばほとんどタダだった。
cltl2やSICPの訳本とか買ったのはかなり後。

ケントディヴィッグのプログラミング言語schemeだね。

schemeとlispの違いがわかればlispのコードも大変参考になるかと。

>>604
そうなんだ。良かった。

>>593
Scheme って R5RS で用意されている標準手続き
が厳選されているところがいいと思う。

Common-Lisp だと例えば、
find, find-if, find-if-not, remove, remove-if, remove-if-not
なんて似たような関数がやたらとたくさんあるけど、
Scheme だと for-each だけしかない。でもこれで十分。

>>611
同意。
ただねえ、Schemeでコードを書いていると
「動けばいいや」という気持ちにならないんだよね。
「もっと美しく（抽象的に）書けるよな……」
とか思っちゃう。
んで、いつまでもコードと戯れて時間を潰しちゃうんだ。
その方が結果的に品質の高いコードができるんだけど、
ついつい楽しくて時間を浪費しちゃうところがあって、
急いでいるときはSchemeには近付けない気分だったり。

; 俺だけ？

>>606
SchemeはSteelがゼロから設計したんだよ。でもCLは違う。
どっちかっていうとSteelは各方面からの意見をとりまとめた、って
感じじゃないかな。

>>612
僕もです。でも、他の言語に同じような処理を行わせようと
したとき、Scheme ならサラッと出来るものに時間が取られたり
するので、結局は Scheme の方が良かったりします。

>>596-599
Unix 板に uudecode 使って
直接バイナリ吐く開発法が提示されてたよ。
言語じゃないけどわらった。

>>615
navi2chの機能のことか？

>>615
それはバイナリというか、単に読めないだけでは？

>>615
それってcatでuuencode形式のファイルを書くアレのことかな？
……ここで言うのも何だけど、gzipはタイプ量が減っても開発効率は悪くなると思う……。

lispやschemeはperlのヒアドキュメントみたいな機能はありませんか？

>>618
そうそれ。
脳内で uudecode の結果を予測できる人なら
gzip であれ bzip2 であれ何でもこいでしょう。

guile って perl みたいにファイルの先頭に #!/usr/local/bin/guile
って書いて実行させることできますか？
今やってみたけどできなかった。何か違うやり方があるんでしょうか。

man 見ようとしたらなかったし(鬱

>>621
試した方が速くないっすか？

>>621
GNUものは大体infoをさきにみるといいよ

#!/usr/local/bin/guile -s
!#
(display "Hello, world!")
(newline)

>>623
なるほど。ありがとう。
これからいろいろ勉強します。elisp とは結構違いますね。

;; なぜか info もなかったので探しに逝ってきます。

>>619
scshというschemeのshellは
#<<END
〜
END
という構文が用意されているらしい。
他の処理系でも'#'みたいな特殊文字を読みこんだ時に、
登録したフック関数が呼べる様な機能があれば似たような事が
可能でしょう。readそのものを書きかえるって手もあるけど。

(define here-document #<<*END*
>>619
scshというschemeのshellは
#<<END
〜
END
という構文が用意されているらしい。*END*)

>here-document
=>">>619 \nscshというschemeのshellは \n#<<END \n〜 \nEND \nという構文が用意されているらしい。"

>>625
それは変数展開してくれるの?

おれはいつもこんな感じで書いてるけど。

(string-append
"...
... " foo " ...
...
")

scshは#!<文字>だった。
>#!$ここからここまで$
"ここからここまで"
(この場合'$'が区切り文字。)
guileにもある様です。#q<文字>〜<文字>
>>627
変数展開なんてしないでしょう。

定本Cプログラマのためのアルゴリズムとデータ構造 近藤
に載ってるクイックソートのscheme版
誰かリファクタリングしてください。

;;lst(l-r)を値vで分割 分割地点を返す
(define (divide! lst v l r)
　(define (divide-internal l r)
　　(define (search-from-left l) ;;リストの前から
　　　(cond
　　　　((>= (nth lst l) v) l)
　　　　(else (search-from-left (+ l 1)))))
　　(define (search-from-right r) ;;リストの後ろから
　　　(cond
　　　　((>= l r) r)
　　　　((< (nth lst r) v) r)
　　　　(else (search-from-right (- r 1)))))
　　
　　(set! l (search-from-left l))
　　(set! r (search-from-right r))
　　(cond
　　　((>= l r) l)
　　　(else
　　　 (swap lst l r)
　　　 (divide-internal (+ l 1) (+ r 1)))))
　　　　　
　(divide-internal l r))

(define (divide-and-swap lst l r)
　(cond
　　((null? lst) #f)
　　((< l 0) #f)
　　((< (atoms lst) r) #f)
　　(else (let ((p-index (divide! lst (nth lst r) l r)))
　　　　　　(swap lst p-index r)
　　　　　　p-index
　　　　　　))))

(define (qsort lst)
　(define (qsort-internal l r)
　　(cond
　　　((>= l r) lst)
　　　(else (let ((v (divide-and-swap lst l r)))
　　　　　　　(qsort-internal l (- v 1))
　　　　　　　(qsort-internal (+ v 1) r)))))
　
　(cond
　　((null? lst) #f)
　　(else (qsort-internal 0 (- (length lst) 1)))))

>>629
そちらのコードはよく読んでないけど
何でそんなに長くなるの？

(define (sort p lst)
　(define (filter p a lst)
　　(let loop ((lst lst) (r '()))
　　　(if (null? lst) (reverse r)
　　　　　(loop (cdr lst) (if (p a (car lst)) (cons (car lst) r) r)))))
　(define (not-p x y)
　　(not (p x y)))
　(if (null? lst) lst
　　　(append (sort p (filter not-p (car lst) (cdr lst)))
　　　　　　　(list (car lst))
　　　　　　　(sort p (filter p (car lst) (cdr lst))))))

> (sort < '(3 5 2 4 6 3))
(2 3 3 4 5 6)

> (sort char<? (string->list "Scheme"))
(#\S #\c #\e #\e #\h #\m)

>>630
それじゃクイックソートじゃないジャン。

>>631
というかもろアルゴリズムそのままジャン

ttp://lecture.ecc.u-tokyo.ac.jp/~yamaguch/pub/cp1-3/quick-sort.html
> ・データの集まりから１つデータを選び、それより小さいデータの
> 集まりと、それより大きなデータの集まりに分ける．
> ・それぞれの集まりに対してクイックソートを適用する．(再帰的)
> ・以上を繰り返すと、ソートするデータの個数が減っていき、最後
> にデータの個数が1以下となって終る．

>>184
http://school.2ch.net/test/read.cgi/kouri/1014220418/l50
こんなスレがあった…。
lambda 使って遊んでばっかいるとホントにこういうハメになりそ…。

>>632
計算量って言葉知ってる?

>>634
効率を求めるなら、Scheme インタプリタ組み込みの手続きにすれば
良いんでないの？ そうでなくても、まずは理解しやすいのを書いてから
議論を進めても悪くないでしょ。

>>635
クイックソートって平均的には他のソート(オーダは同じ)より早いのが
特徴だから微妙だよね。

みなさん chez ってどう読んでますか? シェ? シェズ?

>>635
実行効率の話じゃない。
関数 p を呼ぶ回数がクイックソートのオーダーと違うでしょ。

>>638
失礼しました。出直してきます。

chezはシェでしょ。

>>640
フランス語読みだったですね。

スペイン語だったら、チェズかな？

>>641
> スペイン語だったら、チェズかな？
チェスだろ。

>>638
あえて Scheme っぽく書いたんだけど...
ついでに他の関数型言語のクイックソート。
Haskell が一番かっこいいかな？
SML
ttp://a414s1.it.nanzan-u.ac.jp/smlbook/smlwww/node81.html
Haskell
ttp://www.teu.ac.jp/kougi/koshida/Prog6/text06.html

Lisp SchemeってのはEmacs Lispとは違うもんですよね。
どういった関係でしょうか？

Emacs Lisp も Scheme も Lisp という言語の
範疇に入る方言の一種で、それぞれくせがある。

正当な lisp の後継者としては Common lisp というのがある。
ただ scheme の方が言語的にすっきりした仕様になっているので、
こちらを好む人も多い。

;; 破壊的 quick sort
(define (sort! p seq)
　(define (seq-sort! p seq seq-ref seq-set! seq-length)
　　(define (swap! seq i j)
　　　(let ((tmp (seq-ref seq i)))
　　　　(seq-set! seq i (seq-ref seq j))
　　　　(seq-set! seq j tmp)))
　　(define (divide! p seq start end)
　　　(let ((a (seq-ref seq start)))
　　　　(let loop ((i (+ start 1)) (mid start))
　　　　　(cond ((> i end) (swap! seq start mid) mid)
　　　　　　　　(else (cond ((p (seq-ref seq i) a)
　　　　　　　　　　　　　　 (set! mid (+ mid 1))
　　　　　　　　　　　　　　 (swap! seq i mid)))
　　　　　　　　　　　(loop (+ i 1) mid))))))
　　(let loop ((start 0) (end (- (seq-length seq) 1)))
　　　(cond ((>= start end) seq)
　　　　　　(else (let ((mid (divide! p seq start end)))
　　　　　　　　　　(loop start (- mid 1))
　　　　　　　　　　(loop (+ mid 1) end))))))
　(define (list-set! lst k obj)
　　(set-car! (list-tail lst k) obj))
　(cond ((list?　 seq) (seq-sort! p seq list-ref　 list-set!　 length))
　　　　((string? seq) (seq-sort! p seq string-ref string-set! string-length))
　　　　((vector? seq) (seq-sort! p seq vector-ref vector-set! vector-length))
　　　　(else seq)))

> (sort! < '(3 4 1 9 2))
(1 2 3 4 9)

> (sort! < '#(3 4 1 9 2))
#(1 2 3 4 9)

> (sort! char<? "34192")
"12349"

なんでこの板では ruby の評判が悪いのですか?
最近覚えたんだけど、結構 lisp っぽい所が多くて
結構面白いと思うんだけど。

>>647
ruby狂信者が嫌われているだけです。
しかし、そういう人達ってrubyのこと本当に好きなのかな？
本当にrubyを使っているのかな？

ここでrubyの話はしないでほしい・・・

LispMe Version 3.1 Release Age!

お前ら、関数xxxを再帰でかけますか？

関数xxxの例

>(xxx nil)
NIL
>(xxx '(a))
(A)
>(xxx '(a b))
(A B)
>(xxx '(a (b) c))
(A B C)
>(xxx '((a (b (c (d)) (((e)))))))
(A B C D E)

(define (xxx x)
　(cond ((null? x) x)
　　　　((symbol? x) (list x))
　　　　(else (apply append (map xxx x)))))
; テストしてないけど

(define (atom? x) (not (list? x)))

(define (xxx lst)
　(cond ((null? lst) lst)
　　　　((atom? lst) (list lst))
　　　　(else (append (xxx (car lst)) (xxx (cdr lst))))))

>>651
(defun xxx (xxx)
(cond ((null xxx) xxx)
((atom xxx) (list xxx))
(t (mapcan #'(lambda (xxx) (if (null xxx) (list xxx) (xxx xxx))) xxx))))

しまった、これはもしかすると宿題おしえて君かもしれないぞ。まずいことしちまった。

>>655
反省しる！

そういえば昔教科書でやった気がするよ。

(defun xxx (xxx)
　(cond ((null xxx) xxx)
　　　　((atom xxx) (list xxx))
　　　　(t (append (xxx (car xxx)) (xxx (cdr xxx))))))
これSchemeで書けないね。

(defun x (x) x)
(setq x 'x)
(x x)

>>658
ほとんどそのままよ

って、関数と引数の名前が同じなのってどうなのよ。

Lisp だと関数と値が別々の場所に束縛されるから >>658 はOK
(defun x (x) x)
(setq x 'x)
(describe x)
X is a SYMBOL.
Its value is X
It is INTERNAL in the COMMON-LISP-USER package.
Its function binding is #<Interpreted Function X>
The function takes arguments (X)

そういえば属性リストというのもあったね。最近あまり使わないけど。
(get 'x 'foo) ==> NIL
(setf (get 'x 'foo) 1)
(get 'x 'foo) ==> 1

>650
LispMe!ってSECDマシンなのね。
Sスタック
E環境
Cコード
Dダンプ
だっけ。

>>662
(put 'x 'foo 1)
じゃないの？
いや、良く知らないんだけど。

ていうか、LISPとかって必ず値返すんだよね？
じゃあ
(setf (get 'x 'foo) 1)
の値って何？
C言語だと式の結果は右辺値だよね？
関数の場合は特定できないけど。

(get 'x 'foo)
が=>1返すなら、
(setf (get 'x 'foo) 1)
で'xに値が設定できるのって変じゃない？
C++のリファレンス値に代入してるのと同じ気持ち悪さがある。
get(x,foo).set(1)

>666
setfはマクロだからなあ

お前ら！
ありがとうございました！！

>>666
なぜ？
x, x[n] に対する x = val, x[n] = val と
x, (aref x n) に対する (setf x val), (setf (aref x n) val) は
どこが違う？

なにいってるのかわからん>669
(aref x n)
で
=>1が返るなら
(setf (aref x n) val)
は
(setf 1 val)
に見えてキモイ、ってことでしょ？>666

Cltl1,Cltl2 とか 丸善のCommonLisp本あたりに、
setf で必要な三要素、とかいうの載ってましたよね。(懐
(1) 値設定する場所を表すS式表現　　(aref x n)
(2) (1)のS式を解釈して、値設定をする関数 (defun setf-aref ...)とか
(3) よく覚えていないが、 setf へ (1) と (2)を設定する仕組みとかなんとか

現役ﾘｽｰﾊﾟな方、正解ﾌﾟﾘｰｽﾞ

>>670
でも x[n] が 1 を返すけど x[n] = val は気持ち悪いって言わないのかってことでしょ?

>>670
// これが気持ち悪くないなら
int a[10];
a[5] = 1;

// これも気持ち悪くないはず
map<string, string> m;
m[key] = value; // m.operator[](key).operator=(value);

と >>669 は主張しているのではないの？

まちがった。

// これが気持ち悪くないなら
int i = 0;
printf("%d\n", i); // (print i)
i = 1; // (setf i 1) ;; (setf 0 1) ではない

// これも気持ち悪くないはず
int a[10] = {0};
printf("%d\n", a[5]); // (print (aref a 5))
a[5] = 1; // (setf (aref a 5) 1) ;; (setf 0 1) ではない

と >>669 は主張しているのではないの？

Lisp における setf は C における

#define SETF(field, value) \
　do { \
　　(field) = (value); \
　} while(0)

とほぼ一緒。だから

　int i = 0;
　int a[10] = {0};
　map<char*, int> m;

　SETF(i, 1);
　SETF(a[5], 1);
　SETF(m["key"], 1);

今、「竹内郁雄著: 初めての人のための LISP」を楽しく
読んでるんですが、この本で使われてる loop() の仕様が
よく分らず、後半で苦しんでます。どんなのかというと、
例えば

(defun get (symbol property)
(let ((plist (symbol-plist symbol)))
(loop (while plist nil)
(until (eq (car plist) property) (cadr plist))
(setq plist (cddr plist)))))

こんな使われかたしてます。until が複数回出てくる事もあります。
誰か教えてくださいませ。

# ところで3月には ANSI Common Lisp の翻訳本出ますね。楽しみ。

>>676
loop の仕様ならこの辺にあるよ
http://www-2.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/cltl/clm/node235.html
http://www.franz.com/support/documentation/6.1/ansicl/dictentr/loop.htm
でもややこしいので、俺はほとんど使えない。

ML スレでも書きましたが、『Scheme による記号処理入門』を注文しました。
Scheme の活用例が載っている書籍で、お勧めの物ありませんか？
実装自体よりも活用分野が紹介されているような文献をお願いします。

>>678
「湯けむり温泉Scheme殺人事件
　　　Lambda式と末尾再帰に隠された謎
　　　　　カッコの付け忘れに刻まれた32年前の悲劇」

>>679
ありがとん。面白そうやねそれ。
32 年前の括弧にどんな秘密が？！
それより、32 年間も scheme のコードを書き続けたのか？？

(age (plz ref-book))

sage てしまった・・・。

(pp '[((((((((schemeができたのは1984年だったはず])

WZ使ってるんですが、カッコの対応を表示してくれるマクロありませんか
閉じ忘れたまま保存しようとすると「カッコ閉じてません」とか
警告ダイアログだしてくれたり。

http://www.pearsoned.co.jp/washo/nbindex_mar.html

ANSI Common Lisp入門　
Paul Graham著　久野　雅樹+須賀　哲夫訳　Ｂ5変　約500頁
ISBN 4-89471-433-7
ANSI Common Lispに準拠した入門書。 Common Lisp Object Sys
tem (CLOS)を使ってオブジェクト指向プログラ ミングを解説している。
Lispと言えば、人工知能か記号処理の例が多かったが、本書は、さ
まざな分野への応用 例を取り上げている：コンピュータグラフィクス、
テキスト生成、HTML生成、並び替え・探索、ファイル入出力、デ ータ
圧縮、数値計算。もちろん人工知能向けの話題もある：パターンマッ
チ、論理推論。

3,900円

>>685
有難う御座います。
出版されたら読んでみます。

>>663
SECD は Stack, Environment, Control and Dump ですね。

http://www.lispme.de/lispme/doc/lm_hood.htm

>>679
やっぱ、Schemeコードの中にダイイングメッセージが？
しがないPGが温泉旅行に行ってなんか知らんが殺人事件に巻き込まれる。
コンパイルできないSchemeコード。
被害者が最後に打ったと思われるSchemeコードのインデントが
いつものTabではなくSpaceだったことに気づいたPG。
この最後のSchemeコードは果たして被害者が打ったものなのだろうか？
そして、32年前の同様な殺人事件に気付き…。

おもろくないっす

>>688
刑事は藤田まことか古谷一行か？
とりあえず定番の怪しいおばちゃん弁護士は登場させとくか。

LispMe!ってgcを再帰で実装してるね。(store.c)
こういう処理系って結構多いのかも。

lisp わかるけど C がわからないっス。
アフォですか?

エライ >> 692

>>692
あぁあ、残念。
LispだのMLだのHaskellだのなんてやってると、Cがとても鬱陶しくなります。
Cは先にやっておくべきだったんでは無いんかと、とか言ってみるテスト。

>>692
文系に多い

>>693
イェイ!!

>>694
自分もそう思いました。というか、
C で書くような事態がないから覚えないのかも知れないけど。
perl とかはテキスト処理によく使いますが。

>>695
ズバリ的中です。アルゴリズムはわかっても
結局コンピュータの動作の基礎がわかってないってことかな。
アセンブリ言語になると、もうちんぷんかんぷん。

chez とか MIT とかは日本語扱えないんですよね？ Stk も。
普段使ってる処理系でそういう制限があるのは辛くないですか？

このスレの人達だと自作の処理系使ってたりするのかな？

>697 Gauche

>>697
コードをEUCで書いて、SJISで入出力する関数を書けばOK。

Gauche 、Solaris/SPARC でコンパイル出来んかった。
ndbm のあたりで何故か引っかかる。
gdbm 入れて再度挑戦してみようかな。

Guile-user ML にこんなことを言っている人がいた。

http://mail.gnu.org/pipermail/guile-user/2002-February/002554.html
> XML is very close to S-expressions, and if the Lisp community it been in
> the right place at the right time, perhaps the world would be using
> S-expressions insteda of XML. But it wasn't and it isn't.

もし S 式だったら XSLT なんかいらなかったのにね。

>>701
何故 S 式を使わないのか、不思議で仕方がない。
パース楽だし、eval もできるし。

>>701
でも「XML World」とかの雑誌が「S式World」とかだったら
きっと売れないだろうな。(おれは買うけど)

>>703
"S-expressions World"とかは？

XMLは名が売れ過ぎてるので、いっそのこと乗っ取ってしまえ。

S-XMLとか
XML-LISPとか
適当に名前をでっち上げて、我々で流行らせよう。

きちんと規格っぽいことも定めてみたりして、
XMLだけではなく、XMLSchemaとかXSLTとかも
LISPで乗っ取ってしまおう。

乗っ取って「こんなに便利なんですよ」
そして流行らせれば、一気に我々は時代の最先端。

>>704
ちょっと長すぎ。「SEXP World」がいいかな、
勘違いして買う奴がいそうだし。

>>701
それって「結局lispの連中は好機を逃してしまうだろう」ってゆってんだよな
皮肉なのかハッパかけてんのか馬鹿にしてんのか絶望してんのか藁ってんのか

国際化についてはいまの LISP 処理系の弱点だと思うので、
その点は XML のいいところを取り入れるとｲｲ

XMLとLISPのトークンを比べると

XMLは
<tag>にょろ</tag>
でLISPでは直ぐにはわからない、
「どのカッコが閉じられたか」がすぐわかる。
HTMLの様に終了タグ自体を省略できる可能性がある。
かたやLISPでは
(tag にょり) ;car=>tag cadr=>にょり
表現をＳ式として取り出せる。けどカッコ読みにくい。

そこでLISPに、カッコの他に
<tag>にょろ</tag> => (tag にょろ)
と変換するロジックをデフォで組み込んでみたらどうか。

<car><cdr>Ｓ 式 に 革命 を</car>
=>式

<tag>は常にoperatorとなりえるので、
<tag></tag>で囲まれたフィールド(operand)はquoteまたはquasiquoteが
暗黙に掛けられた状態とする。
<car><cdr>Ｓ ,式 に 革命 を</car>
は(cadr `(Ｓ ,式 に 革命 を))
で「式」を評価したリストがcadrに渡される

なんかXML関係の書き込みってピントがズレてるって思うの、俺だけ？
たしかにLispでは構文木を直接的に記述することがデータの表現と
プログラムの表現を区別しないという武器につながっているけど、
そんなLispにも具象表現と内部表現の区別はあるわけじゃないですか。
XMLは所詮、具象表現の一種に過ぎないわけで、XML的なコーディング
を要求するなり、受け付けるなりするLispの処理系があっても別にお
かしなことではない。つーか、Lispの本質はそんなところにはないと
思う。

S式ってのはかっこだらけの式のことじゃないと思うんだがね。

>>712
言ってることが難しくて理解できなかった

Ｓ式も、見た目変更すれば見やすくなるって話？

Ｓ式のＳってなんれすか

じゃあ、とりあえずDSSSLから始めよう。
http://www.jclark.com/

Ｓが沢山あると何がうれしいですか

>>715
Symbolic Expressionだったかな。

>>717
> Ｓが沢山あると何がうれしいですか

って、>>716の「D"SSS"L」について言っているのかな?
DSSSLは、『Schemeで』SGML documentの変換や整形を行うための規格です。
XML版もあります。ってﾏｼﾞﾚｽでよかったですか?

DSSSL Onlineってのがweb用のsubsetだったはずです。

そういやシンボルの存在は、あなどれない。

>712
具象表現と内部表現ってなに？
勉強します、ｽﾏｿ。

>>721, >>713
字面のコードと実際の処理の事じゃないでしょうか？

コード自体は<xml>タグ括り</xml>でも(lisp 括弧括り)でも良いけど、
それを処理系がどう解釈するかに Lisp の本質があると言う事では？

しかしながら、その本質がどういう事なのかは私には分かりません。
誰か詳しい人お願いします。

1-a. データの記述と関数の記述を、同じ記法で記述できるといのが Lisp の強み。
1-b. XML もデータの記述と関数の記述を、同じ記法で記述できる(?)。

2-a. Lisp は木構造を簡単に表現できる。
2-b. XML も木構造を簡単に表現できる。

XML と lisp の内部表現は論理的に等価になりうるということですか?
XML よく知らないんではずしてるかも知れないけど。

お前ら、マジでそんなレベルなの？

CでもPascalでもBASICでもLispでも、その処理系は
ソースコードを構文解析して構文木を作るんだよ。
ただ、Lispの場合、構文木とソースコードの対応が
非常に密というか、ソースコードは構文木を一定の
記法で書き下ろしたものとなっているわけ。リスト
は木構造を表現するだけの力をもっているので、す
べてをリストで表現できている。これがLispの強み。

CやPascalのような言語は、構文解析した後に内部
的に生成された構文木に触れることはできない。
Lispはできる。それこそがLispの強み。

構文解析して構文木を作ること、構文木を直接一定
の記法で書き下ろすこと、という観点からすると、
その一定の記法がXMLの文法でもいっこうにかまわ
ない。つーか、XMLの文法で書かれたLispのコード
を評価するLispプログラムを書くことは簡単でしょ？
そういうことが簡単にできること自体がLispの力。
CやPascalではこうはいかない。

> お前ら

一般化すんじゃねーよ。馬鹿。

>>721
> 具象表現

Lispの言うところの印字表現でしょ。

>>723
> 1-b. XML もデータの記述と関数の記述を、同じ記法で記述できる(?)。

関数ってXSLTとか? あれ不自由すぎない?

>>725
> ただ、Lispの場合、構文木とソースコードの対応が
> 非常に密というか、ソースコードは構文木を一定の
> 記法で書き下ろしたものとなっているわけ。

なってない言語があったら教えて欲しい、と小一時間問いつめたい
;「Lispの場合」は、この次の文に修飾した方がいい。

;; まあ、perlはaliasがありすぎて駄目だし、
;; Lispも'とquoteの区別は苦手だが。(TAO以外は)

>>725
そういう意味での Lisp の優位性はわかるよ。

XML 関連の技術って、 XML の構文を使って
その機能を表現するというのがよくあるけど
(XSLT, XML Schema 等)、多少プログラムちっく
なこと表現しようとすると、やっぱり XML は冗長
すぎてだるいよね。

そういうところで Lisp が XML に食い込んでいく
余地ってないかな？

Lisp <--> XML(HTML)
http://opensource.franz.com/aserve/aserve-dist/doc/htmlgen.html
http://www.graco.c.u-tokyo.ac.jp/~kamina/xmltools/
http://opensource.franz.com/xmlutils/xmlutils-dist/pxml.htm

>>728
725の言ってることわかってないじゃないの？BNFとかで定義された
構文と、ソースコードが対応してるってな話じゃないよ。

要はlispにはパーサがいらない、ってことなんだよ。CでもPascal
でもソースをパースして構文木つくるでしょ？S式はそれ自体が木構造
になってるってことでしょ。

>>725
そんな事は十分承知の上での議論だと思っていましたが...

>>730
それが分かった上で、(分からないlisperがいるのか?)
指摘している文章「が」おかしいと言っているのです。
>>725全体を否定した覚えはまるでありません。

「お前ら、マジでそんなレベルなの？」と高飛車(wだったので、
おかしいところを指摘したい衝動に駆られただけです。

Ｓ式はラムダ式のlisp的具体化だろう
よくは知らんが

そのLispの強みといわれているものは、
Lispの強みというより、それの準拠する計算モデルの強みだ

そしてやはりXMLとそれとの親和性は否定できない
それは、XMLが階層的構造を持っているためだ

しかし、データ構造は一般的に、そういう構造を持っているものが多い。
別にXMLに限られるわけではない
それにもかかわらず、結局の所は命令型が主流であるという事実は、
ある種の推測をもたらすだろう

誰が誰に喧嘩売ってるんですか?

LISPの構文解析はマクロ展開だってんでしょ？
712の説明がまわりくどくてややこしいだけ、に一票。

そういやXMLってよくしらないんだけど、
LISPのquote相当のものはあるの？

つーか、XMLはデータ表現の形式であってプログラミング言語
じゃないじゃん。自己記述的ではあるから、規則を決めれば
Lisp的に評価可能だけど。

>>736
それは逆で、(DTDも含めて)データ表現の方法しかない。
お友達のXSLTの計算能力は貧弱。万能計算器どころの話じゃない。

>>738
XSLT について。
http://www.w3.org/TR/xslt#section-Examples
http://www.graco.c.u-tokyo.ac.jp/~kamina/xmltools/transformations.html
をみくらべるとよくわかるね。ま XSLT は変換が目的だから
単純に比べるのはどうかとおもうけど。

うわーん、すごいよLISP

*←これなんですか？→*

S式というのはジャーゴンだ。
そういうのを頻繁に使うのはあまり感心できない。
単なる式で足りる。

*ファンネル*

∀・)

(パパ！)

(ボクをぶたないで！)

(ｺﾗｺﾗ)

すみません。
MFCWIZARD（DLL）で、クラスを持ったDLLを作りました。
次にMFCWIZARD（EXE)でDLLのクラスを使用し、ビルドをしたのですが、
クラスのコンストラクタとデストラクタが（LNK2001外部シンボルが未解決）
と、なってしまいます。

微妙に荒れてきたか?

http://www3.tok2.com/home/xyzzy/ml/thrd11.html#01001
http://www-6.ibm.com/jp/developerworks/xml/010914/j_x-xslt.html

XML と Lisp/Scheme な話題って何処でも出てるのね。
検索したらかなりの量がヒットした。

あ、750 ?!

Gauche は早く Gtk に対応しないかな。
GUI が作れたら、もう他の処理系はいらない。

後は、簡単な rdbms 相当の機能が欲しいかな。

>>751
DLLアクセス機能があれば直APIでGUIとODBC程度は使える様になりますが、
recordset相当は自分で書く必要はあるかも

>>751
SLIB に Relational Database パッケージみたいのがありましたよ。
使ったことないので、詳しくは分かりませんが。

>>751
ＡＣＬ

acl無料版、まだgetでける？

>>754
gauche> (substring "あいうえお" 0 3)
"あいう"
ACL> (subseq "あいうえお" 0 3)
"あ\202"

gaucheって漢字を１文字と数えるの？

>>757
gaucheのページ読みなよ、質問君。
http://www.shiro.dreamhost.com/scheme/gauche/features-j.html

ChezSchemeはなんであんなに速いんだ？インタプリタのくせに

>>753
ありがとう。
rdms.scm と dbxxx.scm という一連のファイルを見つけました。
これからゆっくりいじってみます。

これはアトムかな？

atom

XMLやる場合、case-sensitiveは必須なのか

>>759
有料版のChez Schemeはインタプリタじゃないよ。中でコンパイルしてる。SML/NJとかと一緒。
http://www.scheme.com/csug/system.html#g2240

>>761
はい。
atomは文字aで始まる文字列ですから。

単体の cons cell は atom ですか?

単体でも car と cdr があるので結局 list になるように
思うんだけど。

(´-`).｡ｏＯ（consでないものがatomなのだが…）

そうか。list でないものが atom と感違いしてました。
どおりで変な訳だ。

>>678 です。
上記の本で、状態空間の探索まで読み進めました。
Lisp 系は初めてなのですが、面白くてサクサク進めます。

ところで、>>725 の以下の部分にはどういう時にメリットがあるのでしょうか？

>CやPascalのような言語は、構文解析した後に内部
>的に生成された構文木に触れることはできない。
>Lispはできる。それこそがLispの強み。

>>728 のこの部分に繋がると思うのですが、

>要はlispにはパーサがいらない、ってことなんだよ。CでもPascal
>でもソースをパースして構文木つくるでしょ？S式はそれ自体が木構造
>になってるってことでしょ。

パーサがいらないというので実装が楽と言う事でしょうか？
あるいは、いちいち解析する必要がないので、他のインタープリタ言語と
比べて処理速度が稼げるということでしょうか。

Lisp がデータの構文木を扱い易いと言うのは理解できますが、>>725 が
おっしゃっているのはその事では無いですよね？

話を蒸し返して済みません。

>>768
first class object という概念がある

http://www.yuasa.kuis.kyoto-u.ac.jp/~takayama/EoPL/2.3.2.html

パーサが要らないってことでは、forth もそうですよね？

ストリームから S 式を文字単位で読んで構文木を作るんだから、
個人的に read はあくまで「パーサ」であるように思えるんですが。
字句解析器と一緒になってる実装もあるようです。

むしろ文字単位で読むだけで構文木ができるんだから、
字句解析器のみってことじゃないのか？スキャナっていうんだっけ？
パーサは構文解析をするんだよね？

>>764
これはアトムかな？

turkey

直接native-code出力するschemeつくりたいんだけど、
x86系でオープンソースで参考になる処理系ないですか？

>>773
はい。
文字で始まる文字列ですから。

>>772
字句解析器の仕事は一般的に、ストリームからトークン切り出しを
行い、それを構文解析器にパスする事だと思うんですが、如何？
ドットペアを解析したり、引用符 (') を受けて quote を cons する
ような作業は、字句解析とは言えないと思います。

一応 The Free On-line Dictionary of Computing (ttp://www.dict.org)
で調べてみたんですけど。

>>774
こんなのみつけましたが
http://www.cs.cornell.edu/kozen/ECC/

1+1
これはatom?

>>775
これはアトムかな？

1492

>>778 >>779
全部atomだよ。
ちなみに>>778は'1+1'というsymbol
>>779はnumber

>>777
ありがとう！

|(まーくんごはんできたよ)|
これもatom。

http://www.lisp.org/table/style.htm
これどう思う？多少同意できない部分もあるけど。
こんな風にコード書く奴いない？

(if x
　(progn
　　...
　)
　(progn
　　...
　)
)

>>779
はい。
1492は十進数の文字列ですから。

>>783
これはアトムかな？

*abc$

>>782
インデントの話？
昔悩んだ。
(progn
　長い処理シーケンス
　...
)
は普通だと思う。
ただでさえネスト深くなる傾向があるんで、適当なところで落としたりする
(defun
　(
　　(
　　　(
　　　　(withなんちゃらとか
　(lambda()
　　(let
　　　(...

結局のところ、transcriptすることが多いし、
見せるのが目的なコードはpretty-printに任せる様になった。

>>769
有難う御座います。

CやPascalのような言語で、構文解析した後に内部的に生成される
構文木を、Lisp は直に操作する事が出来る。

それは S 式自体が木構造だからである。

その恩恵として、Scheme では手続き等を first class object として
扱える、という事ですよね。

少し違うかも・・・。
C や Pascal がどう構文解析されるか勉強した方が良さそうですね。

>>785
んー、 if と progn を使うなら cond を使ってほしいということと、
閉じカッコはまとめてほしいということを言いたかったのよ。

(cond (x ...)
　　　(else ...))

こう書いてほしい。

>>782 みたいなコードを C 言語ユーザが書いてきてキレそう
になることってない？

ところで >>784 等でアトムがどうのこうの言っている奴って、なんか
おもしろいの？最後にすごいオチが待っているならいいけど。

> (´-`).｡ｏＯ（consでないものがatomなのだが…）

おれもすごいオチきぼん>atomer

(define atom?(lambda(o)(not(pair? o))))

(define x 1)
(define y 2)
(define z 3)
みたいなとき、xやyなどの値を使ってC言語のswitch文みたいに
一括で分岐したいんだけど、case文じゃできないよね？
(case n
　((x) 'x) ;(= x n)となってくれ
　((y) 'y) ;(= y n)となってくれ
　((z) 'z) ;(= z n)となってくれ
　(else 'unknown))
これじゃ意味違うし（ｗ

ほんとはこういう意味なんだけど、
(cond
　((= x n) 'x)
　((= y n) 'y)
　((= z n) 'z)
　(else 'unknown))
condじゃスマートじゃない様なきがするし、
うまい方法ないですか？

>>785
そういえば Java では「字上げ」をする人がいるらしい。
class Foo {
　　void bar() {
...
...
　　}
}

>>791
こんなのとか
(cdr(or (assv n
　`((,x . x)
　 (,y . y)
　 (,z . z)))
　'(それ以外はこれ→ . unknown)))

(defmacro set-cdr! (pair obj)
　`(setf (cdr ,pair) ,obj))
(setq x '(1))
(set-cdr! x x)
(listp x) ==> ?

(define x '(1))
(set-cdr! x x)
(list? x) ==> ?

Scheme に慣れていると、他の言語でも素性の良いコーディングが出来る
というのは、不必要な一時変数の大盤振る舞いをしなくなると言う事で良い？

逆に括弧や goto が沢山ある解読不能なコードを量産する罠も在りですか？

> 逆に括弧や goto が沢山ある解読不能なコードを量産する罠も在りですか？

こんなコードを書いてスタックオーバーさせます:

list* search(list* p, int x) {
　return (p == NULL)? p : ((p->x == x)? p : search(p->next, x));
}

>>784
はい。
*abc$は左かっこ「(」や右かっこ「)」以外の文字で始まる文字列ですから。

>>797
これはリストかな？

(atom)

（ ● ´ ー ｀ ● ）あたしってatom?

なんか、これは atom? ってのがノイジーなんだけど...
ところでみんな、common lisp の処理系には何使ってる??

>>800
>なんか、これは atom? ってのがノイジーなんだけど...

Little Schemer読んでないんだね。

お前ら、LISPの真髄を具現化したコードを載せてください。

なっちは遠い親戚？（● ´ ー ｀ ●）

アトムっつーとだな、まず原子力が思い浮かぶよ。
放射能漏れが気になるな。

'(((atom))) ←3重の隔壁

>>801
Little Schemer の日本語版「Scheme手習い」は絶版らしいけど
Little Schemer 英語で読んだの？

>>796
すれ違いで悪いんだけど、最近のコンパイラって
そういうコードを loop にしてくれるのかなっと思って

% gcc -O6 -S >>796

とやってみたけどなんかやってくれないっぽい。
やってくれるんなら気軽に Lisp っぽいコードが
書けるんだけどな。

>>801
本業で使うときは ACL。
atomer については、ちょっとウザイけど、
もうちょっと様子をみてみよう、という気分。

最近Lispをもういちどやりたくなって、
よんでみたい本がいろいろでてきたんですが、翻訳情報しりませんか？

"ANSI Common Lisp"
"On Lisp"
"Artificial Inteligence A Modern Approach"
"Paradigms of Artificial Inteligence Programming: Case Study in Common Lisp"

どれもまともにやると社会人には時間がかかりそうなので、
ちかいうちに和訳でそうなやつがあれば、それは後回しにして、
翻訳でそうにないやつから読もうかな、なんて
考えてマス

>>801 --> >>800

ああ

CMUCL であるクラスのメソッドのリストを取得する方法知らない？
(defclass a ())
(defmethod foo ((x a)))
(defmethod bar ((x a)))
(pcl:specializer-direct-methods (find-class 'a))
でエラーになるんだよな。

Russell & Norvigなら翻訳あったはず。
原書より高かったと思うけど。でも原書もそんなに難しくないよ。

guile 使ってるんですけど、
random seed の与え方がよくわかりません。

(random 10
(seed->random-state (current-time)))

こんな風に random() に seed->random-state() を与えるんですけど、
seed に current-time() とか与えても何かランダムじゃないような
結果が出てしまって。

例えば
guile -c "(display (random 10 (seed->random-state (current-time))))(newline)"
こうやってもなぜか出力がランダムじゃありません。

seed->random-state の使い方に問題があると思うんですが、
わかる方教えて下さい。

>>814
> guile -c "(display (random 10 (seed->random-state (current-time))))(newline)"
> こうやってもなぜか出力がランダムじゃありません。

乱数は乱数系列として初めて意味があることはご存じでしょうか。
上のprogramを複数回実行して比べても意味はありません。

それはわかるんですが、
するとプログラムの初めの実行でまばらな乱数を得る
にはどうしたらいいんでしょうか。

seed->random-state が hash みたいになっていると
思ったんですが、違うようです。

>>816
(current-time) って一秒単位だからそれをもうちっと細かくするとか、
libguile/random.c の
void scm_i_init_rstate (scm_t_i_rstate *state, char *seed, int n)
関数を読んで、 seed の値を工夫してみてはどうでしょうか？

>>812
ACL だけど
(clos:specializer-direct-methods (find-class 'a))
==> (#<STANDARD-METHOD BAR (A)> #<STANDARD-METHOD FOO (A)>)
となったよ。ちなみに (defclass a ()) は ACL でエラーになるよ。

>>817
アドバイスありがとうございます。
seed の値に何らかの hash されたものを与えるように
すればよさそうですね。

# しかし均一に hash するものを作るとなると
# 結局自分で乱数発生関数を作るのとかわらないな。

>>819
hash は MD5 でいいんじゃない？ RFC にリファレンスコードがあるし。
(system "echo hello | md5sum")　とズルしてもいいし。

>>820
> (system "echo hello | md5sum")　とズルしてもいいし。
その線でいきます (w
どうせ大したことするプログラム作ってる訳でもないので。

Corman Lisp 1.5
http://www.corman.net/index.html
これどうですか？

次の様な変換をするプログラム知りませんか？

CreateFileA -> create-file
CreateFileMappingA -> create-file-mapping
CloseHandle -> close-handle
MapViewOfFile -> map-view-of-file
UnmapViewOfFile -> unmap-view-of-file
GetCommandLineA -> get-command-line
CreateFontIndirectA -> create-font-indirect
SQLConfigDataSource -> sql-config-data-source
SQLAllocHandle -> sql-alloc-handle
SQLFreeHandle -> sql-free-handle

ハァ？

追加

DSSSL -> dsssl
GetDC -> get-dc
ReleaseDC -> release-dc

自分で作るしかないでしょうか？

>>824
要するにWindowsやJavaで使われる名前から
lisp,scheme用の名前に自動生成するプログラムなんですが。
(VBなんかだとAliasに相当するはず)

s/生成/変換/

emacs-lisp を少し勉強してから scheme にも興味があるんですが、web で調
べてもあまり情報が見つからないです。guile がインストールされているよう
なので guile を覚えたいのですが、参考になる page とか本とかあったら教
えてください。
emacs-lisp とは結構違うところが多いので難しいです。

もう少し具体的にお願いします。 >> 823
たぶん、Win32 API だと思うけど、名前変換する必要性は？

自分は allegro を使っているのでこんなのを参考にしている。
http://www.franz.com/support/documentation/5.0.1/doc/cl/foreign_functions.htm#A.3%20The%20Lisp%20side%20of%20foreign%20functions

>>823
知らん。それに結局、納得のいくものは自分で作るしかない。

>>828
まずschemeの規格書(邦訳有り)を読んで、その薄っぺらさに驚いてから、
SICP(邦訳本：計算機プログラムの構造と解釈)で基本を覚えた後、
Scheme入門(絶版)でSLIBを学習する。
全部webで手に入る。

>>828
僕も emacs-lisp から入った口だけど、
lisp のアイデアの主要な所はあんまりかわらないよ。

>>823
そんなの lisp 使う必要あるんですか?
sed でも perl でも数行でできることを。

sedだと大変じゃないか?

perl -ane 's/A$//; s/SQL/SQL-/g; s/([a-z_0-9])([A-Z])/$1-$2/g; tr/A-Z/a-z/; print $_'
大文字省略単語は一つ一つ記述。
trの部分を列挙して記述すればsedでも可能。
Lisp, Schemeで書かない限り、この話題終了。

>>834
http://www.geocities.co.jp/SiliconValley-PaloAlto/7043/#perl.scm
こんなん書いた。これで Scheme で書く。

Emacs 内で Scheme を起動するときに cmuscheme
モードを使っているんですけど、変数名の補完、ヒストリ
等がないためイマイチなんですけど、皆さんどんなの
使ってますか？

>>835
あんた、神！

>>798
はい。
(atom)はかっこに囲まれてますから。

これは日本語かな?
うんこ

これはリストかな？

(atom turkey or)

>>840
はい。
かっこに囲まれたアトムの集まりですから。

>>841
これはリストかな？

(atom turkey) or

>>842
いいえ。
これは実のところかっこに囲まれていない2つのS式です。
1つ目のS式は2個のアトムを格納しているリストであり、
2つ目のS式はアトムです。

>>843
これはリストかな？

((atom turkey) or)

>>844
はい。
今度は2つのS式がかっこに囲まれていますから。

>>845
これはS式かな？

xyz

>>846
はい。
すべてのアトムはS式ですから。

>>847
これはS式かな？

(x y z)

>>848
はい。
リストですから。

>>849
これはS式かな？


((x y) z)

>>850
はい。
すべてのリストはS式ですから。

>>851
これはS式かな？

(how are you doing so far)

>>852
はい。
かっこに囲まれたS式の集まりですから。

>>853
リストの中にあるS式は何個かな？
(how are you doing so far)
それから、それは何？

>>854
6個です。
how、are、you、doing、so、そしてfarですね。

>>855
これはリストかな？

(((how) are) ((you) (doing so)) far)

>>856
はい。
かっこに囲まれたS式の集まりですから。

>>857
リストの中にあるS式は何個かな？
(((how) are) ((you) (doing so)) far)
それから、それは何？

>>859
3個です。
((how) are)、((you) (doing so))、
それからfarですね。

>>859
これはリストかな？

()

>>860
はい。
かっこに囲まれたゼロ個のS式ですから。
この特殊なS式はヌルリスト、空リストと呼ばれます。

>>861
これはアトムかな？

()

>>862
いいえ。
()はリストであるだけです。

>>863
これはリストかな？

(() () () ())

>>864
はい。
かっこに囲まれたS式の集まりですから。

>>865
lが引数
(a b c)
であるとき、lのcarは何かな？

>>866
aです。
このリストの最初のアトムがaですから。

>>867
lが
((a b c) x y z)
であるとき、lのcarは何かな？

かなりうざいんすけど。。

>>869
同意。3日に1個くらいなら我慢できる。

>>862
(atom ()) ==> T

そのうち面白くなるよ！

>>870
なるほど、
(atom? ())
は#tを返すね。
名著なのに、バグが残っているとは...

当り前のことばかり問題に出して面白いか?
君たちがやっているのは >>839 と同じレベルだぞ。

>>871
じゃあ、面白くなってから書き込んでくれ。