CommonLisp Scheme Part10

1 名前：デフォルトの名無しさん mailto:sage [04/02/01 19:10] 過去スレ Part1: piza2.2ch.net/tech/kako/987/987169286.html Part2: pc.2ch.net/test/read.cgi/tech/1002584344/ Part3: pc.2ch.net/test/read.cgi/tech/1008220265/ Part4: pc.2ch.net/test/read.cgi/tech/1016211619/ Part5: pc3.2ch.net/test/read.cgi/tech/1023091882/ Part6: pc3.2ch.net/test/read.cgi/tech/1031560687/ Part7: ruku.qp.tc/dat2ch/0311/20/1042167213.html Part8: pc2.2ch.net/test/read.cgi/tech/1058263391/ Part9: pc2.2ch.net/test/read.cgi/tech/1069594582/ 前、"Schemeスレはあるのになんでcommonlispスレはないの?"とか言って別のスレを建てた大馬鹿者がいたので、 標題にCommonLispと付けておきました。 Lispの話題でCommonLisp,Scheme,EmacsLisp(専用スレッドがある)以外のものが出ることはこのスレの歴史上でも 稀なので問題はほとんどないかと思います。 関連リンクは>>2-10あたり 152 名前：デフォルトの名無しさん mailto:sage [04/02/14 23:52] 何でもいいに決まってる。 153 名前：デフォルトの名無しさん mailto:sage [04/02/15 01:43] >>151 DrSceme が簡単でいいんじゃないの? cygwin + gauche という手もあるけど。 154 名前：デフォルトの名無しさん mailto:sage [04/02/15 02:44] >>153 漏れ、最初DrScheme使ってt-y-schemeやったけど、 売りのトレースとかが、初心者モード（ほとんど何にもできない）でしか使えなくて泣いた。 155 名前：デフォルトの名無しさん mailto:sage [04/02/15 03:02] >>151 SICPのサンプルコードはSCMかMIT-Schemeだった気がするので、 Cygwinで動くようならこれが無難？ win2kならPetite Chez + ChezEditも良いかもしんない。 156 名前：151 mailto:sage [04/02/15 11:17] MIT-Schemeってこれ www.gnu.org/software/mit-scheme/ ですか？ Windows binary 版をインストールしてみました。 EDwinって言うEmacs見たいなエディタも付属してます。 つか、殆どEmacs。。。 Lisp/Scheme やるには Emacs も覚えなあかんの。 ＿|￣|○ Schemeの処理系って小さいイメージがあったけど MIT-Schemeって一式で35Mbyteもあるのね。 157 名前：デフォルトの名無しさん mailto:sage [04/02/15 11:42] >Emacs も覚えなあかんの。 ＿|￣|○ Win環境の人からすると異常だけど、 UNIXのソフトって全体的にemacsのキーバインドに沿ったものが多いからね。 158 名前：デフォルトの名無しさん mailto:sage [04/02/15 14:16] >>156 さあ、*nix文化へいらっしゃい。 今までM＄に飼い頃されてたのはなんだったんだ、と開眼するから。 159 名前：デフォルトの名無しさん mailto:sage [04/02/15 15:31] vi>>>>>>>>>>>>>>>>>>emacs 160 名前：デフォルトの名無しさん mailto:sage [04/02/15 15:57] 秀丸>>>>>>>vi 161 名前：デフォルトの名無しさん mailto:sage [04/02/15 16:07] Emacs>>>>>秀丸 さてどうしよう。 162 名前：140 mailto:sage [04/02/15 18:55] Scheme についても調べてみました。ネイティブコードコンパイル可能な処理系では、chicken と mzScheme は Lisp レベルでの thread みたいでした。RScheme はサイトが落ちていて不明。 ECL で --enable-threads するとビルド出来ない（最新 CVS 版）のですが、Linux 限定なのかな。 163 名前：デフォルトの名無しさん mailto:sage [04/02/15 20:13] >>157, 158 一応、vi　(ex, ed)　は使えるんですけどね。漏れって vi 信者。w などと言いながら emacs のﾏﾆｭｱﾙ本買って来ました。 164 名前：デフォルトの名無しさん mailto:sage [04/02/15 21:15] Kahua セミナー逝った香具師、レポートしてください。 地方在住 lisper は逝きたくても逝けないのです。おながいします。 165 名前：デフォルトの名無しさん mailto:sage [04/02/15 22:31] >>158 ｳｲｿのﾌﾟﾛｸﾞﾗﾑでﾒｼを食ってる漏れとしてはそんな事は口が裂けても・・・ 166 名前：これってどうよ？ mailto:sage [04/02/16 10:40] Pythonによるcommon lispのフロントエンド "lython" www.caddr.com/code/lython/ スラドの記事 slashdot.jp/developers/04/02/15/1528254.shtml?topic=93 167 名前：デフォルトの名無しさん mailto:sage [04/02/16 11:30] あくまで、Common Lisp風ね。だからScheme風といってもいいだろうし。 (import os) (:= out "/tmp/lythontest") (if (os.path.exists out)     (os.unlink out)   (print "target file does not exist")) (:= f (open "/tmp/lythontest" "w+")) (f.write "Hello World from Lython!") 168 名前：デフォルトの名無しさん mailto:sage [04/02/17 05:50] pythonのライブラリが使えるlispモドキかな。 ちょっと前に話になったスクリプト云々の話は これに食われそうだね。 ポータブルな実装としてはベースがpythonなら問題ないだろうし。 169 名前：デフォルトの名無しさん mailto:sage [04/02/17 14:26] 前も話題に出たけど、pythonと共存できて何か意味あるのか? 速度: pythonはバイトコード ライブラリ: pythonよりもC/C++のライブラリの方が膨大 170 名前：デフォルトの名無しさん mailto:sage [04/02/17 14:49] > ライブラリ: pythonよりもC/C++のライブラリの方が膨大 FFI が面倒なので Python のライブラリでｳﾏｰって事でしょう． まぁ，中途半端な Lisp モドキよりは普通に Python 使ったほうが いいような気がしますがね… 171 名前：デフォルトの名無しさん mailto:sage [04/02/17 16:09] #define BEGIN { と似たような一抹の虚しさがただような。 ライブラリを手軽に使うのだけが目的なら、Common LispかSchemeと言語仕様を同じにしなくちゃね。 ただ、ここから新しい言語として羽ばたかせようというなら話は別だけど。 Arcみたいにね。 まぁ、ただ面白そうだからやってみたんだろうけど。 172 名前：デフォルトの名無しさん mailto:sage [04/02/17 16:32] おまえらこんなとこでケチつけてないで、今 後 に 期 待 し と け 173 名前：デフォルトの名無しさん mailto:sage [04/02/17 16:47] >>172 そんな言い方じゃ、話が面白くならないよ。今後に期待できるようなことは何かあるの? 174 名前：デフォルトの名無しさん mailto:sage [04/02/17 16:57] pythonが超ポピュラーになってライブラリが暴発的に増えるとかいう展望を抱けw 175 名前：デフォルトの名無しさん mailto:sage [04/02/17 17:10] lythonダウンロードしてみました。ウェブサイトやコードを見た限り、まだまだ、 孵化する日は先で、生まれたてのホヤホヤという感じです。 みんなが作るのが好きな俺Lispの1つですね。 しかし、よくSlashdotが取り上げたね。それが悪いというわけじゃないけど。 176 名前：175 mailto:sage [04/02/17 17:13] あっ、つけるの忘れてた。最後にwをつけて読んでください。 177 名前：デフォルトの名無しさん mailto:sage [04/02/17 17:37] (´-`).｡ｏＯ(孵化してないのに産まれたて。。。) 178 名前：デフォルトの名無しさん mailto:sage [04/02/17 17:41] (･Ａ･)lython!! 179 名前：デフォルトの名無しさん mailto:sage [04/02/17 22:46] 大蛇は卵生だから、産まれてから孵るまで時間がかかるんじゃないの。 しかし、インデントのかわりにS式使ってる感じだね。 そういえば、Parrot上のSchemeはどうなったんだろ。Parrot自体が資金ショー トという噂も聞いたこともあるけど。 180 名前：デフォルトの名無しさん mailto:sage [04/02/18 01:45] えーとguileやgaucheは「組み込みLispライブラリ」としての用途も意図されているわけですが， 実際に組み込むためのHOWTO文書とかチュートリアルってあります？ けっこう検索したんだが見付からない． guileを組み込んだGNUプロジェクトのアプリはいくつかあるけど，大き過ぎて見る気がしない． なんか「Schemeで拡張できるtail(1)を作ってみました」みたいな文書ないもんですかね． 181 名前：デフォルトの名無しさん mailto:sage [04/02/18 11:00] >>180 guileの現状は知らないんですが、すこし前までは、guile自体の発展速度が 速すぎて、非互換な変更とかがけっこうあって、アプリに組み込んだ人が苦労した という話がありました。とかいうふうに一度、レッテルを貼られると、それを取り除く のに苦労しますよね。GNUはマニュアルをちゃんと書く習慣があると思うんだけど、 guileのマニュアルにアプリへの組み込みチュートリアルないのかな? >>179 つーか、Parrotをやってる人たちって金もらっているのですか? ParrotがJVMレベルのバーチャルマシンとしてみんなに認められれば、オモロ。 182 名前：デフォルトの名無しさん mailto:sage [04/02/18 17:14] >>181 とりあえず去年の今ごろのParrot/Perl6の紹介には金が足りないというのがあっ た。www.newsfactor.com/perl/story/20748.html CVSにはscheme用もあったけど動くのか不明。ぱっと見、まだ途中かなという 感じがした。H"なんで下して試す元気がないから、誰が試してくれるとうれし い。 ;; 遅れぎみ(婉曲的な表現)なんで、逆に誰かがどれでもいいから別のVM上に ;; Perl6を実装しちゃえば英雄になれるかも。 183 名前：180 mailto:sage [04/02/19 01:04] >>181 GuileのinfoのPart 3がそれっぽいんですが，どうもイマイチ実感が... マトモなサンプルになってないんですよ． ドローソフトの組み込みにするために，いかに「図形」をSchemeオブジェクトとして Cレベルで定義するかが主眼らしいんだけど． そんな高尚なことよりとりあえずS式の設定ファイルを読みたいだけなのにな． ま，がんばったらできそうなので文書にするかも． 184 名前：デフォルトの名無しさん mailto:sage [04/02/19 19:52] >>180 Gaucheはドキュメントはまだ無いみたいだけど、インタプリタであるgoshが 「Gaucheライブラリのサンプルアプリ」という位置付けらしいのでソース見るのが早い。 goshはlibgaucheを初期化してrepl起動してるだけだから本当に小さいし。 185 名前：デフォルトの名無しさん [04/02/20 23:00] Gauche0.7.4.1 で gdbm はどうやって使うのでしょうか。 gdbm.so が ext/Makefile から外されてる gdbm.c はコンパイルできない。エラー多すぎ までは調べました 186 名前：デフォルトの名無しさん [04/02/20 23:04] 半分解決 ndbm 使うと perl コンパチのファイルができたみたい・・ なので gdbmは不要となりました。 187 名前：デフォルトの名無しさん mailto:sage [04/02/20 23:18] 確か、configure時にgdbmの存在をチェックしてると 思うので、それが見つけられていないのでは。 gdbmが/usr/localとかにインストールしてあるなら、 ./configure --with-local=/usr/local みたいにするとか。 188 名前：デフォルトの名無しさん mailto:sage [04/02/21 00:11] 恐れ入ります。 config.log 見て納得しました。 perl は p5-GDBM 入れないと駄目なんですね。 gdbm はあまり使われてないと。 189 名前：デフォルトの名無しさん mailto:sage [04/02/21 11:11] multiple-value-bind の属性リスト版を書いたんですけど、 どうやったら gensym を使うように改良できますか? 使い方は、(setq alist '((a 2) (b 3))) と代入しておいてから (alist-bind alist (print (+ a b)) (* a b)) を評価すると、 5 を印字してから 6 を返すような関数です。 現状はこんな感じです。 (defmacro alist-bind (alist &body body) 　(let ((alist-bind-internal-variable (eval alist))) 　　`(multiple-value-bind 　　　,(values (mapcar #'car alist-bind-internal-variable)) 　　,(cons 'values (mapcar #'cadr alist-bind-internal-variable)) 　　　,@body))) バッククオートを入れ子にして使うのがどうしてもうまくいかなくて ほかと重ならない変数名で逃げてます。実用上は問題ないんですが もっとスマートな解決策はないものでしょうか。 190 名前：デフォルトの名無しさん mailto:sage [04/02/21 11:13] >>189 >5 を印字してから 6 を返すような関数です マクロの typo です。 191 名前：デフォルトの名無しさん mailto:sage [04/02/21 12:28] >>189 ちょっとあなたのと仕様が違いますが、昔書いたものを。 (defmacro alist-bind ((&rest vars) alist &body body) (let ((tmp (gensym))) `(let ((,tmp ,alist)) (let ,(mapcar #'(lambda (var) `(,var (cdr (assoc ',var ,tmp :test #'eq)))) vars) ,@body)))) (setq data '((a . 1) (b . 2) (c . 3))) (alist-bind (b c a) data (list b c a)) => (2 3 1) (macroexpand-1 '(alist-bind (b c a) data (list b c a))) => (LET ((#:G219 DATA)) (LET ((B (CDR (ASSOC 'B #:G219 :TEST #'EQ))) (C (CDR (ASSOC 'C #:G219 :TEST #'EQ))) (A (CDR (ASSOC 'A #:G219 :TEST #'EQ)))) (LIST B C A))) 192 名前：189 mailto:sage [04/02/22 22:00] >>191 let の変数定義をマクロ展開の結果に置き換えるマクロを書くわけですね。 勉強になります。alist-bind がレキシカルコンテキストを参照できるので、 こちらの方が優れてますね。その代わり、vars に与える変数一覧を事前に 与えないといけないので、今やりたい用途には使えないですね。 いま欲しいのは、destrucuring-bind の複数版で、1個の値に対して パターンを複数与えることができるようなマクロです。最初のパターンに うまくマッチしなければ次のパターンを試し、マッチしたパターンがあれば そこで変数を束縛して、対応する式を順次評価して最後の式の値を返すと いうような物です。最後のパターンにもマッチしなかったばあいは nil と いうことで。 (let ((x 2)) 　(dbind* (list (+ 3 4) 5)　 　 　　; 最初に評価して(7 5)を得る 　　((a b c) (list a b c))　 　 　 　; マッチしないので実行されない 　　((a b) (incf x) (list a b x)))) 　 ; (7 5 3) になる というような dbind* がうまくできなくて困ってます。 まず値を集めて、後から展開するという方針が間違ってるのかもしれません。 どうしても評価のレベルが一致しないんですよね。 193 名前：デフォルトの名無しさん mailto:sage [04/02/22 22:20] 先に進んじゃってるとろスマンけど、>>189 ってちゃんと動くのか？ (setq alist '((a 1) (b 2))) (alist-bind alist (print (+ a b)) (* a b)) とかいたファイルをコンパイルしたら、alist-bind の展開時に まだ alist がバインドされてないとかでエラーになるような…。 194 名前：デフォルトの名無しさん mailto:sage [04/02/22 23:00] >>192 パターンが単純であればこんな感じかな？ destructuring-bind と同等のことがしたい場合は、 もっと複雑なことをしなければならないが。 (defmacro dbind* (list &body forms) 　(let ((vals (gensym))) 　　`(let ((,vals ,list)) 　　　 (case (length ,vals) 　　　　 ,@(mapcar #'(lambda (form) 　　　　　　　　　　　 (let ((vars (car form))) 　　　　　　　　　　　　 `(,(length vars) 　　　　　　　　　　　　　 (let ,(mapcar #'(lambda (var) 　　　　　　　　　　　　　　　　　　　　　　 `(,var (pop ,vals))) 　　　　　　　　　　　　　　　　　　　　 vars) 　　　　　　　　　　　　　　 ,@(cdr form))))) 　　　　　　　　　 forms))))) 195 名前：189 mailto:sage [04/02/22 23:50] >>193 やってみたら、compile-file でエラーが出ました。load したら 3 が印字されて t が 返りましたけど。>>192 がうまく動かないはそのせいなのかもしれません。 196 名前：189 mailto:sage [04/02/23 00:21] >>194 すみません、調べてみたら destructuring-bind よりもっと複雑な仕様でした。 例えば (dbind* '(a (2 3 4)) (('a (b 3 c)) (+ b c))) がマッチして、6 が返されます。 シンボル以外のアトムや quote されたシンボルをネストした S 式の中に書くことができ、 パターンの同じ場所に eq になるアトムが存在するときに、マッチするものと見なされます。 上の例の 3 や a がそれです。このとき、a はシンボル a に束縛されます。 197 名前：デフォルトの名無しさん mailto:sage [04/02/23 01:50] >>196 ふむ、若干面倒だね。とりあえず、パターンのシンボルに リストがマッチするものとして書いてみた。 (defun match (vars vals) 　(do ((vars vars (cdr vars)) 　　　 (vals vals (cdr vals))) 　　　((or (null vars) (null vals)) 　　　 (not (or vars vals))) 　　(let ((var (car vars)) 　　　　　(val (car vals))) 　　　(unless (cond ((eq var val) t) 　　　　　　　　　　((symbolp var) t) 　　　　　　　　　　((atom var) nil) 　　　　　　　　　　((eq (car var) 'quote) 　　　　　　　　　　 (eq (cadr var) val)) 　　　　　　　　　　((atom val) nil) 　　　　　　　　　　(t (match var val))) 　　　　(return))))) 198 名前：197 mailto:sage [04/02/23 01:50] 続き (defmacro dbind* (list &body forms) 　(let ((dummy (gensym)) 　　　　(vals (gensym))) 　　(labels ((bind (vars vals) 　　　　　　　 (mapcan #'(lambda (var) 　　　　　　　　　　　　　 (cond ((atom var) 　　　　　　　　　　　　　　　　　`((,(if (symbolp var) var dummy) 　　　　　　　　　　　　　　　　　　 (pop ,vals)))) 　　　　　　　　　　　　　　　　 ((eq (car var) 'quote) 　　　　　　　　　　　　　　　　　`((,(if (symbolp (cadr var)) (cadr var) dummy) 　　　　　　　　　　　　　　　　　　 (pop ,vals)))) 　　　　　　　　　　　　　　　　 (t (let ((temp (gensym))) 　　　　　　　　　　　　　　　　　　　`((,temp (pop ,vals)) 　　　　　　　　　　　　　　　　　　　　,@(bind var temp)))))) 　　　　　　　　　　　 vars))) 　　　`(let ((,vals ,list)) 　　　　 (cond ,@(mapcar #'(lambda (form) 　　　　　　　　　　　　　　 (let ((vars (car form))) 　　　　　　　　　　　　　　　 `((match ',vars ,vals) 　　　　　　　　　　　　　　　　 (let* (,@(bind vars vals)) 　　　　　　　　　　　　　　　　　 ,@(cdr form))))) 　　　　　　　　　　　　 forms)))))) 199 名前：デフォルトの名無しさん mailto:sage [04/02/23 05:51] Gauche0.7.4.1をインストールして (string-concatenate-reverse '(" must be" "Hello, I") " going.XXXX" 7) っていう式を評価させたらエラーになったんだけど、 SRFI-13ではそういう実装も許されてるの？ それともインストール失敗しただけ？ 200 名前：デフォルトの名無しさん mailto:sage [04/02/23 06:21] >>199 バグじゃん? wilikiにでも報告するよろし。 201 名前：デフォルトの名無しさん [04/02/23 18:37] perlのスクリプトとをgaucheに移植してるんだけど perlとgaucheの対応表なんてどっかにありませんか。 とりあえず open(STDERR, ">&STDOUT") $| = 1 $! がわからない。 202 名前：デフォルトの名無しさん mailto:sage [04/02/23 22:40] >>199 ttp://www.shiro.dreamhost.com/scheme/gauche/man/gauche-refj_236.html optionalついてないのがGaucheでの仕様なんじゃないの？ 203 名前：デフォルトの名無しさん mailto:sage [04/02/25 19:07] つーかトランスレーター作ろうぜ perlよくわからない 204 名前：デフォルトの名無しさん mailto:sage [04/02/25 20:51] Perl を勉強して書き直すほうがためになるよ。きっと。 205 名前：デフォルトの名無しさん mailto:sage [04/02/25 21:07] Perlを知らずにトランスレータもないだろうに 206 名前：デフォルトの名無しさん mailto:sage [04/02/26 00:12] >>201 $| = 1 と $! の例を強引に考えてみた(dup は不明)。詳しい人のフォロー希望。 (with-error-handler (lambda (e) ;; e は例外オブジェクト($! のようなもの) (format (current-error-port) "ERROR: ~a¥n" (ref e 'message))) (lambda () ;;(with-input-from-file *program-name* ;; 正常パターン (with-input-from-file "nowhere file" ;; エラーパターン (lambda () (set! (port-buffering (current-output-port)) :full) ;; $| = 1 ? (port-for-each (lambda (line) (display line) (newline)) read-line))))) C がわかるなら、リファレンスの C と Scheme の対応一覧が役に立つかも。 207 名前：デフォルトの名無しさん mailto:sage [04/02/26 10:34] 勘で。 ---- $|=1; open IN, "foo.pl"; print while (<IN>); ----- (call-with-input-file "foo.scm" (lambda (in) (copy-port in (current-output-port))) :buffering :none) 208 名前：こゆことかな...? mailto:sage [04/02/26 11:29] ------------------------------ #!/path/to/gosh (display "Content-type: text/plain\r\n\r\n") (display "Test.\r\n") (with-error-handler (lambda (e) (print #`"***ERROR: ,(ref e 'message)") (exit 1)) (lambda () (with-input-from-file "no_such_file" (lambda () (print "File opend."))) )) ------------------------------ #!/path/to/perl open(STDERR, ">&STDOUT"); $| = 1; print "Content-type: text/html\n\n"; print "This is a test.<BR>"; open(IN, "no_such_file") || die "***ERROR: ", $!; close(IN); 209 名前：デフォルトの名無しさん mailto:sage [04/02/26 15:25] 恐れ入ります。 簡単に行かないというのがわかりました。 dup と flush は gosh本体に仕込んで起動時オプションで処理する。 $! もグローバル変数に組み込んでしまうのが簡単か 210 名前：デフォルトの名無しさん mailto:sage [04/02/27 00:11] 別の言語なんだし全部直訳はできないのは当然じゃん。 いろいろ解説してくれた人がいたんで代わりにまとめ。 open(STDERR, ">& STDOUT") なら (with-error-to-port (current-output-port) THUNK) $| = 1 じゃなくて autoflush を使うべきなんで ((setter port-buffering) PORT :none) $! でメッセージが欲しいのなら with-error-handler でエラーをキャッチして (slot-ref ERR 'message)。 これは eval で die をキャッチするのをイメージ。 211 名前：189 mailto:sage [04/02/27 08:09] >>197-198 ありがとうございました。遅くなりましたが、自分の欲しい内容への改造が やっとできたのでお伝えします。 比較対象がアトムやquoteされたアトムの場合の動作を改善するため、 トップレベルだけを別扱いにすることにしました。 (defun match0 (vars vals) (cond ((symbolp vars) t) ((atom vars) (eq vars vals)) ((atom vals) (and (eq (car vars) 'quote) (null (cddr vars)) (eq (cadr vars) vals))) ((eq (car vars) 'quote) nil) (t (match vars vals)))) という関数を追加し、dbind* の labels で定義している局所関数にも ((bind0 (vars vals) (cond ((atom vars) (if (symbolp vars) `((,vars ,vals)) `((,dummy ,vals)))) ((eq (car vars) 'quote) `((,dummy ,vals))) (t (bind vars vals)))) という定義を追加します。そして dbind* 末尾から3,4行目の `((match ',vars ,vals) (let* (,@(bind vars vals)) をそれぞれmatch0, bind0 の呼び出しに置き換えます。 動作の変わった例としては、以下のようなものがあります。 (dbind* 3 ((4) 5)) ; エラーにならずにnilを返すようになった (dbind* '(3 7) (any any)) ; (3 7) を返すようになった (dbind* '(3 7) ('any t) ; 7 を返していたのがnilを返すようになった 212 名前：嵩 [04/02/27 16:48] 131 ： ：04/02/10 19:06 (define make-structure (lambda (n) (lambda (d) (lambda (m) ((m n) d))))) (define select (lambda (c) (c (lambda (a) (lambda (b) a))))) の意味がいまいちわかりません。 例えば、 (select ((make-structure (+ 7 5)) (- 9 3))) とした時のラムダ計算の課程を教えてくれませんか。 132 ：デフォルトの名無しさん ：04/02/10 19:17 >>131 n := 7 + 5 => 12 d := 9 - 3 => 6 c := (lambda (m) ((m 12) 6)) => #<closure> m := (lambda (a) (lambda (b) a)) => #<closure> a := 12 => 12 b := 6 => 6 => 12 となっているけど、もう少し詳しく説明できる人いますか？ ラムダ計算が今一よくわからないもんで。 213 名前：デフォルトの名無しさん mailto:sage [04/02/27 16:54] >>212 詳しく説明できるが 聞　き　方　が　気　に　食　わ　な　い 214 名前：デフォルトの名無しさん mailto:sage [04/02/27 17:09] 関数適用で束縛変数を引数で置き換えればいいんだよ。 215 名前：デフォルトの名無しさん mailto:sage [04/02/27 17:18] make-structure = λn.λd.λm.((m n) d) select = λc.(c λa.λb.a) (select ((make-structure (+ 7 5)) (- 9 3))) = (select ((make-structure 12) 6)) = (select ((λn.λd.λm.((m n) d) 12) 6)) ; nを消す = (select (λd.λm.((m 12) d) 6)) ; dを消す = (select λm.((m 12) 6)) = (λc.(c λa.λb.a) λm.((m 12) 6)) ; cを消す = (λm.((m 12) 6) λa.λb.a) ; mを消す = ((λa.λb.a 12) 6) ; aを消す = (λb.12 6) ; bを消す = 12 216 名前：デフォルトの名無しさん [04/02/27 23:36] 私はslot-refでCLOS止めました letで囲めばいいじゃん! 217 名前：デフォルトの名無しさん [04/02/28 02:39] なんか物凄い基本的なことかもしれないですが、 Schemeの末尾再帰の動きが良くわからないのです。 どなたか教えてくださいませんか (define fact-tail (lambda(n x)(if( (= n 0) x (fact-tail(- n 1)(* n x))))) 階乗を求めようとしているのはわかりますが、 これに対して、(fact-tail 5 1) を与えたら何で120が導けるのかいまいちわからないです。 (fact-tail 3 1) として どういう風に再帰展開されるのかわかるかた 教えていただけませんでしょうか。 218 名前：デフォルトの名無しさん mailto:sage [04/02/28 02:48] >>217 1ステップずつ考えれば分かるだろ 219 名前：デフォルトの名無しさん mailto:sage [04/02/28 02:50] >>217 (fact-tail 3 1) (fact-tail (- 3 1) (* 3 1)) (fact-tail 2 3) (fact-tail (- 2 1) (* 2 3)) (fact-tail 1 6) (fact-tail (- 1 1) (* 1 6)) (fact-tail 0 6) (= n 0) が真になるので 6 を返す 末尾再帰は C などの for ループと本質的に同じ int fact(int n){     int x=1;     for(; n--; 0!=n) x*=n;     return x } 220 名前：217 [04/02/28 03:05] >>219 ありがとうございます。ぼけてました。引用もとの文には (if (= n 0) x と書いてあるのに手持ちのメモに (if (= n 0) 1 と書き写してしまいそっちをみていてはまってしまいました すっきりしました。おさわがせしてすみません。 221 名前：217 [04/02/28 03:11] >>219 引用元はSoftwareDesign の2000年9月号のScheme特集でした。 「末尾再帰を使うとスタックを消費しない」 と書いてあったけどイメージしにくかったんですが for ループに対応してると考えるとわかりやすいですね。 222 名前：デフォルトの名無しさん mailto:sage [04/02/28 11:34] 繰り返しを末尾再帰に直すと、変数代入の様な 明示的副作用を書なくて良いというのがあって、 Schemeではset!をほとんど使わずにコードが書ける。 223 名前：デフォルトの名無しさん mailto:sage [04/02/28 12:18] schemeに限ったことじゃないような。 まあ、"俺Lisp"的な実装はは末尾再帰最適化がなかったりするけど。 224 名前：デフォルトの名無しさん mailto:sage [04/02/28 13:18] >>223 Schemeは言語仕様上いつでも安心して使えるってことだよ。 例えばtail recursionがproperじゃないCommonLispで 「常に末尾再帰を意識しながら書く」って奴がいるとも思えないが。 225 名前：デフォルトの名無しさん mailto:sage [04/02/28 15:41] >>216 言いたい事が良くわかりまらないんだが with-slots あたりで満足ですか？ >>224 大抵のプログラマは意識はしてると思いますが。 末尾再帰の話が出てこない CL の入門書は見たことないですし。 CL だと最適化オプション下げれば末尾再帰の最適化が OFF になってデバッグしやすくなるし。 226 名前：デフォルトの名無しさん mailto:sage [04/02/28 16:08] Emacs LispやCommon Lispを主に使って、Schemeはあまり使わない俺の場合だと、 再帰呼び出しが末尾にあるかどうかは最初はほとんど気にしません。 読みやすさや見ための綺麗さを優先して最初はコーディングします。 再帰を使う時は、スタックの消費量が問題になるほど、呼び出しが深くなるか どうかには注意します。そして、CLを使っているときは、もし再帰呼び出しが 末尾位置にあれば、ああ、スタックの消費量を気にしなくてもいいかな、という 考えが頭に浮かびます。 227 名前：225 mailto:sage [04/02/28 16:16] > 言いたい事が良くわかりまらないんだが with-slots あたりで満足ですか？ いかん、丁寧に直したら副作用で日本語が壊れている…… >>226 末尾再帰って末尾位置に再帰があれば良いってもんじゃないんだけど。 228 名前：デフォルトの名無しさん mailto:sage [04/02/28 16:22] >>227 >末尾再帰って末尾位置に再帰があれば良いってもんじゃないんだけど。 R5RSに定義されている「末尾位置」のつもりだったんですけど? 229 名前：デフォルトの名無しさん [04/02/28 16:45] >>227 > 言いたい事が良くわかりまらないんだが with-slots あたりで満足ですか？ あんた、いい人だ！ でもgoshに無いのでやっぱりCLOS止め 230 名前：デフォルトの名無しさん mailto:sage [04/02/28 16:54] >>228 スマン。末尾位置ってはじめて聞いたもんで。tail context の事なのか？ >>229 なんだそりゃ! 無いならお前が作れ! 231 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:07] >>230 > tail context の事なのか？ そうです。不正確でしたね失礼しました。今、R5RSで確認したんですけど、 tail contextが正しい用語みたいですね。覚えておこう。ちなみにtail contextの 日本語定訳はあるのかな? gaucheでゴーシュ。俺はしばらく「ガウチェ」と発音していたよ。 232 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:07] >>225 末尾呼び出しを思いっきり使えるかどうかって、 コーティングスタイルがまるで変わってくると思うんですが、 >ttp://www.swiss.ai.mit.edu/~jaffer/hobbit_4.html (define (cpstak x y z) 　(define (tak x y z k) 　　(if (not (< y x)) 　　　　(k z) 　　　　(tak (- x 1) 　　　　　　 y 　　　　　　 z 　　　　　　 (lambda (v1) 　　　　　　　 (tak (- y 1) 　　　　　　　　　　z 　　　　　　　　　　x 　　　　　　　　　　(lambda (v2) 　　　　　　　　　　　(tak (- z 1) 　　　　　　　　　　　　　 x 　　　　　　　　　　　　　 y 　　　　　　　　　　　　　 (lambda (v3) 　　　　　　　　　　　　　　 (tak v1 v2 v3 k))))))))) 　(tak x y z (lambda (a) a))) ;;; call: (cpstak 18 12 6) たとえばこういう内包挟んだ末尾再帰もCommonLispコンパイラが ちゃんと末尾として認識するのかなと。 233 名前：デフォルトの名無しさん [04/02/28 17:18] >>230 いや、おれは「letで囲めば良い」を布教させる事に全力を傾けたい だから、もう一度、キョンキョンにこの歌を歌ってもらおう （キョンキョン）おまえら！一緒に歌ってくださーい ♪defineの次に、letで囲めばぁー いーじゃん♪　（見逃してくれよー） いーじゃん♪　（見逃してくれよー） ♪作ったlambdaの引数はいつもこれ→(msg . args) いーじゃん♪　（メッセージ送れよー） いーじゃん♪　（メッセージ送れよー） （キョンキョン）よし、分かったな。じゃあ解散！ 234 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:22] ↑バカ？ 235 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:24] >>232 大抵のコンパイラは普通に認識するよ。 236 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:25] 徹夜で気でも狂ったか？ 237 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:30] ワロタ 238 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:32] >>232 俺はこういうコーディングは思いつかないと思うけど、schemerの人って こういうコーディングをよくするの? 見ためは、綺麗だよね。 239 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:37] >>232 そういうコードが安心して使えるかどうかっていうと駄目だろ。 CommonLispはコンパイラの最適化って点でインプリメンタの気まぐれなわけだし。 コーティングスタイルにまでは及ばない。 240 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:39] >>238 CPS（232みたいなk=continuationを渡していくやつ）はよく使うよ。 241 名前：デフォルトの名無しさん [04/02/28 17:40] ♪defineの次に、letで囲めばぁー 242 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:41] 春はまだ先だぞ 243 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:44] 最適化部分は処理系依存なだけで。 C とかだって最適化は規格で決まってなくても プログラマは処理系のマニュアル見て安心して使うだろう？末尾再帰の最適化が完全 に良い事づくめなら Scheme みたいに規格で決めちゃってもいいかもしれんけど，デ バッグがやりにくくなるからなぁ…… でも普通は処理系が対応してりゃ安心して使えるだろう。大抵のコンパイラは末尾再 帰の最適化機能を備えているわけだ。以前 c.l.l でも出ていたがやっぱ最適化オプ ションに「末尾再帰の最適化」を設けるべきだろうなぁ。規格以外は一切使わないと いうポリシーもありだと思うけどね。 244 名前：sage [04/02/28 17:45] （見逃してやれよー） 245 名前：デフォルトの名無しさん mailto:sage [04/02/28 17:55] >>243 デバッグがやりにくくなる？ どんなデバッグしてるのさ ログ出すだけじゃないの？ 246 名前：デフォルトの名無しさん mailto:sage [04/02/28 18:40] アセンブラ出力しておっかけてるんだろ 247 名前：デフォルトの名無しさん mailto:sage [04/02/28 18:56] xyzzy で tail recursion が遅いのは大変残念な思いがします． 248 名前：デフォルトの名無しさん mailto:sage [04/02/28 18:56] 関数トレースしたり、エラーがでたらバックトレースみたり、 スタックフレームのぞくだけだけど…。ひょっとして「ログ出す」 ってのが普通なの？漏れ Lisp の正規の教育受けてないので 常識には自身がないんだよね。 249 名前：デフォルトの名無しさん mailto:sage [04/02/28 18:58] s/自身/自信/ どうやら国語も勉強しなおしたほうがいいようだ。吊ってくるわ。 250 名前：デフォルトの名無しさん mailto:sage [04/02/28 19:06] 所詮はエディタだし。 251 名前：デフォルトの名無しさん mailto:sage [04/02/28 19:08] Lispの正規の教育受けてる人なんてほとんどいないだろ。 Java/C/C++でさえ書籍orWebの情報だけでやっていく人がたくさんいるし。 252 名前：デフォルトの名無しさん mailto:sage [04/02/28 20:55] 正規の教育ってなんだ？（ｗ

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef