- 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
- 2 名前：デフォルトの名無しさん mailto:sage [2008/03/09(日) 09:18:21 ]
- □参考リンク□
日本Lispユーザ会(日本語)
ttp://jp.franz.com/jlug/index.html
ここにかなりの情報があります。 削るとAllegro Common Lispのページへ
プログラミング言語Scheme(日本語)
ttp://www.sci.u-toyama.ac.jp/~iwao/Scheme/scheme.html
Schemeの人はまずここを見ましょう。
Schemeへの道(日本語)
ttp://www.stdio.h.kyoto-u.ac.jp/~hioki/gairon-enshuu/SchemeNotes/scheme.html
ここはschemeの入門サイト。
Practical Scheme(日本語)
ttp://practical-scheme.net/index-j.html
「普通のやつらの上を行け」など、興味深い文書を沢山翻訳されてます。
(Gaucheという完成度の高いscheme処理系作者さんのページでもあります。)
LispUser.net
ttp://lispuser.net/
- 3 名前：デフォルトの名無しさん mailto:sage [2008/03/09(日) 09:19:45 ]
- □仕様関係□
CLtL2: Common Lisp the Language 2nd edition
ttp://www-2.cs.cmu.edu/Groups/AI/html/cltl/cltl2.html
CLHS: Common Lisp Hyper Spec
ttp://www.ai.mit.edu/projects/iiip/doc/CommonLISP/HyperSpec/FrontMatter/Chapter-Index.html
R5RS: Revised(5) Report on the Algorithmic Language Scheme (ja)
ttp://www.sci.u-toyama.ac.jp/~iwao/Scheme/r5rsj/html/r5rsj.html
R5RS: Revised(6) Report on the Algorithmic Language Scheme (en)
ttp://www-swiss.ai.mit.edu/~jaffer/r5rs_toc.html
R6RS: Revised(6) Report on the Algorithmic Language Scheme
ttp://www.r6rs.org/final/html/r6rs/r6rs.html
- 4 名前：デフォルトの名無しさん mailto:sage [2008/03/09(日) 09:22:26 ]
- □SICP関係□
SICP(英語)
ttp://mitpress.mit.edu/sicp/full-text/book/book.html
「計算機プログラムの構造と解釈」の原書です。 全てオンラインで読めます。
計算機プログラムの構造と解釈 第二版 (snip) に関連するホームページ
ttp://sicp.ipl.t.u-tokyo.ac.jp/
□wikipedia関連□
ja.wikipedia.org/wiki/LISP
ja.wikipedia.org/wiki/Common_Lisp
ja.wikipedia.org/wiki/Scheme
□継続□
なんでも継続
ttp://practical-scheme.net/docs/cont-j.html
Schemeへの道:継続
ttp://www.stdio.h.kyoto-u.ac.jp/~hioki/gairon-enshuu/SchemeNotes/continuation.html
継続の使い方
ttp://www.geocities.co.jp/SiliconValley-PaloAlto/7043/index.html#continuation
継続の使用法
ttp://www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/block.html
Kahua: 継続ベースのアプリケーションサーバー
ttp://www.kahua.org/
- 5 名前：デフォルトの名無しさん mailto:sage [2008/03/09(日) 09:23:15 ]
- □その他□ (便利な情報リソース）
John McCarthy's Home Page
ttp://www-formal.stanford.edu/jmc/
LISPの生みの親、Ｊ・マッカーシーのページだそうです。
Association of Lisp Users 米国のLispユーザ会
ttp://www.alu.org/alu/home
CMUのLisp Repository 新旧様々なプログラムが置いてある
ftp://ftp.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/0.html
The Common Lisp Cookbook: いわゆる Cookbook
ttp://cl-cookbook.sourceforge.net/
Bibliography of Scheme-related Research Scheme関連の論文リンク集
ttp://library.readscheme.org/
Scheme Hash(英語) S式でXMLを使える様にするSXMLなど
ttp://okmij.org/ftp/Scheme/index.html
幻の「入門Scheme」 オンラインで読める
ttp://www4.ocn.ne.jp/~inukai/scheme_primer_j.html
各種scheme処理系をcygwin上からビルドする方法など。
ttp://www.geocities.co.jp/SiliconValley-PaloAlto/7043/
encyCMUCLopedia (cmucl以外でも有益なはず )
ttp://www.isr.ist.utl.pt/library/docs/encycmuclopedia/doc/
- 6 名前：デフォルトの名無しさん mailto:sage [2008/03/09(日) 09:24:40 ]
- □その他その２□
独習 Scheme 三週間 (Schemeの教科書 )
ttp://www.sampou.org/scheme/t-y-scheme/t-y-scheme-Z-H-1.html
Cliki (CLコードがたくさん紹介されている。)
ttp://www.cliki.net/index
よろずや (lispの実用的な情報が色々。 )
ttp://www.geocities.co.jp/SiliconValley-SanJose/7474/
Common-Lisp.net: 多くのプロジェクトがホスティングされてる
ttp://common-lisp.net/
Practical Common Lisp: S式の羅列で現実的な問題をどう解くのかそのギャップに悩まされてる人に
ttp://www.gigamonkeys.com/book/
SLIB
ttp://www-swiss.ai.mit.edu/~jaffer/SLIB.html
SRFI
ttp://srfi.schemers.org/
Meadow memo: 2ちゃんねるログ（dat落ちした過去スレの一部が見られます。 ）
ttp://www.bookshelf.jp/2ch/index.html
Lispとは何か
ttp://www.asahi-net.or.jp/%7Eki4s-nkmr/lisp20061121/lisp.html
- 7 名前：デフォルトの名無しさん mailto:sage [2008/03/09(日) 10:00:28 ]
- □実装□
Bit (mini-schemeよりも小さい(?)bytecode変換系 )
ttp://www.iro.umontreal.ca/~dube/
Lisp 言語処理系: CAMPUS LIsP, Lemon version (Cでわずか1000行)
ttp://www-masu.ist.osaka-u.ac.jp/~kakugawa/hacks/clisp/
Schemix (Linuxのkernelへのパッチで/dev/として扱えるTinyScheme )
ttp://www.abstractnonsense.com/schemix/
awkで書かれたわずか500行のLispインタプリタ
ttp://www.accesscom.com/~darius/
Bigloo CLR 用のコードを吐けるようになったらしい
ttp://www-sop.inria.fr/mimosa/fp/Bigloo/
SECDR-Scheme: SECD machine model に基づく実装
ttp://lily.fan.gr.jp/~kmd/adhoc/view.rhtml?n=SECDR-Scheme_woyomu
Minischeme: 1 ファイルに凝縮された Scheme 処理系
ttp://tinyscheme.sourceforge.net/minischeme.tar.gz
TinyScheme: Minischeme を色々弄ったもの
ttp://tinyscheme.sourceforge.net/
KI-Scheme, AM-Scheme, etc...
ttp://www.nifty.com/download/dos/prog/lisp/
LispMe: Palm 上で動く Scheme 処理系. これも SECD virtual machine.
ttp://www.lispme.de/lispme/
- 8 名前：デフォルトの名無しさん mailto:sage [2008/03/09(日) 10:02:37 ]
- □実装その２□
Gauche: R5RS準拠のScheme処理系。Shiro Kawaiさん作。近々書籍が出版されます。
ttp://practical-scheme.net/gauche/index-j.html
PLT Scheme: DrScheme、MzSchemeなどのR5RS準拠および独自拡張のScheme処理系
ttp://www.plt-scheme.org/
Scheme48: R5RS準拠のSchemeのバイトコードインタプリタ
ttp://www.s48.org/
Guile: GNUの拡張プログラミング言語
ttp://www.gnu.org/software/guile/
Gambit-C: R5RS準拠のScheme処理系
ttp://www.iro.umontreal.ca/~gambit/wiki/index.php/Main_Page
Steel Bank Common Lisp: Common Lisp処理系
ttp://www.sbcl.org/
CMUCL: Common Lisp処理系
ttp://www.cons.org/cmucl/
GNU CLISP: Common Lisp処理系
ttp://www.clisp.org/
Embeddable Common Lisp: Common Lisp処理系
ttp://ecls.sourceforge.net/
Arc: ポール･グレアム氏が作成した新しいLisp
ttp://arclanguage.org/
- 9 名前：デフォルトの名無しさん mailto:sage [2008/03/09(日) 10:03:54 ]
- □イベント□
GaucheNight(2008-03-08)
ttp://practical-scheme.net/wiliki/wiliki.cgi?gauche.night
SchemeとGaucheとλとS式を愛するすべての人に贈るマクロな一夜。
川合史朗、伊藤篤、山下伸夫、笹田耕一、ひげぽん、zick、黒田寿男、えんどうやすゆき、ほか
GaucheNight(2007-05-09)
ttp://practical-scheme.net/wiliki/wiliki.cgi?GaucheNight%3a2007
川合史朗、黒田寿男、まつもとゆきひろ(Skype中継)、小飼弾、
伊東勝利、久井亨、小黒直樹、ほか
黒田氏関係 (黒板の人)
ttp://pc10.2ch.net/test/read.cgi/tech/1151025773/901-909
ttp://cl-www.msi.co.jp/solutions/knowledge/lisp-world/articles/scheme
Scheme:マクロ:CommonLispとの比較
ttp://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3a%e3%83%9e%e3%82%af%e3%83%ad%3aCommonLisp%e3%81%a8%e3%81%ae%e6%af%94%e8%bc%83
Script Languages
ttp://cl-www.msi.co.jp/solutions/knowledge/lisp-world/articles/script-lang
- 10 名前：デフォルトの名無しさん mailto:sage [2008/03/09(日) 10:04:41 ]
- □書籍□
＜プログラミングGauche＞
・著者：川合史朗 監修
Kahuaプロジェクト 著
・定価：3360円(本体3200円＋税)
・B5変 524頁
・ISBN 978-4-87311-348-7
・発売日：2008/03/14
Scheme処理系言語Gauche（ゴーシュ）の初の解説書！
ttp://ssl.ohmsha.co.jp/cgi-bin/menu.cgi?&ISBN=978-4-87311-348-7
立ち読み版
ttp://karetta.jp/book/gauche-hacks
＜On Lisp＞
・著者：Paul Graham 著
野田 開 訳
・定価：3990円(本体3800円＋税)
・A5 440頁
・ISBN 978-4-274-06637-5
LispハッカーPaul Grahamが、Lispの力の源泉であるマクロプログラミングを解説
ttp://ssl.ohmsha.co.jp/cgi-bin/menu.cgi?ISBN=978-4-274-06637-5
HTML版
ttp://user.ecc.u-tokyo.ac.jp/~tt076524/onlispjhtml/
- 11 名前：デフォルトの名無しさん mailto:sage [2008/03/09(日) 10:05:13 ]
- □2ch上にあるLISP関係のスレ□ (現在)
【入門】Common Lisp その４【質問よろず】
ttp://pc11.2ch.net/test/read.cgi/tech/1201402366/
【ＣＧＩ】実用比較Lisp vs C/C++【ＧＵＩ】
ttp://pc11.2ch.net/test/read.cgi/tech/1150501484/
【魔法】リリカル☆Lisp【言語】
ttp://pc11.2ch.net/test/read.cgi/tech/1183396621/
Lisp@UNIX版
ttp://pc11.2ch.net/test/read.cgi/unix/1019926525/
Emacs Lisp 3
ttp://pc11.2ch.net/test/read.cgi/tech/1191875993/
【ﾔﾊﾟｰﾘ】XMLをS式に置換えていくスレ【LISP最強】
ttp://pc11.2ch.net/test/read.cgi/tech/1140006937/
【SICP】計算機プログラムの構造と解釈 Part2
ttp://pc11.2ch.net/test/read.cgi/tech/1203096230/
【普通のやつらの】 Arc Language 0 【上を行け】
ttp://pc11.2ch.net/test/read.cgi/tech/1202098949/
- 12 名前：デフォルトの名無しさん mailto:sage [2008/03/09(日) 10:48:41 ]
- tspl抜けてんぞ
- 13 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 20:49:50 ]
- >>1乙
- 14 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 21:56:35 ]
- pc11.2ch.net/test/read.cgi/tech/1200237296/998
＞define名が無くても出来るってことですね。とは言っても名前空間を汚さない以外に
＞何かメリットはないものでしょうか、という疑問が。
その答えは "To Mock a Mockingbird " でどうぞ。
- 15 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 21:59:57 ]
- Yコンビネータだけじゃなく他の色々なコンビネータがつかえると想像してミレ。
プログラミングの幅が広がると気がつかんか？
- 16 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 22:01:48 ]
- なんと副作用がないのだがSeasoned Schemerを読まないとご利益は理解できない件。
- 17 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 22:02:14 ]
- 前スレ
>>997
ありがとうございます。
てんこもりですね。損した気分。
>>999
Y-combinator再考してみます。
>>14
実は昨日届いたんです。ウヒヒ。
パズルとかゲームとか得意ではないんですが
読んで見ます。それにしても小さい本ですね。
- 18 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 22:06:03 ]
- Seasoned Schemer⇒To Mock a Mockingbird
この順序で読むべし。間を空けるとSeasonedを読むのが辛くなる。
- 19 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 22:07:02 ]
- >>15
コンビネータというからには何かを結びつけて使うんですよね、きっと。
何かの計算結果同士を結びつける。C++のbindみたいな。
>>16
8章までの知識があれば読めるみたいなこと書いてあったんで
難しい9,10章飛ばして突入したら、Y-combinatorが出てきたもんで
慌てて戻った次第です。
- 20 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 22:09:25 ]
- >>18
なるほど、そうですか。Seasonedは11章から始まってるので
二冊で一冊みたいなもんですね。確かにLittleの内容を前提
としてるので忘れないうちに行ってみます。
- 21 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 22:21:45 ]
- To Mock a Mockingbird はP73から読み始める。M(Mockingbirdというコンビネータ)がいきなり登場。
こいつがとても重要。P96の "Bluebird and Mockingbird" で最初の秘密が明らかになる。
P128からの "A Gallery of Sage Birds" ではいろいろなＹコンビネータ(この本ではΘ)が登場する。
P193から不動点定理とＹコンビネータの関係の説明がある。ここからいよいよコンビネータが明かされ始める。
これ以上はネタばれなのでやめておく。お楽しみに。
- 22 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 22:28:26 ]
- ＞コンビネータというからには何かを結びつけて使うんですよね、きっと。
そうなのじゃ。結びつきこそが鳥達の住む森を生み出しておる。
集積回路のコンピュータ然り、ＤＮＡコンピュータ然り、なのじゃ。
そして、人と人の結びつきもまた然りじゃのう。
君はまだまだ若いから、この意味がわかるかのう？
- 23 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 22:39:20 ]
- >>21
大変参考になります。
コンビネータという単語が出てこないので？と思ってました。
>>22
右脳が試されてる気が。。
C++のほうが仕様は膨大なのに簡単
に思える今日この頃。
- 24 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 22:49:51 ]
- ＞そうなのじゃ。結びつきこそが鳥達の住む森を生み出しておる。
P167のMaster Forestじゃ。
＞右脳が試されてる気が。。
読み終わった頃には左脳が試されてると確信する。
そしてプログラムの存在をコンピュータの画面以外でも感じるようになる。
そのときプログラマーとして実世界を相手に仕事をする旅立ちのときがやってくる。
さあ、勇者よ！行くがよい！世界が待っている！
- 25 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 22:55:24 ]
- たかがコンビネータで本一冊書けるってすげーな
R6RSなんて187ページにぎゅうぎゅう詰めですよ
- 26 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 22:56:25 ]
- お役立ちリンク：Little Schemer
Daniel P. Friedman
www.cs.indiana.edu/~dfried/
Matthias Felleisen
www.ccs.neu.edu/home/matthias/
Little Schemerのサポートページ（誤植・問題集など）
www.ccs.neu.edu/home/matthias/BTLS/
- 27 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 23:01:36 ]
- pc11.2ch.net/test/read.cgi/tech/1200237296/995
＞計算論 高橋正子って予備知識必要？
かなり必要。定理、証明のスタイル。数学書みたいな感じ。
- 28 名前：デフォルトの名無しさん mailto:sage [2008/03/10(月) 23:05:14 ]
- >>25
＞たかがコンビネータで本一冊書けるってすげーな
書けなかったからパズルと詰め合わせの件。
- 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
マジかよ。アマゾンにしちまったよ。
|
 |
