Lisp Scheme Part20 - 暇つぶし2ch

Lisp Scheme Part20 ..

39:デフォルトの名無しさん
08/03/11 00:14:44
ｽｰﾊﾟｰｺﾝﾋﾞﾈｰﾀをｸﾞｸﾞﾙと？

・ヤマハスーパーコンビネーターエレキSC700・42
・Super Combinator 800(スーパー・コンビネーター) ミニ・スイッチによるフェイズ・アウトを含む13通りのサウンド・バリエーションからネーミングされた

40:デフォルトの名無しさん
08/03/11 00:15:38
愛するものを汚されたと感じたのでは？ｗ

41:デフォルトの名無しさん
08/03/11 00:22:04
　　　　　　　　　　　　　　　　　lambda
　　　　　　　　　　　　　　　　　＿＿__
　　　　　　　　　　　　　　＿／　＼　＼＿
　　　　　　　　　　　　（(／＿＿＿)）＿＿＿＼)）
　　　　　　　　　　　　　　| |!!!　 !!| | |!!!　!!!　!!!| |
　　　　　　　　　　　　　　| |;;;; ;;;;| | |;;;; ;;;; ;;;;| |
　　　　　　　　　　　　　　| |;;;; ;;;;| | |;;;; ;;;; ;;;;| |
　　Λロ二二ロ二Λ二Λ二Λ二Λ二二二二Λ二Λ二Λ二Λ二l
　（＾×＾∩　 ∩（´∀｀　）　（・∀・　）　　　∩（ΦλΦ ）（ー人ー）
┌〔〔　〔〔V）　ヽ〔〔　〔〔　つ〔〔　〔〔つ　　　ヽ〔〔Э〔〔つ〔〔　〔〔　つ
（＿ノ〈　||_|　　（＿ノ〈　||_|（＿ﾉ〈 ||_|　　　　（＿ノ〈　||_|（＿ﾉ〈　||_|
　　　（＿_）　　　　　（＿_）　　　（＿_）　　　　　　（＿_）　　　（＿_）

42:デフォルトの名無しさん
08/03/11 00:23:11
　　 ∧∧
　　 /⌒ヽ)
　　i三　∪　たかが....
　～三　|
　　(/~∪
　　三三
　三三
三三　

43:デフォルトの名無しさん
08/03/11 00:25:46
　　　　　　　　　　　　　.,.．-─- ､　　　　　　　　　　　　　　　ニ/ニ
　　　　　　　　　　 r '´. : : : : : : : : : :ヽ　　　　　　　　　　　　　　 {＿
　　ｰ亠ｰ　　　　 /.: : : : : : : : : : : : : :: ヽ　　　　　　　　　　　　　　ヽ
　　　二　　　　 ,!::: : : : : ,-…-…-ミ:: : :',　　　　　　　　　　　　　⌒）
　　［￣]　　　　{:: : : : : :i　 ,;ノ;´:`ゞ､i: : :.:}　　∩─ｰ､　　　　　　／
　　　￣　　　　.{:: : : : : :|　ｪｪ;;;;;;;ｪｪ|: : : }　／　●　　｀ヽ　　　　―ー
. 　　つ　　　 { : : : : ::|　　　　,.、 .| : : :;!/　　(　●　 ● |つ　 ,-亠ー
　　　_＿　　　　　ヾ: :: : :i 　 r‐-ﾆ┐| : : :ﾉ|　　／(入__ノ　ミ　 /　廿
　　　／　　　　　　ゞイ! 　ヽ二ﾞノｲゞ,.‐ｒニ(＿／　　∪ノ　　/　 .又
　　　（＿,　　　　　　／￣＼`ｰ一'／　- -l＼＿＿＿ノ_
　　＿_　　　　　／／⌒ヽ＼//ヽ　　二}　　　　＼_
　　 _／　　　　　/　 /　／　＼//＼　ヽ／　　　　　　:、
　（ﾉ￣`メ、　　|　 |／　　／　｀´ヽ　＼/i　　　　　　　＼
　　　_＿　　　　|　　＼／　　／ｌヽ　ヽ /.|　　　　　　　i' 　i
　　　／　　　　|　　　＼／　/|　ヽ /　 |　　　　　　　| 　|
　　　´⌒)　　　 |　　　　　＼/　|　 /　　 |　　　　　　　| 　|
　　　　-' 　　　 |　　　　　　`ー-ノ i　　 |　　　　　　 |　 |

44:デフォルトの名無しさん
08/03/11 00:27:25
　　　　ll　　　ll
　　　　 l| -‐‐- |l
　　　,ｲ」_　 |ヽ_| ｌ､
　　 /└-.二|　ヽ,ゝl
　　 l　　,.-ｰ＼/. 、l
　　|　／.＿＿';＿..ﾝ､　　　　ビ～ィ～ム　かがーやーく♪
　 /　/＜二>　 <二>!ﾞ、
　/／--─'( _●_)`ｰミﾍ　　　　フラッシュバックに～ぃ♪
<-''彡､　　　|∪|　　､｀￣￣ヽ
　/　＿＿　ヽノ　　　Y￣)　 |　ヤツのかげーー♪
　(＿＿＿）　　　　　　 Y＿ノ
　　　　　　＼　　　　　　|
　　　　　　　|　　／＼　＼
　　　　　　　|　/　　　 )　 )
　　　　　　　∪　　　（　＼
　　　　　　　　　　　　＼＿)

　　　　　　　　　＿人人人人人人人人人人人人人人人＿
　　　　　　　＞　　たかが♪　たかが♪　たかが♪　　＜
　　　　　　　　￣^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^￣
　　　　ll　　　ll　　　　　　　　ll　　　ll　　　　　　　　 ll　　　ll
　　　　 l| -‐‐- |l　　＿＿　　　 l| -‐‐- |l　　＿＿　　　 l| -‐‐- |l　　＿＿
　　　,ｲ」_　 |ヽ_| ｌ､〈〈〈〈　ヽ　,ｲ」_　 |ヽ_| ｌ､〈〈〈〈　ヽ　,ｲ」_　 |ヽ_| ｌ､〈〈〈〈　ヽ
　　 /└-.二|　ヽ,ゝl.〈⊃　　} /└-.二|　ヽ,ゝl.〈⊃　　}./└-.二|　ヽ,ゝl.〈⊃　　}
　　 l　　,.-ｰ＼/. 、l　|　　 |. l　　,.-ｰ＼/. 、l　|　　 | l　　,.-ｰ＼/. 、l　|　　 |
　　|　／.＿＿';＿..ﾝ､!　　 ! |　／.＿＿';＿..ﾝ､!　　 !|　／.＿＿';＿..ﾝ､!　　 !
　 /　/＜二>　 <二>!ﾞ、　//　/＜二>　 <二>!ﾞ、　//　/＜二>　 <二>!ﾞ、　/
　/／--─'( _●_)`ｰミ／./／--─'( _●_)`ｰミ／ /／--─'( _●_)`ｰミ／
<-''彡､　　　|∪|　　／　<-''彡､　　　|∪|　　／　<-''彡､　　　|∪|　　／
　/　＿＿　ヽノ　/　　　 /　＿＿　ヽノ　/　　　　/　＿＿　ヽノ　/
　(＿＿＿）　　　/　　　　 (＿＿＿）　　　/　　　　(＿＿＿）　　　/

45:デフォルトの名無しさん
08/03/11 00:28:23
　　　　　　　　　　　　 -―￣￣｀ ―-- 　_
　　　　　　　　　　,　´ 　　　　　　　　,　　　~　￣､"ー､
　　　　　　　　_／　　　　　　　　　　/　,r　　 _　　　ヽノ
　　　　　　 , ´　　　　　　　　　　　/　/　　　 ● 　　i"
　　　　,／　　 ,|　　　　　　　　 /　/ ＿i⌒ ｌ|　i　　|
　　　と,-‐ ´￣　　　　　　　　 /　/ （⊂ ● j'__　　|
　　(´＿＿　　　､　　　　　　　/　/ 　￣!,__,u● 　　|
　　　　　￣￣｀ヾ＿　　　　　し　　　　u　l|　i　／ヽ､
　　　　　　　　 ,＿　＼　　　　　　　　　　　ﾉ(`'＿＿ノ
　　　　　　　　(＿_ ￣~"　＿＿ , --‐一~⊂　　⊃＿
　　　　　　　　　　￣￣￣　　　　　　⊂￣　　　　＿＿⊃
　　　　　　　　　　　　　　　　　　　⊂＿＿＿＿＿⊃

46:デフォルトの名無しさん
08/03/11 00:28:28
図星だったぽい・・・

47:デフォルトの名無しさん
08/03/11 00:29:01
何このスレ(AA略

>>39
この辺でどうよ?
URLﾘﾝｸ(www.cse.iitb.ac.in)
URLﾘﾝｸ(citeseer.ist.psu.edu)
プログラムを独自コンビネータの組み合わせに変換します。
その自由変数消去のアルゴリズムがlambda-lifting。

48:デフォルトの名無しさん
08/03/11 00:33:38
>>27
サンクス
ですよね。立ち読みした限りじゃ、漏れにはかなりむずい印象。
計算論入門(渡辺米崎)はやさしいですか？
まだリトル読み終わらない厨房なのですが、、、
モッキンバードは英語だから代わりに何か読みたいなと思ってます。

49:デフォルトの名無しさん
08/03/11 01:03:44
>>48
去年でたCommon Lisp入門とか読めば？
後ろの方にラムダ算法入門みたいな章があったよ。
さわりだけでいいんでしょ？
チャーチロッサーの定理とかβ簡約とか出て来るしいいんｼﾞｬﾏｲｶ？

50:デフォルトの名無しさん
08/03/11 01:15:09
>>49
とりあえず見てみます。
あれ読んで理解したら次に計算論入門か計算論読めますか？

51:デフォルトの名無しさん
08/03/11 01:23:43
>>48
その本は知らないんだけど、ラムダ計算とその意味論に関してだったら、
横内寛文『プログラム意味論』が丁寧かつわかりやすくてよかったですよ。

ただ、このあたりの内容について解説している本はどうしても数学書のスタイル
になってしまうので、そういうのにあまりなじみが無いのなら、小野寛晰『情報代数』
あたりをざっと読んでみるのがいいかもしれないです。この本は、理論計算機科学の
文献で使われる基本的な数学的道具立てについて一通り解説してあって、
なかなか便利です。

52:デフォルトの名無しさん
08/03/11 01:24:47
軽装で登山は出来ない。予備知識に何が必要かわかったら読むべき本も自ずと出てくる。

53:デフォルトの名無しさん
08/03/11 01:28:17
実際的なことが好みのようなので、↓にしておけば？
井田哲雄「プログラミング言語の新潮流」
URLﾘﾝｸ(www.amazon.co.jp)

同じ著者で
「計算モデル論入門ーチューリング機械からラムダ計算へ」
というのもあります。これはすごく薄くて簡単な紹介です。

54:デフォルトの名無しさん
08/03/11 02:01:16
>>51,53
どうもありがとう。
とりあえず探して見てみます。
初心者独学なんで情報代数の本は役立ちそうですね。
モッキンバードに書か

55:デフォルトの名無しさん
08/03/11 02:02:57
途切れた。
モッキンバードに書かれてるのと同程度の知識が得られればいいな、
といういい加減な目標です。

56:デフォルトの名無しさん
08/03/11 04:05:39
お前らあんまり難しいことばかり話してないで
URLﾘﾝｸ(d.hatena.ne.jp)
でも観て笑ってろよ

57:デフォルトの名無しさん
08/03/11 05:51:57
glintﾜﾗﾀw
あれいいなぁ

58:デフォルトの名無しさん
08/03/11 10:59:13
初心者・独学を強調しすぎる奴って、一生そのままだよな。
いつまでたっても助けてもらわないと一歩も前に進めない奴。

59:デフォルトの名無しさん
08/03/11 11:04:54
人と議論したほうが伸びる。

60:デフォルトの名無しさん
08/03/11 11:07:14
この業界、いるんだよな>>58みたいな偏屈な奴。

61:デフォルトの名無しさん
08/03/11 11:07:59
そりゃそうだ

62:デフォルトの名無しさん
08/03/11 11:15:41
　　　　　　　＿＿＿_
　　　　　　／＼　　／＼　ｷﾘｯ
.　　　　　／　（ー）　（ー）＼
　　　　／　　 ⌒（__人__）⌒ ＼　　　　
　　　　|　　　　　|r┬-|　　　　| 　　　　初心者・独学を強調しすぎる奴って、一生そのままだよな。　
　　　　＼　　　　 `ー'´　　／　　　　いつまでたっても助けてもらわないと一歩も前に進めない奴。　　
　　　　ノ　　　　　　　　　　　＼
　／´　　　　　　　　　　　　　　ヽ
　|　　　　ｌ　　　　　　　　　　　　　　＼
　ヽ　　　 -一''''''"~~｀`'ー--､　　　-一'''''''ー-､.
　　ヽ＿＿＿＿(⌒)(⌒)⌒)　)　　(⌒＿(⌒)⌒)⌒))

　　　　　　　　＿＿＿_
　　　　　　　／_ノ　ヽ､_＼
　ﾐ　ﾐ　ﾐ　　oﾟ(（●）) (（●）)ﾟo　　　　　　ﾐ　ﾐ　ﾐ
/⌒)⌒)⌒. ::::::⌒（__人__）⌒:::＼　　　/⌒)⌒)⌒)
|　/　/　/　　　　　|r┬-|　　　　|　(⌒)/　/ / /／　　だっておｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
|　:::::::::::(⌒)　　　　|　|　 |　　／　ゝ　　:::::::::::/
|　　　　　ノ　　　　|　|　 |　　＼　　/　　）　　/
ヽ　　　　/　　　　　`ー'´ 　　　ヽ /　　　　／　　　　　バ
　|　　　　|　　 l||l　从人 l||l 　　　　 l||l 从人 l||l　　バ　　　ン
　ヽ　　　 -一''''''"~~｀`'ー--､　　　-一'''''''ー-､　　　　ン
　　ヽ＿＿＿＿(⌒)(⌒)⌒)　)　　(⌒＿(⌒)⌒)⌒))

63:デフォルトの名無しさん
08/03/11 11:19:14
>>58
　　　　　　　　　　　　　／￣￣^ヽ　　　　　　　　　　　　　　　　　　／￣￣^ヽ
　　　　　　　　　　　　l　　　　　　l　　　　　　＿＿＿_ 　　　　　 l　　　　　　l
　　　　　　＿　 ,--､l　　　　　ﾉ .　　　　／_ノ　ヽ､_＼　　　丶　　　　　 l ,--、　＿
　　 ,--､_ノ::　`ｰ'::　　､ﾐｰ---‐,,l 　　　　oﾟ(（●）) (（●）)ﾟo　　　　 l,,‐---ｰ彡,　　::`ｰ'　 ::ゝ_,--、
　 ,/　　　:::　　　　　　 i￣￣　 |　.　／::::::⌒（__人__）⌒::::: ＼　　 |　￣￣i　　　　　　　　:::　　ヽ,
/　　　　　　　　l::: 　　l:::　　　ll　　 |　　　　　|r┬-|　　　　　| 　　ll　　　:::l 　 :::l　　　　　　　＾ヽ
l　　　l . 　 l　　　!::　　 |:::　　　l 　　|　　　　　|　|　 |　　　　　| 　　 l　　　:::| 　　::!　　　ｌ　　 l　　ｌ
|　　　l　　　l　　　 |::　　 l:　　　l .　 |　　　　　|　|　 |　　　　　|　　 l　　　 ::ｌ　　:::|　　　ｌ　　:ｌ　　|
|　　　l　. 　 }　　　l:::::,r-----　　ｌ　　＼　　　|　|　 |　　　／　　　ｌ　 -----､_::::::ｌ　　　}　　　l　　 |
ヽ　　:l:::: 　ﾄ:;;;;;;;;;/-/＿_........... 　/.　　　　　　|　|　 |　　　　　　　ヽ　　...........＿_ﾉヽ;;;;;;;ﾉ　::::l　／
　　　　　　　　　　　　　　　　　　　　　　　　　　 |　|　 |
　　　　　　　　　　　　　　　　　　　　　　　　　　 |　|　 |
　　　　　　　　　　　　　　　　　　　　　　　　　　 `ー'´

64:デフォルトの名無しさん
08/03/11 11:23:09
　　　　　／￣￣￣＼
　　　　　／　　 :::::＼:::／＼　　
　　　／　　　｡<一>:::::<ー>。　　<<58
　　　 |　　　　.:::｡ﾟ~（__人__）~ﾟj　　　　　　
　　　＼、　　　゜　｀ ⌒´,;／゜
　　　　／　 ⌒ヽﾟ　'"'"´(;ﾟ　｡　　
　　　/　,＿＼　＼／＼＼
　　と_＿＿）_ヽ＿つ_;_ヾ_つ.;.

65:デフォルトの名無しさん
08/03/11 11:27:13
もうAAは勘弁してくださいよw
Steele先生のHistory of Schemeあげるから。
つ URLﾘﾝｸ(research.sun.com)
Lisp, Scheme分かる人はp.18から読んでください。

66:デフォルトの名無しさん
08/03/11 11:44:04
わたし女だけどスレッドすごく荒れちゃって読みにくいから。

67:デフォルトの名無しさん
08/03/11 11:48:22
↓ここでマンコのＡＡ登場↓

68:デフォルトの名無しさん
08/03/11 11:49:25
(i)
=> #<Manko>

69:デフォルトの名無しさん
08/03/11 11:59:39
>>66
schemeやる女
物理科に来る女のように変人

70:デフォルトの名無しさん
08/03/11 12:13:32
>>69
でも意外と多い

71:デフォルトの名無しさん
08/03/11 12:39:32
>>70
キモイ率95％

72:デフォルトの名無しさん
08/03/11 13:22:02
男のキモい率とそんな変わらんな

73:デフォルトの名無しさん
08/03/11 13:48:49
ブス率高し

74:デフォルトの名無しさん
08/03/11 14:07:32
>>58
すごいな！
2chの自称初心者を全員追跡調査したんだ？
一人一人進歩無しに死んだところまでちゃんと確かめたんだよな？

75:58
08/03/11 14:14:33
ええ、確かめましたが何か？＾＾

76:58
08/03/11 14:16:11
>74
知るかバーか！！てめえで探せっての！！変態野郎が！！

77:デフォルトの名無しさん
08/03/11 14:17:03
さすがLisperだな。神レベルだわ。

78:デフォルトの名無しさん
08/03/11 14:21:18
　　　　　　　　　　　　　　　　　　／　￣￣￣￣＼
　　　　　　　　　　　　　　　　　/　　　　　　　　　　ヽ
　　　　　　　　　　　　　　　　 /　　　　　　　　　　　ヽ
　　　　　　　　　　　　　　　　| 人_____________　　　　 |
　　　　　　　　　　　　　　　 /　 ─　　　─　|　　　 .| 　　それがLisperクオリティ
　　　　　　　　　　　　 /│（●）　（●） /　　　/|
　　　　　____________　　　/ .│　（__人__）　./　　／　|
　　　　＼～～／　　　|__ 　＼　｀⌒ ´　/__／___ ﾉ
　　　　　　＼／___　　　　　　　(＼　　　　 /　　)――
　　　　　( つ(__/　＼　　　　（　　|　　　／　　　）
　　　　　　(__ﾌ|　　　　＼　　/　（　 |　　/　　　　）
　　　　 ⊂―||―、　　　|　/

79:デフォルトの名無しさん
08/03/11 14:26:39
　　　　　　　　　　　　　r y､
　　　　　　　　　　　　 / / }
　　　　　　　　　　　_/ノ.. /、
　　　　　　　　　　 /　 < 　 }
　　　 ry､　　　｛ｋ＿　_/`;,　　ﾉﾉ　ﾊﾟﾝﾊﾟﾝ
　　　 / / } 　　　　　;'　　　　 `i､　
　　 _/ノ../、　　　＿/ 入/ /　　｀ヽ,　ﾉﾉ
　 /　r;ｧ　}''i"￣.　￣r'_ノ"'ヽ.i 　　）　―☆
　｛ｋ＿　_/,,.'　　;.　 :.　　　　　 l､　ﾉ　　
　　　＼　｀　､　　,i. 　　　.:, :, ' / /　＼
　　　　 ,;ゝr;,;_二∠r;,_ｪ=-ｰ'" r,_,/　　　☆

80:デフォルトの名無しさん
08/03/11 14:29:23
　　　　ｾｯｸｽｩ～　∧＿∧　ﾊｧﾊｧ…
　　　　　　　　　　（´Д｀；）
　　　　　　　　　　　　（￣￣￣￣┴-
　　　　　　　　　　　　 | 　（　　　*　；）
　　　　　　　　　　　　/　 /　　　∧ 　　＼
　　　　　　　　　　　/　/　　　/ Ｕ＼　　　＼　　　　　　　　　　　　　　　　　ｷﾓｲﾖｰ
　　　　　　　　　　　/　/　（￣）　　|　|＼　（￣）　　　　　　　　　　（（（）））　
　　　　　　　　　　/　（　ノ　（　　|　| 　＼ﾉ　（　　　　　　～　　（；´Д｀）
　　　　　　　　 ⊂- ┘（　　　） └--┘ （　　　）　　　　～　　 / つ１ _つ
　　　　　　　　　　　　ＵＵＵＵ　　　　　　ＵＵＵＵ　　　　　　　人　Ｙ
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　し'（＿）

81:デフォルトの名無しさん
08/03/11 14:42:09
>>58みたいに荒らしになる奴は放っておけよ

82:Z武
08/03/11 14:44:18
　　　　　　　　　　　　 ,.,.,.,.,.,.,.,.,__
　　　　　　　　　　　,;f::::::::::::::::::::::::::ヽ:
　　　　　　　　　　　i/'"￣￣ヾ:::::::::::i:
　　　　　　　　　　　|,,,,_　,,,,,,_　 |::::::::|:
　　　　　　　　　　（。);（　ﾟ)==r─､|: ｸﾞﾌｨ
　　　　　　　　　　　{　(__..::　　 /　ノ:
.　　　　　　　　　　　', ｴｴｴｴﾌ　ノ:
　　　 / / } 　　　　　!＿＿_／ `i､
　　 _/ノ../、　　　＿/ 入/ /　　｀ヽ,:
　 /　r;ｧ　}''i"￣.　￣r'_ノ"'ヽ.i 　　）:
　｛ｋ＿　_/,,.'　　;.　 :.　　　　　 l､　ﾉ: 　ﾄﾞｸﾄﾞｸ
　　　＼　｀　､　　,i. 　　　.:, :, ' / /:
　　　　 ,;ゝr;,;_二∠r;,_ｪ=-ｰ'" r,_,/:

83:58
08/03/11 14:45:18
　　 ∩＿＿＿∩
　　 | ノ　　　　　ヽ/⌒)　あばばばばばば
　 /⌒) (ﾟ)　　　(ﾟ)　|　.|
　/　/　　( _●_)　ミ/　　　　∩―－、
.（　　ヽ　　|∪|　　／　　　／　(ﾟ)　､_ ｀ヽ
　＼　　　ヽノ　/ 　　　　/　　(　●　 (ﾟ) |つ
　 /　　　　　　/　　　　　|　／(入__ノ　ミ　　　あばばっあびゃばびゃばば
　|　　　　　　 / 　　　　　､　(＿／　　　ノ
　|　　／＼　＼　　　　　＼＿＿＿　ノﾞ ─ｰ
　|　/　　　 )　 )　　　　　　　＼　　　　　　＿
　∪　　　（　＼　　　　　　　　＼　　　　　＼
　　　　　　＼＿)

84:デフォルトの名無しさん
08/03/11 19:31:25
PostScriptで書いたLispﾜﾛﾀ
URLﾘﾝｸ(blog.bugyo.tk)

85:デフォルトの名無しさん
08/03/11 19:44:50
ｽﾚﾘﾝｸ(newsplus板)l50
やる夫がcommonlisperになりschemeをdisるようになるまでを誰か作ってくれ

86:58
08/03/11 20:00:51
>>85
　　　　∩＿＿＿∩
　　≡ | ノ　　　　　ヽ/⌒))=
-=≡/⌒) (゜)　　　(゜)　|　.| ≡ 無理でした
　≡/　/　　( _●_)　ミ/ )≡=
≡(（　　ヽ　　|∪|　　／)≡=　　　　:,∴・゜・゜・:,∴・゜・゜・
　≡＼　　　ヽノ　/=　　　:,∴・゜・・∴~・:・∴・・・
　 ≡/　　　　　　/ 　,.:∴~・:,゜・~・:,゜・　,゜・~・:,゜・・∴・゜゜・
=≡(|　　　_つ~~~‘∴・゜゜・・∴~・:,゜・・∴・゜゜・∴~゜゜゜
,　≡|　 /UJ＼　＼≡　　　　 ~・:,゜・~・:,゜・　,゜・~・:,゜・・∴・゜゜・
=≡(|　/ 　　　 )　 ))= 　　　　　　　・゜　・・∴~・:・∴∴~・:・∴・
　 =(∪　　　（　＼≡　　　　　　　　　゜∴・゜・・∴~・:・∴
　　　　　　　　＼＿))≡=

87:デフォルトの名無しさん
08/03/11 20:39:29
>>85
「やっぱりそれなりにLisp/Schemeの背景について知らないと
面白いAAにもならないから難しいのでは？
ただ単にクマのテンプレ貼られてもなあ」
というのは議論の余地のない given な事実として淀みなく会話が流れる、というのが一般的です。

88:デフォルトの名無しさん
08/03/11 20:44:11
零細企業に勤めてる人いる？いないか、ハイレベル多そうだからな。

89:デフォルトの名無しさん
08/03/11 20:49:41
いや、大企業のばりばりLisperの方がレアなんじゃないか？www

90:デフォルトの名無しさん
08/03/11 21:11:14
　　　　　　　　／￣＼
　　　　　　　　|　　　　|
　　　　　　　　＼＿／
　　　　　　　　　　|
　　　　　　／￣￣　＼
　　　　　／　　＼　／　　＼　　　　　　>>87
　　　／　　 ⌒　　　⌒ 　　＼　　　　　　よくぞ逝ってくれた
　　　 |　　　　（__人__）　　　　|　　　　　　褒美としてＬｉｓｐをＡＡで語る権利をやる
　　　＼　　　｀ ⌒´　　　　／　　　☆
　　　　/ヽ､--ー､＿＿,-‐´　＼─／
　　／　> 　　ヽ▼●▼<＼　　||ｰ､.
　 / ヽ､　　　＼ i　|｡|　|/　ヽ　(ニ､｀ヽ.
　.l　　　ヽ　　　 l　|｡|　| ｒ-､y　｀ﾆ　ﾉ＼
　l　　　　 |　　　|ー─ | ￣ l 　　｀~ヽ＿ノ＿＿＿_
　　　　／￣￣￣￣ヽ-'ヽ--'　　／　Ｌｉｓｐ　／|
　　　.|￣￣￣￣￣￣|／|　　　 |￣￣￣￣￣￣|／| ＿＿＿＿＿＿
／￣Ｌｉｓｐ／|　￣|__」／_ Ｌｉｓｐ　　／|￣|__,」＿＿_　　　　／|
|￣￣￣￣￣|／Ｌｉｓｐ￣／￣￣￣￣|／Ｌｉｓｐ／|　　／　.|
|￣￣￣￣￣|￣￣￣￣￣|／l￣￣￣￣|￣￣￣￣￣|／|　／
|￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣|

91:デフォルトの名無しさん
08/03/11 21:14:34
大企業ならまだLisperいるんじゃない? 新日鉄とか。

92:デフォルトの名無しさん
08/03/11 21:28:22
リクナビにLisper募集してる会社がのってるな

93:デフォルトの名無しさん
08/03/11 21:29:49
零細企業とか大企業とかいう発想が古くさい

94:デフォルトの名無しさん
08/03/11 21:41:18
大企業でLispというと竹内先生の古巣か？

95:デフォルトの名無しさん
08/03/11 21:45:44
公社崩れの会社だな

96:前スレ846
08/03/11 21:52:40
例のGauche本、Oreillyに直接注文してたら今日もう着いた。
(URLﾘﾝｸ(www.oreilly.co.jp))
3/14発売予定じゃなかったっけ？
先走ったのはO'reilly Japanか佐川急便か？

まあ、早いぶんには良いんだけど（読むのはノンビリｗ）。

97:デフォルトの名無しさん
08/03/11 22:16:28
>>96
正誤表をどうぞ。
URLﾘﾝｸ(karetta.jp)

98:96
08/03/11 22:18:56
>97
さっそくサポート有難うございます。

99:デフォルトの名無しさん
08/03/11 22:21:23
>>91
そこにはいないハズ。

100:デフォルトの名無しさん
08/03/11 23:02:06
>>96
マジかよ。アマゾンにしちまったよ。

101:デフォルトの名無しさん
08/03/11 23:11:07
>96
奥付張り紙してある？

102:96
08/03/12 00:03:27
>100
フッフッフ、300円余分に支払ったおかげだ（でも読むのはゆっくり）。

>101
奥付に張り紙って何だ？と思ったら確かに貼ってあったよ。
「プログラミングGauche」と書かれたテープみたいなのが。
（透かしてみたら下にはどうも「Gaucheプログラミング」と
印刷されてるみたいｗ）

103:デフォルトの名無しさん
08/03/12 00:06:43
The Little Schemerの
入れ子になったlambdaの意味が分かりません

(define multirember-f
(lambda (test?)
(lambda (a lat)
(cond
((null? lat) (quote()))
((test? a (car lat))
((multirember-f test?) a
(cdr lat)))
(else (cons (car lat)
((cons (car lat)
((multirember-f test?) a
(cdr lat))))))))

　調べてみてブロックというのがこの例なのかなと思っているのですが、
なぜlambdaが二つ必要なのか理解できません
どなたかご教示願います

104:デフォルトの名無しさん
08/03/12 00:15:10
>102
それは当たりですね ♥

…漏れも欲しくなってきた、ミスプリント版ｗ

105:102
08/03/12 00:27:49
>104
これって当たりなのｗ？

106:デフォルトの名無しさん
08/03/12 00:45:02
>>103
multirember-fは引数（この場合の引数は関数test?）を一つとり
関数を返す関数。戻り値の関数は、引数を二つ（aとlat）とる関数。
P127の上から5番目のパラグラフを復習。

107:デフォルトの名無しさん
08/03/12 02:03:14
まずはご苦労。>gauche本の中の人達。

色々ぬかりない感じがするんだが、良くも悪くも
なんでネット公開止めたん？

それからラムダブックスのサイトから買えるようにしてくれ。
そうでなかったら価格表示やめれ。

108:デフォルトの名無しさん
08/03/12 04:34:52
黒田氏がR6RSについてコメントしてますね。
URLﾘﾝｸ(cl-www.msi.co.jp)

その記事の表示的意味論うんぬんの部分に対する住井さんのコメント。
URLﾘﾝｸ(d.hatena.ne.jp)

109:デフォルトの名無しさん
08/03/12 05:02:01
黒板は出てこないのか。

110:デフォルトの名無しさん
08/03/12 05:52:19
Amazonを使ってる方へ

Amazonのほしい物リストで、個人情報（氏名等）がもれる場合があります。
ほしい物リスト（ウィッシュリスト）が未登録ならば、問題ありません。
しかし、自分のアカウントを調べた方が良いです。
URLﾘﾝｸ(1505953.blog76.fc2.com)

祭り中？
【祭】Amazonウィッシュリストで個人情報ダダ漏れ中★6
ｽﾚﾘﾝｸ(news板)

111:デフォルトの名無しさん
08/03/12 06:31:15
>>107
> なんでネット公開止めたん？
契約書に「公開するな」的な一文がある。
オーム社なら(On Lispのように)公開出来たかも知れん

> それからラムダブックスのサイトから買えるようにしてくれ。
> そうでなかったら価格表示やめれ。
中の人に言ってみる

112:デフォルトの名無しさん
08/03/12 10:09:21
>>108
最初の文書酷いなあ。

113:デフォルトの名無しさん
08/03/12 10:32:27
むしろ最後の方の議論のスタイル云々が酷い

114:デフォルトの名無しさん
08/03/12 11:21:38
仕様書を書かずにコードを書くスタイルを叩いてるのはいつものことでしょ

115:デフォルトの名無しさん
08/03/12 12:10:58
>>108
突っ込みどころは多い（映画館の喩えはいかがなものかと思う）が、言いたいことは理解できる。

116:デフォルトの名無しさん
08/03/12 12:15:18
>>107
想像だけど、ネットで公開できなくなるのは本になることの代償じゃないかな。
出版社はボランティアじゃないからね。

個人的には、ネットで公開できなくなるマイナスより、本になるプラスのほうが
勝ってると思う。もちろん、そうは思わない人も多いと思うけど。

どちらにするかは、権利を持っている人が勝手に決めればいいことだ。

117:デフォルトの名無しさん
08/03/12 13:31:35
正確には著者と出版社が話し合って決めることだな

118:デフォルトの名無しさん
08/03/12 14:44:30
>102
献本用に刷ったのにミスプリがあったらしい。
先日のgauche.nightで販売されたのもコレ。
内容は市販されるものと同一のはず。

119:デフォルトの名無しさん
08/03/12 16:06:26
>>118
ブベベベベ

120:デフォルトの名無しさん
08/03/12 16:31:31
Little読んだ程度の漏れでも読めるかな。

121:デフォルトの名無しさん
08/03/12 16:46:26
読むな。書け。

122:デフォルトの名無しさん
08/03/12 17:40:42
>>116
そりゃ、自分がその本を持っている前提ならそうかもしれないけど、
本が入手不可能でネットにもリソースなかったりしたら、ものすごく困る。

123:デフォルトの名無しさん
08/03/12 18:24:15
>>122
「本が入手不可能」って状況がよくわからんけど、絶版になればふつう版権は
著者に戻される。著者が望めば公開可能。

124:デフォルトの名無しさん
08/03/12 18:36:01
理屈ではそうなんだが、在庫なし再販未定≠絶版なのが面倒なところ。

法律では「出版権の消滅」って概念を定めてて、しかるべき場合には
しかるべき手続きを踏めば出版権を消滅させられることになってるけど。

125:デフォルトの名無しさん
08/03/12 18:38:24
注)ここは日本です。

126:デフォルトの名無しさん
08/03/12 22:57:00
glintオモスレー

127:デフォルトの名無しさん
08/03/12 23:06:38
letrec
これは何と読めばいいですか？
レトレックでOK？

128:デフォルトの名無しさん
08/03/12 23:52:03
桶

129:デフォルトの名無しさん
08/03/13 00:01:13
ども

130:デフォルトの名無しさん
08/03/13 00:08:30
>>127-128
へぇ。letrecっておけって読むんだ。なんか由来のある当て字？

131:デフォルトの名無しさん
08/03/13 00:10:00
いや、桶をレトレックって読むんだよ。

132:デフォルトの名無しさん
08/03/13 00:13:30
なぜか「バルカン星人を舐めるなよ」と書きたくてらまらない。

133:デフォルトの名無しさん
08/03/13 00:40:37
ふぉっふぉっふぉ

134:107
08/03/13 01:09:53
ジュンク堂いったひといる？

135:デフォルトの名無しさん
08/03/13 01:10:38
↑名前欄誤爆

136:デフォルトの名無しさん
08/03/13 01:12:17
>>133
それバルタン

137:デフォルトの名無しさん
08/03/13 01:20:35
> 誤爆
それバクダン

138:デフォルトの名無しさん
08/03/13 01:27:13
|
|
|⌒彡
|冫、）
|` ／　・・・
| /
|/
|

139:デフォルトの名無しさん
08/03/13 01:28:13
|
|
|
| 彡ｻｯ
|
|
|
|

140:デフォルトの名無しさん
08/03/13 01:32:23
ものまね鳥ゲット

141:デフォルトの名無しさん
08/03/13 01:32:25
店頭には並んでるの？

142:デフォルトの名無しさん
08/03/13 01:33:33
並んでないよ

143:デフォルトの名無しさん
08/03/13 01:36:27
オライリー直販だけか
まだseasonedやってるからいいけど

144:デフォルトの名無しさん
08/03/13 17:01:25
Karettaの立ち読み版って
書籍発売日の明日以降はどうなるんでしょう？
書籍と立ち読み版はガラっと違うらしいし
存続でしょうか？

145:デフォルトの名無しさん
08/03/13 18:11:15
Seasoned Schemerで未知の？キーワードletccなるものが出てきた
のですが、Dr SchemeというかRS5Sでは定義されていないキーワード
らしく、どう続けていけばよいか迷っています。これは処理系によって
は使えるキーワードなんでしょうか？Dr Schemeに慣れてしまったため
、これを使い進めて行きたいのですが、ライブラリ？などで対応方法
はありますでしょうか？

146:デフォルトの名無しさん
08/03/13 18:15:35
>>145
URLﾘﾝｸ(community.schemewiki.org)

147:デフォルトの名無しさん
08/03/13 18:21:11
>>145
call/cc

148:デフォルトの名無しさん
08/03/13 18:23:17
call/cc = call-with-curent-continuation
↓
letcc

149:デフォルトの名無しさん
08/03/13 18:25:38
×　call-with-curent-continuation

○　call-with-current-continuation

150:デフォルトの名無しさん
08/03/13 18:28:22
(define call/cc call-with-current-continuation)

151:デフォルトの名無しさん
08/03/13 18:38:15
(define letcc call-with-current-continuation)

152:デフォルトの名無しさん
08/03/13 18:39:49
>>146
ありがとうございます。そこに記載されているものを取り入れたら
動きました。ただ何のことやら分かりません。
call-with-current-continuation というキーワードが寿命を管理？する
みたいですが。

>>147
>>148
>>149
>>150
DrSchemeでもcall/ccというのはcall-with-current-continuationとしてdefine
されていて使えるみたいです。
>>146さんに教えていただいたソースのcall-with-current-continuation
が重要なキーワードみたいです。

今はよ本読みだけで手一杯なのでletccを道具として使います。

153:デフォルトの名無しさん
08/03/13 18:40:30
もっとちゃんとしたければ

(define-syntax letcc
(syntax-rules ()
((letcc var . body)
(call-with-current-continuation
(lambda (var) . body)))))
(define-syntax try
(syntax-rules ()
((try var a . b)
(letcc success
(letcc var (success a)) . b))))

154:デフォルトの名無しさん
08/03/13 18:57:27
>>153
これらのキーワードは環境設定か何かを行うときに使うものですか？
Seasoned Schemerでは唐突にletccが出てきて、その定義も示すことなく
（call-with-current-continuation については若干登場してますが）
使用しているので、昔は当たり前のように使われていたんでしょうか？

define-syntaxという語のとおりシンタックス（キーワード）の定義に
使うためのものだとは察しますが。おいおい勉強してみます。

155:デフォルトの名無しさん
08/03/13 19:05:17
λ
URLﾘﾝｸ(flickr.com)

156:デフォルトの名無しさん
08/03/13 19:27:43
継続とマクロのないSchemeは癒し系

157:デフォルトの名無しさん
08/03/13 21:06:09
dssslのことか！

158:デフォルトの名無しさん
08/03/13 22:20:21
>>155
モテカワ愛されλ

159:デフォルトの名無しさん
08/03/13 22:20:52
>>144
特に閉鎖する予定はないですよ

160:デフォルトの名無しさん
08/03/13 22:52:54
>>159
よかったぁ！
じゃあ107が書いてる「ネット公開止めた」書籍って何ですか？

（もちろんﾇｸﾇｸ本は購入済み、本日発送メールがきました）

161:デフォルトの名無しさん
08/03/13 23:28:17
>>160
去年の5月に再構成して、今出てる書籍(フムフム本)と同じ構成になった。

　公開版(立ち読み版)→再構成版(非公開)

再構成版は公開版からforkしたもの。

162:デフォルトの名無しさん
08/03/14 01:39:37
URLﾘﾝｸ(blog.)

163:デフォルトの名無しさん
08/03/14 01:40:08
URLﾘﾝｸ(blog.livedoor.jp)

164:デフォルトの名無しさん
08/03/14 01:54:12
黒板バロスw

165:デフォルトの名無しさん
08/03/14 02:52:31
なるほど。継続という難しい概念があるんですね。

166:デフォルトの名無しさん
08/03/14 03:04:04
継続も要するにλだから構える必要はないと思うよ。

167:デフォルトの名無しさん
08/03/14 03:15:31
ググって色々読んだんですが、まだまだ悩む必要
ありそうです。概念が初めてなので慣れが必要ですね。
早くGauche本到着しないかな。

168:デフォルトの名無しさん
08/03/14 07:16:33
継続て唯のプログラムカウンタですか？
プログラムカウンタを変数に代入できるって何が嬉しいんだろ

169:デフォルトの名無しさん
08/03/14 08:13:17
いいえ違います。
関数fから呼ばれた関数hも
関数gから呼ばれた関数hも
同じプログラムカウンタを持ちますが
違う継続を持ちます。

170:デフォルトの名無しさん
08/03/14 08:28:41
アドレスだったらわかるがプログラムカウンタって表現はちょっと違和感。

171:デフォルトの名無しさん
08/03/14 08:30:37
プログラムカウンタだけじゃなくて関数コールスタックの中身も全部保存するようなもんだ

172:デフォルトの名無しさん
08/03/14 08:44:45
ゲームのセーブ・ロードが、未だにイメージの基本になってるな、俺の場合。

Schemeの継続はさしずめ、「戦士がスライムAを倒して、これから魔法使いがスライムBにメラを唱える」
という戦闘シーンのど真ん中ですらセーブできるRPGみたいなもんだ、とかそんな風に。

173:デフォルトの名無しさん
08/03/14 09:03:17
ただ値が保存されるのではなくて
束縛が保存されるだけだから
ロードした直後に開ける宝箱の中身は違うかもしれない

174:デフォルトの名無しさん
08/03/14 11:11:41
>>168
既存の概念に還元して、
新た強い概念を理解しようとする癖は直した方がいいよ。
そうしていると抽象的な思考がなかなか身に付かないから。

175:デフォルトの名無しさん
08/03/14 11:34:48
プログラムカウンタじゃなかったらなんなのよ

176:デフォルトの名無しさん
08/03/14 11:35:57
人生…かな？

177:デフォルトの名無しさん
08/03/14 11:59:38
いや、大いなるナニかだよ…

178:デフォルトの名無しさん
08/03/14 12:11:21
継続は継続だ
とりあえず「なんでも継続」を嫁

強いて言うならプログラムカウンタというよりはコンテキストというか...

179:デフォルトの名無しさん
08/03/14 12:17:07
>なんでも継続
setjmpに還元してるけど、いいの？

180:デフォルトの名無しさん
08/03/14 12:27:38
ちゃんと読んだ？

setjmpのようなものだが、どう違うかもちゃんと書いてあったように
思うけど。

181:デフォルトの名無しさん
08/03/14 12:38:18
Cで言うsetjmp/longjmpとか言い出す解説が一番困るよな。

182:デフォルトの名無しさん
08/03/14 14:15:08
固有値分解や特異値分解を行うプログラムを自分で組むのめんどくさいから
どこかに落ちてないか探したら
GSL for Lisp
とかいうのみつけた。使ってる人は結構いるのでしょうか？

183:デフォルトの名無しさん
08/03/14 14:31:15
>>182
Maxima

ところで cl で規模が大きめのベンチマークって何かある?
tak じゃない奴希望。

184:デフォルトの名無しさん
08/03/14 17:37:36
>>183
これとか？　使ったことないけど。
URLﾘﾝｸ(www.cs.cmu.edu)

185:デフォルトの名無しさん
08/03/14 17:54:39
Scheme好きはJazzが好きな奴が多いと思う。

186:デフォルトの名無しさん
08/03/14 18:25:53
微妙なミュージシャンを挙げると「そんなものはジャズじゃない」とかいって怒られそう。

187:デフォルトの名無しさん
08/03/14 19:22:59
プログラミングGauche今日発売だと思って本屋いったら
どこも近日入荷予定だったorz

188:デフォルトの名無しさん
08/03/14 19:30:41
何故ジャズ？
Schemerならプログレだろ？

189:デフォルトの名無しさん
08/03/14 20:19:07
アセンブラはバッハ(バロック)

レンガ積むみたいに端から積んでく感じがいいよね

190:デフォルトの名無しさん
08/03/14 20:26:33
SchemerはKeith Jarrett solo か Bill Evansだ。

191:デフォルトの名無しさん
08/03/14 21:04:05
Cとかで再帰関数書いたときに、ローカル変数確保するスタック領域が足りなくなって、
スタックオーバーフローとかで止まる場合があるじゃないですか。
Schemeの継続ってローカル変数の確保以上にリソースを喰いそうなんですが、
継続のための領域もあふれたりすること、あるんですか？
すごく阿呆な質問だったらすみません…

192:デフォルトの名無しさん
08/03/14 21:13:41
どんな言語でも記憶領域あふれさせるのは簡単だよ。
問題なのは継続が必要な時に十分に効率的かどうかって事。
けどそれ以前に継続についてよく学んでから考えてはどう？
知識のない状態で、いきなり効率ばかり考えるくせがあると、
単純具象バカになりやすいから。

193:デフォルトの名無しさん
08/03/14 21:39:07
Common Lispは豪華絢爛なイタリアオペラってとこか

194:デフォルトの名無しさん
08/03/14 21:43:28
>>191
不要な継続を後生大事にとっておけばそうなる可能性はある。
そうでない限りGCがなんとかしてくれるであろう。

195:191
08/03/14 22:12:54
>>192,193
ありがとうございます。
どちらかと抽象ばっかり考える癖があるので、ちょっと実装に興味を持っているのです。
でももっとちゃんと理解してからにします。

196:デフォルトの名無しさん
08/03/14 22:33:36
とりあえず
質問する前に
テンプレは読め。

197:デフォルトの名無しさん
08/03/14 22:43:04
何を読むんだｗ
書けば1行で済むのに
(do ((i 0 (+ i 1)) (xs '() (cons (call/cc values) xs))) ((> i 10000) xs))

198:デフォルトの名無しさん
08/03/14 22:53:51
つ >>4

199:デフォルトの名無しさん
08/03/14 23:39:04
マクロ定義の中身について質問があります。

(define-syntax letcc
(syntax-rules ()
((letcc var . body)
(call-with-current-continuation
(lambda (var) . body)))))

このマクロ定義の(letcc var . body)や(lambda (var) . body)に出てくる
ドット記号はどういう意味なのでしょうか？

後者は継続を関数として定義しているように見えますが、varに何か値を与えた
場合、結果はどのように評価されるのでしょうか？

200:デフォルトの名無しさん
08/03/14 23:43:05
マクロ定義以外に出てくるドットと同じ。

201:デフォルトの名無しさん
08/03/14 23:47:56
まずは>>3を読んでくれ。

(a b c) : (1 2 3) → ((a . 1) (b . 2) (c . 3))
(a b . c) : (1 2 3 4) → ((a . 1) (b . 2) (c 3 4))

評価しない

202:デフォルトの名無しさん
08/03/15 01:23:30
>>200
consセルのドットですね。

>>201
Revised5を見てみましたが基本的なルールがわかりませんでした。

(call-with-current-continuation
(lambda (var) . body))
これは継続の定義で、確かに文法どおり１引数を取る関数
(lambda (var) . body)が書かれてますが、この表記の
意味が理解できません。通常の関数の一つとして
(lambda (var) (* 2 var ))ならば、((lambda (var) (* 2 var )) 10)
のように実行できます。上のマクロだと(letcc hoge 3)などとやると
確かに3に評価されるのですが、(lambda (var) . body))のvarにhoge
が渡されて . body が3になるということですか？
やはり(lambda (var) . body)の表記の意味がわかりません。

203:デフォルトの名無しさん
08/03/15 01:29:13
>>202
> >>200
> consセルのドットですね。

それがわかっているのに何故>>199のマクロが理解できないか、
そっちの方が理解できないよ。

もしかして (lambda (a b . restargs) ...) も知らない?

204:デフォルトの名無しさん
08/03/15 01:54:00
>>184
thx

205:デフォルトの名無しさん
08/03/15 04:22:58
>>203
例えば>>3の URLﾘﾝｸ(www.sci.u-toyama.ac.jp) には
には
手続き

[[構文]]　　(lambda <仮引数> <ボディ>)

構文: <仮引数>は下記に示す通りの仮引数のリスト(16)でなければならず、
<ボディ>には一つ以上の式が連続しなければならない。

ってなってるから、
. body
の部分がどういう解釈なのかを聞いてるんだと思うんだが。

206:デフォルトの名無しさん
08/03/15 04:55:32
>>202
(lambda (var) . body)
↓↑
(lambda (x) (foo x) (bar x) (baz x))
=(lambda (x) . ((foo x) (bar x) (baz x)))

→body = ((foo x) (bar x) (baz x)))

;;;;;;;;;;;;;;;;;;;
(lambda (var) body)
↓↑
(lambda (x) (foo x) (bar x) (baz x))

ミスマッチエラー

207:デフォルトの名無しさん
08/03/15 05:40:01
カッコ書いてるとふわふわふわと夢が広がりすなぁ（　^ω^）

208:デフォルトの名無しさん
08/03/15 09:38:41
例のGauche本でさわり始めたんだけど、VimでEmacsのc-x -eみたいにエディタ内から部分的に式を評価することってできないのかな？

あと、(car '()) がエラーになるのは当然なんだけど、これでエラーが発生している行数って分からないものなの？
手続き型言語だとエラーの行数は極当然の情報だけど、これに一番戸惑っている。

209:デフォルトの名無しさん
08/03/15 10:18:10
パーズしたときに行の情報は失われる
どのみちマクロ展開でテキストとの対応が取れなくなるだろうし

210:デフォルトの名無しさん
08/03/15 11:15:56
レスありがとうございます。

>>203
>>205
>>206
＞(lambda (a b . restargs) ...)

これは分かります。
この場合、２個以上の引数を渡すことが出来て、１番目はaに２番目はbに
残りはリストとしてrestagrsに渡されます。

＞　(lambda (var) . body)
＞　↓↑
＞　(lambda (x) (foo x) (bar x) (baz x))
＞　=(lambda (x) . ((foo x) (bar x) (baz x)))
＞　→body = ((foo x) (bar x) (baz x)))

lambda (x)がS式ということならば理解できます。

戻りますが、
(define-syntax letcc
(syntax-rules ()
((letcc var . body)
(call/cc
(lambda (var) . body)))))

(letcc x 3) が(call/cc (lambda(x) (x 3)))に置き換わって継続x
（今の場合何もしない）が実行されて3という結果を生じるのは間違い
なさそうです。これが正しい理解ならば、xはvarに置き換えられますが、
3が(x 3)になるのが理解できません。bodyが3になるとして、
(lambda (x) . 3)だと意味がわかりませんよね。。

211:208
08/03/15 11:17:28
>>209
しかし、それなりの規模のコードを書いているときふとエラーが発生したら何を目印にしてデバッグすればいいの？
行番号がないLISPなりのデバッグ方法ってあるの？

212:デフォルトの名無しさん
08/03/15 11:18:24
(call/cc (lambda(x) 3))でも3になりますね。
(letcc x 3)　==> (call/cc (lambda(x) 3)) かもしれません。

213:デフォルトの名無しさん
08/03/15 11:40:38
gaucheは行番号持ってる。が、当てにならん……

214:デフォルトの名無しさん
08/03/15 11:57:16
>>210
(letcc var . body) → (letcc . (var . body))
(letcc x 3) → (letcc . (x . (3 . '())))
var = x
body = (3)
即ち(letcc x 3)は(call/cc (lambda (x) 3))に置換される。
(call/cc (lambda (x) 3))も(call/cc (lambda (x) (x 3)))も
同じ継続に同じ値を返しているから勘違いしたのでは？

215:デフォルトの名無しさん
08/03/15 12:01:45
さらに追加
(lambda (x) 3) → (lambda . ((x) . (3)))だから

マクロのパターンマッチ時には構文とか関係なく
リストの置換処理のみ行われる

216:デフォルトの名無しさん
08/03/15 12:03:01
テンプレートとの対比を考えれば
(lambda (x) . (3))と書いた方が適切だったか

217:デフォルトの名無しさん
08/03/15 12:26:40
>>214

＞　(letcc var . body) → (letcc . (var . body))
＞　(letcc x 3) → (letcc . (x . (3 . '())))

理解できました。（パズルのようでした。。）
基本的な文法とともにSeasonedを進めていきたいと思います。
ありがとうございました。

218:デフォルトの名無しさん
08/03/15 12:37:31
>>215
>>216

紙に書きながら確認したのですが、確かにbodyが(3)なので
(lambda (x) . (3))になります。
. (　は省略できるので(lambda (x) 3)と同義ですね。

(lambda (x) 3) は要素が　lambda、 (x)、 3　のリストということですか。

考え方はC言語のマクロと同じで単にラベル置換するだけでよいと。

スッキリしました。ありがとうございました。

219:デフォルトの名無しさん
08/03/15 12:50:33
>>213
して、その方法は？

220:デフォルトの名無しさん
08/03/15 13:07:28
>>211
Lisperがバグなんて出すわけないじゃん

221:デフォルトの名無しさん
08/03/15 14:36:40
フムフム本にはそこら辺について書かれてないのかな。

222:デフォルトの名無しさん
08/03/15 14:54:29
やっぱり宣言的にプログラムを組む事と
関数単位でREPLでテストを繰り返す事に尽きるのかな？

223:デフォルトの名無しさん
08/03/15 14:57:20
短い関数しか書かない！

224:デフォルトの名無しさん
08/03/15 15:48:39
ヌクヌク本来たぁ！
初版第１刷が何部出るか分からなかったから
布教用は買わなかったけど。

225:デフォルトの名無しさん
08/03/15 15:53:06
プログラミングGauche届いた。cbookにしておいて良かった。
これがヌクヌク本ですか？

226:デフォルトの名無しさん
08/03/15 16:03:18
店頭に並んだかな？

227:デフォルトの名無しさん
08/03/15 16:17:59
URLﾘﾝｸ(bookweb.kinokuniya.co.jp)

紀伊国屋にはあるみたい。

228:デフォルトの名無しさん
08/03/15 17:04:40
フムフム本でもヌクヌク本でも良いけど、カワハギ本とだけは呼ばないでくださいませ。

229:デフォルトの名無しさん
08/03/15 17:06:06
むしろフムフム本ヌクヌク本と読んでる奴等の方がキモイ件

230:デフォルトの名無しさん
08/03/15 17:49:09
ブーブー本ならいいのかな？

231:デフォルトの名無しさん
08/03/15 19:25:18
中甲本

232:デフォルトの名無しさん
08/03/15 20:12:03

Lisp/Schemeの初心者勉強会って需要ある？
とりあえずIRCつかってやってみたいと思ってるんだけど

233:デフォルトの名無しさん
08/03/15 20:26:07
>>232
ここの人たちは経験豊富だから漏れのような初心者の質問は
申し訳なくて躊躇してしまう。結局答えてもらってるけどｗ。
他言語みたいに初心者スレがあれば相談しやすいんだが。
でも初心者スレに初心者しか集まってもしょうがないか。
分からなかったら聞くという形式がいいな。会社でも
勉強会とかやっても結局あまり意味は無いから。

次ページ