- 1 名前：デフォルトの名無しさん mailto:sage [2009/04/24(金) 19:12:39 ]
- ※ ここはCommon Lisp、SchemeをはじめとするLisp族全般のスレです ※
■過去スレ
Part25: ttp://pc12.2ch.net/test/read.cgi/tech/1231856193/
Part24: ttp://pc11.2ch.net/test/read.cgi/tech/1224939205/
Part23: ttp://pc11.2ch.net/test/read.cgi/tech/1215875388/
Part22: ttp://pc11.2ch.net/test/read.cgi/tech/1211381920/
Part21: ttp://pc11.2ch.net/test/read.cgi/tech/1207300697/
Part20: ttp://pc11.2ch.net/test/read.cgi/tech/1205021786/
Part19: ttp://pc11.2ch.net/test/read.cgi/tech/1200237296/
Part18: 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://pc11.2ch.net/test/read.cgi/tech/1151025773/
Part14: ttp://pc11.2ch.net/test/read.cgi/tech/1132275726/
Part13: ttp://pc11.2ch.net/test/read.cgi/tech/1115901841/
Part12: ttp://pc11.2ch.net/test/read.cgi/tech/1100229366/
Part11: ttp://pc11.2ch.net/test/read.cgi/tech/1091456033/
Part10: ttp://pc11.2ch.net/test/read.cgi/tech/1075630259/
Part09: ttp://pc11.2ch.net/test/read.cgi/tech/1069594582/
Part08: ttp://pc5.2ch.net/tech/kako/1058/10582/1058263391.html
Part07: ttp://pc5.2ch.net/tech/kako/1042/10421/1042167213.html
Part06: ttp://pc3.2ch.net/tech/kako/1031/10315/1031560687.html
Part05: ttp://pc3.2ch.net/tech/kako/1023/10230/1023091882.html
Part04: ttp://pc.2ch.net/tech/kako/1016/10162/1016211619.html
Part03: ttp://pc.2ch.net/tech/kako/1008/10082/1008220265.html
Part02: ttp://pc.2ch.net/tech/kako/1002/10025/1002584344.html
Part01: ttp://piza2.2ch.net/tech/kako/987/987169286.html
■テンプレート置き場
ttp://wiki.fdiary.net/lisp/ (id:guest pass:cl)
- 830 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 00:14:28 ]
- 逆では？
線形論理では、上の例でA→B∧Cが成り立たない。
- 831 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 04:13:43 ]
- >>828
805です。自分でも何を知りたいのか混乱していました。
表示的意味論です。
「プログラム意味論」横内寛文著（赤本）は持っているのですが
よく理解できていません。R^5RSに収録されているのは表示的意味論
とのことで理解したいとは思うのですが。
ところでR^6RSでは表示的意味論が放棄されて操作的意味論になった
そうですが何故なのかと思っています。
- 832 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 05:12:42 ]
- Operational Semanticsは意味論を勉強してなくても簡単に理解できるからな。
- 833 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 05:18:25 ]
- > 「プログラム意味論」横内寛文
その本読んでみたいんだけど売ってないんだよね。
- 834 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 12:17:28 ]
- >>831
＞ところでR^6RSでは表示的意味論が放棄されて操作的意味論になった
＞そうですが何故なのかと思っています。
表示的意味論が分かり難い上に実装にも証明にもあまり役に立たないから。
しかもR5RSのは矛盾だかあいまいさが証明されてたはず。
- 835 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 17:43:24 ]
- >>805
意味論を理解することが目的なら、もう少し具体的に今どこがわからないのかを
示せばここで解説される可能性はある。
意味論がさっぱりわからん、ということでしかないとすると、本読め、以外にない。
意味論を理解することが目的じゃなくて、何かをするために意味論を理解したい
なら、目的を示した方がいいと思う。それについて助言可能かもしれない。
- 836 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 18:08:29 ]
- >>828
いや、変数、変項、というのは形式的な数学では日常茶飯事だから、
代入というのは数学でもよくある概念じゃないか? それは人間の
頭の中で実施されることが多いが、何かを証明するときに紙に
書いたりもする。
よくある概念であるがゆえ、それ自体が明示的な対象となるのは数学基礎論
にはなるが。
あと、一見代入だからといって副作用を伴うとは限らない。
述語論理のユニフィケーションとかもあるし。
- 837 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 18:17:42 ]
- 代入？いいえ項書換えです
- 838 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 18:25:32 ]
- >>835
805です。数学がわからないと数学を必要とするコンピューターの理論も
理解できないのではないかと思いしばらくの間、数学の勉強に行っていました。
目的はプログラムと数学との関連の理解です。
本を読みつつ、ご助言を仰ぐこともあるかもしれません。よろしくお願いいたします。
- 839 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 18:49:37 ]
- 真面目に勉強するなら２ｃｈにレスしてないで本読めでぶ
- 840 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 19:03:00 ]
- >>839
ああ、ここは2chだってことを忘れてた。でも玉石混交だから。
- 841 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 19:18:18 ]
- >>838
それなら、まずは計算可能性理論を勉強してみると良いな。
- 842 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 20:27:45 ]
- >>838
上にでてきたfjとか。2chだとせっかくの話が消えてしまう。
ただ、迷惑にならないようにしたほうがいいだろうけど。
- 843 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 21:04:29 ]
- >>802
>また、重ねて恐縮なのだが、対象間の関係を記述するのが数学の
>すべてという意味なら、それは正しくない。
難しい話になるとは思うのですが、現時点では”数学”とは何を指している
言葉だといえるのですか。
マックレーンはアイディアを抽出化して形式化したものが数学だ、形式機能主義だ
と言ってるんですけど、それって、つまり数学的対象とはあくまで形式という事なんですか。
確かに、理解していないバカではある。書いてて確かに思う。
けど、表立っては出ないがこういう話が問題になる分野領域は存在する気がするんだよね。
- 844 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 21:16:33 ]
- もう十分以上の情報が出ているぞ
耳学問としょうもないプライドのせいで
無知だとかバカだとか思われたくないからいつまでも演説を続けるんだろうが
いいかげん黙れ
- 845 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 21:19:29 ]
- 805=815で釣りでもやってるのかと思ったが
- 846 名前：802 mailto:sage [2009/07/15(水) 22:41:53 ]
- >>844
おお、すまなかった。誰を指しているかがイマイチわからんが、
この流れをつくった私がいけないのだろう。
>>843
というわけで、すまんが退散しようと思う。844の言うとおり、
結構いろいろな情報が出ているので、参考にして欲しい。
お邪魔しました。
- 847 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 01:17:17 ]
- >>844
混在してわけがわからないことになってるけど、いくつか独立した話しが
並行して進んでいるんだよ。
それに、そんなぶっきらぼうに言っちゃうとみんなびっくりしてしまうよ。
- 848 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 01:43:59 ]
- たまに情報学板のことも思い出してあげてください。
- 849 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 01:48:23 ]
- 確かに最近の話題は情報学板の方が向いてるな。
あそこ過疎りすぎだけど、見てる奴はそれなりにいるっぽい。
- 850 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 03:37:46 ]
- >>838
数学とか理論計算機科学の話題だったらプログラム板はやめておいたほうがいいよ。
でたらめな情報が多すぎてろくなことがないから。
- 851 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 04:02:29 ]
- >>850
情報学板に移動するよ。ありがとう。
- 852 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 08:45:47 ]
- ERR5RS（だっけ？）って幾らかでも流行ってるんですか？
- 853 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 13:51:52 ]
- 顧みるにR5RS自体流行ってるかな？
お察しください
- 854 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 16:05:08 ]
- LOL邦訳本ってamazonじゃ普通に買えないんだろうか。
ページはあるんだけど、なぜかプレミア価格の出品しかない。(´・ω・`)
- 855 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 22:57:07 ]
- まさかすぐに絶版にしたりしないよね？
- 856 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 00:11:40 ]
- SICPの悪文と格闘している間にLOL翻訳が出てしまったんだな。
On Lispも積読になってるが、LOLも積読しとく事にしよう。
以上チラ裏でした（・∀・）
- 857 名前：デフォルトの名無しさん [2009/07/17(金) 01:43:00 ]
- >>854
Let Over Lambda 日本語版 サポートページ
hop.timedia.co.jp/show/book/Let%20Over%20Lambda
>なお、現状Amazon.co.jpではマーケットプレイス以外で購入できなくなっています。
>他の書店、オンライン書店では普通に購入いただけます。
COMMON LISP JP > Archives > 2009/07/15
practical-scheme.net/chaton/common-lisp-jp/a/2009/07/15
>出版元にも聞いてみたんだけど、
>アマゾン内部の問題らしくて理由はわからん、とのことだった
>版元品切れなわけじゃないんだけど
LET OVER LAMBDA Edition1.0 (Amazon)
www.amazon.co.jp/dp/4434133632/
>この本は現在お取り扱いできません。
LET OVER LAMBDA Edition1.0 (ジュンク堂書店)
www.junkudo.co.jp/detail2.jsp?ID=0110264349
>池袋本店 33冊 在庫有り
- 858 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 01:43:50 ]
- >>855
弱小出版会社だから、東販/日販の初回取り扱いが少なかったんだと思う。
注文すれば、出版社に発注されるでしょう。在庫はしているだろうから。
- 859 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 05:31:14 ]
- ふぁびょったってしゃーない。
- 860 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 05:33:54 ]
- と書いたけど、LOLが売れるとはおもえない。グレアムのような知名度もなけりゃ
LOLそのものがそれほど定評だったレビューもなかった。
なにより、極度にマニアックだから。
細く長く生き残ればよいという本だと思う。
- 861 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 05:55:53 ]
- On Lisp はついてけないけどLOLは単にLisp最強伝説本として楽しめた
- 862 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 07:36:45 ]
- COMIC LOL
- 863 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 13:09:17 ]
- LOLは前提知識それほど必要ないの？
- 864 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 13:28:47 ]
- いまから買いに行こうと思ってたのに・・・・・
- 865 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 14:49:16 ]
- >>863
コードが短くて解説がうまいから分かった気分になれる
- 866 名前：863 mailto:sage [2009/07/17(金) 16:44:02 ]
- >>865
じゃあ丘リスパーの漏れにぴったりでつね（自嘲
- 867 名前：デフォルトの名無しさん mailto:sage [2009/07/18(土) 02:23:20 ]
- >>852
ERR5RSは、実際に対応してるのはLarcenyくらい。
提唱者のWilliam D Clingerが開発してるから当然だけど。
Ypsilonは対応予定。Gaucheもそのうち対応する予定。予定は未定。
他は知らない。
ちなみに、ERR5RSで書いてる人はいる。主にLarceny-usersとかに。
というわけで、will先生の活躍に御期待下さい。
- 868 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 07:43:54 ]
- 連休中、みなさんはLOLを読みふけるのでしょうか＾＾
- 869 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 09:23:21 ]
- とりあえず著者はVimmerってとこまで読んだ。
- 870 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 09:38:45 ]
- とりあえずForth最高！ってところまで読んだ。
- 871 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 11:43:17 ]
- postscript万歳！ってところまで書いた
- 872 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 12:36:02 ]
- LOL、オビの煽りに苦笑い、スルーｗ
- 873 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 13:46:39 ]
- lolって略はネトゲ的にどうなんだろう
- 874 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 13:55:47 ]
- LOLは元々ネトゲ用語じゃないよ
- 875 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 18:40:27 ]
- MUDからUsenetに輸入された可能性もあるので一概にそうとも言えない
- 876 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 21:09:04 ]
- emacs論だけ立ち読みすれば十分な本だな
- 877 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 22:35:35 ]
- >>854
今見ると「一時的に在庫切れですが、商品が入荷次第配送します。 」だそうですよ
- 878 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 22:48:12 ]
- タイトルがかっこいい
class over defとは違うんですみたいな
- 879 名前：デフォルトの名無しさん mailto:sage [2009/07/20(月) 00:51:52 ]
- lol=laugh out loudly だからwwwwwwwww だよ。
- 880 名前：デフォルトの名無しさん mailto:sage [2009/07/20(月) 21:28:37 ]
- Lispは関数型言語じゃない。まで読んだ。
- 881 名前：デフォルトの名無しさん [2009/07/20(月) 21:59:02 ]
- すみません、私はschme大好き人間なんですが、
ｃｏｍｍｏｎ lispの defunが嫌いです。「でふん」っていう語感が。
やっぱしｓｃｈｅｍｅ最強でしょ。
- 882 名前：デフォルトの名無しさん mailto:sage [2009/07/20(月) 22:02:31 ]
- 致命的なまでに英語が苦手なようだなw
- 883 名前：デフォルトの名無しさん mailto:sage [2009/07/20(月) 22:05:35 ]
- でふん
デフィネ
- 884 名前：デフォルトの名無しさん mailto:sage [2009/07/20(月) 23:05:35 ]
- つか気に入らないなら自分で好きな名前にすればいいじゃない
これだから最近scheme始めたガキは困る
- 885 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 00:39:46 ]
- (defmacro define (fun_arg body)
`(defun ,(car fun_arg) ,(cdr fun_arg) ,body))
- 886 名前：デフォルトの名無しさん [2009/07/21(火) 00:58:24 ]
- すみません、私はschme大好き人間なんですが、
ｃｏｍｍｏｎ lispの funcallが嫌いです。「ふんこーる」っていう語感が。
やっぱしｓｃｈｅｍｅ最強でしょ。
- 887 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 01:08:10 ]
- labels使え
- 888 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 01:19:29 ]
- let over set!
- 889 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 03:07:15 ]
- letrec over μ
- 890 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 03:17:25 ]
- ｓｃｈｅｍｅ大好きな私ですがたった一つ好きになれないのがランバダです。
語感が嫌ですね。
- 891 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 03:40:41 ]
- コードギアスでさぁ、
ルルーシュが C.C. の名前を呼ぶ場面があるでしょ。
call/cc を見るたびに連想するんだ
- 892 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 04:01:29 ]
- でっかいアニメ好きです
- 893 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 04:39:34 ]
- 俺はCCガールズっていう人達見ると思い出すな。
- 894 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 04:49:01 ]
- それじゃあ、思い出さないんですね。見ることないもんね。
- 895 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 05:01:59 ]
- その代わりにCCレモンをよく見るからね。
- 896 名前：デフォルトの名無しさん [2009/07/21(火) 08:54:45 ]
- lispのコードを出してくれるyacc,lexって有りますか？
- 897 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 09:19:46 ]
- CCっていったらサクラだろJK
- 898 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 09:25:46 ]
- 俺もNHKでやってるという免罪符で見てた＞CCさくら
なんか色使いが綺麗だったし
話自体はよくわからなかった
- 899 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 09:57:57 ]
- それを言うならリリカルなんて
- 900 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 10:46:49 ]
- リリカル・トカレフ・キルゼムオール
- 901 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 11:03:05 ]
- りこさんのエロ画像キボンヌ
- 902 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 13:09:07 ]
- おまいはこっちに行けｗ
pc12.2ch.net/test/read.cgi/tech/1183396621/
- 903 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 13:42:06 ]
- もっとネタscheme処理系を！
- 904 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 13:44:06 ]
- いぷしろん萌え
- 905 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 16:17:27 ]
- VSCM萌え
- 906 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 20:47:00 ]
- Mathematica 萌え
- 907 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 21:29:44 ]
- 割と普通に関数型として使えるのには感心したが
正直書きにくかった
- 908 名前：デフォルトの名無しさん [2009/07/21(火) 22:30:28 ]
- Little Schemerを読んでるんですが、Ｑを読んですぐＡを読むっていう
ただ読んでるだけなんですが、
みなさんはちゃんと自分で答えを考えながら読んでるんですか？
- 909 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 22:32:49 ]
- 俺は考えて読んだけど、好きなようにすればいいんじゃないかな。
一度全部読んでから、次は自分で考えれば？
たぶん二回目でも100点にはならないと思うから、
二回読むことには意味があると思う。
- 910 名前：デフォルトの名無しさん mailto:sage [2009/07/22(水) 00:26:36 ]
- >>909
なるほど、ありがとうございます。
いま3章の終りに来ていますがなかなかなか複雑で頭を使います。がんがる。
- 911 名前：デフォルトの名無しさん mailto:sage [2009/07/22(水) 02:23:55 ]
- LOLなんだけど、ざっと斜め読みしてたら、
マクロを本当に使いこなせるのはSchemeで修行してきた人達だ。
みたいなことが書いてあった。
- 912 名前：デフォルトの名無しさん mailto:sage [2009/07/22(水) 04:29:56 ]
- Schemerのほうが偉い症候群ですねわかります
- 913 名前：デフォルトの名無しさん mailto:sage [2009/07/22(水) 17:44:32 ]
- ↓ここからCLerの猛反論
- 914 名前：デフォルトの名無しさん mailto:sage [2009/07/22(水) 18:19:14 ]
- まあ最近はSchemeからこの世界に入って、
Schemeで修行せずにCommon Lisp入る人の数の方が少ない、
ってのはそれほど間違ってないと思う。
Schemeは取り上げる大学が多いからね。
そんな噛みつくことじゃないのでどうでもいい。
- 915 名前：デフォルトの名無しさん mailto:sage [2009/07/22(水) 19:25:41 ]
- C99/C++のコメントを除去したかったので
コードを書いたんだけどえらい遅い
改良するとしたらどの辺でしょうか？
最初非末尾再帰版で書いて
末尾再帰に書き直したのですが
相互再帰関数は通常最適化されないのですかね？
処理時間が通常の再帰版と同じで
250kbのファイル(5千行中4000行がコメント)
を処理するのに100秒かかります
コード(続く)
- 916 名前：デフォルトの名無しさん mailto:sage [2009/07/22(水) 19:29:01 ]
- ;remove comment
(define (remcom l)
(define (test str lst)
(if (< (length lst) (string-length str)) #f
(let* ((a (string->list str))
(l (take lst (length a))))
(every eq? a l))))
(define (outcomment l res)
(cond ((null? l) res)
((test "/*" l) (incomment (cddr l) res))
((test "//" l) (inlinecomment (cddr l) res))
((eq? #\' (car l)) (inquote #\' (cdr l) (cons #\' res)))
((eq? #\" (car l)) (inquote #\" (cdr l) (cons #\" res)))
(else (outcomment (cdr l) (cons (car l) res)))))
(define (incomment l res)
(cond ((null? l) res)
((test "*/" l) (outcomment (cddr l) res))
(else (incomment (cdr l) res))))
(define (inquote sep l res)
(cond ((null? l) res)
((eq? sep (car l)) (outcomment (cdr l) (cons sep res)))
(else (inquote sep (cdr l) (cons (car l) res)))))
(define (inlinecomment l res)
(cond ((null? l) res)
((eq? #\newline (car l)) (outcomment (cdr l) res))
(else (inlinecomment (cdr l) res))))
(list->string (reverse (outcomment (string->list l) '()))))
- 917 名前：デフォルトの名無しさん mailto:sage [2009/07/22(水) 20:18:56 ]
- >>915
test の中の (length lst)
- 918 名前：デフォルトの名無しさん mailto:sage [2009/07/22(水) 20:21:17 ]
- コメントが現れる度string->listしてる所、
(test "/*" l)とかを
(test `,(string->list "/*") l)
にしとくとか。(test側も修正)
それと、100秒掛かるって言われても判らんから
環境と処理系も書いて欲しいな
- 919 名前：デフォルトの名無しさん mailto:sage [2009/07/22(水) 20:25:49 ]
- あ、`',(string->list "/*")にしないとだめだったかな
動かしてないから間違ってたらごめん
- 920 名前：デフォルトの名無しさん mailto:sage [2009/07/22(水) 21:03:42 ]
- (define (test str)
;; Let Over Lambda
(let ((l (string->list str)))
(lambda (lst) ...)))
(define test/* (test "/*"))
(define test*/ (test "*/"))
(define test// (test "//"))
- 921 名前：デフォルトの名無しさん mailto:sage [2009/07/22(水) 21:19:19 ]
- lengthをやめたら、100秒が3秒になりました
長さはmaxで2と固定なので
(if (or (not (pair? lst)) (not (pair? (cdr lst)))) #f ...)
に変更しました
また、string->listの箇所も修正するとさらに早くなりました
(環境はGauche+cygwin)
ありがとうございました！
- 922 名前：デフォルトの名無しさん mailto:sage [2009/07/22(水) 21:24:16 ]
- 上の"/*"みたいな最終的にstring->listに掛かるようなやつって
gaucheじゃ定数伝播してくれないのかな
- 923 名前：デフォルトの名無しさん mailto:sage [2009/07/23(木) 12:29:59 ]
- 数値計算を主体でプログラムしてると
あまり自分でマクロを作る場面に出くわさない
on lispのマクロはそのまま使ったりするけど
- 924 名前：デフォルトの名無しさん mailto:sage [2009/07/23(木) 12:52:12 ]
- こういうのはどうよ
(define-syntax let/ec
(syntax-rules ()
((_ r b ...) (call/cc (lambda (r) b ...)))))
わざとらしい例
(let/ec r (fold (lambda (x y) (if (= x 0) (r 0) (* x y))) 1 '(2 3 0 5)))
- 925 名前：デフォルトの名無しさん mailto:sage [2009/07/23(木) 13:28:31 ]
- 何が？
- 926 名前：デフォルトの名無しさん mailto:sage [2009/07/23(木) 17:44:08 ]
- いや、なんでもない
- 927 名前：デフォルトの名無しさん mailto:sage [2009/07/23(木) 17:48:00 ]
- let/ccってのはPLTやGaucheにあるね
- 928 名前：デフォルトの名無しさん mailto:sage [2009/07/24(金) 00:17:53 ]
- redditから
ttp://www.google.com/search?hl=en&q=recursion
- 929 名前：デフォルトの名無しさん mailto:sage [2009/07/25(土) 04:03:28 ]
- エロファイルのサンプルをダウンロードして来ました．このファイルはzipで圧縮されておりファイル名の末尾がアルファベットもしくは数字＋拡張子zipになっており，展開すると拡張子が取れたディレクトリ名の中にファイル名＋拡張子wmvのファイルが出現します．
例：
aaaa0725a.zip, aaaa0725b.zip, aaaa0725c.zip, aaaa0725d.zip
aaaa0725a/aaaa0725a.wmv
aaaa0725b/aaaa0725b.wmv
aaaa0725c/aaaa0725c.wmv
aaaa0725d/aaaa0725d.wmv
b0725-1.zip, b0725-2.zip, b0725-3.zip, b0725-4.zip
b0725-1/b0725-1.wmv
b0725-2/b0725-2.wmv
b0725-3/b0725-3.wmv
b0725-4/b0725-4.wmv
で，このファイルを末尾がアルファベットの場合は a 数字の場合は 1 にまとめるという作業をＬｉｓｐで行う場合,Lisp脳ではどう考えますか？
aaaa0725a/aaaa0725a.wmv
/aaaa0725b.wmv
/aaaa0725c.wmv
/aaaa0725d.wmv
b0725-1/b0725-1.wmv
/b0725-2.wmv
/b0725-3.wmv
/b0725-4.wmv
教えてくださいエロい人
- 930 名前：デフォルトの名無しさん mailto:sage [2009/07/25(土) 05:16:08 ]
- zshで
unzip *.zip
for d in *a; mv ${d%a}[bcd]/*.wmv $d
for d in *1; mv ${d%1}[234]/*.wmv $d
rmdir *
試してないけど。
|
 |
