Lisp Scheme Part19
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
2008/01/14(月) 00:14:56Part18: ttp://pc11.2ch.net/test/read.cgi/tech/1186922295/
Part17: ttp://pc11.2ch.net/test/read.cgi/tech/1177065699/
Part16: ttp://pc11.2ch.net/test/read.cgi/tech/1172404795/
Part15: ttp://pc10.2ch.net/test/read.cgi/tech/1151025773/
Part14: ttp://pc8.2ch.net/test/read.cgi/tech/1132275726/
Part13: ttp://pc8.2ch.net/test/read.cgi/tech/1115901841/
Part12: ttp://pc8.2ch.net/test/read.cgi/tech/1100229366/
Part11: ttp://pc5.2ch.net/test/read.cgi/tech/1091456033/
Part10: ttp://pc5.2ch.net/test/read.cgi/tech/1075630259/
Part9: ttp://pc2.2ch.net/test/read.cgi/tech/1069594582/
Part8: ttp://pc5.2ch.net/tech/kako/1058/10582/1058263391.html
Part7: ttp://pc5.2ch.net/tech/kako/1042/10421/1042167213.html
Part6: ttp://pc3.2ch.net/tech/kako/1031/10315/1031560687.html
Part5: ttp://pc3.2ch.net/tech/kako/1023/10230/1023091882.html
Part4: ttp://pc.2ch.net/tech/kako/1016/10162/1016211619.html
Part3: ttp://pc.2ch.net/tech/kako/1008/10082/1008220265.html
Part2: ttp://pc.2ch.net/tech/kako/1002/10025/1002584344.html
Part1: ttp://piza2.2ch.net/tech/kako/987/987169286.html
0175デフォルトの名無しさん
2008/01/18(金) 12:49:330176デフォルトの名無しさん
2008/01/18(金) 12:58:20「大丈夫俺に任せろ」で仕事にできちゃうんだろなぁ
0177デフォルトの名無しさん
2008/01/18(金) 13:15:20再帰が必要な処理だけは手続き型言語で書こうとすると悩むから
一旦Schemeで下書きしてから手続き型に直す
0178デフォルトの名無しさん
2008/01/18(金) 13:17:57むしろ、writeが再定義されてたらどうしよう、とか思い浮かべたほうがいい
0179デフォルトの名無しさん
2008/01/18(金) 13:19:28いろんな人がいると思うよ。画一的に考えるな。
俺は仕事で使ってるよ。Common Lispだけど。
0180デフォルトの名無しさん
2008/01/18(金) 22:00:49本職はハードの設計だが, できあいのツールで機能が足りないときは
Lisp で書いてるな. C とか C++ で数値計算する気にならん.
0181デフォルトの名無しさん
2008/01/18(金) 22:12:590182デフォルトの名無しさん
2008/01/18(金) 22:40:510183デフォルトの名無しさん
2008/01/18(金) 22:55:040184デフォルトの名無しさん
2008/01/19(土) 22:46:09回路設計者(しかも、アナログ)だけど、趣味でschemeやってますよ。
0185デフォルトの名無しさん
2008/01/19(土) 23:58:15考えたことがあるよ。
0187デフォルトの名無しさん
2008/01/20(日) 01:07:34そこで質問なんだが、Lispだとnil==()なのにschemeだと#f != ()な理由ってあるの?
0188デフォルトの名無しさん
2008/01/20(日) 01:11:05おそらく宗教的な理由
0189デフォルトの名無しさん
2008/01/20(日) 01:11:190190デフォルトの名無しさん
2008/01/20(日) 01:24:49俺が多すぎ
0191デフォルトの名無しさん
2008/01/20(日) 01:33:020192デフォルトの名無しさん
2008/01/20(日) 01:45:17Little Schemer ⇒ ゾウさんの絵 ⇒ 繰り返しはどこまで続くのか？ ⇒ Ｙコンビネータ ⇒ To Mock A Mockingbird ⇒ ゲーデルの定理
読み返してみたらホントにそう書いてあった。すげー。
0193デフォルトの名無しさん
2008/01/20(日) 08:01:34どんな所がいいですか？
0194デフォルトの名無しさん
2008/01/20(日) 08:28:450195デフォルトの名無しさん
2008/01/20(日) 09:12:55schemeを知ってやべぇ美しすぎる！とか思った。
でも今は仕事でCommonLisp(ACL)を少し使ってる。バカでかい仕様も、
今では信頼の元。CLは愛してるというより尊敬の対象。
0196デフォルトの名無しさん
2008/01/20(日) 13:39:49配列と構造体とハッシュを使い分けるのも馬鹿らしいと思うことはないかい
0197デフォルトの名無しさん
2008/01/20(日) 13:42:24使い分けるのが馬鹿らしかったら使い分けなきゃいいんじゃないか？ｗ
0198デフォルトの名無しさん
2008/01/20(日) 13:47:21> おまえらループと再帰を使い分けるのは馬鹿らしいと思ってるだろ
うん！
> 配列と構造体とハッシュを使い分けるのも馬鹿らしいと思うことはないかい
あんまおもわねぇなぁ
assoc と hash …
0199デフォルトの名無しさん
2008/01/20(日) 14:08:27前ｽﾚでassocの書き方を色々とやってたな。４つぐらいあった希ガス。
でも使い分けるという感じではなかった。
0200デフォルトの名無しさん
2008/01/20(日) 15:09:18JavaScriptなんかはそこらへんルーズなんで楽ちんではある
0201デフォルトの名無しさん
2008/01/20(日) 15:15:18問題はキーを比較するときに多態性がないと不便ってことかな
0202デフォルトの名無しさん
2008/01/20(日) 16:06:12Arcってそゆんじゃなかったっけ? alistとhashを抽象化したdbって。
>>200
久しぶりに書くと配列をiterateするのにfor(var in ary)で書いてしまって??となる
0203187
2008/01/20(日) 17:38:21まずschemeで((if #t + -) 1 2)がでできることに感動
まだほとんど触ってないけどgaucheは
・速い(と聞いている)
・バインディングが書きやすい(ように見える)
・スレッドが使える
・dotimes, whileとかあるし、ライブラリが使いやすそう
defunとかmapcarなくて戸惑ってるけど、これから勉強します
0204デフォルトの名無しさん
2008/01/20(日) 18:44:45define
map
0205デフォルトの名無しさん
2008/01/20(日) 19:07:12用途に合わせて使い分けるもんじゃないの？
0206デフォルトの名無しさん
2008/01/20(日) 19:18:13再帰は苦手だけど、この本の再帰の妥当性チェックの仕方の
説明が良かった。コツを掴めそう。
0207デフォルトの名無しさん
2008/01/20(日) 19:27:45> 用途に合わせて使い分けるもんじゃないの？
どの辺で切り分けるかでいつも迷う.
0208デフォルトの名無しさん
2008/01/20(日) 19:32:14後で追加したものを優先したくて、一発である時点へ戻したいという場合は連想リスト。
どちらでもなければ、どちらでもいい。ｗ
0209デフォルトの名無しさん
2008/01/20(日) 19:33:08The Scheme Programming Language, 3rd Edition
米国では評価高いみたいですが読んだ人どうですか？
0210デフォルトの名無しさん
2008/01/20(日) 19:54:09> どちらでもなければ、どちらでもいい。ｗ
ここだろ？ >>207 が頭抱え込んでるのは…
0211デフォルトの名無しさん
2008/01/20(日) 19:57:080212デフォルトの名無しさん
2008/01/20(日) 20:04:36おれはscheme一筋って人いますか？
0213デフォルトの名無しさん
2008/01/20(日) 20:16:13さすがに高級アセンブラであるところの C を知らねぇって奴はいないんじゃねぇの？
C++ とはあまりお近づきになりたくないのは確だけど。W
0214デフォルトの名無しさん
2008/01/20(日) 20:27:520215デフォルトの名無しさん
2008/01/20(日) 20:51:28巻末の仕様書。
0216デフォルトの名無しさん
2008/01/20(日) 21:20:230217デフォルトの名無しさん
2008/01/20(日) 21:32:41(if (not (cdr var-list))
(proc-list (car val-list))
(progn
(proc-list (car val-list))
(my-foreach proc-list (cdr val-list)))))
(setq list-a '(1 2 3 4))
(1 2 3 4)
(my-foreach '(lambda (x) (print x)) 'list-a)
foreachのような関数をlispで作ろうと考えたのですが、どうもうまくいきません。
上記のようにするとlist-aがvoidだと怒られてしまいます。
0218デフォルトの名無しさん
2008/01/20(日) 22:00:18ﾂｳｼﾞﾃﾅｲｗ
0219デフォルトの名無しさん
2008/01/20(日) 23:03:138008の頃からマイクロプロセッサさわってると衝動的にその罠に落ちる。
#でもarm7とかだと今でも有効なｷｶﾞｽ
0220デフォルトの名無しさん
2008/01/20(日) 23:21:24>>213 は (equal? C 高級アセンブラ) => #t
>>216 のは (equal? C アセンブラ) の評価結果はどうなるんだ?
0221デフォルトの名無しさん
2008/01/20(日) 23:28:24amb!
amb!
0222デフォルトの名無しさん
2008/01/20(日) 23:45:42そうだと思う。>>216,>>219は妙だｗ
0223デフォルトの名無しさん
2008/01/21(月) 00:30:54どこから突っ込めばいいのか……
とりあえず val-list の引用符いらない
0224デフォルトの名無しさん
2008/01/21(月) 00:31:31(defun my-foreach (proc-list val-list)
(if (not (cdr val-list))
(funcall proc-list (car val-list))
(progn
(funcall proc-list (car val-list))
(my-foreach proc-list (cdr val-list)))))
(setq list-a '(1 2 3 4))
(1 2 3 4)
(my-foreach #'(lambda (x) (print x)) 'list-a)
schemeと違ってlispはfuncallしないと関数は呼び出せないよ。
0225デフォルトの名無しさん
2008/01/21(月) 00:49:15(my-foreach #'(lambda (x) (print x)) list-a)
0226デフォルトの名無しさん
2008/01/21(月) 01:54:50なるほど、勉強になりました。どうもです。
0227デフォルトの名無しさん
2008/01/21(月) 02:57:56全文公開されてるから読め。
0228デフォルトの名無しさん
2008/01/21(月) 12:51:48自分的にはドラえもんの「人生やり直し機」みたいなイメージをもっているんだが。
0229デフォルトの名無しさん
2008/01/21(月) 13:33:400230デフォルトの名無しさん
2008/01/21(月) 14:16:46的確なイメージですね
0231デフォルトの名無しさん
2008/01/21(月) 15:16:380232デフォルトの名無しさん
2008/01/21(月) 17:03:49ファーストクラスの人生は、やり直す必要がない。
0233デフォルトの名無しさん
2008/01/21(月) 22:11:06で、ファーストクラス未満の人生は、やり直しが効かないと…
0234デフォルトの名無しさん
2008/01/21(月) 22:44:04出直しならできるんじゃない。本人は変われないが環境を変えることはできる。
Schemeだと昔の環境を保存しておいて復元した環境に飛び込んでいくんでないの。
0235デフォルトの名無しさん
2008/01/21(月) 23:38:56人生に関しては逆だよ、変わるのは環境じゃなく自分。
乱暴に言えば自分しか変われる要素は無い。
0236デフォルトの名無しさん
2008/01/21(月) 23:40:270237デフォルトの名無しさん
2008/01/22(火) 01:22:280238デフォルトの名無しさん
2008/01/22(火) 11:29:020239デフォルトの名無しさん
2008/01/22(火) 21:09:160240デフォルトの名無しさん
2008/01/22(火) 21:26:310241デフォルトの名無しさん
2008/01/22(火) 21:41:120242デフォルトの名無しさん
2008/01/22(火) 21:50:38「静かな湖畔の...」と対になる曲が必要だな。
0243デフォルトの名無しさん
2008/01/23(水) 08:33:14>黒田さんとかshiroさんレベルになれれば、
shiroさんはコードとか読んでも本当に凄いと思うんだけど、
黒田さんって凄いの？ どっかで氏が書いたコード読めますか？
どんだけ凄いのか是非読んでみたい。
話だけ聞いてると名物*ANSI* CL厨親父にしか思えない人が多い気がする。
0244デフォルトの名無しさん
2008/01/23(水) 08:34:53これは gauche の仕様っていう認識で OK?
0245デフォルトの名無しさん
2008/01/23(水) 08:40:360246デフォルトの名無しさん
2008/01/23(水) 09:49:23そもそもないのね。
SICP に書いてあったから、あるのかと思った。
0247デフォルトの名無しさん
2008/01/23(水) 12:01:030248デフォルトの名無しさん
2008/01/23(水) 14:03:19というか何故クオートつけるのか分からない…
0249デフォルトの名無しさん
2008/01/23(水) 15:10:53Schemeの場合は()は自己評価的でないからクォートしなければならないとR5RSに明記されている
空リストはアトムだから自己評価的だという考え方もできるけど
リストだからクォートしなければならないとも考えられる。
個人的には自己評価的のほうが自然だと思えるけど。
CLなら自己評価的だからクォートしなくてもいい。
後者については
CLの場合はクォートしない(lambda ...)はlambdaマクロとして評価されて
#'(lambda ...)に展開される。（らしい。CLはよく知らない）
#(...)もCLだと自己評価的、Schemeだとクォートしなければならないけど
自己評価的でいいのに。
0250デフォルトの名無しさん
2008/01/23(水) 16:39:52色々弄ってたら酷い例を見つけてしまった
(flet ((function (x) x)) #'(lambda (x) x))
0251デフォルトの名無しさん
2008/01/23(水) 16:43:34をいをい。#(...) は配列だぞ。#' でひとかたまり。
0252デフォルトの名無しさん
2008/01/23(水) 18:57:53違う話だからパラグラフを分けたのに＞＜
0253デフォルトの名無しさん
2008/01/23(水) 20:07:520254デフォルトの名無しさん
2008/01/23(水) 20:25:280255デフォルトの名無しさん
2008/01/23(水) 20:40:140256デフォルトの名無しさん
2008/01/23(水) 21:40:53シンボルの例があるから妙な主張でしたね
Schemeの場合#'が(syntax ...)に展開される処理系もあるってことも最初書いてたんだけど
さすがにこの話ではないと思って削って
ついでに#(...)の段落を足したんでした
どこかでCLにおける#()は(vector ...)に展開される入力マクロだからクォートしないって見たような気がするけど
違いますよね？
0257デフォルトの名無しさん
2008/01/23(水) 21:46:40自体が自己評価的。つまり、何度 eval しても変わらない。
0258デフォルトの名無しさん
2008/01/24(木) 00:44:50トークショーでの黒田さんのツッコミ能力はすごいぞ。その点期待はずれなのが小飼弾だ。
0259デフォルトの名無しさん
2008/01/24(木) 00:46:520260デフォルトの名無しさん
2008/01/24(木) 00:57:37まぁ WiLiKi の Scheme:マクロ:CommonLispとの比較:意味論 で Shiro さんが「黒田さんに指摘されてはたと膝を打った次第です。」と書くくらいだからね。
「名物*ANSI* CL厨親父」ってのは初耳な単語だが、まずもうちょっと謙虚に相手の言う事を考える事も必要だと思うよ。
0261デフォルトの名無しさん
2008/01/24(木) 01:05:380262デフォルトの名無しさん
2008/01/24(木) 01:33:28<expression>が<datum>であるべきだと仮定すると、
()がreadされた時点で自己評価的なオブジェクトになってるわけだから
やっぱり(quote ())というのは冗長だよなぁ
0263デフォルトの名無しさん
2008/01/24(木) 01:40:22授業ページ(記号処理プログラミング)のリンク切れてるね。
とりあえず2007年度のもの。
http://web.sfc.keio.ac.jp/~t03596hh/lisp/wiki.cgi
0264デフォルトの名無しさん
2008/01/24(木) 16:55:36この本、いいなぁ。８章からラムダ計算のこと、Lispによって具体的に説明している。
高橋正子先生の教えを受けたんだ。茨城に住んでいたらぜひとも聴講に行きたいところだ。
0265デフォルトの名無しさん
2008/01/24(木) 17:11:47そいつのブログ見てみろよ。ひどいぜ。
愚痴ばっかだし、自分の研究室の学生をバカにするようなことまでブログに書くんだぜ。
とても大学の教員とは思えない幼稚な記事ばかり。
0266デフォルトの名無しさん
2008/01/24(木) 17:27:528章は良いですね。
http://book.mycom.co.jp/book/4-8399-2081-8/4-8399-2081-8.shtml
わかっていて買う人は良いですけど。
タイトル買いをしてCommon Lispの入門に使えないのは残念だと思います。
プログラムをCommon Lispで動くかどうかも試してないみたいですし。
0268264
2008/01/24(木) 22:03:16黄金比の固有値、固有ベクトルなんかにも触れていたり。
数学へのモチベーションも上がるし高校生なんかにはいいんじゃないかね。
0269デフォルトの名無しさん
2008/01/24(木) 22:20:400270デフォルトの名無しさん
2008/01/24(木) 23:28:11> 黄金比の固有値、固有ベクトルなんかにも触れていたり。
で, どのあたりが
> 数学へのモチベーション
につながるのかな?
0271デフォルトの名無しさん
2008/01/25(金) 01:15:13自分はλ計算についてこの本で知った
そしてすぐに高橋正子の計算論、グレアムのAnsi Common Lisp、ディヴィグのプログラミング言語Schemeを買ってどっぷりはまったクチ
でも「代入文は使わない」のところで（Cの）初期化と代入を混同してるような文章がある等
あちこち気になる点があるのも事実
それに高校生の「数学への」モチベーションにはならないと思う
だけどLispやλ計算を知るきっかけになってくれたことには感謝してる
（λ記法は知ってたけどλ算法は知らなかった）
0272デフォルトの名無しさん
2008/01/25(金) 01:16:53ぱっと見わからないなｗ
ごめんなさい
0273デフォルトの名無しさん
2008/01/25(金) 01:28:58あの入門本から計算論ていけるもんですか？
0274デフォルトの名無しさん
2008/01/25(金) 01:33:24■ このスレッドは過去ログ倉庫に格納されています