CommonLisp Scheme Part13

1 名前：デフォルトの名無しさん [2005/05/12(木) 21:44:01 ] 過去スレ Part1: piza2.2ch.net/tech/kako/987/987169286.html Part2: pc.2ch.net/tech/kako/1002/10025/1002584344.html Part3: pc.2ch.net/tech/kako/1008/10082/1008220265.html Part4: pc.2ch.net/tech/kako/1016/10162/1016211619.html Part5: pc3.2ch.net/tech/kako/1023/10230/1023091882.html Part6: pc3.2ch.net/tech/kako/1031/10315/1031560687.html Part7: pc5.2ch.net/tech/kako/1042/10421/1042167213.html Part8: pc5.2ch.net/tech/kako/1058/10582/1058263391.html Part9: pc2.2ch.net/test/read.cgi/tech/1069594582/ Part10: pc5.2ch.net/test/read.cgi/tech/1075630259/ Part11: pc5.2ch.net/test/read.cgi/tech/1091456033/ Part12: pc8.2ch.net/test/read.cgi/tech/1100229366/ 関連リンクは>>2-10あたり 653 名前：デフォルトの名無しさん mailto:sage [2005/08/08(月) 21:07:47 ] > ((dd) (d) (c) (b a)) > ↓ > ((d (dd) e) (c) (b a)) ここがよく分からない．eを新たにプッシュするときに，どうしてdはeと同じ リストに含めて，ddは1つネストしたリストに入っているの? もっと言えば， (c)や(a b)はd，ddと全く別の扱いを受ける必然性もないように見える． 要するに，リストのネストの深さを保存してないよ，ってこと． 654 名前：デフォルトの名無しさん mailto:sage [2005/08/08(月) 21:59:58 ] a b 　c 　　d 　　　　　　dd 　　　　　ee 　　e 　f 　g 　　h 　　　i 　j k とかなってたらeeはどうするのか? ということを考えると >ddみたいな数階層上のインデントがあっても直前の階層の1つ上とみなす。 はよろしくないんじゃないかな。それとも構文エラー? 655 名前：デフォルトの名無しさん mailto:sage [2005/08/08(月) 22:16:21 ] >>653 インデントの情報も付加して説明すると、 (((a) 0)) ;; インデント0の組 ↓ (((b a) 0)) ;; 同一インデントはそのままスタック先頭にcons ↓ (((c) 2) ((b a) 0)) ;; インデント2>0なので新規にスタック追加 ↓ (((d) 4) ((c) 2) ((b a) 0)) ;; インデント4>2なので新規にスタック追加 ↓ (((dd) 12) ((d) 4) ((c) 2) ((b a) 0)) ;; インデント12>4なので新規にスタック追加 ここで(e 4)がくると(d 4)までスタックを撒き戻すという意味です。 撒き戻すついでにreverseして整える。 ↓ (((d (dd) e) 4) ((c) 2) ((b a) 0)) さらにeが終端なので連鎖して撒き戻し&reverseが発生する (((c (d (dd) e)) 2) ((b a) 0)) ↓ (((a b (c (d (dd) e))) 0)) => (a b (c (d (dd) e))) それで結果がこうなればいいんじゃないか、ということです。 でも 2 -> 12 -> 4とかのパターンだと 12を4とみなすとか例外作らないとだめかなあ。 >>650 早速ありがとうございます。 コード研究してみます。 656 名前：デフォルトの名無しさん mailto:sage [2005/08/08(月) 22:18:33 ] >>654 上にも書いたけど、それさっき気づきました。 やっぱ インデント構造はそのまま保持して、 後から遊びを修正するようにした方が利口かもしれない。 657 名前：デフォルトの名無しさん mailto:sage [2005/08/08(月) 22:37:15 ] あー、>>654の場合は構文エラーというのも悪くないですね。 「ぶら下がる親があいまい」とかで。 様式的に654の様なケースはありえなさそうだし。 658 名前：デフォルトの名無しさん [2005/08/10(水) 22:19:54 ] >>650氏のコードを自分の想定した入力形式に書き換えてみました。 (define (proc arg) 　(let loop ((rest arg) (temp '()) (result '())) 　　(if (null? rest) 　　　(reverse (if (null? temp) result `(,(proc (reverse temp)) ,@result))) 　　　(let ((node (car rest))) 　　　　(if (< (car node) 2) 　　　　　(loop (cdr rest) '() 　　　　　　(if (null? temp) 　　　　　　　`(,(cadr node) ,@result) 　　　　　　　`(,(cadr node) ,(proc (reverse temp)) ,@result))) 　　　　　(loop (cdr rest) 　　　　　　`(,(cons (- (car node) 2) (cdr node)) ,@temp) result)))))) (proc '((0 a) (0 b) (2 c) (4 d) (12 dd) (4 e) (2 f) (2 g) (4 h) (6 i) (2 j) (0 k) (2 m))) =>(a b (c (d ((((dd)))) e) f g (h (i)) j) k (m)) (< (car node) 2)の箇所はインデント幅が奇数だったら小さい側へ切捨てる処置です。 659 名前：デフォルトの名無しさん [2005/08/10(水) 22:28:19 ] それと入力を作って、 (define (read-indent-text) 　(define (space-count str) 　　(let ((len (string-length str))) 　　　(let loop ((i 0)) 　　　　(if (and (< i len) (char=? (string-ref str i) #\space)) 　　　　　(loop (+ i 1)) 　　　　　i)))) 　(let loop ((str (read-line)) (r '())) 　　(if (eof-object? str) 　　　(reverse r) 　　　(let ((pos (space-count str))) 　　　　(loop (read-line) 　　　　　(cons (list pos (substring str pos)) r)))))) ----ind.txt---- root1 　abc 　def 　　gef 　aaa 　　bbb 　ccc root2 　aaa ----ind.txt---- (proc (with-input-from-file "ind.txt" (read-indent-text))) =>("root1" ("abc" "def" ("gef") "aaa" ("bbb") "ccc") "root2" ("aaa")) こんな感じになりました。 660 名前：デフォルトの名無しさん [2005/08/10(水) 22:48:55 ] ついでに逆変換も作りました。(これは1分でできた。) (define (ind-pp s . indent) 　(define (spaces n) 　　(if (zero? n) #t (begin (write-char #\space) (spaces (- n 1))))) 　(set! indent (if (pair? indent) (car indent) 0)) 　(let loop ((x s)) 　　(if (pair? x) 　　　(if (pair? (car x)) 　　　　(begin 　　　　　(indent-pp (car x) (+ indent 2)) 　　　　　(loop (cdr x))) 　　　　(begin 　　　　　(spaces indent) (display (car x)) (newline) 　　　　　(loop (cdr x)))) 　　　#t))) (ind-pp '("root1" ("abc" "def" ("gef") "aaa" ("bbb") "ccc") "root2" ("aaa"))) root1 　abc 　def 　　gef 　aaa 　　bbb 　ccc root2 　aaa =>#t 結構手間掛かりましたね。。 661 名前：デフォルトの名無しさん mailto:sage [2005/08/10(水) 23:16:41 ] fun.sci.fukuoka-u.ac.jp/wiki/index.php?xyzzy のscheme-modeをgaucheのgoshをインタプリタとして使ってみたいのですが、 そういう使い方してる人います？ できれば教えて下さい。 またこれ以外でも、xyzzyで使えるscheme-modeがあれば紹介してください。 662 名前：デフォルトの名無しさん [2005/08/10(水) 23:37:10 ] リストに入れた関数を一つの引数に次々に適用するにはどうするのがよいのでしょうか？ 状況としてはユーザからの入力値をチェックすることを考えています。 例えばチェック用関数 func_a, func_b, func_c, func_d と入力値 x, y, z があり x については func_a と func_b, y については func_a と func_c, z については func_a と func_d, によるチェックを行いたいわけなんです。 そこで x の場合 (func_a, func_b) と x を引数にとってリスト ((func_a x) (func_b x)) を 返すようにしたいのですが map のような便利な関数はないのでしょうか？ あるいはリストに入れた関数を一つの引数に次々に適用するよりも 適切な方法はありませんでしょうか？ 663 名前：デフォルトの名無しさん mailto:sage [2005/08/11(木) 00:26:44 ] (define (hoge func-list x) (map (lambda (f) (f x)) func-list)) (hoge (list (lambda (x) (+ x x)) (lambda (x) (* x x))) 10) => (20 100) 664 名前：デフォルトの名無しさん mailto:sage [2005/08/11(木) 01:08:58 ] お約束ｷﾀ━━━━━━(ﾟ∀ﾟ)━━━━━━!!! 665 名前：デフォルトの名無しさん mailto:sage [2005/08/11(木) 01:30:32 ] おおぅ、こんなところに誤爆してたのか orz 666 名前：デフォルトの名無しさん mailto:sage [2005/08/11(木) 23:41:25 ] >>661 どっかでgoshの-iオプションを使うとか聞いたことがあるようなないような。 667 名前：デフォルトの名無しさん mailto:sage [2005/08/12(金) 08:36:46 ] >>645 亀だけど Gauche で書いてみた. 入力は ((シンボル . インデント数) ...) みたいな感じ. (use srfi-1) (define (iexpr->list xs)   (define (f xs level rs)     (if (null? xs)         (values xs (reverse! rs))         (receive (sym l) (car+cdr (car xs))           (cond ((= l level)                  (f (cdr xs) l (cons sym rs)))                 ((< l level)                  (values xs (reverse! rs)))                 (else                  (receive (rest res) (f xs l '())                    (f rest level (cons res rs))))))))   (values-ref (f xs 0 '()) 1)) 668 名前：デフォルトの名無しさん mailto:sage [2005/08/15(月) 23:19:44 ] >>667からvalues関係を取っ払ってみた。 そんだけ。 (define (iexpr->list xs) 　(define (f xs level rs) 　　(if (null? xs) 　　　　(cons xs (reverse! rs)) 　　　　(let ((sym (caar xs)) (l (cdar xs)))　 　　　　　(cond ((= l level) 　　　　　　　　 (f (cdr xs) l (cons sym rs))) 　　　　　　　　((< l level) 　　　　　　　　 (cons xs (reverse! rs))) 　　　　　　　　(else 　　　　　　　　 (let ((x (f xs l '()))) 　　　　　　　　　 (f (car x) level (cons (cdr x) rs)))))))) 　(cdr (f xs 0 '()))) >(iexpr->list '((a . 0)(b . 1)(c . 4)(d . 5)(d . 2)(e . 3)(f . 0))) =>(a (b (c (d)) (d (e))) f) なかなか面白いですな。 これ使って何かに繋がらないかな。 すぐ思いつくのはGUIコントロールの階層表現ぐらいだけど。 669 名前：デフォルトの名無しさん mailto:sage [2005/08/21(日) 22:40:48 ] Schemeのコンパイラなどで使うというCPSについてわかりやすく 解説してるページはありますか? コンパイラとかの中間言語としてのCPSとか、CPSへ/からの変換が 知りたいといいますか。英語でもいいです。 継続とは何ぞやとか、 普通の場合に戻ってから実行する処理をクロージャとして渡せば 一般の言語で継続渡し形式で書ける、という程度の継続渡しの 理解はしてるつもりです。 670 名前：デフォルトの名無しさん mailto:sage [2005/08/21(日) 23:13:14 ] >>669 とりあえずSICP嫁。英語ならWebで読める。 671 名前：デフォルトの名無しさん mailto:sage [2005/08/21(日) 23:37:09 ] SICPは読みかけの途中で止まってます。どのへんに書いてありますか? 672 名前：デフォルトの名無しさん mailto:sage [2005/08/21(日) 23:44:38 ] あとは、東大のコンパイラ演習のレジュメとか ttp://www.is.s.u-tokyo.ac.jp/~vu/97/jugyo/processor/compilerresume/ 673 名前：デフォルトの名無しさん [2005/08/22(月) 00:11:36 ] Scheme用のRSS解析ライブラリってないの？ perlのXML::RSSみたいなの． 674 名前：デフォルトの名無しさん mailto:sage [2005/08/22(月) 00:38:14 ] SXMLとSXPATHでは足りない？ 675 名前：643 [2005/08/22(月) 00:47:55 ] よりらくちんにやりたいのです． 676 名前：デフォルトの名無しさん mailto:sage [2005/08/22(月) 02:56:42 ] >>673 LISPはクローズドな開発が多いから ここで「〜ない？」系の質問しても答えはほとんど「無い」が返ってくると思っていい。 どうしても必要なら自分で書け。 そしてコミュニティに還元しろ。 677 名前：643 mailto:sage [2005/08/22(月) 09:31:13 ] >>676 なるほど! じゃあ，がんばって書くよ． 678 名前：デフォルトの名無しさん mailto:sage [2005/08/22(月) 10:58:41 ] LISPだと簡単に書けちゃうから、逆にあまり再利用を考えずに自分専用のを 作って使い捨てしちゃうってことはあるね。 >>677 がんがれ 679 名前：デフォルトの名無しさん [2005/08/30(火) 13:54:52 ] Lisp　に少し興味を感じています。 あまりにも他の言語と異質な感じをうけるため、心理的な抵抗感も実はあります。 Scheme　は Lisp の派生あるいは方言である、と入門サイトに記述されています。 両言語の特性の違いについて、実際にプログラムを組んでいる方の感覚とご理解から 意見を伺いたいです。Lispが優れている言語ならば、それをもとにしたSchemeを 学習する方が良いのだろうか、と悩んでいます。 経済的な理由からLinuxマシンを新規に構成するのではなく、現在使用中の Windowsマシンで Lisp/Scheme を学びたいと思っています。 680 名前：デフォルトの名無しさん mailto:sage [2005/08/30(火) 19:51:41 ] >>679 CommonLispならcoLinux(ただしXP/2000限定)を入れてcmucl、 Windows単体で動かしたいならclisp使うとか。 Schemeなら日本語リソースではgauche、 とにかく速いのがいいならbiglooかな。 681 名前：デフォルトの名無しさん mailto:sage [2005/08/30(火) 20:01:43 ] お勉強目的なら xyzzy でいいんじゃね？ エディタとしてもよく出来てるし。 682 名前：デフォルトの名無しさん mailto:sage [2005/08/30(火) 20:07:21 ] >>681 xyzzyはかなり方言だし、ちゃんとしたclispあたりのほうが良いと思う。 Scheme系ならgaucheかな。 683 名前：デフォルトの名無しさん mailto:sage [2005/08/30(火) 21:34:10 ] >>680 >>681 >>682 皆様のおかげで、5つの実装・環境について特徴を知ることができました。 奥深いのですね。ありがとうございます。 調べたところ、エディタ xyzzy には熱心な愛好者が多そうですね。 Lispの言語としての魅力と関係があるように印象を受けました。 お勧めのgaucheを少し検索しました。 Kahuaというウェブアプリケーション作成の仕組みがあるとか・・ 時間をつくってお勧めを参考に Lisp/Scheme を勉強してみます。 684 名前：デフォルトの名無しさん mailto:sage [2005/08/30(火) 21:52:14 ] >>683 あんまし色々言うと混乱させてしまうかもしれないけれど、 とりあえず動かしたいということだったら IDE もついてくる PLT Scheme が楽かも。 xyzzy がとっつきやすいのと同じ理由で。 一応日本語方面も外国ものとしてはそれなりだし。 でも、教科書とにらめっこして勉強するんじゃなく、 実際自分で使う小物スクリプトを色々書きながら勉強するというスタンスだったら gauche が一番向いてるのかな。 そもそもスクリプティングに使いやすいものを、という開発方針だった気がするし。 何にせよ、Scheme は善かれ悪しかれ処理系ごとの個性が強いので 色々な処理系を試してみて、一旦これ、と決めたら、 それの使い方を詳しくつっこんでみるのがいいと思う。 685 名前：デフォルトの名無しさん mailto:sage [2005/08/30(火) 22:35:37 ] 結局、Schemeはスマートだけどライブラリが不足している現状があり、 それが処理系ごとの違いに繋がってるんだと思う。 Gaucheくらい充実してればSchemeも楽しい。 686 名前：デフォルトの名無しさん [2005/08/30(火) 23:14:12 ] 日本語を扱いに長けているcommon lispの処理系には何がありますか? schemeだったらgaucheで決まりなんだけど、common lispは良さそうなのが 見当たりません。 687 名前：デフォルトの名無しさん mailto:sage [2005/08/30(火) 23:20:45 ] >>686 最近のclispはSJIS/JIS/EUC/Unicode自由自在だよ。 clisp.cons.org/impnotes/encoding.html 688 名前：デフォルトの名無しさん [2005/08/31(水) 00:12:43 ] Petite Chez Scheme　というのを　ChezEdit-NT　というエディタで動作させるのも楽しそう。 689 名前：デフォルトの名無しさん mailto:sage [2005/09/01(木) 13:15:57 ] スレ違いならすんませんが、Scheme勉強しようと思って、 OSX TigerにGauche 0.8.5インストールしたところリンクが通らず、 Finkでdlcompat入れろつーことらしいから(10.2だけど)、 Fink入れてみたんだけどdlcompatとかなさそうで、 ほんじゃってんで、ports入れてみて、 dlcompat落としてみたら、コンパイルできんって感じでげす...orz どげにしたらインストでけるんでがしょ？ 690 名前：デフォルトの名無しさん mailto:sage [2005/09/01(木) 13:35:34 ] しかるべき場所でちゃんとした言葉遣いで相談したほうが良いと思います。 691 名前：デフォルトの名無しさん mailto:sage [2005/09/01(木) 14:06:18 ] port install gauche 692 名前：デフォルトの名無しさん mailto:sage [2005/09/01(木) 21:30:54 ] gaucheの特徴 ・define-macroがある ・マニュアルが日本語(ライブラリも) ・ライブラリが豊富 ・Cで簡単に拡張できる。 693 名前：デフォルトの名無しさん mailto:sage [2005/09/02(金) 04:52:45 ] >>686 SBCL は最近、日本語通る様になった 694 名前：686 mailto:sage [2005/09/03(土) 01:42:43 ] >>687>>693 おまいら、ありがとうございます。 >>950は次スレのテンプレに日本語使える処理系情報を追加しておくように。 695 名前：デフォルトの名無しさん mailto:sage [2005/09/03(土) 05:56:43 ] gaucheでhttpクライアントを作ろうとしています。 このとき http-get 関数に :Accept-Encoding "gzip, compress" を 指定して圧縮されて受け取ったデータを展開するにはどうすればよいでしょうか？ javaみたいにgzipのストリームがあれば便利なんですが、ストリームどころか 素のgzipのユーティリティも見当たらないようです。 知ってる方お知恵をお貸し下さい、おながいします。 696 名前：デフォルトの名無しさん mailto:sage [2005/09/03(土) 16:34:33 ] とりあえず何とかしたいなら、プロセスポートを 使ってgzipを呼ぶようにすれば？ rfc.mimeも使うよね。 697 名前：デフォルトの名無しさん mailto:sage [2005/09/03(土) 23:19:40 ] ttp://www.rubyist.net/~matz/20050830.html#p01 Paul Grahamが(言わなきゃいいのに)本音を漏らしちゃった話。 言語デザイナーとしての限界とか、無理して作るなとか、さんざんなこと言われてる。 698 名前：デフォルトの名無しさん mailto:sage [2005/09/03(土) 23:57:02 ] >>697 個人的にはPaulの意見は理解できる。つーか、Matz僻みすぎ。 699 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 00:00:15 ] やっぱLISPは完成度が高すぎるんだな。 Paul一人ごときが進化できる代物ではないと。 Guyぐらいの天才でもないと。 700 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 02:06:14 ] たしかに完成度は高いのかもしれんが、 抽象度の高いものは、漏れのような頭の悪い奴らにとっては使いこなすのが難しいわけで。 そういう意味で、Perl, Python, Rubyのような言語ってのは、脳味噌が一部不自由でもLispの パワーの片鱗に触れられるって点で意味はあると思うんだけどな。 で、より毛深くなりたくなったら、Lisp/Schemeの世界に足を踏み入れればよいのだし。 結局のところ動的言語使いはLispに始まりLispに帰るのか。 701 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 02:15:22 ] 比較的簡単な問題をちょいちょいっと手続き型で書いていく時は、LispよりPythonの方が便利だと思う。 公式ライブラリが豊富なのもこの長所を延ばしてる。 Perlはawkの改良として、歴史的意味があった。 Rubyは．．．えーっと．．． 702 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 04:10:30 ] arc は Vaperware への道をまっしぐら感が強いよなあ。 >>695 wiliki の方でも訊いてみてはどうでしょ。 >>696 みたいな感じの答えになりそうな気はするけれど、 具体的なコードも出してくれるかも知れんし。 703 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 04:53:54 ] Arc も、もう少し志を低くして (asdf-install:install 'arc) で使える便利ライブラリ、くらいにするといいんだよ。 704 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 07:30:26 ] Haskell ,Clean 等は効率的で、LISP, SCHEME は万能である。 万能とは、科学者にとって悲しむべき特性である。 705 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 11:24:03 ] とはいえLispも今までいろいろ進化してきたしな。 これで完成だとか言ってると危ないかも。 706 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 11:25:21 ] そういえば、LISPでも関数を特別視してるけど、 それをなくしたら新しい文化ができるかも。 つまり、関数呼び出しは全てfancall, applyを使う。 707 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 12:16:58 ] funcall も apply も関数ですが ていうか scheme では既に特別視してないし 708 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 13:01:47 ] じゃあ、定理証明系見たいなノリでmacroで作ったやつをmapできたりさせよう。 709 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 13:09:09 ] 他の言語なら適当な文法考えるだけでなにか 新しいものを追加した気分になれるがlispだと そんなのマクロで書けるじゃんでほとんど終わる ので圧倒的に不利なきがする 710 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 13:15:42 ] 個人的には理論的純粋さよりも実用性だな。ライブラリがあればいい。 ANSI Common Lisp + ネットワーク + 国際化 + XML + ... みたいなノリで CLtL3 を作って標準化してほしい。 711 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 18:55:28 ] LISPは記号処理は得意でも文字列操作はそれほどでもない中途半端さがない？ 712 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 19:29:12 ] >>711 EmacsLispはいかがですか？（反則ぎみ) つか、欲しかったら時分でマクロなり関数なり定義してけばOK。 ソースある処理系だったら実装言語で拡張しちゃえば最強。 713 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 19:53:44 ] 一度SchemeやCommon Lisp使っちゃうと、elispでごりごり書くなんて事実上ありえん。 それならPerl使った方がマシ。 714 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 22:23:55 ] Common Lisp だとリーダマクロなんて最後の武器があるしなあ。 #/regexp/ みたいなものくらいなら片手間で実装できるし。 まあ regexp 自体は既存のライブラリ使うとしてだけど。 xml を直接埋め込むようなライブラリとかもあったよね。 あとはファーストクラスの動的マクロとかの黒魔術に手を染めるしかないかもなあ。 Graham は確かオプションで切り替えられるような機能を arc でサポートする予定だったと思ったけれど。 洒落だったら後置記法の Sexpr とか思いつくんだけどなあ。 715 名前：デフォルトの名無しさん mailto:sage [2005/09/04(日) 22:36:29 ] >>714 ＞後置記法 括弧つきFORTHだな。ｗ 716 名前：デフォルトの名無しさん mailto:sage [2005/09/05(月) 07:20:19 ] >>713 emacs の開発者やコード寄贈者には Scheme や Common Lisp ハッカーが ごろごろいるけど。 717 名前：デフォルトの名無しさん mailto:sage [2005/09/05(月) 23:59:51 ] (>>713 emacsは絶対けなしちゃ駄目!!（><）) ↓以下別の話題 718 名前：デフォルトの名無しさん mailto:sage [2005/09/06(火) 01:47:11 ] 個人的にここがお気に入り pc8.2ch.net/test/read.cgi/tech/1114223450/ 719 名前：デフォルトの名無しさん mailto:sage [2005/09/06(火) 04:50:31 ] 荒れるからやめろ。 ↓以下Lispの話題 720 名前：デフォルトの名無しさん mailto:sage [2005/09/06(火) 11:46:48 ] LISPって夢があっていいけど ライブラリを充実させてほしい。 どんなしょぼLISPでも使えるネットワーク系ライブラリとかよ。 721 名前：デフォルトの名無しさん mailto:sage [2005/09/06(火) 14:16:24 ] Generaがﾅﾂｶｼｽ。 ああいう開発環境をいまの技術で作れば、めちゃ快適なんだろうなと夢想。 722 名前：デフォルトの名無しさん mailto:sage [2005/09/06(火) 18:33:08 ] >>720 ほんとそのとおりだよ。LISPerにはライブラリ共有の概念がないのかね。 723 名前：デフォルトの名無しさん mailto:sage [2005/09/06(火) 19:30:23 ] www.cliki.net/networking 724 名前：デフォルトの名無しさん mailto:sage [2005/09/06(火) 21:32:59 ] 偉そうなこと言うやつはいるけど。 それ以外の日本語のコンテンツの少なさは凄いよな。 725 名前：デフォルトの名無しさん mailto:sage [2005/09/06(火) 21:40:16 ] ↑偉そうなこと言うやつ 726 名前：デフォルトの名無しさん mailto:sage [2005/09/06(火) 22:06:11 ] >>724 探せばそれなりにはあるよ。大学なり個人なり。 Java とかに比べれば、そりゃ少ないけど。 ↓はﾃﾝﾌﾟﾚに入れても良いかも。 チュートリアル ttp://www.h7.dion.ne.jp/~matsu/feature/common-lisp/index.html ティップス ttp://www.geocities.co.jp/SiliconValley-Cupertino/2478/root-sect-2.html 727 名前：デフォルトの名無しさん mailto:sage [2005/09/06(火) 22:31:27 ] 偉そうなこと言う奴は、確かに充実してる（多い）な 728 名前：デフォルトの名無しさん mailto:sage [2005/09/06(火) 23:37:41 ] なんだ、宿題教えてもらえなかったのか 729 名前：デフォルトの名無しさん mailto:sage [2005/09/07(水) 22:26:23 ] 初心者用のコンテンツのみ充実してるな。 730 名前：デフォルトの名無しさん mailto:sage [2005/09/08(木) 18:36:51 ] しかし、初心者自体は足りてないと 731 名前：デフォルトの名無しさん mailto:sage [2005/09/10(土) 12:21:47 ] さっきうっかり chez のサイト踏んだら chez scheme が version 7 に上がってたんで一応貼っておきますね。 リリースノートを眺めた限りではあんまり派手な変更はなさそうですけれど。 多言語方面に対応しないのはお客さんから要望が出ないからなんだろうなあ。 www.scheme.com/csv7.0/ 732 名前：デフォルトの名無しさん mailto:sage [2005/09/12(月) 03:15:04 ] >>731 値段が判りませぬ。幾らなんでしょうかご存じでしょうか。サイト探してみたんですけど 見当たらなかったように思います。 733 名前：デフォルトの名無しさん mailto:sage [2005/09/12(月) 04:00:26 ] >>732 フリーで機能限定版（コンパイラが無い）の Petite Chez があります。 Chez 自体の値段は私も知りませんが ACL といい勝負だという噂は聞いたことがあります。 基本的に個人相手に商売してるんじゃなさそうな気がします。 734 名前：flatline@Vim%Chalice ◆r6EONKKhcc mailto:sage [2005/09/13(火) 16:55:02 ] "On Lisp" のHTML版を置いておきますね． っ [ user.ecc.u-tokyo.ac.jp/~t50473/onlispjhtml/ ] まだTeXのマクロが残りまくりですが... 735 名前：デフォルトの名無しさん mailto:sage [2005/09/13(火) 20:45:38 ] >>734 乙カレー! これで emacs-w3m で『On Lisp』が読めるよ。 736 名前：デフォルトの名無しさん mailto:sage [2005/09/13(火) 22:01:01 ] >>733 ACLって１ライセンスいくらでしたっけ。 今ちょっとfranzのページ見てきたら載ってないのなー 737 名前：デフォルトの名無しさん mailto:sage [2005/09/13(火) 22:02:28 ] >>736 時価とかじゃね？ 738 名前：デフォルトの名無しさん mailto:sage [2005/09/13(火) 22:08:48 ] www.franz.com/products/packages/ によれば $599〜 739 名前：デフォルトの名無しさん mailto:sage [2005/09/13(火) 22:45:29 ] そんなに高くないのな ・・で、日本語マニュアルは付いてくるのかい？ 740 名前：デフォルトの名無しさん mailto:sage [2005/09/13(火) 22:46:51 ] >>734 すげ つーかここまでお疲れ様でした。 741 名前：デフォルトの名無しさん mailto:sage [2005/09/13(火) 23:02:55 ] サポートいらないから、ソースネクストから1,980円で発売してほしい。 742 名前：デフォルトの名無しさん mailto:sage [2005/09/13(火) 23:09:30 ] 同意 743 名前：デフォルトの名無しさん mailto:sage [2005/09/13(火) 23:19:45 ] microsoftの製品より安くね？ 744 名前：デフォルトの名無しさん mailto:sage [2005/09/13(火) 23:39:37 ] 開発ツールじゃMSの製品に他のメーカは内容も値段も全く勝負にならん。 745 名前：デフォルトの名無しさん mailto:sage [2005/09/13(火) 23:44:46 ] >>743 あっちは単言語で安いパッケージがある。 746 名前：デフォルトの名無しさん mailto:sage [2005/09/13(火) 23:46:08 ] Microsoft Visual Common Lisp .NET 待望 747 名前：デフォルトの名無しさん mailto:sage [2005/09/13(火) 23:59:21 ] Pythonですら.NETになったというのにおまいらときたら…… 748 名前：デフォルトの名無しさん mailto:sage [2005/09/14(水) 00:04:23 ] つ DotLisp sourceforge.net/projects/dotlisp/ 749 名前：デフォルトの名無しさん mailto:sage [2005/09/14(水) 00:24:29 ] On Lispの日本語版って出版されんの？ Franzの11月セミナーのとこにそれっぽいようなことが書いてあった気がするんだが。 750 名前：デフォルトの名無しさん mailto:sage [2005/09/14(水) 00:47:14 ] Microsoft で CLR の主任設計者やってる Patrick Dussud は元々 Lisp 屋だし 今年の ILC でも講演してたよ。 international-lisp-conference.org/2005/speakers.html#patrick_dussud 751 名前：デフォルトの名無しさん mailto:sage [2005/09/14(水) 06:20:08 ] >>749 > さらに、今年末出版予定の、邦訳版 On Lisp （原書著者Paul Graham）の翻訳者である野田開氏もお迎えし、 > 書籍On Lispについてや翻訳の体験談をお話し頂きます。 これか。 jp.franz.com/base/aclhome_base.html 752 名前：デフォルトの名無しさん mailto:sage [2005/09/14(水) 06:45:41 ] そういえば On Lisp といったら原書の方も、 再版するとか改訂するとかする暇がないとか色々噂は聞くけれど、 実際のところどうなってるんでしょう。 753 名前：flatline@Vim%Chalice ◆r6EONKKhcc mailto:sage [2005/09/14(水) 10:59:31 ] >>749 出版社の方が，原書を出した米国の出版社と交渉に当たって下さっているところです． >>752 改訂版を出そうとしている（米の）出版社がGraham氏の原稿を待っているとのこと． ＃ 私もできれば改訂版に追従したいんですが... Graham氏は完璧主義の方で，その上お忙しいので，しばらくかかりそう，とか． 754 名前：デフォルトの名無しさん mailto:sage [2005/09/14(水) 15:04:06 ] Schemeもあるでよ〜 Common Larceny requires the Common Language Infrastructure. It is known to work with the Microsoft .NET Framework implementation. www.ccs.neu.edu/home/jrm/download.html 755 名前：デフォルトの名無しさん mailto:sage [2005/09/14(水) 16:57:06 ] Larceny か 音沙汰無いなと思ってたらこんなところで 756 名前：デフォルトの名無しさん mailto:sage [2005/09/14(水) 19:35:50 ] 処理系依存の質問ですがここでいいですか？ FreeBSD4.11でportsからインストールしたCMUCL19a traceの結果がレベル0しか出力されない (defun fac (n) (if (> n 1) (* n (fac (1- n))) 1)) (trace fac) (fac 3) 処理系の出力 0: (FAC 3) 0: FAC returned 6 6 教えてエロい人 757 名前：デフォルトの名無しさん mailto:sage [2005/09/14(水) 21:29:51 ] SBCL 使えば? 日本語も使えるし。 758 名前：デフォルトの名無しさん mailto:sage [2005/09/15(木) 02:19:00 ] 計算過程をずっとsingle-floatの範囲内で収めたいのですが、ACL7は積み残しが 発生する場所では気を利かせてdouble-floatで計算してくれるみたいです。 C/C++のように強い型付けをされた言語の真似をさせるにはどうしたらよいですか。 foreign-function使ってfloat同士の加算だけの関数を呼び出すのは我ながら バカらしい解決方法だと思うのですが、もっとまともな方法ありますか？ 759 名前：デフォルトの名無しさん mailto:sage [2005/09/15(木) 02:28:31 ] >>758 例えば (defun p (x y) 　(declare (single-float x y)) 　(the single-float (+ x y))) みたいな書き方すれば多くのコンパイラは良きになしてくれるよ。 760 名前：758 mailto:sage [2005/09/15(木) 02:39:10 ] >>759 declareとtheを使った書き方は試しているのですが、まだ期待した結果を 得られるには至ってません。記述方法の問題かも知れないのでも少しいじってみます。 ありがとうございました。 761 名前：デフォルトの名無しさん [2005/09/15(木) 06:26:15 ] .NET + Common Lisp については、こんなのもあるらしい。 weitz.de/rdnzl/ RDNZL - A .NET layer for Common Lisp 762 名前：デフォルトの名無しさん mailto:sage [2005/09/15(木) 20:55:47 ] 積極的にsingle使いたい理由でもあるの？ 最適化のつもりなら多分逆効果だよ 763 名前：758 mailto:sage [2005/09/15(木) 22:46:38 ] >>762 僕への質問と理解してよければ、ハードウェアのシミュレータを書こうとしてるからです。 演算器がsingleしか持ってないので途中でdoubleに行っちゃったりして実機上の計算と結果が 異なってくるとイヤかなぁ、と。 マクロとかバンバン使って勝手に俺言語でっち上げて、パイプラインの状態とか視覚的に 見れるようなところまで持って行けたら素敵なんだけども。こんなことLispでやろうとするのって おかしいですか？ >>753 出版されたら買わせていただきますわ。期待して待ってます。 764 名前：デフォルトの名無しさん mailto:sage [2005/09/15(木) 23:08:26 ] C でも float foo(float x, float y) { return (x + x) / y; } を foo(MAXFLOAT, 2) と呼び出した場合、途中 double で計算して オーバーフローしない処理系があるし、それも規格合致だよ。 正確にエミュレートしたいのなら自前でビット演算するしかない。 765 名前：758 mailto:sage [2005/09/15(木) 23:47:07 ] >>763 ご忠告ありがとうございます。究極的にはそうなるんでしょうね。 SystemCとかってどうなってんのかな。暇なとき見てみよっと。 766 名前：デフォルトの名無しさん mailto:sage [2005/09/15(木) 23:48:59 ] >>765 SystemCは厳格にやるクラスと高速なクラス（これは＝float/doubleだけど）が両方 用意されているよ。 767 名前：デフォルトの名無しさん mailto:sage [2005/09/16(金) 07:20:05 ] >>764 float の演算が double に変換されてから行われるのは K&R の時代の話じゃないの? ……と思ったけどオーバーフローが絡むとアレか。未定義だか処理系定義だかか。 768 名前：デフォルトの名無しさん mailto:sage [2005/09/16(金) 09:53:09 ] ダカカ。 769 名前：デフォルトの名無しさん mailto:sage [2005/09/16(金) 16:07:10 ] 中村正三郎氏によるProactical Common Lispの書評（？） iiyu.asablo.jp/blog/2005/09/16/76723 サイン本、いいなー。ｗ 770 名前：デフォルトの名無しさん mailto:sage [2005/09/16(金) 16:08:13 ] >>769 typo 誤：Proactical 正：Practical 771 名前：デフォルトの名無しさん mailto:sage [2005/09/16(金) 23:11:58 ] 今日のセミナー人少なかった・・・個人的にはすごく興味深い内容だったんで もっと多くの人が知ってくれればいいのにと思ったよ。 撮影していたビデオを配信する予定がないこともないらしいのでちょっと期待。 Prologって使ったことないんだけど、適用する分野を間違えなければ便利そうね。 772 名前：デフォルトの名無しさん mailto:sage [2005/09/17(土) 10:16:18 ] gosh> (display 2) 2#<undef> gosh> ((car '(display display)) 2) *** ERROR: invalid application: (display 2) why? please. 773 名前：デフォルトの名無しさん [2005/09/17(土) 10:53:05 ] lispboxっての入れてみたんだけど、 デフォルトのclisp2.34が起動時にエラーが起こるので、 エラーの起こらないclisp2.35を使ってみたいです。 しかし、clispフォルダの中身をいれかえて、 lispbox-register.elを入れてやるだけでは動かないようです。 どうやったら動くか知ってる人いませんか？ ちなみに、2.34のエラーは以下の通りです。上２行のWARNINGは2.35でもでるようです。 WARNING: locale: no encoding CP932, using UTF-8 WARNING: *TERMINAL-ENCODING*: no encoding CP932, using UTF-8 invalid byte sequence #xEE #x2E #x74 in CHARSET:UTF-8 conversion よろしくお願いします。 774 名前：デフォルトの名無しさん mailto:sage [2005/09/17(土) 11:14:52 ] >>772 display っていうシンボルを 2 に apply しようとしてる． シンボルは関数でないから当然エラー． やりたいことやるには ((car `(,display ,display)) 2) 775 名前：デフォルトの名無しさん mailto:sage [2005/09/17(土) 11:25:13 ] おまえ初心者っぽい奴にいきなりunquoteでかいてんじゃねーよ 素直にlistで書けよ 776 名前：デフォルトの名無しさん mailto:sage [2005/09/17(土) 11:27:14 ] '(display display) == (list 'display 'display) `(,display ,display) == (list display display) 777 名前：デフォルトの名無しさん mailto:sage [2005/09/17(土) 11:27:16 ] ↑すまん、ちょっとあたまに血が上りすぎた 俺が言いたいのはquoteとリストの区別が付いてない初心者だから 順序立てて教えないと理解しないだろってことだよ 778 名前：772 mailto:sage [2005/09/17(土) 11:49:38 ] なるほど! 自分は gosh> ('display 2) *** ERROR: invalid application: (display 2) こんなことをしているのと同じだったんですね。 774さんのようにunquoteで書くか、以下のようにして 書くかしてちゃんと関数として評価されるようにしなければ ならなかったと。 gosh> ((car (list display display)) 2) 2#<undef> おかげで unquote についても覚えることができました。 >>774-777さん。どうもありがとうございます。 gosh> display #<subr display> gosh> `(,display) (#<subr display>) 779 名前：デフォルトの名無しさん mailto:sage [2005/09/17(土) 11:57:35 ] LISPとSchemeの両方を使うが 頻繁に使わないって人はよく間違うよね。 780 名前：デフォルトの名無しさん mailto:sage [2005/09/17(土) 15:04:42 ] 間違わねーよ 間違う奴は全く理解してないってことだろ 781 名前：デフォルトの名無しさん mailto:sage [2005/09/17(土) 21:58:51 ] >>769 その文章がWebに掲載された日の午前中に 私がamazonで購入したときには残り3冊だったのに、 その10分くらい後にはもう在庫なしになっていた。 洋書売り上げランキングも、最初見たとき5000位台だったのが、 一時的に50位くらいまで上がってるのを見た。 影響力すごすぎ。 782 名前：デフォルトの名無しさん mailto:sage [2005/09/18(日) 00:18:02 ] そんなに影響力あるのかあの薄らハゲ。詳しく知らないけど何者？ リンク先のblog見るかぎりじゃ結構バカそうなんだが。バカを演じてるだけなのかな。 783 名前：デフォルトの名無しさん mailto:sage [2005/09/18(日) 00:39:59 ] >>782 マイクロソフトの天敵みたいな人。 ちなみに元法務大臣とは別人だぞ。ｗ ja.wikipedia.org/wiki/%E4%B8%AD%E6%9D%91%E6%AD%A3%E4%B8%89%E9%83%8E 784 名前：デフォルトの名無しさん mailto:sage [2005/09/18(日) 01:34:41 ] マイクロソフトの天敵だと思っているのは本人だけだろ。 785 名前：デフォルトの名無しさん mailto:sage [2005/09/18(日) 09:25:35 ] >>780 (defun (hoge huga) ...)とか間違ってやるだろ？ 786 名前：デフォルトの名無しさん mailto:sage [2005/09/18(日) 10:20:03 ] どこの馬鹿がやるんだろう・・・。 787 名前：デフォルトの名無しさん mailto:sage [2005/09/18(日) 14:58:41 ] >>785 defunとdefineの違いがなければ間違うかもしれんが、どちらかの単語を打ち込んだ 時点で自動的に脳内モードが切り替わるのでその手の間違いは少ない。 788 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 01:03:27 ] scheme でうっかり #' を書いてることはあるなあ。 あとは #t を t とか #f や '() を nil とか。 まあ書いた瞬間に気付いてへこむわけですが。 789 名前：デフォルトの名無しさん [2005/09/19(月) 14:01:50 ] というか関数と変数で名前空間を分けることのメリットって何よ？ #:とかfuncallとかめんどくさすぎる 790 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 14:11:08 ] 変数として使っても、呼び出しフォームで関数が取り出せるというだけかな。 CommonLisp的思考をしない限りはメリットはない。 おれもSchemeみたくスロット１つにしてしまっても良いと思う。 ところで、()をわざわざ'()とquote付けて書いてるのが多数なのは 宗教上の理由でしょうか。 ()は評価しても()だよね？ ()は#tとか#fと同じ様な扱いのはずだと思うけど。 Schemeはここだけ不思議。 791 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 14:14:00 ] >>790 Schemeでは () は評価できない（エラー）だと思う。 792 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 14:16:18 ] へーエラーになるのか。 なんでだろうね。 Gaucheでも入れてみようかな。 793 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 14:21:50 ] >>792 評価できる形式ではないから。 Common Lispの場合は()はnilというsymbolであってspecial変数としてnilという 値を持っているから評価できるだけ。 794 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 14:37:10 ] エラーなんだっけ？ R5RSでは未定義だったような。うるおぼえ。 795 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 14:41:17 ] >>794 ああ。正確には未定義だったかも。 796 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 15:09:52 ] やってみた。gaucheだと両方とも同じように評価される。 gosh> () () gosh> '() () R5RSをみて見たけどようわからん。見当違いなトコ見てるかも。 4.1.3 Procedure calls > Note: In many dialects of Lisp, the empty combination, > (), is a legitimate expression. In Scheme, combinations > must have at least one subexpression, so () is not a > syntactically valid expression. 4.1.2 Literal expressions > '() ===> () 識者の登場キボン 797 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 15:13:36 ] 思いっきり書いてるやん > so () is not a > syntactically valid expression. 798 名前：796 mailto:sage [2005/09/19(月) 15:15:09 ] orz...thx. 799 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 15:18:04 ] 未定義ならgoshでは()=>()ってだけじゃないの。 ちなみに Petite Chez Scheme Version 6.9c Copyright (c) 1985-2003 Cadence Research Systems > () () > '() () これもgoshと同じか。 800 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 15:19:49 ] Guileね guile> () ERROR: missing or extra expression ABORT: (misc-error) guile> '() () guile> 801 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 15:22:41 ] Guileはちゃんと(?)エラーになるな guile> () ERROR: missing or extra expression ABORT: (misc-error) guile> '() () guile> 802 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 15:23:12 ] あら見事にかぶった。 803 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 15:24:22 ] >>800,801 おおぅ。ちゃんとエラーになる処理系もあるんだな。 やっぱquoteせにゃならんか。 804 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 16:05:09 ] Guileってもはや独自言語仕様に向かってなかったっけ？ Guileでエラーになったからと言え、これをSchemeの仕様と言ってしまっていいものか。 つーか未定義か。 805 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 20:40:25 ] まぁｸﾞｨﾗｰは特殊だから。 806 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 21:35:30 ] Guile は規格で正しいとされてないことは積極的にエラーにし、 Gaush や PLT Scheme は規格でエラーにしろとされてるものしか エラーにしないような感じ。 以前出た (define (foo) (define x 10) (define y x) y) が どう扱われるかもそうだったよね。 807 名前：デフォルトの名無しさん [2005/09/20(火) 00:21:52 ] 今、現在Schemeを勉強しているのですが 絵を簡易的なアニメーションさせることは Schemeを使って可能でしょうか？ また、Schemeからリンクさせることも含めて 可能な手段をわかる人おられますか？ かなり求むです。 808 名前：デフォルトの名無しさん mailto:sage [2005/09/20(火) 01:10:18 ] gauche-glとかオススメ 809 名前：デフォルトの名無しさん [2005/09/20(火) 11:12:11 ] >>808 かなり感謝です。実際に求めていたものがありました。 しかもＳＩＣＰにも図形言語として紹介もしていたようですね。 みなさんかなりの達人では？？ 私もこれからレベルアップします！！ 810 名前：デフォルトの名無しさん mailto:sage [2005/09/20(火) 20:56:22 ] >>806 参考になるです。 811 名前：デフォルトの名無しさん mailto:sage [2005/09/21(水) 01:25:04 ] >>773 | WARNING: locale: no encoding CP932, using UTF-8 | WARNING: *TERMINAL-ENCODING*: no encoding CP932, using UTF-8 公式配布の CLISP では CP932/Shift-JIS エンコーディングが使えません． GNU Libiconv をリンクして作成したバイナリを使えば大丈夫です． 私の手元では Windows 2000/XP + Emacs22 CVS + Slime CVS + GNU CLISP 2.35 で↓のように日本語シンボルが使えています．あとはパス名に日本語が使えない 問題が解決できればバイナリを公開してもいいですが． ; SLIME 2005-07-29 CL-USER> (length "あいう") 3 CL-USER> (defun 2倍 (引数) (* 引数 2)) 2倍 CL-USER> (2倍 2/3) 4/3 812 名前：デフォルトの名無しさん [2005/09/21(水) 05:16:45 ] 　昔パソコン用のMuLispで書いたシステムの移植を考えております。 問題は、auto-quoteとでもいいますか、アトムを評価するとこのシステムは、 アトムの名前を返すようなシステムになっておりました。 　これと同じ仕様になっているLispあるいはSchemeの処理系あるいは、 これを簡単に実現できるような（つまりMuLisp互換システム)システムを ご存知の方教えていただけませんでしょうか。 813 名前：デフォルトの名無しさん mailto:sage [2005/09/21(水) 09:51:22 ] 既存の処理系の上でアトムの名前を返すevalをつくればいいような気がするけど・・・。 814 名前：デフォルトの名無しさん mailto:sage [2005/09/21(水) 13:34:06 ] evalするかわりにatom->nameみたいなの用意すりゃいいじゃん ちょっと意味ﾜｶﾗﾅｽ 815 名前：デフォルトの名無しさん mailto:sage [2005/09/21(水) 17:33:23 ] >>812 MuLispの仕様ってどこかに公開されてるの？ 816 名前：デフォルトの名無しさん mailto:sage [2005/09/22(木) 02:40:00 ] シンボルを評価して自分自身が返って来るとしたら、変数はどうするんだろう。 よく判らないけれど、自己評価するシンボルが欲しいとかなら、 Common Lisp で keyword に置き換えておくのが楽じゃないかと思います。 817 名前：デフォルトの名無しさん mailto:sage [2005/09/22(木) 02:43:24 ] >>816 よくわからんが束縛されてない自由変数のデフォルト値って感じなのかな。 keywordにするのは賛成。 818 名前：デフォルトの名無しさん mailto:sage [2005/09/22(木) 02:57:26 ] 動的束縛で、foo ≡ (lambda () a) として (foo) => a、(let ((a 10)) (foo)) => 10 となることを期待するコードがあちこちにあったりすると厄介かも。 819 名前：デフォルトの名無しさん mailto:sage [2005/09/22(木) 03:00:03 ] MuLispって時代的にはCommon Lisp以前だから、動的スコープなんだろうな。 820 名前：デフォルトの名無しさん mailto:sage [2005/09/22(木) 04:43:43 ] ．．．ってことは単純に移植できなくないか？ 821 名前：デフォルトの名無しさん mailto:sage [2005/09/22(木) 06:48:06 ] んー、未束縛の場合は自分自身を返す、ってんだったら、 handler-case 使って unbound-variable で捕まえるっていう手もあるかも。 スコープは……とりあえずどっかのパッケージに閉じ込めといて、 do-symbols 使って (declaim (special <... そのパッケージのシンボル全部 ...>)) とかに展開するマクロを書いてロード後に呼んでみるとかで意外と何とかならんかなあ。 822 名前：デフォルトの名無しさん mailto:sage [2005/09/22(木) 08:34:14 ] 昔の Lisp ならそれほど大きな言語仕様じゃないだろうから、Common Lisp に 変換するマクロ書いた方が結局早いんじゃないかな。 (atom x) は (atom (if (boundp 'x) x 'x)) とか、動的束縛なら (let ((var val)) ...) は (let ((var val)) (declare (special var)) ...) とか変換してくだけだよね。 823 名前：デフォルトの名無しさん [2005/09/23(金) 14:18:00 ] 僕には洋書は無理ですた 誰か買いません？ 「EXPLORING COMPUTER WCIENCE WITH SCHEME」 ユーズドにしてはかなり綺麗な方だと思う￥5,000でお願い www.amazon.co.jp/exec/obidos/ASIN/0387948953/qid%3D1127452213/250-5942737-7464260 824 名前：823 mailto:sage [2005/09/23(金) 14:19:34 ] ×： COMPUTER WCIENCE ○： COMPUTER SCIENCE 825 名前：デフォルトの名無しさん mailto:sage [2005/09/23(金) 23:42:10 ] 新品の半額なら考える 826 名前：デフォルトの名無しさん mailto:sage [2005/09/24(土) 00:11:42 ] ほぼ半額に近いね 827 名前：デフォルトの名無しさん mailto:sage [2005/09/24(土) 00:48:41 ] >>823 買いたくなるようなことを書いて 828 名前：デフォルトの名無しさん mailto:sage [2005/09/24(土) 15:17:06 ] >>827 書けるくらい理解したのなら、売らないだろうに、イヂワルなやつだな。 829 名前：デフォルトの名無しさん mailto:sage [2005/09/24(土) 19:04:31 ] 世の中、CDを聴いてから(売るんじゃなくて)返品する奴もいるという話だぞ。 830 名前：デフォルトの名無しさん mailto:sage [2005/09/24(土) 21:26:13 ] >>829 ソニンのことか 831 名前：デフォルトの名無しさん mailto:sage [2005/09/25(日) 00:22:08 ] Schemeに静的型対応させた言語が最強だと思うんですが ありませんか？ なければ作りますが。 832 名前：デフォルトの名無しさん mailto:sage [2005/09/25(日) 01:16:43 ] carやcdrの戻り値はどうするの? 関数型言語みたいにリストの中に単一の型しか入れられないんでは Lisp系としては不便この上ないし、かといって型チェックが入るんでは 何も変わらんか、型が固定されるだけ不便になる。 833 名前：デフォルトの名無しさん mailto:sage [2005/09/25(日) 01:24:50 ] 型変換すればよいのでは。 834 名前：デフォルトの名無しさん mailto:sage [2005/09/25(日) 10:11:14 ] あっちゃこっちゃで型変換しまくりの静的型対応言語ってのもなぁ。 835 名前：デフォルトの名無しさん mailto:sage [2005/09/25(日) 10:30:38 ] 基本は型無しで、効率重視の部分では型宣言もできますくらいで いいんじゃないの? 836 名前：デフォルトの名無しさん mailto:sage [2005/09/25(日) 10:41:18 ] そんな物があったとして、静的型付けな Scheme と SML との間に何を見出すか によって意見が割れそうだね。 837 名前：デフォルトの名無しさん [2005/09/25(日) 13:33:28 ] 経路探索のプログラムの組み方を教えてもらえないですか？ 答えでもいいです、よろしくお願いします。 838 名前：デフォルトの名無しさん mailto:sage [2005/09/25(日) 13:37:52 ] pc8.2ch.net/test/read.cgi/tech/1106587515/150 839 名前：デフォルトの名無しさん mailto:sage [2005/09/27(火) 23:48:07 ] いままで気が付かなかったけれど、 fun.sci.fukuoka-u.ac.jp/wiki/index.php?xyzzy ここの scheme-mode で run-scheme に近いことができるようになってる。 Petite Chez Scheme 7.0で使ってみたところ、問題なく動いた。相当に便利。 まだ荒削りなので、今後に期待。 840 名前：デフォルトの名無しさん mailto:sage [2005/09/28(水) 19:46:16 ] すみませんが、MzScheme で日本語を使うには、どうしたら良いでしょうか？ DrScheme や MrEd では問題なく日本語が使えますが、コマンドプロンプトで 動いているMzScheme だと、与えられる文字コードがWindows_31Jになってしま うせいか、日本語を入力してもすべて化けてしまうのです。 コマンドプロンプトからUTF-8を与えることができればいいのかと思うのです が、そこからが分かりません…。 841 名前：デフォルトの名無しさん mailto:sage [2005/09/28(水) 21:05:14 ] Emacs で (add-to-list 'process-coding-system-alist '("mzscheme" . utf-8)) しておいて M-x run-scheme とか。 842 名前：840 mailto:sage [2005/09/28(水) 21:36:05 ] >>841 申し忘れましたが、私のシステムは Windows(2000, 98)なのです。 できたら>>938の xyzzy の scheme-mode を使いたいと思っています。 843 名前：デフォルトの名無しさん mailto:sage [2005/09/28(水) 22:31:29 ] あまり関係ないけど、xyzzyスレ Part11 に載っていたコード。 xyzzyの sheme-mode はインデントの機能がちょっと貧弱だけど これを.xyzzy に書くと、lisp-modeと似た感じになる。 ; scheme-mode で lis-mode 風のインデントを行う。 (define-key *scheme-mode-map* #\C-m 'lisp-newline-and-indent) (define-key *scheme-mode-map* #\C-i 'lisp-indent-line) (setf (get 'define 'lisp-indent-hook) 'defun) 844 名前：デフォルトの名無しさん mailto:sage [2005/09/28(水) 23:59:02 ] wikipediaのラムダ計算のページ ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97 例で (λx.(λy.(x+y))3)5 → (λy.(3+y))5 とか λx.(λy.(x+y))3 → λy.(3+y) とあるんですが、これって正しいんでしょうか？ 845 名前：デフォルトの名無しさん mailto:sage [2005/09/29(木) 00:24:27 ] ただしい だがなぜこんなところに聞くのだ。 まだHaskellスレとかの方がよくないか。 846 名前：デフォルトの名無しさん mailto:sage [2005/09/29(木) 01:10:42 ] xyzzy の Scheme Mode は素晴らしい。これは Scheme のスクラッチ・バッファ そのものだ。Ctrl＋JでS式がSchemeインタプリタに評価されて、結果が次の行 に表示される。自分はずっとこういうのが欲しかった。 今まで Windows98 で動く Scheme 実行環境にはろくなものが無かった。 ChezEdit … NTでしか動かない。 DrScheme … 自分のマシンには重すぎてインストールすらできなかった。 Chez Scheme 付属の PWL … 重すぎて、ただ起動しただけでCPUパワーを使い きってしまう。 だから結局、素の PetiteChezScheme をコマンドラインから起動し、エディタ の内容をコピペするしかなかった。 この xyzzy のScheme Mode は、便利で、操作が軽快で、そしてCPUパワーをほ とんど食わない。自分のような貧乏人には理想のScheme環境だと思う。 matsuoka さん、ありがとう！ 847 名前：デフォルトの名無しさん mailto:sage [2005/09/29(木) 01:11:56 ] >>844 ラムダ計算の仕方を全く知らないならちゃんと勉強しろよ。 中途半端に聞いたって仕方がないだろ。 848 名前：デフォルトの名無しさん mailto:sage [2005/09/29(木) 01:12:43 ] >>842 make-process に :incode *encoding-utf8* :outcode *encoding-utf8* を付け足す感じでどうでしょ。試してないけど。 詳細はリファレンス参照。 ttp://hie.s64.xrea.com/xyzzy/reference/html/ref-make-process.html 上手くいかなかったら win 板の xyzzy スレで訊いた方がいいかも。 849 名前：842 mailto:sage [2005/09/29(木) 10:51:10 ] >>848 ありがとうございます。残念ながら、うまく行きませんでした。 試しに :OUTCODE *encoding-sjis* も試してみましたが、結果は同様でした。 xyzzy スレに行ってみます。 850 名前：デフォルトの名無しさん [2005/09/29(木) 14:19:17 ] >>844 S式で書けば λx.(λy.(x+y))3 = ((lambda (x) (lambda (y) (+ x y))) 3) (λx.(λy.(x+y))3)5 = (((lambda (x) (lambda (y) (+ x y))) 3) 5) これならわかる? 851 名前：デフォルトの名無しさん mailto:sage [2005/09/29(木) 15:30:54 ] さらば slime48 852 名前：デフォルトの名無しさん mailto:sage [2005/09/29(木) 19:03:44 ] >>844 1つ目の方違わね? (λx.(λy.(x+y))3)5 → (λx.(x+3))5 じゃね? 853 名前：デフォルトの名無しさん mailto:sage [2005/09/29(木) 19:23:02 ] 違う >>844で合ってる ＞これって正しいんでしょうか？ ＃ 強いて言えばラムダ計算に中置き演算子がでてくるのが不思議 854 名前：デフォルトの名無しさん [2005/09/29(木) 19:31:05 ] xyzzyのscheme-modeってgosh使えないの？ 855 名前：デフォルトの名無しさん mailto:sage [2005/09/29(木) 20:04:59 ] >>854 試してみたけど、Gauche は動かないねえ。 fun.sci.fukuoka-u.ac.jp/wiki/index.php?xyzzy に > pscheme を直接呼ぶと結果が帰って来ない(pscheme の STDOUT の扱いの問題) > Petite Chez Scheme と MzScheme? は全然動く(STDIN/OUT がいけるのは大丈夫) とあるから、Gauche の STDOUT に問題があるのだろうか？ 対処法はわかんない。 856 名前：デフォルトの名無しさん mailto:sage [2005/09/29(木) 20:40:52 ] gosh -i とか？ 857 名前：デフォルトの名無しさん mailto:sage [2005/09/29(木) 20:51:01 ] >>853 ラムダ計算自体はべつに前置記法を要求してるわけじゃないんでは？ 858 名前：デフォルトの名無しさん mailto:sage [2005/09/29(木) 21:29:42 ] >>856 うまく行かない。 > xyzzyenv: "C:\Program Files\Gauche\bin\gosh.exe -i ": 指定されたファイ > ルが見つかりません。 というエラーが出る。 859 名前：858 mailto:sage [2005/09/29(木) 21:33:02 ] 念のため、.xyzzy のその行を貼る。 (map-slash-to-backslash "C:/Program Files/Gauche/bin/gosh.exe -i ") こう書くと、前述のエラー。 860 名前：デフォルトの名無しさん mailto:sage [2005/09/29(木) 21:34:55 ] -iまでをパス名と認識してるみたいだが 861 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 11:02:14 ] Gauche も動いた。こちらを参照。 xyzzy Part13 pc8.2ch.net/test/read.cgi/win/1127783135/l20 ここの27以降。 そしてこちらは、Emacs のscheme-mode風に、評価の結果が run-scheme バッ ファに表示されるようにする改造。 d.hatena.ne.jp/guttyon/20050929 862 名前：デフォルトの名無しさん [2005/09/30(金) 12:19:13 ] defunとdefmacroってどう違うんですか？ (defmacro f0 (arg) 　(f1 arg)) という構文があって、 (defun f0 (arg) 　(f1 arg)) と置き換えると、使用されている場所でエラーが出ます。 使用されている場所で、f0 〜をf1 〜に置き換えても同じエラーが出ます。 等価な置換を教えてください（あれば・・・） mapcarやapplyの中で使われていることは、関係していますか？ 863 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 13:38:50 ] >>862 マクロと関数の違いを君の言葉で説明しなさい。 それとなぜ置き換えたいと思ったのかもね。 話はそれからだ。 864 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 16:34:26 ] >>862 関数とマクロは、似て見えるかもしれないけど、全く別のもの。 とりあえず↓のマクロの解説を読んでみて。 www.geocities.jp/m_hiroi/rakup/rakup20.html 865 名前：デフォルトの名無しさん [2005/09/30(金) 21:20:46 ] kahuaのインストールができないんですが、ここで聞いてもいいですか？ 866 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 22:46:02 ] 漏れは構わんと思うけどkahuaのMLを避けてわざわざ心ない輩に煽られたいのは何でなん？ 867 名前：デフォルトの名無しさん [2005/09/30(金) 23:10:10 ] 今年もやるよーん jp.franz.com/base/seminar-2005-11-18.html 868 名前：デフォルトの名無しさん mailto:sage [2005/10/01(土) 00:45:58 ] Gauche+emacsでslimeのようなシンボル補完ができないものか 869 名前：デフォルトの名無しさん mailto:sage [2005/10/01(土) 02:31:12 ] 俺はシンボル補完よりもeldocぽいやつ+HyperSpecが便利で、schemeにも欲しい。 シンボル補完は、Gaucheには定義されてる全シンボルをとる方法あるんか?ってのと、 変数と関数の区別がないから不便そうだね、ってのがまず思い付く。 SLIMEといえばswank-scheme48がいつごろかに入ったね。 Emacsのscheme用環境というとquackが思い浮かぶけど使ったことないや。 870 名前：デフォルトの名無しさん mailto:sage [2005/10/01(土) 20:10:20 ] Bigloo Development Environment ってどうよ。 871 名前：デフォルトの名無しさん [2005/10/02(日) 04:58:12 ] schemeのマクロを解説したサイトとかないですか？ 他のLispのマクロの知識もないんですが… R5RS読むしかないんでしょうか。 872 名前：デフォルトの名無しさん mailto:sage [2005/10/02(日) 08:19:19 ] >>871 あれはけっこう難関。漏れも今悩んでる。 日本語リソースについては期待しないほうがいいと言っておく。 873 名前：デフォルトの名無しさん mailto:sage [2005/10/02(日) 09:01:28 ] define-syntaxは構文を書くのに向いている。 macroは何でもあり。 コツは概念の理解と慣れること。 874 名前：デフォルトの名無しさん mailto:sage [2005/10/02(日) 11:49:06 ] R5RSには定義だけで概念は書いてないからねえ 875 名前：デフォルトの名無しさん mailto:sage [2005/10/02(日) 12:01:19 ] 犬飼さんの入門Schemeにちょっとばっかしマクロの記述あったけど あれじゃダメかいな。 876 名前：デフォルトの名無しさん mailto:sage [2005/10/02(日) 13:19:35 ] >>871 書籍ならそこそこまともな解説が書いてある場合が多いと思う。 877 名前：871 mailto:sage [2005/10/02(日) 16:22:34 ] ありがとうございます。日本語は期待してはいけないんですね…。 とりあえず、犬飼さんのを読ませていただいて、必要ならば、英語も含めてググってみます。 www4.ocn.ne.jp/~inukai/scheme_primer_j.html okmij.org/ftp/Scheme/macros.html community.schemewiki.org/?scheme-faq-macros ちなみに、（R5RSには明示されていない）概念てどんなのでしょう 878 名前：デフォルトの名無しさん [2005/10/03(月) 12:19:19 ] (define-syntax mac (syntax-rules () ((_ a ... b) '(b a ...)))) Chez Scheme、Dr.Schemeだと動いたけどこれってR5RS的には違法ですよね？ Gaucheだとエラー。 879 名前：デフォルトの名無しさん [2005/10/03(月) 21:38:39 ] >>878 R5RSではダメだが、srfi-46で定義されている。 880 名前：デフォルトの名無しさん mailto:sage [2005/10/03(月) 21:55:06 ] >>879 知らなかった。ﾄﾝｸｽ 881 名前：本田 [2005/10/04(火) 13:21:07 ] >MIT CADR Lisp Machine Source code www.heeltoe.com/retro/mit/mit_cadr_lmss.html >Retrocomputing - MIT CADR Lisp Machines www.heeltoe.com/retro/cadr/index.html 882 名前：デフォルトの名無しさん mailto:sage [2005/10/06(木) 20:46:51 ] fun.sci.fukuoka-u.ac.jp/wiki/index.php?xyzzy の Scheme モードで、追加機能の要望が募集されているみたい。 真っ先に欲しいのは、実行の中断（ブレーク）です。 うっかり(tarai 14 7 0) とかやると、延々と止まらなくなってしまうから。 883 名前：デフォルトの名無しさん mailto:sage [2005/10/07(金) 06:43:57 ] >>882 Scheme のプロセス握ってるバッファに切り替えて M-x kill-subprocess でいけません？ 884 名前：882 mailto:sage [2005/10/07(金) 09:44:23 ] >>883 確かにそうすれば止まりますが、プロセスを殺したくないんです。単に中断し たいだけなんです。 コマンドプロンプトで MzSchemeを利用している時は、Ctl-C で user break になります。たしか Petite Chez Scheme も同じ。 xyzzy の Schemeモードでもそれを利用したいんです。 885 名前：デフォルトの名無しさん mailto:sage [2005/10/07(金) 13:44:37 ] 個人的にはxyzzyの話はxyzzyのスレか何かでやってほしい 886 名前：デフォルトの名無しさん mailto:sage [2005/10/07(金) 15:20:33 ] 募集されてるならそこでやればいい。 wikiのようだしその方が生産的でしょ。 887 名前：デフォルトの名無しさん mailto:sage [2005/10/09(日) 21:10:39 ] emacs の話も emacs スレかどこかでやってくれ 888 名前：デフォルトの名無しさん mailto:sage [2005/10/09(日) 21:13:52 ] >>887 その通りだと思うが、なんか唐突だな。ｗ 889 名前：デフォルトの名無しさん mailto:sage [2005/10/09(日) 23:12:35 ] せっかくだからこの機会に。 整えるときはいっきにやったほうが浸透しやすいじゃない？ 890 名前：デフォルトの名無しさん mailto:sage [2005/10/10(月) 00:01:17 ] Lisper の使うEditorとしては 1 . Emacs 2 . Vi 3 . その他 な印象を受けるけど、Viの話題は出ないんだな。 891 名前：デフォルトの名無しさん mailto:sage [2005/10/10(月) 01:14:48 ] OpenMCL 1.0 リリース sage 892 名前：デフォルトの名無しさん mailto:sage [2005/10/10(月) 02:05:18 ] OpenMCL は Mac OS X が x86 に移行した後、どうするんだろうか。 x86 backend を一から作るのかな。 893 名前：デフォルトの名無しさん mailto:sage [2005/10/10(月) 17:22:43 ] >>890 おれバリバリScheme処理系作ってるけどWin厨なんでWZ使ってるよ？ 普通EmacsやViなんて変態エディタ使わないでしょ。 あ、変態の反論とかエディタの話題振られてもこれ以上しないから。 894 名前：デフォルトの名無しさん mailto:sage [2005/10/10(月) 17:31:04 ] >>893 出た、言いっぱなし厨！ｗ 895 名前：デフォルトの名無しさん mailto:sage [2005/10/10(月) 19:52:51 ] >>893 Viは確かに普通ではないが、Emacsはいたって普通のエディターだが。 まさか、CUAじゃないから変態とかいってんの？ 896 名前：デフォルトの名無しさん mailto:sage [2005/10/10(月) 20:35:56 ] CUAってなあに？ 897 名前：デフォルトの名無しさん mailto:sage [2005/10/10(月) 22:01:16 ] GUAの反対に決まってるだろ 898 名前：デフォルトの名無しさん [2005/10/10(月) 23:26:47 ] Vz厨だった漏れからは、Wzなど問題外の紛い物だったな。 899 名前：デフォルトの名無しさん mailto:sage [2005/10/11(火) 03:49:37 ] portable hemlock に guile emacs に、elisp を common lisp / scheme で 置き換えるプロジェクトは尽く上手くいっていないけど、みんな elisp で 満足なのかな。順調なのは xyzzy だけ? 900 名前：デフォルトの名無しさん mailto:sage [2005/10/11(火) 04:47:03 ] そういうことやる人はたいがいEmacsと重なる文化圏の住人なので ・まあ文句はあるけどelispで結構暮らせる ・Emacs自体も開発が進む ・elisp既にたくさん ・Emacsを再び作るのは結構大変 でモチベーションが続かないんじゃなかろうか。 OSやユーザ層でEmacsと重なりにくい部分を選び、その環境に特化することを 特徴の一つとすることでxyzzyは生き延びているように思える。 901 名前：デフォルトの名無しさん mailto:sage [2005/10/12(水) 11:56:55 ] xyzzyがwindowsでそれなりに成功ところから推理すると、 二匹目のどぜうはMacにいると見た。 902 名前：デフォルトの名無しさん mailto:sage [2005/10/12(水) 19:44:40 ] 単にUNIXで失敗してるだけだと思うが 903 名前：デフォルトの名無しさん mailto:sage [2005/10/12(水) 20:57:42 ] ttp://iiyu.asablo.jp/blog/ SICP第2版の訳について良し悪しで意見が分かれてる。 おまえらの意見は堂よ? 904 名前：デフォルトの名無しさん mailto:sage [2005/10/12(水) 21:02:48 ] >>903 いわゆる「悪い翻訳」ではない。ちゃんと読めるという意味で良い翻訳だと思う。 905 名前：デフォルトの名無しさん mailto:sage [2005/10/12(水) 21:24:16 ] とかなんとかいって興味をひいてアフィリエイトで 儲けようという作戦か? 906 名前：デフォルトの名無しさん mailto:sage [2005/10/12(水) 23:01:44 ] macroさえ使えれば elispでもqsortが次のように書けるからね。 (defmatch qsort ( (x . xs) -> (append (qsort (lcomp y (y <- xs) (< y x))) `(,x) (qsort (lcomp y (y <- xs) (>= y x))))) ( () -> '())) 末尾再帰除去の最適化さえあれば。 907 名前：デフォルトの名無しさん mailto:sage [2005/10/12(水) 23:20:20 ] Common Lisp が気に入っているのは主に処理スピードなので、CL を土台にした 環境があったら嬉しいなぁ。スピードが必要な部分は C で書くというのも一つの 解であるとは思うけど。 908 名前：デフォルトの名無しさん mailto:sage [2005/10/20(木) 00:03:16 ] Matz 日記見て思ったんだけど、引数付きブロックは素直に lambda(x, y) { x * y } みたいな構文にすればいいのに うだうだ考えてるのって、彼はよっぽど Lisp が嫌いなのかな。 909 名前：デフォルトの名無しさん mailto:sage [2005/10/20(木) 00:20:40 ] Succinctness is Power 910 名前：デフォルトの名無しさん mailto:sage [2005/10/20(木) 00:41:51 ] >>908 プログラムがS式でなくなればLispの利点の８割くらいは失われると思う。 911 名前：デフォルトの名無しさん mailto:sage [2005/10/20(木) 03:14:21 ] >>910 その8割と残り2割の解説よろしこ。 912 名前：デフォルトの名無しさん mailto:sage [2005/10/21(金) 01:56:23 ] 木構造が直接書き下せなくなる．前置記法が失なわれる．なにより拡張する自 由がなくなる．そう自由だ．大事なのはそこだ．言語が拡張できなきゃ新しい パラダイムを試す自由がない． S 式をやめれば，そこに残るのは，高階関数，クロージャ，オブジェクト指向， そんなあたりまえの行儀のいい退屈な言語だ．そんなものは 2 割にもみたない． # まぁ，ちかごろは純粋なんちゃら〜ってほうがウケがいいみたいだが． 913 名前：デフォルトの名無しさん mailto:sage [2005/10/21(金) 02:11:04 ] えーっと、マクロ・ラブってことでいいっすか？ 914 名前：デフォルトの名無しさん mailto:sage [2005/10/21(金) 02:50:57 ] いいです 915 名前：デフォルトの名無しさん mailto:sage [2005/10/21(金) 12:59:35 ] >>912 純粋なForth? 916 名前：デフォルトの名無しさん mailto:sage [2005/10/21(金) 15:08:09 ] >>912 あなたが試してみた新しいパラダイムを２，３挙げてみて下さい。 917 名前：fumumu mailto:sage [2005/10/21(金) 20:46:16 ] >>916 生理中ですか？ 918 名前：デフォルトの名無しさん [2005/10/21(金) 22:54:18 ] >>917 パラダイムでもないし、2、3と言っているのに1つだし、 全然ダメですねｗ 919 名前：デフォルトの名無しさん mailto:sage [2005/10/22(土) 10:11:56 ] 純粋なんちゃら でもDynamic型ができて、Dynamicでマクロと同等のことができればいいんじゃまいか。 920 名前：デフォルトの名無しさん mailto:sage [2005/10/22(土) 17:20:44 ] よーおーこそー　ここーえー♪ 921 名前：デフォルトの名無しさん mailto:sage [2005/10/29(土) 15:27:48 ] >>908 lambdaが新しい予約語になってしまうのが嫌なのでは。 922 名前：デフォルトの名無しさん mailto:sage [2005/10/30(日) 08:47:21 ] lispのキーワードが嫌ならjavascriptに習ってfunctionにでもすりゃいい。 何でもかんでも演算子にできりゃいいってもんでもないだろうに。 923 名前：デフォルトの名無しさん mailto:sage [2005/10/30(日) 09:44:34 ] Gauche(0.8.6_pre3) + Kahua(0.3.4) から PostgreSQL に繋ぎたいんですけど、 test.kahua で (use dbi) (dbi-make-driver "pg") すると *** ERROR: Compile Error: Compile Error: define-module can't be used within sandbox module "/usr/local/share/gauche/site/lib/dbd/pg.scm":9:(define-module dbd.pg (use gauche.co ... と言われて使えないです。 Kahua から Gauche のライブラリ使うには working-directory 内の plugins ディレクトリに (allow-module dbi) のように書いたファイルを置かなければ ならないようです。 (use dbi) はその方法でエラーは出なくなったのですが、PostgreSQL のドラ イバは、(allow-module dbd.pg) するだけじゃ駄目みたいで。 分かる方いたら教えて下さい。 924 名前：デフォルトの名無しさん mailto:sage [2005/10/30(日) 21:02:59 ] >>922 lambdaが新しい予約語になると lambdaという変数名その他を使ってるプログラムが全部動かなくなる。 それが嫌なのでは。 925 名前：デフォルトの名無しさん mailto:sage [2005/10/30(日) 21:08:07 ] いったい何の話してるの？　見えない。 926 名前：デフォルトの名無しさん mailto:sage [2005/10/30(日) 21:35:41 ] えーっと、とあるスクリプト言語ではλ式を {|x, y| x * y } と書くんだけど、 Common Lisp の &optional みたいにデフォルト値を書けるよう ({|x : 10, y : 20| ...} みたいな文法だっけ?) 拡張しようとしたところ、 これではデフォルト値の式に "|" 演算子が使えないことが判明。 そこでその言語のデザイナは悩んでいるわけだけど、Lisp みたいに lambda (x, (y (x | #x20))) {...} みたいにすればいいだけだろうって話。 927 名前：デフォルトの名無しさん mailto:sage [2005/10/30(日) 22:05:19 ] 新しい予約語作ってもビクともしないPerl最高！ 928 名前：デフォルトの名無しさん mailto:sage [2005/11/01(火) 06:12:26 ] 予約語を増やしたくないのならマクロを使えるようにすればいいじゃない 929 名前：デフォルトの名無しさん mailto:sage [2005/11/01(火) 22:13:55 ] lambdaな壁紙ってどっかにない？ 930 名前：デフォルトの名無しさん mailto:sage [2005/11/01(火) 22:16:23 ] >>929 京都へ行って写真撮ってくれば？ wwwfun.kurims.kyoto-u.ac.jp/MtLambda.html 931 名前：デフォルトの名無しさん mailto:sage [2005/11/01(火) 22:56:24 ] >>930 ｸｿﾜﾛﾀｗ 932 名前：デフォルトの名無しさん mailto:sage [2005/11/03(木) 21:35:48 ] 日本語訳 www.kurims.kyoto-u.ac.jp/~cs/lambda.html 933 名前：デフォルトの名無しさん mailto:sage [2005/11/06(日) 01:17:09 ] pc8.2ch.net/test/read.cgi/tech/1129287390/ ボロクソに言われてるぞ 934 名前：デフォルトの名無しさん mailto:sage [2005/11/06(日) 01:25:14 ] >>933 non-Lisperに何を言われてもLisperは動揺しない。 935 名前：デフォルトの名無しさん mailto:sage [2005/11/06(日) 01:37:51 ] >>933 そのスレはもう見るだけ時間の無駄だと思う。ちょっとでもひっかかる言葉が あるとわらわらわらわらわらわらわらわらと厨ばかり涌いてくる。 936 名前：デフォルトの名無しさん mailto:sage [2005/11/06(日) 03:04:37 ] LISP厨はマジでキモいな あのスレ見てそう思った 937 名前：デフォルトの名無しさん mailto:sage [2005/11/06(日) 10:03:07 ] 論理性に欠けるスレはリンクしない 938 名前：デフォルトの名無しさん mailto:sage [2005/11/06(日) 10:16:58 ] Lisp Resource Kit キットの背景の壁紙が巨大なλだったような 939 名前：デフォルトの名無しさん mailto:sage [2005/11/06(日) 11:56:34 ] >>936 空気読めないのはどうかと思うよなあ ああいう場所にしゃしゃり出て、一方的に「禁止な」はさすがに引いた 940 名前：デフォルトの名無しさん mailto:sage [2005/11/06(日) 15:12:39 ] はいはい、貴方も空気読みましょうね 941 名前：デフォルトの名無しさん mailto:sage [2005/11/06(日) 16:11:02 ] >>939 あれってやっぱLisp小僧だったんかな ここには来てないよね？ 942 名前：デフォルトの名無しさん mailto:sage [2005/11/06(日) 19:08:14 ] 自演乙 943 名前：デフォルトの名無しさん mailto:sage [2005/11/07(月) 19:30:21 ] 自分にお返事を書く時は もうちょっとわかりにくくした方がいいのにね。 程度がしれる。 944 名前：デフォルトの名無しさん mailto:sage [2005/11/08(火) 22:57:53 ] Gauche 0.8.6 でてるのに気がついた 945 名前：デフォルトの名無しさん [2005/11/09(水) 10:20:17 ] Gauche0.8.5使ってるんだけど、0.8.6にどうやってバージョンアップできるの？ 946 名前：デフォルトの名無しさん mailto:sage [2005/11/09(水) 19:58:37 ] >>945 tar xzvf Gauche-0.8.6.tgz cd Gauche-0.8.6 gauche-config --reconfigure | sh; make; make -s check; make install でも0.8.6ではデフォルトの文字コードが変わってるそうだから、 今まで --enable-multibyte=ほにゃら、をつけてなかったら ちゃんと./configureを呼ばないとだめ。 あと拡張パッケージを入れてたら再コンパイル。 gauche-package install -r パッケージ.tgz 947 名前：デフォルトの名無しさん mailto:sage [2005/11/09(水) 22:03:58 ] >>944-946 昔からかもしんないけどWindowsMeではGaucheがエラーになるんだよなー。 Meで使えないNetApiBufferFree APIを呼んでる部分は適当に無効にしてるんだけど。 Wikiで報告はしてきたけど、河合ﾀｿはMeは持ってないみたいだし、 俺はヘタレだからソースを追ってもワケわかんねぇしで修正は期待できんかなぁ？ Meユーザーがいたら追試験ﾖﾛ。 948 名前：デフォルトの名無しさん mailto:sage [2005/11/09(水) 22:08:05 ] Me ねぇ…さすがにもうサポートできる人は少ないだろう．つうか API が無い とかだけではなく NT 系との挙動の違いもあるし修正は無理じゃねぇかなぁ…． 949 名前：デフォルトの名無しさん mailto:sage [2005/11/09(水) 22:48:57 ] >>948 0.8.5はMeでも動いてるんだよ。 BoehmGCのバージョンをアップデートしてるとか書いてあるから、 もしかするとGCの方の問題かもしれんな。 GCだけ古いのでコンパイルできるかちょっとやってみる。 950 名前：デフォルトの名無しさん [2005/11/09(水) 23:57:08 ] >>946 僕は--enable-multibyte=ほにゃら、をつけてなかったので、結論として下記になりますよね? % gzcat Gauche-0.8.6.tgz | tar xf - % cd Gauche-0.8.6 % ./configure % make % make install 結局バージョンアップというより、新規インストールという感じですね。 そしたら、0.8.5は上書きされるのかな? よー分からん。寝よ。 951 名前：デフォルトの名無しさん mailto:sage [2005/11/10(木) 02:57:20 ] いやいやいや, そうじゃないだろ 付けてたなら 946 付けてないなら --enable-multibyte=eucc-jp しないと同じにならないよ 952 名前：デフォルトの名無しさん mailto:sage [2005/11/10(木) 02:58:25 ] s/eucc/euc 953 名前：デフォルトの名無しさん mailto:sage [2005/11/10(木) 03:01:58 ] 今さらサポート打ち切り間近なOSなんか持ち出されてもウザいだけだろうしなあ 954 名前：デフォルトの名無しさん [2005/11/10(木) 12:18:24 ] >>951 そうか。よくわかってなかった。これでいいですよね？ % gzcat Gauche-0.8.6.tgz | tar xf - % cd Gauche-0.8.6 % ./configure --enable-multibyte=euc-jp % make % make install 955 名前：デフォルトの名無しさん mailto:sage [2005/11/10(木) 12:27:33 ] Gaucheって実行ファイル作れますか？ 956 名前：デフォルトの名無しさん mailto:sage [2005/11/10(木) 19:22:32 ] >>955 今はできないけど、将来的にC言語への変換機能を導入する予定はあるらしい。 957 名前：949 mailto:sage [2005/11/10(木) 19:23:21 ] GCをバージョンアップ前に戻したらMeでも動いたよ。 958 名前：デフォルトの名無しさん mailto:sage [2005/11/10(木) 19:28:58 ] >>955 Schemeのプログラムを文字列として埋め込むんでよければ簡単に作れる。 ネイティブコード化という意味なら>>956 959 名前：デフォルトの名無しさん mailto:sage [2005/11/10(木) 19:33:32 ] 簡単に作れるなら作ってやれよ 960 名前：デフォルトの名無しさん mailto:sage [2005/11/10(木) 19:36:27 ] いいよ 961 名前：デフォルトの名無しさん mailto:sage [2005/11/10(木) 20:14:05 ] wilikiにそういうのがあったような気がする 962 名前：デフォルトの名無しさん mailto:sage [2005/11/11(金) 15:28:54 ] Lisp1.5で書かれたプログラムのサンプルとか 構文のマニュアルとかが参照できるサイトを 探していますがググってもなかなか見つかりません。 どなたかご存知ありませんか？ 963 名前：デフォルトの名無しさん mailto:sage [2005/11/11(金) 15:44:58 ] >>962 なぜ今さらLISP 1.5なのかは謎だが、LISP 1.5 Programmer's Manualが基本。 Amazonでも買えるが、ぐぐったらPDF版が↓に落ちてた。 www.mahalito.net/mirrors/community.computerhistory.org/scc/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf 964 名前：949 mailto:sage [2005/11/11(金) 18:14:37 ] >>955 gauche-install.in.cを見れ。 965 名前：デフォルトの名無しさん mailto:sage [2005/11/11(金) 19:02:07 ] >>961 これかな ttp://www.shiro.dreamhost.com/scheme/wiliki/wiliki.cgi?Gauche%3ascm2exe 966 名前：デフォルトの名無しさん mailto:sage [2005/11/11(金) 23:12:16 ] >>963 なぜかと言われると、今のLispとどのくらい違うか興味があったからです。 ありがとうございました。 967 名前：デフォルトの名無しさん mailto:sage [2005/11/12(土) 00:35:36 ] Common Lisp と比べたら似ている所が無いくらい違う。 968 名前：デフォルトの名無しさん mailto:sage [2005/11/12(土) 01:11:59 ] S 式を継承した言語のユーザーは自分が Lisp を使ってると自覚してるのに、 M 式を継承した言語のユーザーは自分が使ってるのが Lisp だとは思ってないよね。 969 名前：デフォルトの名無しさん mailto:sage [2005/11/12(土) 01:18:06 ] それで？ 970 名前：デフォルトの名無しさん mailto:sage [2005/11/12(土) 01:27:33 ] M式というと故・中西正和先生を思い出す。APPLE LISPとか。 971 名前：デフォルトの名無しさん mailto:sage [2005/11/12(土) 08:17:04 ] >>968 縦読みだな！ 972 名前：デフォルトの名無しさん mailto:sage [2005/11/12(土) 14:28:27 ] M式って、John McCarthyがLispの構文を 記述するとき、Lisp自身の構文（S式） と区別できるように考えたメタ記法だから Meta Expressionだという理解でいいかな。 で、M式を「継承」した言語なんてどこにもないと。 973 名前：デフォルトの名無しさん mailto:sage [2005/11/13(日) 10:22:32 ] John McCarthy 先生が今でも元気だと知って驚いたのは俺だけでしょうか 974 名前：デフォルトの名無しさん mailto:sage [2005/11/13(日) 20:43:55 ] ILCにも出張ってきて講演してるしね。 あっち系の方々の典型的な歳の取り方してぶよぶよに太ってしまわれたのが残念ではある。 Paul GrahamのサイトとかLisp Tシャツに使われてる先生のカッコイイ姿を想像して行くと その変貌ぶりにさらに驚くと思う。 975 名前：デフォルトの名無しさん mailto:sage [2005/11/13(日) 20:51:35 ] >>974 出張ってきて、っていうか、今回のILCの開催地は先生の勤務先では？ 976 名前：デフォルトの名無しさん mailto:sage [2005/11/13(日) 21:22:26 ] NYC/2003にも居たよ。 977 名前：デフォルトの名無しさん mailto:sage [2005/11/15(火) 19:03:45 ] すいません質問です Javaに組み込み言語として使えるScheme処理系ってありませんか あったら教えてください Javaのプログラムを呼び出したり、あるいは呼び出されるようなSchemeが ほしいんです 978 名前：デフォルトの名無しさん mailto:sage [2005/11/15(火) 19:27:06 ] >>977 Kawa, SISC, JSchemeあたり? URLはぐぐってくれ。 979 名前：デフォルトの名無しさん mailto:sage [2005/11/16(水) 11:55:29 ] >>977 山ほどあります。お好きなものをどうぞ。 www.robert-tolksdorf.de/vmlanguages.html 980 名前：デフォルトの名無しさん mailto:sage [2005/11/16(水) 12:26:40 ] 981レスを過ぎるとレスなし期間が1日あるだけでdatに落ちるようになるよ 981 名前：デフォルトの名無しさん mailto:sage [2005/11/17(木) 00:53:02 ] もしかしたらすれ違いなのかもしれませんが， (f)がエラー無く評価できるためのfの条件， ((f) 3)をエラー無く評価できるためのfの条件 を説明せよschemeの課題がでまして，ありいろいろ試したのですがどうしても not applicatableとエラーがでてしまいます どなたかお教えくださいませ 982 名前：デフォルトの名無しさん mailto:sage [2005/11/17(木) 01:20:01 ] (f): fは引数を必要としない手続き ((f) 3): fは引数を1個以上取る手続きを返す引数を必要としない手続き 983 名前：デフォルトの名無しさん mailto:sage [2005/11/17(木) 01:29:36 ] >>982 どうもありがとうございます！ 一つだけ疑問なのですが，((f) 3)は引数が一つなのにfが引数を1個以上 とる手続きを返しても大丈夫なのでしょうか？ 984 名前：デフォルトの名無しさん mailto:sage [2005/11/17(木) 04:15:49 ] 引数一個以上てのは (lambda (x . y) ...) 985 名前：デフォルトの名無しさん mailto:sage [2005/11/17(木) 09:56:06 ] にらみ合いが続くかと思いきや、 結構あっさり981超えちゃったなー。 ところで誰か次スレ立ててくれ。 俺はムリ。 986 名前：デフォルトの名無しさん mailto:sage [2005/11/17(木) 15:27:02 ] スレ建て挑戦してみようかと思ってるけど >>1 に書く過去ログPart9のURLわかる人いる？ 987 名前：デフォルトの名無しさん mailto:sage [2005/11/17(木) 15:39:18 ] >>11 にあるリンク先も死んじゃってる模様 988 名前：デフォルトの名無しさん mailto:sage [2005/11/18(金) 01:27:54 ] >>986 適当に当たりをつけてみたら発見しました。これだよね? pc8.2ch.net/tech/kako/1069/10695/1069594582.html サーバは過去ログ化作業時に板のあるサーバになる模様。 989 名前：デフォルトの名無しさん mailto:sage [2005/11/18(金) 07:28:29 ] >>988 そのURLをIEにコピペしてみたけど人大杉で確認することができず 専ブラだと何故か表示することができなかったんだけど もしかして●持ってないと確認できないとかかな？ 990 名前：デフォルトの名無しさん mailto:sage [2005/11/18(金) 09:51:24 ] ごめん、>>988は嘘、というか勘違い。忘れて。 991 名前：デフォルトの名無しさん [2005/11/18(金) 10:21:56 ] 立てました Common Lisp, Scheme Part 14 pc8.2ch.net/test/read.cgi/tech/1132275726/ 992 名前：デフォルトの名無しさん mailto:sage [2005/11/18(金) 11:12:49 ] >>991 乙です 立てようと思ってテンプレ用意してたけど出遅れちゃいました 993 名前：デフォルトの名無しさん mailto:sage [2005/11/18(金) 14:14:28 ] DAT落ち阻止のため、暇ネタを提供。 AutoCADではかつてカスタマイズにLISPが使われていたが、今ではVBAも広く使われて いるらしい。そのVBA派によるサイト。 ギコでもわかる AutoCAD VBA acesekkei.com/programming/vba/ いろいろ意見はあるだろうが、LISP退潮の実例の一つとしていろいろ考えてしまった。 994 名前：デフォルトの名無しさん mailto:sage [2005/11/18(金) 16:00:56 ] >>993 どんな言語であれ、言語人口やメンテ要員の確保とか考えると この流れはある意味仕方ないかと。 例えばCLOSにも言える事だけどLISPでオブジェクト内のいりくんだ構造を 操作する場合エディタの支援があってもしんどいでしょ。 (目的操作 (参照 (参照 オブジェクト プロパティ名a) プロパティ名b)) と書かせるより演算子で オブジェクト.プロパティa,プロパティb,目的操作() と書けた方が直感的でわかりやすい。 こういうわずらわしさをLISPで適当なフロントエンドを作成して でっちあげるような解決方法もあるんだろうけど、そこまでするなら 既に一般に広まってる適当な言語を採用した方が良いと判断したんでは。 VBA自体が特に優れているというわけではないので念のため。 VBAの採用はOfficeやActiveXなどゲイツ周りの影響でしょう。 995 名前：デフォルトの名無しさん mailto:sage [2005/11/18(金) 16:48:10 ] そういえば過去ログ倉庫やまとめサイトってないのかな 誰かWilikiとかで作らない？ 996 名前：デフォルトの名無しさん mailto:sage [2005/11/18(金) 17:31:54 ] >>995 そういう Wiliki は flatline氏がだいぶ以前から提供しているのだが、 www.komaba.utmc.or.jp/~flatline/wiliki.cgi 作業者がいなくて、盛り上がってないのだ。 時間があったら自分もやりたいんだけど。 997 名前：デフォルトの名無しさん mailto:sage [2005/11/18(金) 22:55:06 ] >>994 アクセッサが不恰好になるのは、S式を使う限り、なかなか解決しがたい問題 ですね。オブジェクト指向が不可欠になった現在、これは大きなデメリットだ よなあ。 Gauche:スロットアクセス practical-scheme.net/wiliki/wiliki.cgi?Gauche%3a%a5%b9%a5%ed%a5%c3%a5%c8%a5%a2%a5%af%a5%bb%a5%b9 998 名前：デフォルトの名無しさん mailto:sage [2005/11/19(土) 11:06:32 ] 997のリンク先とかは with-slots で (with-slots (hoge fuge hage) object (lambda () hoge)) を (lambda (obj) (ref obj 'hoge)) が限度じゃないか？または、 (define-method* obj ( (hoge fuga hage) <XX>) hoge) とか define-method の文字の長さの方が気になるし。 または、マクロ言語(OOとする) (let ((x 1) ;(y (lambda () |hoge|)) ;コンパイル不可？ ) (OO obj (display |hage|) ; (display (y)) )) とか。 データ構造と関数構造を分離しないと新たに面倒な問題が発生するし。 999 名前：デフォルトの名無しさん mailto:sage [2005/11/19(土) 14:13:35 ] 1000 名前：デフォルトの名無しさん mailto:sage [2005/11/19(土) 14:14:08 ] 次スレ Common Lisp, Scheme Part 14 pc8.2ch.net/test/read.cgi/tech/1132275726/ 1001 名前：１００１ [Over 1000 Thread] このスレッドは１０００を超えました。 もう書けないので、新しいスレッドを立ててくださいです。。。

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

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