- 1 名前：デフォルトの名無しさん mailto:sage [2008/03/09(日) 09:16:26 ]
- □過去スレ□
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://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
- 29 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 23:09:55 ]
- くわしく
- 30 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 23:19:32 ]
- >>25
コンビネーターはそれなりに研究の蓄積があるから、
さすがに「たかが」ということはないんじゃないかな。
1972年までの主要な結果をまとめた Curry & Feys のコンビネーター本は
全2冊でたしか合計900頁以上あったはず。
- 31 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 23:29:11 ]
- >>29
全２５章のうち、出だしの６章はコンビネータとは関係ない別の話。
「美女と野獣（Lady or Tiger）」と出だしの６章は関係がある。
７章から２５章まで読むとチューリング完全とは何かがわかる。
チューリング完全の範囲でコンビネータでプログラムできる、論理を記述できる。
実はこの本、論理を記述できるようになる２５章から出だしの６章に戻り論理パズルを解くという循環構造になっている希ガス。
考えすぎか？
- 32 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 23:32:25 ]
- BarendregtのThe Lambda Calculusは621ページあるな。
- 33 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 23:46:54 ]
- >>31
ナール、確かに再びこの森に戻ってくるとか言ってたｼﾞｬﾏｲｶ。
- 34 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 23:49:18 ]
- >>31
ありがとう
>>30
うーん
ぶっちゃけ、言語として見ると「たかが」だと思う。
数学の話になるとLispと関係なくなる感じがする。
- 35 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 23:52:21 ]
- ・グラフリダクションを使った関数型言語の実装
SKIコンビネータ
スーパーコンビネータ
・コンビネータパーザ
Parsec: Haskellのパーザ記述ライブラリ
legacy.cs.uu.nl/daan/download/parsec/parsec.html
みたいな応用もあるよ。
スーパーコンビネータはSimon Peyton Johnの論文と書籍が有名。
- 36 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 23:58:46 ]
- あ、PLTのcombinator-parser書き忘れちゃった。
pre.plt-scheme.org/plt/collects/combinator-parser/doc.txt
- 37 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 00:04:31 ]
- >>34
それは無知すぎる。
形なしラムダ算法はLispやSchemeだし、型付ラムダ算法とかはML系の先取り。
ポリモーフィックラムダ算法はオブジェクト指向だし、遅延ラムダ算法はHaskellみたいなことやってる。
つまりコンビネータとSchemeを効果的に組み合わせるとお手軽にそれらが実現できるﾊｽﾞｗ
素のSchemeが全てじゃないし、コンビネータは小道具としても強力。
- 38 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 00:13:00 ]
- >>37
> それは無知すぎる。
なんでそんな興奮してるの？
The Little Schemerで勉強始めたばかりの人に…
- 39 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 00:14:44 ]
- ｽｰﾊﾟｰｺﾝﾋﾞﾈｰﾀをｸﾞｸﾞﾙと？
・ヤマハスーパーコンビネーターエレキSC700・42
・Super Combinator 800(スーパー・コンビネーター) ミニ・スイッチによるフェイズ・アウトを含む13通りのサウンド・バリエーションからネーミングされた
- 40 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 00:15:38 ]
- 愛するものを汚されたと感じたのでは？ｗ
- 41 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 00:22:04 ]
- lambda
＿＿__
＿／ ＼ ＼＿
（(／＿＿＿)）＿＿＿＼)）
| |!!! !!| | |!!! !!! !!!| |
| |;;;; ;;;;| | |;;;; ;;;; ;;;;| |
| |;;;; ;;;;| | |;;;; ;;;; ;;;;| |
Λロ二二ロ二Λ二Λ二Λ二Λ二二二二Λ二Λ二Λ二Λ二l
（＾×＾∩ ∩（´∀｀ ） （・∀・ ） ∩（ΦλΦ ）（ー人ー ）
┌〔〔 〔〔V） ヽ〔〔 〔〔 つ〔〔 〔〔 つ ヽ〔〔Э〔〔 つ〔〔 〔〔 つ
（＿ノ〈 ||_| （＿ノ〈 ||_|（＿ﾉ〈 ||_| （＿ノ〈 ||_|（＿ﾉ〈 ||_|
（＿_） （＿_） （＿_） （＿_） （＿_）
- 42 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 00:23:11 ]
- ∧∧
/⌒ヽ)
i三 ∪ たかが....
〜三 |
(/~∪
三三
三三
三三
- 43 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 00:25:46 ]
- .,.．-──- ､ ニ/ニ
r '´. : : : : : : : : : :ヽ {＿
ｰ亠ｰ /.: : : : : : : : : : : : : :: ヽ ヽ
二 ,!::: : : : : ,-…-…-ミ:: : :', ⌒）
［￣] {:: : : : : :i ,;ノ;´:`ゞ､i: : :.:} ∩─ｰ､ ／
￣ .{:: : : : : :| ｪｪ;;;;;;;ｪｪ|: : : } ／ ● ｀ヽ ―ー
. つ { : : : : ::| ,.、 .| : : :;!/ ( ● ● |つ ,-亠ー
_＿ ヾ: :: : :i r‐-ﾆ┐| : : :ﾉ| ／(入__ノ ミ / 廿
／ ゞイ! ヽ二ﾞノ ｲゞ,.‐ｒニ(＿／ ∪ノ / .又
（＿, ／￣ ＼`ｰ一'／ - -l＼＿＿＿ノ_
＿_ ／ ／⌒ヽ ＼//ヽ 二} ＼_
_／ / / ／ ＼//＼ ヽ／ :、
（ﾉ￣`メ、 | |／ ／ ｀´ヽ ＼/i ＼
_＿ | ＼／ ／ｌヽ ヽ /.| i' i
／ | ＼／ /| ヽ / | | |
´⌒) | ＼/ | / | | |
-' | `ー-ノ i | | |
- 44 名前：デフォルトの名無しさん mailto:sage [2008/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 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 00:28:23 ]
- -―￣￣ ｀ ―-- _
, ´ , ~ ￣､"ー ､
_／ / ,r _ ヽ ノ
, ´ / / ● i"
,／ ,| / / ＿i⌒ ｌ| i |
と,-‐ ´￣ / / （⊂ ● j'__ |
(´＿＿ ､ / / ￣!,__,u● |
￣￣｀ヾ＿ し u l| i ／ヽ､
,＿ ＼ ﾉ(`'＿＿ノ
(＿_ ￣~" ＿＿ , --‐一~⊂ ⊃＿
￣￣￣ ⊂￣ ＿＿⊃
⊂＿＿＿＿＿⊃
- 46 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 00:28:28 ]
- 図星だったぽい・・・
- 47 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 00:29:01 ]
- 何このスレ(AA略
>>39
この辺でどうよ?
www.cse.iitb.ac.in/~as/fpcourse/lambda-lifting.ps.gz
citeseer.ist.psu.edu/cache/papers/cs/760/ftp:zSzzSzftp.dcs.gla.ac.ukzSzpubzSzglasgow-fpzSzauthorszSzJim_MattsonzSzspec-eval-thesis.pdf/mattson93effective.pdf
プログラムを独自コンビネータの組み合わせに変換します。
その自由変数消去のアルゴリズムがlambda-lifting。
- 48 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 00:33:38 ]
- >>27
サンクス
ですよね。立ち読みした限りじゃ、漏れにはかなりむずい印象。
計算論入門(渡辺米崎)はやさしいですか？
まだリトル読み終わらない厨房なのですが、、、
モッキンバードは英語だから代わりに何か読みたいなと思ってます。
- 49 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 01:03:44 ]
- >>48
去年でたCommon Lisp入門とか読めば？
後ろの方にラムダ算法入門みたいな章があったよ。
さわりだけでいいんでしょ？
チャーチロッサーの定理とかβ簡約とか出て来るしいいんｼﾞｬﾏｲｶ？
- 50 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 01:15:09 ]
- >>49
とりあえず見てみます。
あれ読んで理解したら次に計算論入門か計算論読めますか？
- 51 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 01:23:43 ]
- >>48
その本は知らないんだけど、ラムダ計算とその意味論に関してだったら、
横内寛文『プログラム意味論』が丁寧かつわかりやすくてよかったですよ。
ただ、このあたりの内容について解説している本はどうしても数学書のスタイル
になってしまうので、そういうのにあまりなじみが無いのなら、小野寛晰『情報代数』
あたりをざっと読んでみるのがいいかもしれないです。この本は、理論計算機科学の
文献で使われる基本的な数学的道具立てについて一通り解説してあって、
なかなか便利です。
- 52 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 01:24:47 ]
- 軽装で登山は出来ない。予備知識に何が必要かわかったら読むべき本も自ずと出てくる。
- 53 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 01:28:17 ]
- 実際的なことが好みのようなので、↓にしておけば？
井田哲雄「プログラミング言語の新潮流」
www.amazon.co.jp/dp/4320023773/
同じ著者で
「計算モデル論入門ーチューリング機械からラムダ計算へ」
というのもあります。これはすごく薄くて簡単な紹介です。
- 54 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 02:01:16 ]
- >>51,53
どうもありがとう。
とりあえず探して見てみます。
初心者独学なんで情報代数の本は役立ちそうですね。
モッキンバードに書か
- 55 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 02:02:57 ]
- 途切れた。
モッキンバードに書かれてるのと同程度の知識が得られればいいな、
といういい加減な目標です。
- 56 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 04:05:39 ]
- お前らあんまり難しいことばかり話してないで
ttp://d.hatena.ne.jp/koguro/20080309/1205012807
でも観て笑ってろよ
- 57 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 05:51:57 ]
- glintﾜﾗﾀw
あれいいなぁ
- 58 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 10:59:13 ]
- 初心者・独学を強調しすぎる奴って、一生そのままだよな。
いつまでたっても助けてもらわないと一歩も前に進めない奴。
- 59 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 11:04:54 ]
- 人と議論したほうが伸びる。
- 60 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 11:07:14 ]
- この業界、いるんだよな>>58みたいな偏屈な奴。
- 61 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 11:07:59 ]
- そりゃそうだ
- 62 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 11:15:41 ]
- ＿＿＿_
／ ＼ ／＼ ｷﾘｯ
. ／ （ー） （ー）＼
／ ⌒（__人__）⌒ ＼
| |r┬-| | 初心者・独学を強調しすぎる奴って、一生そのままだよな。
＼ `ー'´ ／ いつまでたっても助けてもらわないと一歩も前に進めない奴。
ノ ＼
／´ ヽ
| ｌ ＼
ヽ -一''''''"~~｀`'ー--､ -一'''''''ー-､.
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒))
＿＿＿_
／_ノ ヽ､_＼
ﾐ ﾐ ﾐ oﾟ(（●）) (（●）)ﾟo ﾐ ﾐ ﾐ
/⌒)⌒)⌒. ::::::⌒（__人__）⌒:::＼ /⌒)⌒)⌒)
| / / / |r┬-| | (⌒)/ / / /／ だっておｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
| :::::::::::(⌒) | | | ／ ゝ :::::::::::/
| ノ | | | ＼ / ） /
ヽ / `ー'´ ヽ / ／ バ
| | l||l 从人 l||l l||l 从人 l||l バ ン
ヽ -一''''''"~~｀`'ー--､ -一'''''''ー-､ ン
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒))
- 63 名前：デフォルトの名無しさん mailto:sage [2008/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 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 11:23:09 ]
- ／￣￣￣ ＼
／ :::::＼:::／＼
／ ｡<一>:::::<ー>。 <<58
| .:::｡ﾟ~（__人__）~ﾟj
＼、 ゜ ｀ ⌒´,;／゜
／ ⌒ヽﾟ '"'"´(;ﾟ ｡
/ ,＿ ＼ ＼／＼ ＼
と_＿＿）_ヽ＿つ_;_ヾ_つ.;.
- 65 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 11:27:13 ]
- もうAAは勘弁してくださいよw
Steele先生のHistory of Schemeあげるから。
つ research.sun.com/projects/plrg/JAOO-SchemeHistory-2006public.pdf
Lisp, Scheme分かる人はp.18から読んでください。
- 66 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 11:44:04 ]
- わたし女だけどスレッドすごく荒れちゃって読みにくいから。
- 67 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 11:48:22 ]
- ↓ここでマンコのＡＡ登場↓
- 68 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 11:49:25 ]
- (i)
=> #<Manko>
- 69 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 11:59:39 ]
- >>66
schemeやる女
物理科に来る女のように変人
- 70 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 12:13:32 ]
- >>69
でも意外と多い
- 71 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 12:39:32 ]
- >>70
キモイ率95％
- 72 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 13:22:02 ]
- 男のキモい率とそんな変わらんな
- 73 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 13:48:49 ]
- ブス率高し
- 74 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 14:07:32 ]
- >>58
すごいな！
2chの自称初心者を全員追跡調査したんだ？
一人一人進歩無しに死んだところまでちゃんと確かめたんだよな？
- 75 名前：58 mailto:age [2008/03/11(火) 14:14:33 ]
- ええ、確かめましたが何か？＾＾
- 76 名前：58 mailto:sage [2008/03/11(火) 14:16:11 ]
- >74
知るかバーか！！てめえで探せっての！！変態野郎が！！
- 77 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 14:17:03 ]
- さすがLisperだな。神レベルだわ。
- 78 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 14:21:18 ]
- ／ ￣￣￣￣＼
/ ヽ
/ ヽ
| 人_____________ |
/ ─ ─ | .| それがLisperクオリティ
/│（●） （●） / /|
____________ / .│ （__人__） ./ ／ |
＼〜〜 ／ |__ ＼ ｀⌒ ´ /__／___ ﾉ
＼ ／___ (＼ / )―――
( つ(__/ ＼ （ | ／ ）
(__ﾌ| ＼ / （ | / ）
⊂―||―、 | /
- 79 名前：デフォルトの名無しさん mailto:age [2008/03/11(火) 14:26:39 ]
- r y､
/ / }
_/ノ.. /、
/ < }
ry､ ｛ｋ＿ _/`;, ﾉﾉ ﾊﾟﾝﾊﾟﾝ
/ / } ;' `i､
_/ノ../、 ＿/ 入/ / ｀ヽ, ﾉﾉ
/ r;ｧ }''i"￣. ￣r'_ノ"'ヽ.i ） ―☆
｛ｋ＿ _/,,.' ;. :. l､ ﾉ
＼ ｀ ､ ,i. .:, :, ' / / ＼
,;ゝr;,;_二∠r;,_ｪ=-ｰ'" r,_,/ ☆
- 80 名前：デフォルトの名無しさん mailto:age [2008/03/11(火) 14:29:23 ]
- ｾｯｸｽｩ〜 ∧＿∧ ﾊｧﾊｧ…
（´Д｀ ；）
（￣￣￣￣┴-
| （ * ；）
/ / ∧ ＼
/ / / Ｕ＼ ＼ ｷﾓｲﾖｰ
/ / （￣） | |＼ （￣） （（（ ）））
/ （ ノ （ | | ＼ ﾉ （ 〜 （；´Д｀）
⊂- ┘（ ） └--┘ （ ） 〜 / つ１ _つ
ＵＵＵＵ ＵＵＵＵ 人 Ｙ
し'（＿）
- 81 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 14:42:09 ]
- >>58みたいに荒らしになる奴は放っておけよ
- 82 名前：Z武 mailto:age [2008/03/11(火) 14:44:18 ]
- ,.,.,.,.,.,.,.,.,__
,;f::::::::::::::::::::::::::ヽ:
i/'"￣￣ヾ:::::::::::i:
|,,,,_ ,,,,,,_ |::::::::|:
（。);（ ﾟ)==r─､|: ｸﾞﾌｨ
{ (__..:: / ノ:
. ', ｴｴｴｴﾌ ノ:
/ / } !＿＿_／ `i､
_/ノ../、 ＿/ 入/ / ｀ヽ,:
/ r;ｧ }''i"￣. ￣r'_ノ"'ヽ.i ）:
｛ｋ＿ _/,,.' ;. :. l､ ﾉ: ﾄﾞｸﾄﾞｸ
＼ ｀ ､ ,i. .:, :, ' / /:
,;ゝr;,;_二∠r;,_ｪ=-ｰ'" r,_,/:
- 83 名前：58 mailto:age [2008/03/11(火) 14:45:18 ]
- ∩＿＿＿∩
| ノ ヽ/⌒) あばばばばばば
/⌒) (ﾟ) (ﾟ) | .|
/ / ( _●_) ミ/ ∩―−、
.（ ヽ |∪| ／ ／ (ﾟ) ､_ ｀ヽ
＼ ヽノ / / ( ● (ﾟ) |つ
/ / | ／(入__ノ ミ あばばっあびゃばびゃばば
| / ､ (＿／ ノ
| ／＼ ＼ ＼＿＿＿ ノﾞ ─ｰ
| / ) ) ＼ ＿
∪ （ ＼ ＼ ＼
＼＿)
- 84 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 19:31:25 ]
- PostScriptで書いたLispﾜﾛﾀ
blog.bugyo.tk/lyrical/2008/01/_o_lisppostscriptlisp.html
- 85 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 19:44:50 ]
- ttp://mamono.2ch.net/test/read.cgi/newsplus/1205223290/l50
やる夫がcommonlisperになりschemeをdisるようになるまでを誰か作ってくれ
- 86 名前：58 [2008/03/11(火) 20:00:51 ]
- >>85
∩＿＿＿∩
≡ | ノ ヽ/⌒))=
-=≡/⌒) (゜) (゜) | .| ≡ 無理でした
≡/ / ( _●_) ミ/ )≡=
≡(（ ヽ |∪| ／)≡= :,∴・゜・゜・:,∴・゜・゜・
≡＼ ヽノ /= :,∴・゜・・∴~・:・∴・・・
≡/ / ,.:∴~・:,゜・~・:,゜・ ,゜・~・:,゜・・∴・゜゜・
=≡(| _つ~~~‘∴・゜゜・・∴~・:,゜・・∴・゜゜・∴~゜゜゜
, ≡| /UJ＼ ＼≡ ~・:,゜・~・:,゜・ ,゜・~・:,゜・・∴・゜゜・
=≡(| / ) ))= ・゜ ・・∴~・:・∴∴~・:・∴・
=(∪ （ ＼≡ ゜∴・゜・・∴~・:・∴
＼＿))≡=
- 87 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 20:39:29 ]
- >>85
「やっぱりそれなりにLisp/Schemeの背景について知らないと
面白いAAにもならないから難しいのでは？
ただ単にクマのテンプレ貼られてもなあ」
というのは議論の余地のない given な事実として淀みなく会話が流れる、というのが一般的です。
- 88 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 20:44:11 ]
- 零細企業に勤めてる人いる？いないか、ハイレベル多そうだからな。
- 89 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 20:49:41 ]
- いや、大企業のばりばりLisperの方がレアなんじゃないか？www
- 90 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 21:11:14 ]
- ／￣＼
| |
＼＿／
|
／ ￣ ￣ ＼
／ ＼ ／ ＼ >>87
／ ⌒ ⌒ ＼ よくぞ逝ってくれた
| （__人__） | 褒美としてＬｉｓｐをＡＡで語る権利をやる
＼ ｀ ⌒´ ／ ☆
/ヽ､--ー､＿＿,-‐´ ＼─／
／ > ヽ▼●▼<＼ ||ｰ､.
/ ヽ､ ＼ i |｡| |/ ヽ (ニ､｀ヽ.
.l ヽ l |｡| | ｒ-､y ｀ﾆ ﾉ ＼
l | |ー─ | ￣ l ｀~ヽ＿ノ＿＿＿_
／￣￣￣￣ヽ-'ヽ--' ／ Ｌ ｉ ｓ ｐ ／|
.|￣￣￣￣￣￣|／| |￣￣￣￣￣￣|／| ＿＿＿＿＿＿
／￣Ｌ ｉ ｓ ｐ ／| ￣|__」／_ Ｌ ｉ ｓ ｐ ／|￣|__,」＿＿_ ／|
|￣￣￣￣￣|／Ｌ ｉ ｓ ｐ ￣／￣￣￣￣|／ Ｌ ｉ ｓ ｐ ／| ／ .|
|￣￣￣￣￣|￣￣￣￣￣|／l￣￣￣￣|￣￣￣￣￣|／| ／
|￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣|
- 91 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 21:14:34 ]
- 大企業ならまだLisperいるんじゃない? 新日鉄とか。
- 92 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 21:28:22 ]
- リクナビにLisper募集してる会社がのってるな
- 93 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 21:29:49 ]
- 零細企業とか大企業とかいう発想が古くさい
- 94 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 21:41:18 ]
- 大企業でLispというと竹内先生の古巣か？
- 95 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 21:45:44 ]
- 公社崩れの会社だな
- 96 名前：前スレ846 mailto:sage [2008/03/11(火) 21:52:40 ]
- 例のGauche本、Oreillyに直接注文してたら今日もう着いた。
(www.oreilly.co.jp/books/9784873113487/)
3/14発売予定じゃなかったっけ？
先走ったのはO'reilly Japanか佐川急便か？
まあ、早いぶんには良いんだけど（読むのはノンビリｗ）。
- 97 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 22:16:28 ]
- >>96
正誤表をどうぞ。
karetta.jp/book-cover/programming-gauche#H-1p3ukk3
- 98 名前：96 mailto:sage [2008/03/11(火) 22:18:56 ]
- >97
さっそくサポート有難うございます。
- 99 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 22:21:23 ]
- >>91
そこにはいないハズ。
- 100 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 23:02:06 ]
- >>96
マジかよ。アマゾンにしちまったよ。
- 101 名前：デフォルトの名無しさん mailto:sage [2008/03/11(火) 23:11:07 ]
- >96
奥付張り紙してある？
- 102 名前：96 mailto:sage [2008/03/12(水) 00:03:27 ]
- >100
フッフッフ、300円余分に支払ったおかげだ（でも読むのはゆっくり）。
>101
奥付に張り紙って何だ？と思ったら確かに貼ってあったよ。
「プログラミングGauche」と書かれたテープみたいなのが。
（透かしてみたら下にはどうも「Gaucheプログラミング」と
印刷されてるみたいｗ）
- 103 名前：デフォルトの名無しさん mailto:sage [2008/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 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 00:15:10 ]
- >102
それは当たりですね ♥
…漏れも欲しくなってきた、ミスプリント版ｗ
- 105 名前：102 mailto:sage [2008/03/12(水) 00:27:49 ]
- >104
これって当たりなのｗ？
- 106 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 00:45:02 ]
- >>103
multirember-fは引数（この場合の引数は関数test?）を一つとり
関数を返す関数。戻り値の関数は、引数を二つ（aとlat）とる関数。
P127の上から5番目のパラグラフを復習。
- 107 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 02:03:14 ]
- まずはご苦労。>gauche本の中の人達。
色々ぬかりない感じがするんだが、良くも悪くも
なんでネット公開止めたん？
それからラムダブックスのサイトから買えるようにしてくれ。
そうでなかったら価格表示やめれ。
- 108 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 04:34:52 ]
- 黒田氏がR6RSについてコメントしてますね。
ttp://cl-www.msi.co.jp/solutions/knowledge/lisp-world/articles/three-dogmas-of-scheme
その記事の表示的意味論うんぬんの部分に対する住井さんのコメント。
ttp://d.hatena.ne.jp/sumii/20080311/p2
- 109 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 05:02:01 ]
- 黒板は出てこないのか。
- 110 名前：デフォルトの名無しさん [2008/03/12(水) 05:52:19 ]
- Amazonを使ってる方へ
Amazonのほしい物リストで、個人情報（氏名等）がもれる場合があります。
ほしい物リスト（ウィッシュリスト）が未登録ならば、問題ありません。
しかし、自分のアカウントを調べた方が良いです。
1505953.blog76.fc2.com/blog-entry-340.html
祭り中？
【祭】Amazonウィッシュリストで個人情報ダダ漏れ中★6
namidame.2ch.net/test/read.cgi/news/1205262805/
- 111 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 06:31:15 ]
- >>107
> なんでネット公開止めたん？
契約書に「公開するな」的な一文がある。
オーム社なら(On Lispのように)公開出来たかも知れん
> それからラムダブックスのサイトから買えるようにしてくれ。
> そうでなかったら価格表示やめれ。
中の人に言ってみる
- 112 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 10:09:21 ]
- >>108
最初の文書酷いなあ。
- 113 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 10:32:27 ]
- むしろ最後の方の議論のスタイル云々が酷い
- 114 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 11:21:38 ]
- 仕様書を書かずにコードを書くスタイルを叩いてるのはいつものことでしょ
- 115 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 12:10:58 ]
- >>108
突っ込みどころは多い（映画館の喩えはいかがなものかと思う）が、言いたいことは理解できる。
- 116 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 12:15:18 ]
- >>107
想像だけど、ネットで公開できなくなるのは本になることの代償じゃないかな。
出版社はボランティアじゃないからね。
個人的には、ネットで公開できなくなるマイナスより、本になるプラスのほうが
勝ってると思う。もちろん、そうは思わない人も多いと思うけど。
どちらにするかは、権利を持っている人が勝手に決めればいいことだ。
- 117 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 13:31:35 ]
- 正確には著者と出版社が話し合って決めることだな
- 118 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 14:44:30 ]
- >102
献本用に刷ったのにミスプリがあったらしい。
先日のgauche.nightで販売されたのもコレ。
内容は市販されるものと同一のはず。
- 119 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 16:06:26 ]
- >>118
ブベベベベ
- 120 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 16:31:31 ]
- Little読んだ程度の漏れでも読めるかな。
- 121 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 16:46:26 ]
- 読むな。書け。
- 122 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 17:40:42 ]
- >>116
そりゃ、自分がその本を持っている前提ならそうかもしれないけど、
本が入手不可能でネットにもリソースなかったりしたら、ものすごく困る。
- 123 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 18:24:15 ]
- >>122
「本が入手不可能」って状況がよくわからんけど、絶版になればふつう版権は
著者に戻される。著者が望めば公開可能。
- 124 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 18:36:01 ]
- 理屈ではそうなんだが、在庫なし再販未定≠絶版なのが面倒なところ。
法律では「出版権の消滅」って概念を定めてて、しかるべき場合には
しかるべき手続きを踏めば出版権を消滅させられることになってるけど。
- 125 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 18:38:24 ]
- 注)ここは日本です。
- 126 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 22:57:00 ]
- glintオモスレー
- 127 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 23:06:38 ]
- letrec
これは何と読めばいいですか？
レトレックでOK？
- 128 名前：デフォルトの名無しさん mailto:sage [2008/03/12(水) 23:52:03 ]
- 桶
- 129 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 00:01:13 ]
- ども
|
 |
