07/07/03 00:59:46
>>174
おまえ、親切だなｗ
176:デフォルトの名無しさん
07/07/03 01:31:07
>>173
任意のファイル開いて諸元の一部を表示して、入力欄の数値を使って解析して
結果を別の名前のファイルでしまうっていうタイプのよくある奴です。
入力欄に日本語のコメントつっこんだらLTKが毎回落ちるので orz
ATOK使ってるせいかもしれないけど。
177:デフォルトの名無しさん
07/07/03 01:46:55
>>176
lispuser.net のスクリーンショットでは LTK の日本語入力できていたようだけどなー。
文字コードの設定まちがってるとかない？日本語入れたいなら LispWorks も厳しいかもねぇ。
IME のインライン入力なんか対応してる気配ゼロです。
178:デフォルトの名無しさん
07/07/03 08:28:50
>>177
おはようございます。
ご指摘の通りエンコードでした、cp1250だからラテンになってました。
lispuser.netとかの記事とltk.lisp本体を参考にして次のようなフック組んだらなんとかなりました。
(defun wish-enable-japanese ()
(let* (( s (ltk:wish-stream ltk:*wish*))
( i (two-way-stream-input-stream s))
( o (two-way-stream-output-stream s))
( n (make-two-way-stream
(sb-sys:make-fd-stream
(sb-sys:fd-stream-fd i)
:input t :external-format *CURRENTENCODE*)
(sb-sys:make-fd-stream
(sb-sys:fd-stream-fd o)
:output t :external-format *CURRENTENCODE*))))
(setf (ltk:wish-stream ltk:*wish*) n)))
(pushnew 'wish-enable-japanese ltk:*init-wish-hook*)
set-external-formatとか(setf (external-format is))とかで処理できるかと思ったのですがﾃﾞｷﾏｾﾝでした。
ここで小一時間ほど時間を食ってしまいました（仕事に遅れるかと思ったです@通勤電車)
＃slimeからだとutf-8でlispファイルダブルクリックだとsjisなのもなんとかしたいなぁ。
Lispworksですがpersonal版はちゃんとime制御されていましたのでそんなに心配はしてないのですが、いかんせん今の円ドルレートだと送料込みで１６万超えるのでショボーンって感じです。
allegroは絶対安全なんですが、事業所内分のランタイムライセンス出せません（ｗ
179:デフォルトの名無しさん
07/07/03 08:43:45
うう、lispファイルダブルクリックだとエンコードが何になるのかわからないです > _ <
ltkの戻りはutf-8で食えばsbcl側で認識するんですが orz
コンパイル時のエンコードがどこかにあるのかな？
180:デフォルトの名無しさん
07/07/03 21:05:02
(setf sb-impl::*default-external-format* :cp932)
ググリまくって該当する解見つけました、
181:デフォルトの名無しさん
07/07/04 17:02:03
numberp とかの p は predicate の p ですか property の p ですか？
たぶんどっちもありかも知れませんが、
property の p だという記述を見つけて気になったもので。
182:デフォルトの名無しさん
07/07/04 17:05:39
predicateに決まってるじゃん。number propertyじゃ意味わからん。
183:デフォルトの名無しさん
07/07/04 17:12:21
>>182
URLﾘﾝｸ(nicosia.is.s.u-tokyo.ac.jp)
184:デフォルトの名無しさん
07/07/04 17:20:29
>>183
単なる間違いだと思うが
185:デフォルトの名無しさん
07/07/04 17:32:59
>>183
たんなるミスでしたか。predicate だと思ってたので、あれ？って感じで。
(数値の性質 obj) でも通じるかなぁと。
186:デフォルトの名無しさん
07/07/04 22:52:18
どんだけ肩書き補正かかってんだよ。 predicate ったら predicate ～
匿名の言う事よりも肩書を信じたいなら、GLS も predicate の略だといっている、と覚えよう。
187:デフォルトの名無しさん
07/07/04 23:54:50
俺の本にも述語(predicate)って書いてあるよ。
188:デフォルトの名無しさん
07/07/07 12:19:17
>>163-164
ちょっと効率よくしてみた
(defun solve-abura (a b c)
(let* ((*capacity* (list a b c))
(target-amount (/ a 2))
(*goal-p* #'(lambda (state) (= (count target-amount state) 2)))
(start (list a 0 0)))
(catch 'solved (abura (list start)))))
(defun abura (goal-stack)
(let ((state (first goal-stack)))
(cond
((funcall *goal-p* state) (throw 'solved (reverse goal-stack)))
((member state (rest goal-stack) :test #'equal) nil)
((some #'(lambda (amt cap) (> amt cap)) state *capacity*) nil)
(t (dolist (s (successors state))
(abura (cons s goal-stack)))))))
違うのは catch, throw を使うようにしたところ。
これで abura の再帰呼び出し部分の reduce, mapcar がなくなった。
あとは lset も copy-seq と破壊的操作にすると少しだけ空間効率がよくなるみたい。
189:デフォルトの名無しさん
07/07/07 16:15:51
質問です。
対話によるCommon Lisp入門 栗原正仁 著
p103で
(defun to (b) (< (random 1.0) b))
という関数toが出てくるのですが、
これが副作用を持つと書いてあります。
どこに副作用が有るのでしょうか?
190:デフォルトの名無しさん
07/07/07 16:17:29
>>189
random
191:デフォルトの名無しさん
07/07/07 22:39:11
え、randomって副作用なんですか?
副作用ってsetfで変数に値を代入したり、
defunで関数が使えるようになる事じゃないんですか?
192:デフォルトの名無しさん
07/07/07 22:46:39
randomは疑似乱数列を返す。つまり、どういう順序でどういう数値が返るのか
あらかじめ決定している。従って、randomを呼ぶか呼ばないかによって、次の
randomで返る値は変化する。これを副作用と呼ばずして何を副作用と呼ぶ？
193:デフォルトの名無しさん
07/07/07 22:56:50
ははぁ、成る程!
分かりました!
194:デフォルトの名無しさん
07/07/07 22:57:19
引数が同じなら何度呼んでも結果が変わらないのが副作用のない関数だよ。
したがって random には副作用がある。
195:デフォルトの名無しさん
07/07/07 23:02:23
こんなに詳しく解説していただいて感動です。
精進します。
196:169
07/07/07 23:29:11
>>170, 172
返答どうもです。とりあえず、(asdf:oos 'asdf:load-op :htmlgen)もしくは(require :htmlgen)
で、何やらいろいろ読み込んでいるメッセージがでます。そのあと、サンプルファイルtest.clをloadしたいのだけど、
失敗します。test.clはファイルの先頭行で
(defpackage :user (:use :htmlgen))をしているのだけど、(load "test.cl")したときに、
----ここから
debugger invoked on a SB-KERNEL:SIMPLE-PACKAGE-ERROR:
The name "HTMLGEN" does not designate any package.
Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.
restarts (invokable by number or by possibly-abbreviated name):
0: [ABORT] Exit debugger, returning to top level.
(SB-INT:%FIND-PACKAGE-OR-LOSE "HTMLGEN")
----ここまで
というエラーがでます。"HTMLGEN"というパッケージは存在しないという
内容のように見えますが、これはつまり最初の読み込みがうまく行ってないということでしょうか?
197:169
07/07/07 23:30:13
>>196の続き
htmlgen.asdファイルは以下のようになってます。
----ここから
kengo@Somali:/usr/share/common-lisp/source/htmlgen$ view htmlgen.asd
;;; -*- mode: lisp -*-
(defpackage #:htmlgen-system
(:use #:cl #:asdf))
(in-package #:htmlgen-system)
(defclass acl-file (cl-source-file) ())
(defmethod source-file-type ((c acl-file) (s module)) "cl")
(defsystem htmlgen
:author "John K. Foderaro"
:licence "LLGPL"
:default-component-class acl-file
:components ((:file "htmlgen"))
:depends-on (acl-compat)
:perform (load-op :after (op htmlgen)
(pushnew :htmlgen cl:*features*)))
----ここまで
まずasdfについて勉強しないと駄目なのかな・・・さっぱりわからん。。
198:デフォルトの名無しさん
07/07/07 23:38:24
>>194
> 引数が同じなら何度呼んでも結果が変わらないのが副作用のない関数だよ。
ちょっと語弊があるんじゃないか？
結果って書くと普通は戻り値と解釈されることが多いが、戻り値が一定でも
副作用のある関数を書くことはできる。
逆に現在時刻を返す関数等は副作用があるとは言わないと思うし。
199:デフォルトの名無しさん
07/07/07 23:47:54
横レスだけど、
>逆に現在時刻を返す関数等は副作用があるとは言わないと思うし。
全く同じ引数を渡したのに毎回異なる結果（現在時刻）を返すのであれば、
参照透明が崩されるので副作用があると思います。
現在時刻に合わせて変動する環境へのポインタみたいなのを引数に渡す
様になっていればその限りでは無いと思いますが。
200:デフォルトの名無しさん
07/07/08 00:36:21
>>196
ubuntuのだとhtmlgenのパッケージ宣言がnet.html.generatorになっていてtest.clと異なるからダメポみたいだね。
取り合えずこうやって呼び出しパッケージ変更すると先にはいけます
(require :htmlgen)
(defun simple-table-a ()
(with-open-file (p "test.html"
:direction :output
:if-exists :supersede)
(net.html.generator:html-stream p ;;net.html.generator:パッケージを指定
(:html
(:head (:title "Test Table"))
(:body (:table
(:tr (:td "0") (:td "0"))
(:tr (:td "1") (:td "1"))
(:tr (:td "2") (:td "4"))
(:tr (:td "3") (:td "9"))
(:tr (:td "4") (:td "16"))
(:tr (:td "5") (:td "25"))))))))
でもこれよりhtml-templateの方が使いやすい気がするんだけどそれじゃいやなのかな？
#実はcgiでlisp使おうとしてるんで学習がてらです。
#ちっともlisp自体には詳しくないです。
201:200
07/07/08 00:37:43
うぐ、コードはtest.clの物です、インデントは脳内で補間してください
202:デフォルトの名無しさん
07/07/08 00:42:57
副作用という単語の定義の問題だと思う。個人的には時間取得関数を「副作用がある」と言う
のには抵抗を感じる。便宜的に「副作用がある」と宣言して、ある種の最適化を抑止しなければ
ならないケース（言語）は多いと思うけど。
上記の乱数の例についても、もし予測不能な「真の乱数」（物理乱数）を返す関数だったらどう
だろう、とか考えてしまった。（混乱させてしまったらごめんなさい）
203:デフォルトの名無しさん
07/07/08 01:07:57
>>202
(setf a (f x))
こう書いたときにaが常に一意に決まる関数は副作用が無い。
aの結果が変わることを無視すれば副作用は無いように
見えるかもしれないけど
副作用の無い関数を組み合せた結果
副作用のある関数が作りうるのは副作用が無いといえないのではないか？
と、この観点では真の乱数は副作用があって、
疑似乱数で必ず種を受けとらないと動作しないものは副作用の無い関数として
扱ってよいと考える。
オプショナルで省略されたデフォルトグローバルな種を書き換えるかどうかは
この場合あまり重要ではない。
参照透明性とか言っている人はこういう風に考えているんじゃないかなと思った。
違ったらスマヌ
204:デフォルトの名無しさん
07/07/08 01:10:26
>>196
> (defpackage :user (:use :htmlgen))をしているのだけど、(load "test.cl")したときに、
(defpackage :user (:use :cl :net.html.generator))
とすればいいよ。asd の定義は Makefile のプロジェクト名とターゲット指定相当なんで
実際の CL におけるパッケージ名とは別。パッケージ名は net.html.generator 。
というかそのパッケージにはドキュメントついてこないのか。ヒドいなぁ…
205:デフォルトの名無しさん
07/07/08 01:11:21
思考実験をする前に、脳内定義を外界と摺り合わせしておくのも悪くない事だと思う
サンプルとして、純粋関数型言語オタクの言う副作用はこんな感じ
URLﾘﾝｸ(www.sampou.org)
206:デフォルトの名無しさん
07/07/08 01:54:47
wikipediaの副作用の項にある
1. 同じ条件を与えれば必ず同じ結果が得られる
2. 他のいかなる機能の結果にも影響を与えない
が良く分からん。
1は当然として(パソコンの時間が狂ってたらアレだけれど)、
2はどういう意味なんだ?
上の例だと時間取得関数は、その戻り値(時間)を使用した
関数の結果には影響を与えるから副作用を持つ?
207:デフォルトの名無しさん
07/07/08 02:16:33
>>206
2. は（上記疑似乱数の例のように）その関数を呼び出すことによって、その後に呼び出す関数の
動作が変化しないという意味じゃないかな。例えば上の疑似乱数の例は呼び出すことによって乱数
の系列がずれてしまうので副作用がある。
（正直、君の言っている意味のほうが理解できない）
208:デフォルトの名無しさん
07/07/08 02:20:03
その関数呼び出しによってほかの場所に影響をあたえる、ってのが副作用じゃない？
random を一回呼び出すと次の random 呼び出しに影響を与えるけど、
時刻取得関数を呼び出しても次の時刻取得関数には影響をあたえない。
戻り値は『ほかの場所』じゃないから気にしなくていいんじゃないかな。
って書いてたら >>206に先を越された。
209:デフォルトの名無しさん
07/07/08 02:20:40
>>206 じゃなくて >>207
210:デフォルトの名無しさん
07/07/08 02:28:09
>>206
ぶっちゃけ状態を扱う関数はみんな副作用がある関数と言える
１．が状態を取り出す
２．が状態を書き換える
副作用というと書き換えるほうをイメージしちゃって>>202みたいに思っちゃう人が多い
211:デフォルトの名無しさん
07/07/08 02:31:14
>>199
全く同じ引数を渡した時に同じ結果を返す（いわゆる「純関数」である）というのは副作用とは別の概念じゃないかな。
例えばグローバル変数の値を返すという関数は「純関数」ではないが「副作用がある」とは一般には言わないと思う。
時間を返す関数もこれと同じだよね。
もちろん、副作用のある関数は（たとえ同じ引数に同じ結果を返しても）「純関数」とは呼ばないだろうけど。
212:デフォルトの名無しさん
07/07/08 02:33:05
>>210
ああ「取り出すほうも副作用と呼ぶ」のか。議論がかみ合わない理由がわかった。
日本語的には激しく抵抗があるが、そういう定義は一般的なの？
213:デフォルトの名無しさん
07/07/08 02:42:11
関数型言語屋はそういう定義を使うことが多いね（偏見かな）
214:デフォルトの名無しさん
07/07/08 04:52:39
>>212
日本語的にとかいい出すなら、参照透明でないものを関数と呼ぶ方が抵抗あるだろ……。
215:デフォルトの名無しさん
07/07/08 05:51:37
Lispってこんなこともできねーの？
216:デフォルトの名無しさん
07/07/08 09:07:59
>>214
副作用って一般的にも使うし、そもそも「作用」の一般的な意味が
| (1)他に力や影響を及ぼすこと。また、そのはたらき。
| 三省堂提供「大辞林 第二版」
だから、「取り出すほうも副作用と呼ぶ」なんて言うのは違和感が
あるのはしょうがない。
対して、参照透明なんて普通の人はあまり使わんから、どんな定義
でも「はあそういう定義ね。」っで終わり。
専門用語と一般的に使われる言葉の意味が異なることは珍しくないよ。
217:デフォルトの名無しさん
07/07/08 09:33:01
いや、>>214が問題にしてるのは「参照透明」じゃなくて「関数」の方だと思う。
普通は関数っていったら数学の関数を想像するだろ？
218:デフォルトの名無しさん
07/07/08 10:23:20
参照透明の定義をよく知らない人にとっては、「参照透明でないものを関数と呼ぶな」
って言われたら、「ふ～ん、そうなんだ。」って思うだけで別に違和感を感じる余地
はあまりない。
「普通は関数っていったら数学的な関数を想像するだろ」とか書いてるけど、関数と
言う言葉のイメージって結構ばらばらなのはこの板の連中なら知ってて当然だから、
このスレではそういう(=「参照透明でないものは～」と言う) 定義なんだと理解でき
るだろうと思う。
219:デフォルトの名無しさん
07/07/08 10:35:44
>>218
参照透明という言葉を知ってるかどうかは関係ない。
printfみたいなのを関数と呼ぶ時点で慣れない人(非プログラマとか)には違和感があるだろ。
「副作用」という言葉が慣れない人にとって違和感のある意味で使われているのも、
「関数」という言葉の場合と同じ構造だ、って主張だと思うが。
220:デフォルトの名無しさん
07/07/08 12:53:05
副作用のあるものも含めて「関数」と呼ぶのはソフトウェア業界全体に普及している表現だが、
「副作用が無い」を「参照透明」の意味で使うのはそれほど一般的ではないと思う。
221:デフォルトの名無しさん
07/07/08 15:12:09
副作用の有無と参照透明性の有無は別々の話。関係はあるけど。
俺は「副作用」が>>210の意味で使われるのって普通じゃないと思うんだけど
そういう意味で使われている文脈って例えばどういうの?
222:デフォルトの名無しさん
07/07/08 15:19:05
>>221
>>213
223:デフォルトの名無しさん
07/07/08 15:58:07
gccのinfo、関数のattributeの説明から
> `const'
> Many functions do not examine any values except their arguments,
> and have no effects except the return value. (中略)
>
> The attribute `const' is not implemented in GCC versions earlier
> than 2.5. An alternative way to declare that a function has no
> side effects, which works in the current version and in some (後略)
この "a function has no side effects" が意味するものは当然これ。
> Many functions do not examine any values except their arguments,
> and have no effects except the return value.
224:169
07/07/08 17:07:58
>>200,>>204
おーー。できました！
どうもありがとうございます。
net.html.generatorというのは、htmlgen.clの先頭で
defpackageしている名前のことですね。
html-templateっていうのもあるんですか。
何がメジャーとかぜんぜん知らないんで一番最初に見つけたhtmlgenで
とりあえずやってみました。他にもlmlとか言う名前のhtmlテンプレートも
あったような気がする。いろいろあってわからんです
225:デフォルトの名無しさん
07/07/09 00:31:09
>>222
具体的に例えばどれ?
226:デフォルトの名無しさん
07/07/09 00:40:56
ごめ223見てなかった。Thanks.
227:デフォルトの名無しさん
07/07/09 21:24:17
CLISPでのデバッグ方法を解説している日本のサイトはないでしょうか？
228:デフォルトの名無しさん
07/07/09 23:49:25
どんなバグなのかによるんじゃないかな。バグ入り関数の例とか示せる？
229:デフォルトの名無しさん
07/07/10 08:45:11
URLﾘﾝｸ(www.kmonos.net)
これの、Curry-Howard Isomorphismの項なんだけれど、
これをCLでやるにはどうすればいいんだろう。
(a かつ (aならばb)) ならば b
が
haskellで
Prelude> :t ¥x -> (snd x) (fst x)
¥x -> (snd x) (fst x) :: (a, a -> t) -> t
らしいんだが、CLならどう書けばよいのかHaskellに詳しくないからさっぱり。
そもそもHaskellの::に相当する構文が無いからCLには無理?
230:デフォルトの名無しさん
07/07/10 09:03:24
CL には直積型がないからね
cons で代用するとこうかな
(lambda (x) (funcall (cdr x) (car x)))
231:デフォルトの名無しさん
07/07/10 09:09:01
そのまま (defun hoge (x) (funcall (cdr x) (car x))
普通にカーリー・ハワード対応で調べればいいのに。
232:デフォルトの名無しさん
07/07/10 09:16:29
>>230
(lambda (x) (funcall (cdr x) (car x)))
が
:t ¥x -> (snd x) (fst x)
に対応しているのは分かるんだけれど、
このラムダ式が定義できる事が、証明した事になるのかな?
233:デフォルトの名無しさん
07/07/10 09:28:45
>>232
> このラムダ式が定義できる事が、証明した事になるのかな?
疑問点がいまいちわかんない。
直観主義命題論理の証明と Lisp の関数とが対応するかということなら、
少なくとも上に書いたような方法では対応させられないと思う。
234:デフォルトの名無しさん
07/07/10 09:34:14
いや、証明に対応する関数は書けるか。
関数を書いても対応する証明があるとは限らない。
例えばこういうのは、対応する証明が命題論理の範囲にはない。
(lambda (x) (funcall x x))
235:デフォルトの名無しさん
07/07/10 09:41:03
>>233
>直観主義命題論理の証明と Lisp の関数とが対応するかということなら、
>少なくとも上に書いたような方法では対応させられないと思う。
残念、無理なのか。
いや、カーリー・ハワード対応という言葉を今回初めて知って、
(Lispで数式証明のアプリケーションが有るのは知ってるけれど)
んで、(a かつ (aならばb)) ならば bを証明してみたいなぁと思った訳です。
236:デフォルトの名無しさん
07/07/10 13:47:03
>>235
(lambda (x) (funcall (cdr x) (car x)))
を満たすようなxの値が存在することが証明に対応、
つまりそんなxを一つ挙げればいい……んじゃなかったっけ? うろ憶え。
237:デフォルトの名無しさん
07/07/10 16:38:25
静的な型がないと駄目だな。
\x -> x xはHaskellでは型エラー。
238:デフォルトの名無しさん
07/07/10 22:14:43
(defun hoge (a b)
(if (and a (eql a b)) b
nil))
じゃ、ダメなのかな?
っーかこの分野って、やってる人少ないのかな?
あんまりレスないね。
ここの人、こんなこと好きそうなイメージなんだけれど。
239:デフォルトの名無しさん
07/07/11 00:51:45
Cで書いたプログラムとCLispで書いたプログラムを
互いに通信させたいんだけど，そういった場合ってやっぱSocket？
何かいいライブラリとかありませんかね
240:200
07/07/11 01:40:07
通信だとsocketですが、お互いのやり取りの中身が直接呼び出しだったり、共有メモリでなんとかできるのならCFFIあたりを使ってみてはどうですか？
OpenGLの呼び出しとかで使われてるやつです。
241:デフォルトの名無しさん
07/07/11 04:06:54
>>238
本スレ行ったほうがいいかもね。
その手の話はスキーマーのほうが乗ってくる。
242:デフォルトの名無しさん
07/07/11 09:27:13
>>238
λ計算は知ってるけど、Lisp とはそれほどきれいに対応しないと思う。
ちなみにそのコードは Curry-Howard とはぜんぜん関係ないような。
243:デフォルトの名無しさん
07/07/13 00:19:32
(format t "~X ~X~%" a b)とやって
#(69) 69
と表示されるんですが，同じ数値でも片方に#()がついてしまいます．
これってただの数値じゃないってことですか？
その成果，後々にa = #x69とやってもTになってくれません
aは
(let ((a (make-array 1 :element-type '(unsigned-byte 8)))))
とかやって
EXT:READ-BYTE-SEQUENCEとかで読み込んだ値なんですが．．．
244:デフォルトの名無しさん
07/07/13 00:24:36
>>243
ただの数値じゃないんですよ。配列ってわかります？
245:デフォルトの名無しさん
07/07/13 00:27:13
>>244
それだ！
246:デフォルトの名無しさん
07/07/13 21:41:29
Lispの練習問題を探していて
Define show-list to act like Lisp's PRINT, except that it should print
square brackets instead of parentheses. (Printing to a string and
replacing parentheses doesn't count.)
Both functions should be able to print any S-expression, including
atoms.
> (show-list '(a b c))
→ [A B C]
ってのを見つけました。
これを、"ANSI Common Lisp"の第3章までの知識で解きなさい、ってんですけ
ど、オジサンの頭ではどーにもなりません。
そのものズバリでなくても、ヒントとか考え方とか教えていただけないでしょ
うか？
247:デフォルトの名無しさん
07/07/13 22:14:08
SBCLでcompile-fileしてもあんまり速くならないんですが、
何か他に速くする手段てあるでしょうか？
248:デフォルトの名無しさん
07/07/13 22:39:40
>>246
1. 全てのS式を表示だからatomの場合、consの場合、nilの場合で場合わけすることになるはず。atomとnilは自明。
2. consの場合の表示を分解すると括弧の表示＋最初の要素を表示（要素はさらにconsかもしれない）＋残りの表示＋括弧閉じになるはず。
3. この「残りの表示」を別関数で定義してみる。（←ここがポイント）
4.「残りの表示」の場合わけもさっきと同様になる。
5. ここでconsの場合の処理はやっぱり「最初の要素について（これもconsかもしれない）」「残りについて」になる。
249:デフォルトの名無しさん
07/07/13 22:42:50
説明下手糞？
250:デフォルトの名無しさん
07/07/13 22:48:00
ごめん、代わりに頼むよ
251:デフォルトの名無しさん
07/07/14 00:35:32
>>248
おぉ、早速ありがとうございます。
参考にしていろいろいじってみます。
日本語で読むと簡単そうに見えるんだけどなぁ。
(defun show-list (lst)
(if (null lst)
lst
(if (atom lst)
:
って感じでいいんですよね？
252:デフォルトの名無しさん
07/07/14 00:55:32
配列とか構造体とか () 使うのはほかにもあるけど
symbol と cons だけでいいのかな
>>251
> (if (null lst)
> lst
"nil" って文字列を印字しなきゃいけないんでないの？
253:246
07/07/14 09:21:45
>>252
あぅ。やっちまった orz
自分で言っといて...
(defun show-list (lst)
(format t "~A" (rec-show-list lst)))
(defun rec-show-list (lst)
if (null lst)
lst
：
なんてのを考え中。
254:デフォルトの名無しさん
07/07/14 10:16:14
>>247
sbclはコンパイラのみの処理系だから、ソースをロードしても実行時には
コンパイルされていると思う。だから差を感じられないということじゃないかな。
255:デフォルトの名無しさん
07/07/14 13:51:28
>>253
その設計は無理があると思う
だって format って () 使うじゃん
256:デフォルトの名無しさん
07/07/14 17:59:26
>>246
問題が「show-listを作れ」ってなってるのがミスリーディングかも。
任意の式を出力する関数show-exprを作れ、が普通じゃなかろうか。
ただしリストの表示にはパーレンの代わりにブラケットを用いる。
257:246
07/07/14 19:44:08
なんか盛り上がってるし(^^;)。
>>255
> だって format って () 使うじゃん
ごめんなさい。これ分かりません。
format使うと必ず()がつくってこと？
>>256
"ANSI Common Lisp"の3章の練習問題なので、そこまでの知識で解かないとい
けないのかな、と思ってます。
出力用の関数はformat、データ形式もリスト(とアトム)のことだけ考えればい
いのかと。
258:255
07/07/14 20:17:05
>>257
たとえば
(format t "~A" x)
で
[a b c]
が出力されるような x ってどんなもの？
ところでリストでもアトムでもないオブジェクトってあったっけ
259:デフォルトの名無しさん
07/07/14 23:18:09
んん？問題は良い問題なのになんか根本的に間違った方向にいってないか？
S-式は、リストと思わずに木(ツリー)と思った方がいい。
で、木の要素を順番に辿る。木の要素が atom か consp かで場合分け。
consp だったら、 まず [ を出力し、hogehoge の処理をして最後に ] を出力する。
任意の入れ子になった木を出力できないと行けないんだから、
hogehoge は言わなくても分かるな？
260:デフォルトの名無しさん
07/07/15 00:39:44
要するにwrite相当を実装しろってことでしょ？
(defun write-list(exp)
(princ "[")
(loop (if (not (consp exp)) (return))
(write (car exp))
(setq exp (cdr exp))
(if (consp exp) (princ " ")
(if (not (null exp))
(progn (princ " . ") (write exp)))))
(princ "]"))
(write-list '(a b c . d))
[A B C . D]
write本体は自分で考なよおじさん
ちなみに俺もCommonLisp初めてなんだけど、
whileって無いみたいね。
上の(loop (if (not (consp exp)) (return)) ～ )
てかなりﾏﾇｹな気がするんだけど、もっと簡単にできない？
whileがあれば(while (consp exp) ～)で済むのに
261:デフォルトの名無しさん
07/07/15 00:40:40
doがあるよ
262:デフォルトの名無しさん
07/07/15 00:44:46
これでしょ？
(defmacro while (condition &body body)
`(do () ((not ,condition)) ,@body))
でもdoはなんとなくｷﾓｲんだよな…
263:デフォルトの名無しさん
07/07/15 01:57:06
ループの話題で思い出したけど、
最新版のSBCLで以下のコードがn=5000程度で死ぬんですが、
末尾再帰の最適化はしてくれないんでしょうか？
(defun w(n)
(labels ((x (n) (write n) (if (> n 0) (y (- n 1)) ))
(y (n) (write n) (if (> n 0) (z (- n 1)) ))
(z (n) (write n) (if (> n 0) (x (- n 1)) )))
(x n)))
(w 5000) ;程度で死ぬ
schemeでは
(define (w n)
(letrec ((x (lambda (n) (write n) (if (> n 0) (y (- n 1)))))
(y (lambda (n) (write n) (if (> n 0) (z (- n 1)))))
(z (lambda (n) (write n) (if (> n 0) (x (- n 1))))))
(x n)))
(w 10000000000) ;nをいくら大きくしてもOK
264:デフォルトの名無しさん
07/07/15 02:46:34
>>258
3 章までとか言われてもよくわかんないけど、princ くらいはあるのかな？
考え方：
0. リストがわたってくる
1. [ を表示
2. 各要素を表示
2-1. 要素がもうないなら終わり
2-2. 要素を一個表示して 2. へ
3. ] を表示
(defun show-list (lst)
(princ "[") ; 1
(show-list-contents lst) ; 2
(princ "]")) ; 3
(defun show-list-contents (lst)
(cond ((null lst) ; 2-1
nil)
(t ; 2-2
(princ (car lst))
(show-list-contents (cdr lst)))))
265:264
07/07/15 02:48:28
264 のリスト内のリストも [] で表示するのは課題としときます。
ヒント： 要素がリストなのかアトムなのかを判定して…
>>260
while の内部実装が do でキモいというなら↓でどうでしょう。
(loop while (consp exp) do ....)
これも嫌なら素直に Scheme を使ったほうがいいと思います。
>>263
SBCL 1.0.7 で disassemble して末尾再帰の最適化もされている事を確認しました。
(w 10000000000) も普通に動いてるようですが。
266:デフォルトの名無しさん
07/07/15 03:24:34
>>263
ごめんWindows版だから1.0.6だった。
普通にインストーラで作成されるショートカットから起動して
>>263のコードをコピペ。
(w 10000)で
12840283928fatal error encountered in SBCL pid 2812:
GC invariant lost, file "gencgc.c", line 832
LDB monitor
ldb>
となって止まる。
今確認したら5000だとなんか完了したりもするので10000で。
6000辺りだとプロンプト'*'が連続表示して暴走した風になって、
タスクマネージャで見るとメモリをどんどん消費していくのが判る。
ほっとくとOS側(XP Pro. SP2)でメモリ不足のダイアログが出る。
Windows版特有なのかな・・？
267:デフォルトの名無しさん
07/07/15 03:25:23
ごめん上は>>265宛て
268:デフォルトの名無しさん
07/07/15 03:28:54
* (disassemble 'w)してみたけど、最適化掛かってるかわからないので
よければ鑑定お願いします。
; 0A626C8E: 8B45F0 MOV EAX, [EBP-16] ; no-arg-parsing e
ntry point
; C91: 8945F4 MOV [EBP-12], EAX
; C94: E9FB000000 JMP L14
; C99: L0: 8BDC MOV EBX, ESP
; C9B: 83EC0C SUB ESP, 12
; C9E: 8B55F4 MOV EDX, [EBP-12]
; CA1: 8B05586C620A MOV EAX, [#xA626C58] ; #<FDEFINITION object for WRITE>
; CA7: B904000000 MOV ECX, 4
; CAC: 896BFC MOV [EBX-4], EBP
; CAF: 8BEB MOV EBP, EBX
; CB1: FF5005 CALL DWORD PTR [EAX+5]
; CB4: 7302 JNB L1
; CB6: 8BE3 MOV ESP, EBX
; CB8: L1: 8B55F4 MOV EDX, [EBP-12]
; CBB: 31FF XOR EDI, EDI
; CBD: E84E979DF7 CALL #x2000410 ; GENERIC->
269:デフォルトの名無しさん
07/07/15 03:29:59
; CC2: 7302 JNB L2
; CC4: 8BE3 MOV ESP, EBX
; CC6: L2: 81FA0B001002 CMP EDX, 34603019
; CCC: 750F JNE L4
; CCE: BA0B001002 MOV EDX, 34603019
; CD3: L3: 8D65F8 LEA ESP, [EBP-8]
; CD6: F8 CLC
; CD7: 8B6DFC MOV EBP, [EBP-4]
; CDA: C20400 RET 4
; CDD: L4: 8B55F4 MOV EDX, [EBP-12]
; CE0: BF04000000 MOV EDI, 4
; CE5: E848959DF7 CALL #x2000232 ; GENERIC--
; CEA: 7302 JNB L5
; CEC: 8BE3 MOV ESP, EBX
; CEE: L5: 8955F4 MOV [EBP-12], EDX
; CF1: 8BDC MOV EBX, ESP
; CF3: 83EC0C SUB ESP, 12
; CF6: 8B55F4 MOV EDX, [EBP-12]
; CF9: 8B05586C620A MOV EAX, [#xA626C58] ; #<FDEFINITION object for WRITE>
; CFF: B904000000 MOV ECX, 4
; D04: 896BFC MOV [EBX-4], EBP
; D07: 8BEB MOV EBP, EBX
; D09: FF5005 CALL DWORD PTR [EAX+5]
270:デフォルトの名無しさん
07/07/15 03:31:13
; D0C: 7302 JNB L6
; D0E: 8BE3 MOV ESP, EBX
; D10: L6: 8B55F4 MOV EDX, [EBP-12]
; D13: 31FF XOR EDI, EDI
; D15: E8F6969DF7 CALL #x2000410 ; GENERIC->
; D1A: 7302 JNB L7
; D1C: 8BE3 MOV ESP, EBX
; D1E: L7: 81FA0B001002 CMP EDX, 34603019
; D24: 7507 JNE L8
; D26: BA0B001002 MOV EDX, 34603019
; D2B: EBA6 JMP L3
; D2D: L8: 8B55F4 MOV EDX, [EBP-12]
; D30: BF04000000 MOV EDI, 4
; D35: E8F8949DF7 CALL #x2000232 ; GENERIC--
; D3A: 7302 JNB L9
; D3C: 8BE3 MOV ESP, EBX
; D3E: L9: 8955F4 MOV [EBP-12], EDX
; D41: 8BDC MOV EBX, ESP
; D43: 83EC0C SUB ESP, 12
; D46: 8B55F4 MOV EDX, [EBP-12]
; D49: 8B05586C620A MOV EAX, [#xA626C58] ; #<FDEFINITION object for WRITE>
; D4F: B904000000 MOV ECX, 4
; D54: 896BFC MOV [EBX-4], EBP
; D57: 8BEB MOV EBP, EBX
; D59: FF5005 CALL DWORD PTR [EAX+5]
271:デフォルトの名無しさん
07/07/15 03:32:07
; D5C: 7302 JNB L10
; D5E: 8BE3 MOV ESP, EBX
; D60: L10: 8B55F4 MOV EDX, [EBP-12]
; D63: 31FF XOR EDI, EDI
; D65: E8A6969DF7 CALL #x2000410 ; GENERIC->
; D6A: 7302 JNB L11
; D6C: 8BE3 MOV ESP, EBX
; D6E: L11: 81FA0B001002 CMP EDX, 34603019
; D74: 750A JNE L12
; D76: BA0B001002 MOV EDX, 34603019
; D7B: E953FFFFFF JMP L3
; D80: L12: 8B55F4 MOV EDX, [EBP-12]
; D83: BF04000000 MOV EDI, 4
; D88: E8A5949DF7 CALL #x2000232 ; GENERIC--
; D8D: 7302 JNB L13
; D8F: 8BE3 MOV ESP, EBX
; D91: L13: 8955F4 MOV [EBP-12], EDX
; D94: L14: E900FFFFFF JMP L0
; D99: 90 NOP
; D9A: 90 NOP
; D9B: 90 NOP
; D9C: 90 NOP
; D9D: 90 NOP
; D9E: 90 NOP
; D9F: 90 NOP
; DA0: CC0A BREAK 10 ; error trap
; DA2: 02 BYTE #X02
; DA3: 18 BYTE #X18 ; INVALID-ARG-COUNT-ERROR
; DA4: 4D BYTE #X4D ; ECX
;
NIL
272:265
07/07/15 04:08:49
>>266
あーそゆことか。コードはちゃんと最適化されてるが GC 回りのバグですね。
SBCL の Windows 版はまだ試験的なものなんで安定してないんだよ。
Windows な開発者も少ないしね。ごめんね SBCL にかわってごめんね
273:デフォルトの名無しさん
07/07/15 04:44:16
うーむ、GC周りのバグってことは、ちゃんとプロテクトされてない
ってことかな？結構いい加減ですね・・。
ちなみにclisp(clisp-2.41-win32-mingw-without-readline.zip)で
同じ様にcompileして実行しても、
*** - Program stack overflow. RESET
と出るんですけど、こっちは何とかなりませんかね。
274:デフォルトの名無しさん
07/07/15 08:15:12
俺も初心者ですが、こんなので合ってますか。
(defun show-list (lst)
(cond
((atom lst)
(format t "~A" lst))
(t
(format t "[")
(show-list (car lst))
(show-rest (cdr lst)))))
(defun show-rest (lst)
(cond
((null lst)
(format t "]"))
((atom lst)
(format t " . ~A]" lst))
(t
(format t " ")
(show-list (car lst))
(show-rest (cdr lst)))))
275:デフォルトの名無しさん
07/07/15 12:19:07
>>273
clisp について、(declare (optimize (speed 3))) とかしたらどうでしょうか。
URLﾘﾝｸ(www.lispworks.com)
今手元に環境がないんでちょっとあれでなにですが。
276:265
07/07/15 13:03:18
>>273
うーむ、experimental と明示されてる Windows 版をつかって、そゆこというのは
味付け前の料理をつまみ食いして「味が薄い!!」とシェフにクレームつけるようなもんだよ。
安定してる Linux/BSD プラットフォームでは動いてるし。原因も、そのメッセージだけじゃ
GC そのものかコンパイラの出力かは情報不足だしね。
>>275
ちょっとソースみてみたけど、CLISP のオプティマイザはそのケースを最適化しない。
選択肢としては商用のコンパイラを使うとか、スタイルを換えるとか…まぁ、素直に Scheme 使うといいと思います。
277:デフォルトの名無しさん
07/07/15 13:42:14
>>275
(defun w(n)
(declare (optimize (speed 3)))
(labels ((x (n) (write n) (if (> n 0) (y (- n 1)) ))
(y (n) (write n) (if (> n 0) (z (- n 1)) ))
(z (n) (write n) (if (> n 0) (x (- n 1)) )))
(x n))) としても
*** - Program stack overflow. RESET
は変わりませんでした。((optimize (space 3))等も試しました。)
(compile 'w)や、(compile-file "w.lisp")(load "w.fas")も同じ。
ソース中やdoc\impnotes.htmlにdeclare ～ speed
が見つからなかったので、対応してないのかな。
ちなみに
sbcl-1.0.7/src/runtime/gencgc.c:832 を見ると
gc_assert(alloc_region->start_addr == (page_address(first_page) + page_table[first_page].bytes_used));
で停止。ちょっと見ただけでは修正は無理そうです。
そもそも10000程度のループでgcが必要になるってのが、
よくわからない。本当に最適化が効いてるのか怪しいです。
例えば自作のscheme処理系では360セル程しか消費してないです。
その内 式'(w 10000)のコンパイル時に必要になるのがほとんどで、
式そのものを実行する準備に6セル、(w 10000)実行中は消費量ゼロです。
278:デフォルトの名無しさん
07/07/15 14:25:37
よくわからない→これま末尾再帰の最適化が効いていないに違いない、ね…
SBCL 使ったことねーけど cons セルの消費は write のI/O 周りとか boxing だろ？
正直、末尾再帰に納得しても #' とか健全マクロとかで「～は○○できないんですか？僕の自作 Scheme なら…」
とか無限ループになりそうなのであなたは Scheme 使っていたほうがいいと思います。
279:デフォルトの名無しさん
07/07/15 14:55:31
(defun x (n) (write n) (if (> n 0) (y (- n 1)) ))
(defun y (n) (write n) (if (> n 0) (z (- n 1)) ))
(defun z (n) (write n) (if (> n 0) (x (- n 1)) ))
(x 10000)
(defun w(n)
(labels ((x (n) (write n) (if (> n 0) (x (- n 1)) )))
(x n)))
(x 10000)
(defun x(n) (write n) (if (> n 0) (x (- n 1)) ))
(x 10000)
どのパターンもおかしくなるみたいです。
というか今更気付いたんですが、
(gc)を単体実行しただけで戻ってこない場合がありました。
これはちょっと使えるというレベルではありませんね・・。
>>276
すいません。Winで使うことしか頭になかったので。
仕事で使えるかなと淡い期待を持ってたんですが、、
速さこそ正義なCLの思想は好きなんですが、
今までどうにも環境に恵まれないです。
cmuclが動く*NIXな仕事に着きたいなあ・・
280:デフォルトの名無しさん
07/07/15 15:23:56
>>278
そうですね。確認したらwriteが馬鹿食いしてるみたいです。
nがfixnum範囲ならばOKな様です。
今回は代表的なCL処理系でも末尾再帰スタイルが
実用上無理な物があると確認できただけでも収穫でした。
まあ心配されなくともschemeに戻るでしょう。
281:デフォルトの名無しさん
07/07/15 16:00:04
すげぇ結論だな。ふつうは開発中のものは実用に耐えないっすね、となりそうなもんだが。まぁ煽りたかっただけなんだろなぁ…
282:デフォルトの名無しさん
07/07/15 16:04:13
結論ありきですから
283:デフォルトの名無しさん
07/07/15 16:57:09
>>281
clispのことでは
事実をただの煽りとして受け取った時点で
これ以上何も言うつもりはないけどさ
284:デフォルトの名無しさん
07/07/15 16:59:07
lisp脳の他にschemerには再帰脳の恐怖もあるよな…
285:デフォルトの名無しさん
07/07/15 17:02:28
やっぱloopの話題になると荒れるね
286:デフォルトの名無しさん
07/07/15 17:19:40
主要な処理系てclisp のことなのかよ。じゃあ sbcI については誤解はとけたのね。商用も大丈夫だし、わさわざ出来ない環境さがしてんのかとオモタｮ ｺﾞﾒﾝﾈ
287:デフォルトの名無しさん
07/07/15 18:58:55
scheme最強
288:デフォルトの名無しさん
07/07/15 19:00:19
>>287
氏ね
289:デフォルトの名無しさん
07/07/15 21:06:04
いい加減にSchemeはゴミだって認めようよ。
290:デフォルトの名無しさん
07/07/15 21:36:36
CLerから出てくる語彙が精一杯考えて氏ねとかゴミなのはよくわかったよ
291:デフォルトの名無しさん
07/07/15 21:38:55
スルー推奨
292:デフォルトの名無しさん
07/07/15 23:28:14
Schemeは子供用のおもちゃみたいなもの
293:デフォルトの名無しさん
07/07/15 23:30:13
>>290
巣へお帰りください
ｽﾚﾘﾝｸ(tech板)
294:デフォルトの名無しさん
07/07/15 23:40:38
RHELユーザが 「plan9はアプリが少ない」 って言ってるようなもの
295:デフォルトの名無しさん
07/07/16 21:01:29
質問です。
2つのリストを、それぞれシンボルの集合とみなして、
左のリストと右のリストが一致するかどうかを判定し、
一致するなら右のリスト中のシンボルのそれぞれの
左に対応する位置インデックスを得たいのですが、
一個一個線形探索するより効率の良い方法はあるでしょうか？
(set-compare-pos '(a b c) '(b c a))
=>(0 2 1) ; 一致したのでそれぞれの位置インデックスを返す
(set-compare-pos '(a b c) '(b c a d))
=>nil ; 一致しない
296:デフォルトの名無しさん
07/07/16 21:07:04
ごめんなさい間違えました。
(set-compare-pos '(a b c) '(b c a))
=>(2 0 1) ; 一致したのでそれぞれの位置インデックスを返す 。
これの意味は、
左の集合のaは、右の集合の2番目にある
左の集合のbは、右の集合の0番目にある
左の集合のcは、右の集合の1番目にある
です。
297:デフォルトの名無しさん
07/07/16 22:19:15
>>295
ハッシュテーブル使えば線形時間でできるんじゃないかな
298:297
07/07/16 22:27:48
重複がある可能性は考えてないけどこんなもんかな。
集合が一致してなきゃいけないってとこでややこしくなった。
(defun set-compare-pos (s1 s2)
(let ((table (make-hash-table :test 'eq)))
(dolist (x s1)
(setf (gethash x table) nil))
(do ((c 0 (1+ c))
(s s2 (cdr s)))
((null s))
(if (cadr (multiple-value-list (gethash (car s) table)))
(setf (gethash (car s) table) c)
(return-from set-compare-pos nil)))
(mapcar (lambda (x) (or (gethash x table)
(return-from set-compare-pos nil)))
s1)))
299:デフォルトの名無しさん
07/07/16 22:57:19
ごめんなさい重複は無い物と考えてくださって結構です。
よって、一致する条件では左右の集合は同じ長さになります。
hashテーブルの存在忘れてました！
ありがとうございます。
300:デフォルトの名無しさん
07/07/17 00:26:34
300ゲットー
>>274
良さそうだ。ま、実質同じだけど、ちょっと手抜きで関数一個で書けばこんなかな。
(defun fn (s)
(if (atom s)
(format t " ~a" s)
(progn (format t "[")
(fn (car s))
(mapcar #'fn (cdr s))
(format t "]"))))
301:デフォルトの名無しさん
07/07/17 01:41:21
>>300
(fn '(a . b)) が失敗しちゃうよ。
302:300
07/07/17 21:01:51
>>301
見落としてました……出なおしてきますorz
303:デフォルトの名無しさん
07/07/18 22:34:36
>>98と同じ質問なのですが
CommonLispでCGIを書きたいのですが、
requireすると標準出力にダラダラと出力されてしまって
(何かコンパイルとかシステムをロードうんぬんみたいなメッセージ)
CGIなのでそれがHTML画面に表示されてしまいます。どうすべきでしょうか?
CGI自体はshで、
sbcl --noinform --load hoge.fasl
としています。
eval-whenとかを使えばよいのではないかと思いついて、
(eval-when (:compile-toplevel) (require ...))
とか、試してみたんですが、エラーになってしまう模様。
:load-toplevelでは意味ないですよね??load時にrequireしたら結局出力が出てしまう・・・
どうすべきなんでしょうか？そもそもeval-whenは関係ない?
304:デフォルトの名無しさん
07/07/18 23:00:28
何回か出ているが、SBCL で CGI というのはオススメできない。
FastCGI にするか、mod_lisp をつかうか、huchentoot をつかうか、
ソケット経由でリクエストを SBCL プロセスに投げる CGI を C で書くとか
いろいろやりかたはあるけど、SBCL そのものを CGI として呼び出すのはやめとけ。
無理矢理強行しても Java で CGI とか Rails/CGI みたいな悲しいパフォーマンスになる。
305:デフォルトの名無しさん
07/07/18 23:04:50
で、 require のメッセージを出したくない場合は、必要なものを全部 require した状態で
(save-lisp-and-die "hoge.core") としてイメージを生成して起動時に
sbcl --core hoge.core --noinform --load ... とかする。
しつこいかもしれないが、SBCL そのものを CGI として呼び出すのはやめとけよ。
スケーラビリティからインタラクティブなプログラミングのメリット台無しまであらゆる意味でオススメできない。
306:デフォルトの名無しさん
07/07/19 00:29:12
一般論として、いまどき CGI というもの自体あまりお勧めではない
307:デフォルトの名無しさん
07/07/19 02:50:20
じゃあ何よ
308:デフォルトの名無しさん
07/07/19 04:18:14
あ・・・あじゃ・・・・
（↓ここで「アジャコング」とか書こうと思ったけどやるせなさ過ぎて止める奴）
309:デフォルトの名無しさん
07/07/19 05:32:01
アジャコンゲ
310:デフォルトの名無しさん
07/07/19 07:32:57
つaserve
sbclでちゃんと動くかは知らないけど。
311:デフォルトの名無しさん
07/07/19 18:27:27
ここで満を持して kahua 登場！ うわなにをｓ
312:デフォルトの名無しさん
07/07/19 22:17:54
何もシネーよ
313:デフォルトの名無しさん
07/07/19 22:53:41
Kahua って 304 のいう
> ソケット経由でリクエストを SBCL プロセスに投げる CGI を C で書くとか
に相当するのかな？
314:デフォルトの名無しさん
07/07/20 03:03:43
しない
315:デフォルトの名無しさん
07/07/27 18:44:26
ずいぶん前に、Windows版のsbclで日本語(sjis)が使えるようになったって
うわさを聞いたのですが、今使おうとしてもエラーが出ます。
うわさはデマだったのでしょうか？
316:デフォルトの名無しさん
07/07/27 18:46:41
心のきれいな人にしか使えないんです
317:デフォルトの名無しさん
07/07/27 19:16:56
そういうこと
318:デフォルトの名無しさん
07/07/27 19:31:30
>>315
死ね
319:デフォルトの名無しさん
07/07/28 01:20:00
>>318
こういうひとには使えません
320:デフォルトの名無しさん
07/07/29 23:04:55 0
(setf *trans-code*
'(("add" . #'(lambda () (format t "add")))
("sub" . #'(lambda () (format t "sub")))
("mul" . #'(lambda () (format t "mul")))
("xor" . #'(lambda () (format t "xor")))))
(setf x (cdr (assoc "add" *trans-code*
:test #'string=)))
(funcall x)
こうすると"add"と表示されることを期待したのですが，
FUNCALL: #1=#'(LAMBDA NIL (FORMAT T "add")) is not a function name; try using a symbol instead
[Condition of type SIMPLE-TYPE-ERROR]
となってしまいます．これは何がおかしいのでしょうか？
321:デフォルトの名無しさん
07/07/29 23:26:53 0
>>320
#' が ' の中にあるのでクォーティングされてしまっておるのだね。
`(("add" . ,#'(lambda ...
みたくするべし。
322:デフォルトの名無しさん
07/07/30 12:22:00
>>321
ありがとうございました．追加で質問したいのですが，
なぜ>>320のコードではうまくいかないのか良くわかっておりません．
できれば解説などを加えていただければ...おねがいします．
323:デフォルトの名無しさん
07/07/30 20:52:26
>>322
replで一行づつ打ちこめば自明じゃないか？
324:デフォルトの名無しさん
07/07/30 20:55:40
>>322
(print x) して両者を比べてみよう
CLISP だったらこうなる
#'(LAMBDA NIL (FORMAT T "add"))
#<FUNCTION :LAMBDA NIL (FORMAT T "add")>
ちょっとわかりにくいかもしれないけど上は
(FUNCTION (LAMBDA NIL (FORMAT T "add")))
というリストで、下はクロージャ。
325:デフォルトの名無しさん
07/07/30 21:33:37
>>322
#' とか ' とかってのは省略系にすぎないことを思い出そう。
あとは自分が read や eval になった気分でよく考えてみよう。
326:デフォルトの名無しさん
07/07/31 00:04:11
∩＿
〈〈〈 ヽ
〈⊃ }
∩＿＿＿∩ | |
| ノ ヽ ! !
/ ● ● | /
| ( _●_) ミ／ ＜こいつ最高にアホ
彡､ |∪| ／
/ ＿＿ ヽノ /
(＿＿＿） /
327:デフォルトの名無しさん
07/07/31 00:33:32
とは言っても俺ほどじゃないと思うけどな
328:デフォルトの名無しさん
07/07/31 00:47:14
CommonLispでGUI作るときってどういう風にしてるの？
329:デフォルトの名無しさん
07/07/31 00:51:28
GUIなんかいらねーよ
330:デフォルトの名無しさん
07/07/31 01:13:00
>>328
CLX が最強
331:デフォルトの名無しさん
07/07/31 08:11:15
なんか荒れまくってるなぁ。 >>328 商用の処理系は GUI ライブラリがついてくる。Allegro や LispWorks には GUI ビルダーも附属してるね。
フリーの処理系は Tcl/Tk とか Win32 API とか CLX とか OpenGL とか SDL みたいな低レベル API でがんばる。
332:デフォルトの名無しさん
07/07/31 11:28:52
どこもかしこも夏の香りが漂ってるな
333:デフォルトの名無しさん
07/07/31 11:46:33
フリーの処理系はffiがぶっ壊れてるから使い物にならんよ
334:デフォルトの名無しさん
07/07/31 11:46:52
>>328
OpenMCL なら Cocoa が使えたと思う
335:デフォルトの名無しさん
07/07/31 12:03:04
>>333
ドザ乙
336:デフォルトの名無しさん
07/07/31 16:51:37
>>333
フリーの処理系はソースあるんだから自分で直せばいいじゃん
337:デフォルトの名無しさん
07/08/01 01:02:14
おまいらありがとう。
>Tcl/Tk とか Win32 API とか CLX
>OpenMCLならCocoa
この辺は分かるけど
>OpenGL とか SDL
この辺になると自前でウィジェット作るの？
338:デフォルトの名無しさん
07/08/01 03:20:31
探せばいろいろあるらしいぜ。探してない俺にはわからんが。
339:デフォルトの名無しさん
07/08/01 09:37:29
そういえば McCLIM の事を忘れてた。
一応、標準 GUI ライブラリになる事を狙ってたんだよね。
340:デフォルトの名無しさん
07/08/01 17:49:10
{x=a} begin y=x; x:=x+y end{x=2a} を証明せよ。
341:デフォルトの名無しさん
07/08/02 22:23:54
ﾜｯﾊｯﾊｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
342:デフォルトの名無しさん
07/08/03 14:40:26
LispのGCの様子をヴィジュアルに見せてくれるツールとか
そういうものってないのですか？
自分のプログラムでGCがどんな風に動いてるのか見てみたいのですが...
343:デフォルトの名無しさん
07/08/03 16:04:15
大昔の話だが、中西先生のAPPLE LISPは見えたな。APPLE IIのエミュレータで動かんかな？ｗ
344:デフォルトの名無しさん
07/08/04 00:20:21
>>315
うわさだかデマだかを流した張本人です。
どんな環境でどのようなエラーが出るのでしょうか。
最近 2ch はあまり見てないので、sbcl-devel@ か、英語が苦手なら俺宛に
メールを貰えるとありがたいです。
>>316-317 >>319
以前手元でテストした時はちゃんと使えたので、心がきれいでなくても平気だと
思います。
345:デフォルトの名無しさん
07/08/04 00:29:32
心の汚い俺でも安心だな
346:デフォルトの名無しさん
07/08/04 02:52:20
>>342
和田先生はGCルーチンをデバッグするとき、
printf()を使うところまでは一般人同様なのだが、
それで出力するのは実はPostScriptで、
consセルが増えたり減ったりする様子を
ビジュアルに把握しながらデバッグしてた、という話を聞いたことがある。
347:315
07/08/04 02:54:56
>>344
WindowsXP sp2でバージョンは1.0.6のインストーラー版です。
症状は、コンソール上で実行したときには
* (print "あ")
"あ"
"あ"
*
と日本語が使えるのに、(print "あ")とだけ書いてあるmain.lispを用意して、
"C:\Program Files\Steel Bank Common Lisp\1.0.6\sbcl.exe" --load main.lisp
とすると、
This is SBCL 1.0.6, an implementation of ANSI Common Lisp.
More information about SBCL is available at <URLﾘﾝｸ(www.sbcl.org)
SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
This is experimental prerelease support for the Windows platform: use
at your own risk. "Your Kitten of Death awaits!"
348:デフォルトの名無しさん
07/08/04 02:55:49
debugger invoked on a SIMPLE-ERROR:
Error during processing of --eval option (LOAD #P"main.lisp"):
can't happen
This is probably a bug in SBCL itself. (Alternatively, SBCL might have been
corrupted by bad user code, e.g. by an undefined Lisp operation like
(FMAKUNBOUND 'COMPILE), or by stray pointers from alien code or from unsafe
Lisp code; or there might be a bug in the OS or hardware that SBCL is running
on.) If it seems to be a bug in SBCL itself, the maintainers would like to
know about it. Bug reports are welcome on the SBCL mailing lists, which you
can find at <URLﾘﾝｸ(sbcl.sourceforge.net)
Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.
restarts (invokable by number or by possibly-abbreviated name):
0: [CONTINUE] Ignore and continue with next --eval option.
1: [ABORT ] Skip rest of --eval options.
2: Skip to toplevel READ/EVAL/PRINT loop.
3: [QUIT ] Quit SBCL (calling #'QUIT, killing the process).
((LAMBDA (SB-IMPL::E)) #<SB-INT:BUG {A60A9D9}>)
0]
となる、というものです。
>英語が苦手なら俺宛にメールを貰えるとありがたいです。
メールしようにもアドレスが分かりません。
349:デフォルトの名無しさん
07/08/04 10:45:16
>>347
1.0.8 では直ってます。
Windows 版は
> This is experimental prerelease support for the Windows platform: use
> at your own risk. "Your Kitten of Death awaits!"
とあるように、まだ試験版なので、配布されてるバイナリは bootstrap 用
くらいに考えておいてください。
350:デフォルトの名無しさん
07/08/04 21:05:27
なぁ、>>1のパワーズって誰だ？？
351:デフォルトの名無しさん
07/08/05 01:26:01
>>346
かっこいい
352:デフォルトの名無しさん
07/08/05 06:57:04
CLOS の良い日本語解説書ってないかな?
bit別冊 Common Lisp オブジェクトシステム -- CLOSとその周辺
というのがいいらしいのだが、絶版で
URLﾘﾝｸ(www.fukkan.com)
あと、1 桁のところで、復刊リクエストまで行ってないんだ…orz
353:デフォルトの名無しさん
07/08/05 08:48:30
また懐かしい本だな…。今時売れねーんじゃねーか？
仕組はブラックボックスのままな HowTo 本は売れる世の中で、
メソッド探索のアルゴリズムだの実装まで触れてるような本が売れるとは思えん。
学生時代に読んで、いきなり「CLOS ではカプセル化なんてどうでもいいんですよ」的な出だしで
カルチャーショックを受けた経験あり。
354:デフォルトの名無しさん
07/08/05 10:01:04
>>352
俺はもう投票済みだわ
あと6人！
355:デフォルトの名無しさん
07/08/05 19:53:20
>>353
個人的には実装まで触れてるというのは、
単なる HowTo なんかよりよほど役立つと思うが、
CLOS 自体の需要が微妙だよな。
Ruby の Matz も推薦とか書けば、Ruby の勢いに乗って売れないか?
売れないか…
356:デフォルトの名無しさん
07/08/05 22:11:48
ところでCLOSってなんて読むの？
今まで「くろす」って読んでたんだけど昨日のLLだと「しーろす」って言ってる人がいた。
357:デフォルトの名無しさん
07/08/05 22:25:49
>>356
どっちでもいい、と件の本には書いてあったよ。
358:デフォルトの名無しさん
07/08/05 22:35:07
>>355
URLﾘﾝｸ(www.rubyist.net)
359:デフォルトの名無しさん
07/08/05 22:38:00
>>356
俺も「しーろす」と読んでるよ。
今まで誰とも CLOS の話をした事が無いから勝手読みだけど。
360:デフォルトの名無しさん
07/08/05 23:30:07
CLOSはシーロスだと思う。
対話によるCommon Lisp入門という本の
第12話 オブジェクト指向プログラミングのはじめに、
「データ抽象の話を押し進めて行くとオブジェクト指向プログラミング
という現代的で実用性の高いプログラミング手法となります。
Common LispにはCommon Lisp Object System(CLOS,シーロス)
という機能が有り,Lisp流のオブジェクト指向プログラミングを可能にしています」
と書いてあるから。
361:デフォルトの名無しさん
07/08/05 23:43:55
URLﾘﾝｸ(www.amazon.co.jp)
これが小さくて読みやすかったので
良いと思ったんだけど
同意された事が無い
362:デフォルトの名無しさん
07/08/06 00:17:05
クロスじゃない？
Ｃ－ＬＯＳ って感じに言葉が別れていないし
シーロスじゃどう考えても変だ
つーかどこかでクロスって注釈振ってある本読んだことあるぞ
363:デフォルトの名無しさん
07/08/06 00:17:56
どう考えても変だとは思わない
364:デフォルトの名無しさん
07/08/06 00:21:30
>>352
↓が定番だったんだが、これも絶版か。大事にしよう。
URLﾘﾝｸ(www.amazon.co.jp)
365:デフォルトの名無しさん
07/08/06 00:22:54
>>363
CMOS をシーモスと読むのと同じ感覚で言っちゃってる
あれは Complementary MOS だから良いけど COMON LISP の COMON で切るのは不自然
366:デフォルトの名無しさん
07/08/06 00:25:26
出版社自体が無くなっちゃったね
367:デフォルトの名無しさん
07/08/06 00:26:18
いっそおまいらCLOS本書け
368:デフォルトの名無しさん
07/08/06 00:26:23
>>366は>>364ね
>>365
別に不自然とは思わない
369:デフォルトの名無しさん
07/08/06 00:33:33
どっちでもいいって書いている文献があるというのに
お前らは何を決めようとしているんだ?
だいたい外国人は日本人みたいに発音とかこだわらんよ。適当。
370:デフォルトの名無しさん
07/08/06 00:43:20
「苦労す」 というダジャレがあるから
おれはクロース派
371:デフォルトの名無しさん
07/08/06 00:46:36
シーエルオーエスじゃだめなのか？
372:デフォルトの名無しさん
07/08/06 00:49:17
桶
373:デフォルトの名無しさん
07/08/06 00:55:43
>>368
不自然と思わない根拠は？
似たような例をあげて貰わないと
374:デフォルトの名無しさん
07/08/06 01:02:16
>>373
不自然と思う根拠を理解できない
ってきりがないぞ。>>369が言うようにどっちでもいいんだよ。
どちらかを不自然と思うのは神経症。
375:デフォルトの名無しさん
07/08/06 01:02:37
最近こことか眺めているんだがCLのコードはどうも長くなってしまうような
URLﾘﾝｸ(ja.doukaku.org)
376:デフォルトの名無しさん
07/08/06 01:06:43
>>374
>どちらかを不自然と思うのは神経症。
俺もそう思う。最近この手のやり取りが増えてる様な気がするが、どうしてだろう…
377:デフォルトの名無しさん
07/08/06 01:10:02
>>374
根拠は提示されているでしょ
意味のある単語を途中で切って分けている
正式ではどちらでもＯＫだろうが不自然なことは普通理解出来るはず
これが不自然じゃないというなら自然と思える、普通に使っている必要がある
自分は思いつかない、逆ならいくらでも思いつく、SRAM とか
だからそれを教えてくれと聞いているんだけど
これでも理解出来ない？
神経症とかはまぁ別にかまわないよ
378:デフォルトの名無しさん
07/08/06 01:16:32
夏なんだね
379:デフォルトの名無しさん
07/08/06 01:37:15
MPEG(Moving Picture Experts Group)
380:デフォルトの名無しさん
07/08/06 01:45:53
JSON(JavaScript Object Notation)
381:デフォルトの名無しさん
07/08/06 01:47:42
OLAP(OnLine Analytical Processing)
382:デフォルトの名無しさん
07/08/06 01:57:24
すみませんでした
いっぱいありました
383:デフォルトの名無しさん
07/08/06 05:42:34
slimeのビデオを見てたら途中ミニバッファからコマンド
を送っているところがあったのですが、これはslime、処理系
どちらに対して送っていることになるのですか。
helpと打つとslimeのヘルプが表示されるようですし、
change-packageと打つとパッケージが変わるようなので。
また、ミニバッファのCOMMAND:というプロンプトはどの
キーにバインドされているのでしょうか
（コマンド自体はEmacsの機能？）
一応、マニュアルを見てみたのですがこの辺に触れていなかった
ので質問させていただきました。
CLOSで盛り上がってるところすみません。
384:デフォルトの名無しさん
07/08/06 07:53:25
>>375
「無駄に」長いと思うなら直してやれば？俺はコードの圧縮はアセンブラでなら
楽しいけど Lisp のコードを圧縮するよりは見易いほうがいいな。
>>383
, キーだよ。これは SLIME のコマンドだけど、 SLIME が処理系に SWANK 経由で
コマンド送るので change-directory とか処理系も反応する。
385:デフォルトの名無しさん
07/08/06 21:21:16
383です。
> SLIME が処理系に SWANK 経由で
なるほど、そういうことですか。
私の環境 WinXP+Emacs 22.0.50.1+SLIME 2006-12-12 ですが
change-directory 反応してくれました。
384さん ありがとうございました。
386:デフォルトの名無しさん
07/08/06 21:30:54
383です。
忘れてました。SBCL 1.0.6 です。
387:352
07/08/08 00:21:05
多分このスレを見てくれた人だと思うんだが、何人か投票していただいたようで、thx
票数表示が会員限定なんで具体的な数は書かないけど、あと、数票で 100 票です。
登録に個人情報が要るんでめんどくさいんだけど、もし良かったら、投票してやってください。
388:デフォルトの名無しさん
07/08/09 11:40:39
恥を忍んでおたずねします。
最近、Lisp始めたばかりなのですが、
SBCLで関数のパラメータ（引数一覧）を出力する関数が
あるようなのですが、
(documentation 'hoge 'function)
するとパラメータではなく、関数自体の説明しか出てきません。
SBCLのみの機能みたいなのでmanualに書いてあるだろうと
目を通しましたがわかりませんでした。
出力の仕方を教えていただけると幸いです。
389:デフォルトの名無しさん
07/08/09 18:25:08
>>388
URLﾘﾝｸ(www.lispworks.com)
390:デフォルトの名無しさん
07/08/09 21:06:13
>>389
ありがとうございました
391:デフォルトの名無しさん
07/08/12 10:40:21
closの読み方はクロスでもシーロスでもok. この辺は、ukの大学のサイトにあがってる
closのチュートリアルの冒頭に読み方として２つがあげられてるくらいです。
392:デフォルトの名無しさん
07/08/12 10:47:10
これのこと
URLﾘﾝｸ(www.aiai.ed.ac.uk)
>CLOS stands for Common Lisp Object System and is pronounced "see loss" or "kloss".
393:デフォルトの名無しさん
07/08/12 11:05:46
発音記号ってネイティブはあんま知らなかったりするのか？
394:デフォルトの名無しさん
07/08/12 11:17:15
むしろ発音記号がその言語を全然知らない人でも理解できる用じゃね?
自分の母国語の発音を発音記号で理解してる奴はあまりいないんじゃないか。
ネイティブ向けの辞書でも発音記号じゃなくて「そう読めるスペル」で
示してるものもあるよ。その方が発音記号よりもピンときやすいのは自然だろう。
395:デフォルトの名無しさん
07/08/12 12:38:09
>>393
言語学とかの専門家でないと知らなかったりする。
日本のように義務教育で教えている国は珍しいのではないかな。
396:デフォルトの名無しさん
07/08/12 13:23:37
>>395
言語学の専門家が使うのはIPAだし、
日本の義務教育で教えている、辞書業界(?)の記号とは若干違うと思うのだが。
397:デフォルトの名無しさん
07/08/12 13:25:48
日本語をIPAで書ける日本人がほとんどいないのと同じだな
398:デフォルトの名無しさん
07/08/12 13:43:02
日本語だと仮名で書けば問題ないし、実際辞書でもそうなってるじゃん。
399:デフォルトの名無しさん
07/08/12 13:59:07
>>398
確かに大抵それで何とかなる。
それは英語も同じで、>>392みたいにして発音を表せる。
細かいことを言い出すとカナでは足りない。
「ラクトース」と「ラクロス」では「ク」の発音が違うとか。
400:デフォルトの名無しさん
07/08/12 14:03:52
日本語は言文一致したから、
それをしてない英語とそのまま比較はできんかと。
まあ、板違いだからこのくらいにしといた方がいいかもしれんが。
401:デフォルトの名無しさん
07/08/12 14:59:08
>>398
日本語学習者にとってはそうでもない。
同じ「ん」でもnとngとか。
402:デフォルトの名無しさん
07/08/12 22:03:25
おー、俺でCLOS本復刊リクエスト100人になりましたよ。
403:デフォルトの名無しさん
07/08/13 00:25:07
祝！
404:デフォルトの名無しさん
07/08/13 00:39:00
>>402
祝ってやる
405:デフォルトの名無しさん
07/08/13 01:09:07
>>404
一瞬「呪ってやる」に見えた。
406:デフォルトの名無しさん
07/08/15 09:36:04
質問です。
関数型言語って
有る値の集合を有る値の集合へもっていく方法を
記述すると考えてよろしいのでしょうか?
407:デフォルトの名無しさん
07/08/15 09:53:28
その「値」に「関数」っつーのも含まれてるけど、
まあそんな感じだろう。
408:デフォルトの名無しさん
07/08/15 12:11:57
>>406
集合とか意味不明
テンプレ読め
409:デフォルトの名無しさん
07/08/15 13:05:21
>>406
スレ違い
410:デフォルトの名無しさん
07/08/15 15:25:00
写像って意味だっしょ
411:デフォルトの名無しさん
07/08/15 16:32:48
406はなかなか良い筋行ってんじゃネーノ?
URLﾘﾝｸ(karetta.jp)
412:デフォルトの名無しさん
07/08/15 18:13:22
(a b c)
という任意の長さのListがあげられたとき
このすべての組み合わせをリストとして出力する
(a b c ab ac ba bc ca cb)
このようなプログラムって皆さんどうやって書きます？
413:デフォルトの名無しさん
07/08/15 20:14:40
>>411
自演乙
414:デフォルトの名無しさん
07/08/15 20:17:27
そんなもの書かない
415:デフォルトの名無しさん
07/08/15 22:50:36
そんなものが書きたくなったら全体の設計を見直すかな
416:デフォルトの名無しさん
07/08/16 00:30:55
AutoLISPってどうなの？
417:デフォルトの名無しさん
07/08/16 02:18:55
どうもしない
418:デフォルトの名無しさん
07/08/16 02:21:21
>>412
「すべての組み合わせ」の意味が不明確。
abc とか cba とかが入らない理由は？
419:デフォルトの名無しさん
07/08/16 02:34:39
もういいじゃん
420:デフォルトの名無しさん
07/08/21 07:52:33
Lisp処理系ムズすぎ
適当に構造体でリスト作って、
S式パーサ作って、
関数名で条件分岐してリストのメンバをいじくれば良いと思ってたのに
421:デフォルトの名無しさん
07/08/21 09:35:35
そんな感じで出来ちゃうと思うけどなぁ。
もちろん「優れた処理系」を作るのは（他の言語と同じく）難しいし、
「Common Lispの処理系」を個人で作るのはちょいと無謀だけれども、
この界隈の人間がよくやる「楽しく作るマイLisp処理系」程度なら・・・。
クロージャで少々頭ひねるくらいでは。
422:デフォルトの名無しさん
07/08/21 09:41:49
>>420
ここら辺参考にならないかな
L2Lisp in Ruby（インタープリタ）
URLﾘﾝｸ(codezine.jp)
JavaScriptでつくるSchemeインタプリタの基礎の基礎（lisp, js, webdev, webapp）
URLﾘﾝｸ(codezine.jp)
Javaで作るオリジナル言語：ITpro
URLﾘﾝｸ(itpro.nikkeibp.co.jp)
423:デフォルトの名無しさん
07/08/21 11:04:02
>>420
そんなに難しいかい？
8ビットマシンの頃でも基本の処理系はポイポイ作れた記憶があるんだけど。
実行効率とか下段をVMでとかにすると結構しんどいかもしれないけが俺Lispならそんなに難しいものじゃ無いはずなんだけど。
まさかCommonLisp全部みたいな話とか継続入れたいとか言うスタック操作がマンドクサイこと言うと別かもしれんが。
424:デフォルトの名無しさん
07/08/21 13:03:56
>>421,422,423
URLﾘﾝｸ(www.jsk.t.u-tokyo.ac.jp)
ここ読んでるんですけれど、即死しそうです
JAVAとかJavaScriptとかRubyで作ると比較的簡単なのかなぁ
425:デフォルトの名無しさん
07/08/21 13:58:15
URLﾘﾝｸ(www.okisoft.co.jp)
俺はここ見ながらC++で作った。
Javaで説明されてるけど、JavaからC++への脳内翻訳はまぁ、それほど難しくないし。
426:デフォルトの名無しさん
07/08/21 21:56:36
>>424
それで楽になるのはGCだけじゃないかと思う。
427:デフォルトの名無しさん
07/08/21 22:05:53
俺 Lisp ネタは本スレで。一応ここは Common Lisp 入門スレなので。
俺 Lisp ってーのはよ、一週間もまじめに取り組めばできちゃう。
で、 99% はやったーできたーの後に「Lisp をものにしたぞ」と勘違いしちゃう。
そこはスタート地点だという事を心してほしい。ほんとに。
428:デフォルトの名無しさん
07/08/21 22:22:23
CLTL読んでるけどでかい、でかすぎる。
でも楽しい。
429:デフォルトの名無しさん
07/08/21 22:33:35
仕様なしで実装だけあるほうが良いという連中が信じられない。
現行バージョンとかそんな殺那的な基準でいいのか……
430:デフォルトの名無しさん
07/08/21 22:55:46
>>429
少なくとも入門スレでは、言語の仕様が先か実装が先かなどというのは全く本質的な問題ではないと思うが。
431:デフォルトの名無しさん
07/08/21 23:16:39
先とか後とかじゃなくて有無の話ね。
432:デフォルトの名無しさん
07/08/21 23:50:55
>>428
てお？
433:デフォルトの名無しさん
07/08/22 01:00:57
このスレでCLTLって言ったらCommon Lisp The Language ,Guy L. Steele Jr.じゃないの？
434:デフォルトの名無しさん
07/08/22 11:10:27
>>428
仕様書(?)の癖に妙に饒舌なGLS節がたまらんよねｗ
435:デフォルトの名無しさん
07/08/23 01:28:40
Practical Common Lisp 155ページなのですが、COPY-TREEで((1 2) (3 4) (5 6))を
複製したものとオリジナルが共通で参照するオブジェクトが数値の5,6とシンボルNILってのは
何故ですか？1,2,3,4と5,6の違いが判らないので教えてください
436:デフォルトの名無しさん
07/08/24 01:12:49
>>435
それ、ここかLisp Schemeスレかで以前俺が話題にした気がする。
そんときは確かめてくれた人がいて著者の勘違いって話だったと思う。
過去ログ見て。
437:デフォルトの名無しさん
07/08/24 22:19:43
どう勘違いしたんだ
438:435
07/08/25 00:57:24
Peter Seibel本人にメールしてみました。
「混乱させてスマン、第3刷では直っているハズだから」とのことです。
439:デフォルトの名無しさん
07/08/25 13:02:07
俺そういうメールに返信するバイトしてた。
440:デフォルトの名無しさん
07/08/25 13:21:19
俺はメールしたと偽るバイトしてた。
441:デフォルトの名無しさん
07/08/29 13:57:52
Emacs Lispでいう(string-to-int)ってCLispにないの？
442:デフォルトの名無しさん
07/08/29 14:14:20
グハラムのANSI Common Lispを読んでいます
ループを再帰で書くサンプルが出てくるのですが
ループ数が多くなるとスタックがえらく積み上がっていくんじゃないか、
だとしたらループの実現としてはあまりいい方法ではないのではないかと
思うのですが、どうなんでしょう？
あくまで「こういう書き方もできるよ」という例なのでしょうか？
443:デフォルトの名無しさん
07/08/29 14:28:08
>>442
ほとんど末尾再帰だろ
末尾再帰をループに展開できないコンパイラはぶっ壊れてる．
444:デフォルトの名無しさん
07/08/29 15:15:52
>>441
parse-integer
445:デフォルトの名無しさん
07/08/29 19:44:33
>>442
> グハラム
ちょっと入れ替えただけで急にイスラムな感じになるな。
446:デフォルトの名無しさん
07/08/30 01:22:51
ではclispはぶっ壊れてると・・・
447:デフォルトの名無しさん
07/08/30 02:07:22
コンパイルすれば末尾再帰をループ化する＞CLISP
448:442
07/08/30 02:11:41
レスありがとうございました
末尾再帰というものだったら問題ないんですね
少し気になったのですが
Lisp界ではよくあることなんですね
449:デフォルトの名無しさん
07/08/30 02:30:23
>>447
>>273-276
450:デフォルトの名無しさん
07/08/30 02:33:05
実際末尾再帰スタイルで書くつもりならSchemeで書いたほうがいい。
Common Lispのはあくまでも最適化オプションでしかないから過信できない。
451:デフォルトの名無しさん
07/08/30 04:48:19
Schemeは式の評価順序が決まっていないのが嫌いなんだよね。（副作用させんなって言うのは無しね）
452:デフォルトの名無しさん
07/08/30 07:46:50
>>450 Scheme はコンパイル関連機能があくまでもオプションでしかないから過信できません
453:デフォルトの名無しさん
07/08/30 08:37:34
ていうか「過信」って言葉がそもそも、実際の在りよう以上のことを信じることであって、
Common LispだろうがSchemeだろうが隣のおばちゃんだろうが、過信しちゃいけないのは同じ。
454:デフォルトの名無しさん
07/08/30 09:42:19
「xを過信してはいけない」という言い回しは、単純に過信を戒めてる訳じゃなくて、
「お前はxを過信している」とか「xは過信されがちだ」みたいな意味が入ってる。
455:442
07/08/30 11:59:10
やっぱり使わない方がいいんですね
456:デフォルトの名無しさん
07/08/30 12:08:19
>>455
時と場合による．
457:デフォルトの名無しさん
07/08/30 12:14:39
>>455
lispのような抽象化の高いプログラミングで再帰
を使おうとしないとはかなり不幸だろう．
10年前ならいざ知らず，今はコンピュータのメモリもCPU性能も
有り余るほどある．その中で，ある程度効率を犠牲にしてでも，
抽象化のはしごを上ってわかりやすいアルゴリズムを記述できる
のであればそっちを優先すべきでは？
458:デフォルトの名無しさん
07/08/30 13:06:02
>>455
まあ真面目に入門書の一冊も読むべきだね。
基本がぜんぜんなってない感じ。
459:デフォルトの名無しさん
07/08/30 13:24:25
>>455
白黒はっきりさせたい性格なのだろうが、世の中そんなに単純には出来ていないのだ。
460:デフォルトの名無しさん
07/08/30 13:38:57
>>455
ちなみに組込み屋の人ですか？
461:デフォルトの名無しさん
07/08/31 02:00:35
455の人気が凄いｗ
462:デフォルトの名無しさん
07/08/31 03:16:20
destructuring-bindの素敵な訳語を募集。
野田さんトコだと構造化代入ってなってるけど、`de-'の雰囲気がどこかに
消し飛んでるし`bind'って代入なのか？って気がしないでもない。
漏れの頭では脱構造束縛とか構造分解束縛とかしか思い浮かばないんだが、
やっぱり気持ち悪い？
OnLisp翻訳の偉業にケチをつけるつもりはまったくないのでそこんとこだけ
誤解のないよう。英語のまま何気なく読んでる文章をきちんとした
日本語に書き出そうとするのがこんなに面倒だとは思わなかった。
463:デフォルトの名無しさん
07/08/31 03:27:09
`構造'意識しなくてもいいか。
分解束縛とか分配束縛とかで意味通じるかな。
連投で独り言スマン。
464:デフォルトの名無しさん
07/08/31 05:56:15
独り言気持ち悪い
465:デフォルトの名無しさん
07/08/31 07:30:18
URLﾘﾝｸ(practical-scheme.net)
>p.96 ほか (leque, 2007/04/14 21:40:45 PDT)
>「destructuring」の訳語を「分配」とすることにすこし違和感があります。
>destructuring-bind の lambda-list が単純なリストである場合はよいのですが、
>入れ子のリストになっているような場合も考えると、「分解」「脱構造化」といったような、
>構造（structure）を意識したような訳語の方がしっくり来る気がします。
>
>* これはGuy Steele本の和訳で採用されていた訳語に統一した結果です．
>ところでせっかく仔細にコメントをいただいているのに，
>単純なものしか目を通しておらず，申し訳ありません．
>いずれじっくり検討させていただきます．（野田）
466:デフォルトの名無しさん
07/08/31 09:37:39
「パターンマッチ」でいいんじゃないかという気が
467:flatline ◆r6EONKKhcc
07/08/31 10:00:52
>>462
ちなみに「構造化代入」という訳はあまり深く考えてつけたものではありません．
>>466
複数のパターンから選べないとパターンマッチとは言えないような気がします．
468:466
07/08/31 10:30:40
そうですか？なんでだろう。
469:デフォルトの名無しさん
07/08/31 11:29:00
俺もパターンマッチって感じがする。
マッチに失敗すればエラーになるし。
470:デフォルトの名無しさん
07/08/31 18:30:16
>>462
気持ちはわかるが、destructuring-bind という固有のスペシャルフォーム名に
とらわれすぎの気がする。
まさか「なでしこ」みたいな日本語CLをつくろうって話じゃないんでしょ。
同種の概念に対する一般的なタームとしては分割代入とかじゃない?
471:デフォルトの名無しさん
07/08/31 21:09:55
>>468
複数の候補からマッチするものを見つけるのがマッチだと思う
472:デフォルトの名無しさん
07/08/31 21:11:04
>>462
deの雰囲気を残すべきだとは思わない。逐語訳にこだわりすぎでは？
473:466
07/08/31 22:52:58
>>471
それだけがマッチングとは思えないなあ。
正規表現がマッチするしないって言い方があるけど、
あれは何かを複数の候補から見つけるわけじゃないでしょう？
474:デフォルトの名無しさん
07/08/31 23:51:54
>>473
「マッチする」という言い方自体が、そもそも「マッチしない」場合の存在を前提にしているのでは？
そういう意味では正規表現も多くの場合は複数の候補から見つける操作だと思う。
475:462
07/09/01 02:42:29
>>470
日本語CL作ろうなんて気は毛頭ありません。
でも見る人が見れば何やってんかバレバレなんですけどね。
>>472
逐語訳にこだわってるつもりはないんですが、Lisp/Schemeのコンテキストで
代入と束縛を同列に扱うのは違和感があると感じるのは僕だけかなぁ。
日本語ではどう表現するのが普通だ、みたいな一般的に受け入れられている
のはないんですかね。大体原著で読むのでその辺の感覚がわからんです。
476:flatline ◆r6EONKKhcc
07/09/02 16:53:41
私はむしろ >>473 に賛成ですが，
>>467 の真意はむしろ
「destructuring-bindを「パターンマッチ」と言ってしまうと，
Ocaml, Haskellの方面から
『複数の候補から選ぶこともできないのにそんな大層な呼び名をするとは！』と
文句が来そうなので自粛した」
みたいな感じですかね．
つーかその後 §18.4で
「パターンマッチングは構造化代入（書籍では分配）の一般化だ」と続いているので...
束縛と代入については，レキシカル・スコープの何たるかを分かってコードが書ける人には
言葉の問題に過ぎず，大した違いではないと思います．
477:flatline ◆r6EONKKhcc
07/09/02 17:02:45
そうそう，On Lispの第3刷が9月半ばに出るそうです．
（読者の方々からいただいた修正意見を反映してあります）
「売れた数だけLispの存在感が拡大している」と（粗っぽく）見積もるとすると
これは訳者として嬉しいことです．
実際，webをさ迷っていると，これまでLispに縁のなかった人もけっこう買ってくれているようですし．
（そういう人には終盤はテクニカルに高度過ぎると思いますが，
「Lisp Hackerのスタイル」的なものは伝わることを期待）
478:デフォルトの名無しさん
07/09/02 17:26:50
>>477
Lispのなんたるかってあたりがかかれた本って古い書籍が多くてさらに尽く絶版だったりするから
ものすごくありがたかったんじゃなかろうかとおもう（対象想定読者層にとって）
まじめな話共立出版のbit別冊が売ってたら読むかもしれない層って多いと思うんだけどなぁ。
479:デフォルトの名無しさん
07/09/02 17:28:49
>> 476
> 束縛と代入については，レキシカル・スコープの何たるかを分かってコードが書ける人には
> 言葉の問題に過ぎず，大した違いではないと思います．
レキシカルスコープの何たるかをわかってコードを書くに至っていない
入門レベルの読者が読むことを想定した場合は束縛と代入は使い分けるべき、でFA？
480:デフォルトの名無しさん
07/09/02 22:46:13
レキシカルスコープの何たるかをわかってコードを書くに至っていない人には
縁のない話題だと思うが
481:デフォルトの名無しさん
07/09/02 23:52:25
あんま流れと関係ないけど束縛だの代入だのより、スコープとエクステントの概念を叩き込むべき。
アセンブラと C を覚えて万能感に浸っていたかけだしのヘタレだった俺は、これを叩き込んでくれた師匠に本当に感謝している。
副作用だの破壊的操作だのは結局物理レベルではレジスタの値変更してんだからよー
キタナイ現実を見ないのが美しいってのは Schemer にゃーお似合いだが Lisper はそんな風になるべきではない。
つうか訳語は分配でいいような気がするけど…別に実際にバラすわけじゃなくて、元の構造の部分を変数に束縛するだけだし…
482:デフォルトの名無しさん
07/09/03 01:18:14
>>481 は今でもなにもわかってない事がわかった
483:デフォルトの名無しさん
07/09/03 05:50:47
ああ、それは二十歳くらいの頃によくかかる病気ですね。
自分の人間観察眼に根拠の無い自信持っちゃって、あちこちで誰かの言葉に触れては
「こいつはわかってない、俺にはそれがわかる」って小鼻をひくひくさせてしまうんです。
あと5年もすれば、思い出すだけで死にたくなる過去になりますよ。
484:デフォルトの名無しさん
07/09/03 06:52:52
わかってるやつがなんでにちゃんなんかやってんだろ
485:デフォルトの名無しさん
07/09/03 07:23:28
おまえのどうるいだけがにちゃんやってるわけじゃないからだよ
486:デフォルトの名無しさん
07/09/03 07:34:54
>>485
君は集合の基礎を覚えた方がいい
ベン図とか
487:デフォルトの名無しさん
07/09/03 08:05:32
まずは君がコミュニケーションの基礎を学ばないことには
488:デフォルトの名無しさん
07/09/03 10:14:22
わかってない奴すべてを含む集合は果たして平穏無事であるか
489:デフォルトの名無しさん
07/09/03 12:58:41
あるときっと。信じれば夢はきっと叶うさ。
490:デフォルトの名無しさん
07/09/03 15:12:26
2ch で遊ぶのはいい加減にして、早く誰も読まない論文を書く作業に戻るんだ。
491:デフォルトの名無しさん
07/09/03 16:19:32
論文を書くためにはネタを仕込まないとね。
それはともかく、Common Lispで書いたソフトをコンパイルしておいて
他の.exeから呼び出して実行するなんて使い方はできるものだろうか？
分かる人が居たら教えてくれ。
既存のGUIと通信を行うモジュールを流用して計算エンジン部分だけLispで作ってみたい。
あ、プラットフォームはその既存のGUIの関係でWindowsです。
492:デフォルトの名無しさん
07/09/03 16:27:22
誰も読まない論文
ってのはなかなか哀愁を誘う良い言い回しであるなｗ
493:デフォルトの名無しさん
07/09/03 16:45:25
ライトオンリー
494:デフォルトの名無しさん
07/09/03 18:25:39
Lispって科学技術計算に向いてる？
495:デフォルトの名無しさん
07/09/03 19:26:44
愛を育てるのには向いてる
496:デフォルトの名無しさん
07/09/03 19:30:54
講座初日に眼鏡を忘れ、倫理学と論理学の教室を読み間違えた挙げ句、出席を取らない講師に突然愛を語られたみたいなものだろうか？>>495
497:デフォルトの名無しさん
07/09/03 19:36:39
>>491
できる。教えてもらわないと出来ないような人には難しいかもしれないが。
498:デフォルトの名無しさん
07/09/03 20:17:54
は？
499:495
07/09/03 20:21:37
愛と AI をかけました………………
500:デフォルトの名無しさん
07/09/03 21:53:12
>497 Thanx!
可能だと言う事がハッキリするだけでもやる気が出るよ。
何しろこっちはLispに関して全くの素人なので
これから勉強しながら方法を探すよ。
ところでそういう事に便利そうな商用Lisp
(Allegro Common Lispなど)を使えとか
言うんじゃないよね。あれ、高いからな。
自分ではKCLを使えばコンパイラが
Cのソースを吐いてくれるそうなので、
そっちをいじれば何とかなるかなと思っている。
501:デフォルトの名無しさん
07/09/03 22:16:45
ACL は Express エディションならフリー。
ヒープ制限があるので大規模な処理は無理だが。
KCL は GNU に寄贈されてメンテナがかわりにかわって GCL （GNU Common Lisp）という
名前になってる。派生した ECL ってものある。
つうかソケットで通信とかなら C のソースがうんぬんは不要だと思うけど…。
502:デフォルトの名無しさん
07/09/03 22:33:05
Lispworksを日本で購入できる場所ないのかな？
503:500
07/09/03 22:47:13
>501
ACLのExpress editionはは使ってみようとしたんだが
なぜか私のデスクトッブにはダウンロード出来なかった。
試しに古いノートPCにやってみたらできたので
どうもIE7が邪魔してるような気がする。
GUIモジュールとの通信はソケットとかじゃなくて
単純に呼び出し時の引数渡しみたい。
まだ良く調べてないが。
504:デフォルトの名無しさん
07/09/03 23:07:59
>>503
フーム…ちなみに C と Lisp の経験はそれぞれどれくらい？
あと、まずその GUI モジュールとやらについて一通り勉強するのが先だと思う。
今の状態だと、たとえば Lisp じゃなくて Python で～ってケースでも
どこから手をつけていいかわかんない状態でしょ？まず、ターゲットをよく知らないとね。
大抵の C のライブラリは当然 C の関数呼び出し形式のインターフェースしかない。
他のシステム（Lisp に限らないよ。ネットワークのむこうの C のプログラムとかね）と繋ぐなら、通信部分は自分で作ることになる。
505:491
07/09/03 23:10:52
あ、
「既存のGUIと通信を行うモジュール」と言うのは
GUI及びLAN経由で他のPCと通信する機能を
兼ね備えたモジュールがあってそこから
計算エンジンが呼び出される構成って事。
書き方が紛らわしかったね。
506:503
07/09/03 23:42:18
>504
お察しの通りCでも大きなブログラムを一から書いた事は無い。
せいぜい教科書の演習問題レベルか他人の書いたブログラムを
ちょっと変更したくらい。Lispの経験はほとんどゼロ。
そんなレベルで難しい事をやろうとするなと言われそうだが
まあ、趣味でやってる事なので。
まずはLispで書いたソースをコンパイルして
他のEXEから呼び出す事が可能なモジュールを
作れるかどうかを知りたかったのよ。
507:デフォルトの名無しさん
07/09/04 00:04:43
共有ライブラリを生成できる処理系はいくつかある。
有償なら ACL, LispWorks、無償なら ECL (GCL もできるのかな？使ったことないから知らん) あたりで可能。
Windows で使えるかは知らないけど。あと、この機能を使うにゃー C に加えて Lisp の知識も要求される。
つうわけで、技術的には可能だが、たぶんあなたの期待してるようなものじゃない。
残念ながら今の Lisp の世界では「Lisp から C のライブラリを呼び出す」のが一般的なんだよねぇ。
Foreign Function Interface といって、C のライブラリを Lisp から呼び出す機能。
ECL みたいに C のプログラムに埋め込んじゃえるタイプのもあるが、これをやるにも C と Lisp 両方の
知識が要求される。逆に知識があれば VB に埋め込んだりもできる：
URLﾘﾝｸ(www.cs.stevens.edu)
とりあえず C か Lisp、どっちかはマスターしよう。Lisp ならこのスレで力になるよ。
508:491
07/09/04 00:17:44
結局のところ、Lispの関数を呼び出す時のパラメータ形式と
（多分）Cが関数呼び出しする時のパラメータ形式を変換する
小さなモジュールを作って間に挟めばこの目的にはOKって事かな？
そうすればLispコンパイラが吐き出すCのソースはいじらなくても、
objの方をリンカーにかけてexe化するだけで良いのかな、多分。
509:デフォルトの名無しさん
07/09/04 00:48:16
うーん、まず Lisp の側からつっこむとね、まず貴方はデザイン上の撰択をしないといけない。
ECL を使うと仮定すると次のような方法がある。
1. GUI ライブラリが DLL として提供されているなら FFI 経由で Lisp から使う
(この場合、コンパイラの出力をいじるとかは必要ない)
2. GUI ライブラリの機能をラップして DLL にして Lisp から使う
3. GUI ライブラリをソケットとか別プロセスから操作できるようにしたてて、Lisp からはそのインターフェースで操作する
4. ECL の機能をラップした DLL を作成して、それを C プログラムにロードして使う
4. しか眼中にないようだが、それは要求されるスキルも高く、かつあんまり楽じゃない。たとえば、Lisp の知識がないと
あるオブジェクトを管理しているのは Lisp の領域なのか C の領域なのか区別をつけることすら難しい（…と思うけど、どう？）。
あとは、C をはじめたばかりのようなので、プログラムといえばコンパイラでコンパイルして exe か dll にしたもの、
というイメージがあるんだろう。ECL で「コンパイルする」というと確かにネイティブコードを生成するが、それは
exe でも dll でもないんだ。（まぁ、実行形式や共有ライブラリも生成できるけど…）
> (compile-file "foo.lisp") ;; gcc でコンパイルしてネイティブコードを含む .fas ファイルを作成
foo.fas
> (load "foo.fas") ;; .fas をロード
510:508
07/09/04 00:52:52
>507
そうですか、上で書いたような安直な方法は多分使えないと。どうしようかなー？
Lispから呼び出せるGUI&通信モジュールを自作するのは多分もっと大変だし。
あまり大変ならLispでエンジン書くのを諦めるしか無いかな？
最後にひとつだけ質問。
（商用Lispの付加機能じゃなく）一般的なLispシステムのコンパイラが吐く
objはそれ単体では自立したモジュール（exeやdll）には出来ないって事ですよね。
ガーベッジコレクションとかが欠けてるし。
511:510
07/09/04 01:15:26
>509
ちなみに私が使おうと考えていたGUIは
ライブラリ形式ではなくて一固まりのモジュール(.exe)なのです。
それがdllを介してあるいは直接にエンジンを呼ぶ形式。
なのでこちらからは呼べなくて呼び出される一方なのです。
512:デフォルトの名無しさん
07/09/04 01:33:31
まぁ、まず Lisp を勉強しようや…。C とは違う部分もあるんだから。
実行形式には「できる」。ただ、C のランタイムは libc や mcsvcrt としてシステムに既に存在している場合が多いけど、
Lisp のランタイムは普通のシステムには存在しないので配布物に含むことになる。
商用 Lisp はこの時に、コンパイラ機能とか配布物に要らないだろうという機能を削ったりできる。
CLISP で作成した .exe := ランタイム数メガ + プログラム部分 => 数メガ
ECL で作成した .exe := プログラムサイズ + libecl.dll (4Mくらい？)
SBCL とかはネイティブコードコンパイラを備えているため、ラインタイムとコアイメージはでかい。
10M を余裕で超える。C でいったら GCC がまるごとついてくるようなもんだからね。