Lisp Scheme Part20

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 マジかよ。アマゾンにしちまったよ。 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 ] ども 130 名前：デフォルトの名無しさん mailto:釣りsage [2008/03/13(木) 00:08:30 ] >>127-128 へぇ。letrecっておけって読むんだ。なんか由来のある当て字？ 131 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 00:10:00 ] いや、桶をレトレックって読むんだよ。 132 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 00:13:30 ] なぜか「バルカン星人を舐めるなよ」と書きたくてらまらない。 133 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 00:40:37 ] ふぉっふぉっふぉ 134 名前：107 mailto:sage [2008/03/13(木) 01:09:53 ] ジュンク堂いったひといる？ 135 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 01:10:38 ] ↑名前欄誤爆 136 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 01:12:17 ] >>133 それバルタン 137 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 01:20:35 ] > 誤爆 それバクダン 138 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 01:27:13 ] | | |⌒彡 |冫、） |` ／　・・・ | / |/ | 139 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 01:28:13 ] | | | | 彡ｻｯ | | | | 140 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 01:32:23 ] ものまね鳥ゲット 141 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 01:32:25 ] 店頭には並んでるの？ 142 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 01:33:33 ] 並んでないよ 143 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 01:36:27 ] オライリー直販だけか まだseasonedやってるからいいけど 144 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 17:01:25 ] Karettaの立ち読み版って 書籍発売日の明日以降はどうなるんでしょう？ 書籍と立ち読み版はガラっと違うらしいし 存続でしょうか？ 145 名前：デフォルトの名無しさん [2008/03/13(木) 18:11:15 ] Seasoned Schemerで未知の？キーワードletccなるものが出てきた のですが、Dr SchemeというかRS5Sでは定義されていないキーワード らしく、どう続けていけばよいか迷っています。これは処理系によって は使えるキーワードなんでしょうか？Dr Schemeに慣れてしまったため 、これを使い進めて行きたいのですが、ライブラリ？などで対応方法 はありますでしょうか？ 146 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 18:15:35 ] >>145 community.schemewiki.org/?seasoned-schemer 147 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 18:21:11 ] >>145 call/cc 148 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 18:23:17 ] call/cc = call-with-curent-continuation ↓ letcc 149 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 18:25:38 ] ×　call-with-curent-continuation ○　call-with-current-continuation 150 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 18:28:22 ] (define call/cc call-with-current-continuation) 151 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 18:38:15 ] (define letcc call-with-current-continuation) 152 名前：デフォルトの名無しさん [2008/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 名前：デフォルトの名無しさん mailto:sage [2008/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 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 18:57:27 ] >>153 これらのキーワードは環境設定か何かを行うときに使うものですか？ Seasoned Schemerでは唐突にletccが出てきて、その定義も示すことなく （call-with-current-continuation については若干登場してますが） 使用しているので、昔は当たり前のように使われていたんでしょうか？ define-syntaxという語のとおりシンタックス（キーワード）の定義に 使うためのものだとは察しますが。おいおい勉強してみます。 155 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 19:05:17 ] λ ttp://flickr.com/photos/takesako/2328312411/ 156 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 19:27:43 ] 継続とマクロのないSchemeは癒し系 157 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 21:06:09 ] dssslのことか！ 158 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 22:20:21 ] >>155 モテカワ愛されλ 159 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 22:20:52 ] >>144 特に閉鎖する予定はないですよ 160 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 22:52:54 ] >>159 よかったぁ！ じゃあ107が書いてる「ネット公開止めた」書籍って何ですか？ （もちろんﾇｸﾇｸ本は購入済み、本日発送メールがきました） 161 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 23:28:17 ] >>160 去年の5月に再構成して、今出てる書籍(フムフム本)と同じ構成になった。 　公開版(立ち読み版)→再構成版(非公開) 再構成版は公開版からforkしたもの。 162 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 01:39:37 ] blog. 163 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 01:40:08 ] blog.livedoor.jp/dankogai/archives/51017577.html 164 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 01:54:12 ] 黒板バロスw 165 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 02:52:31 ] なるほど。継続という難しい概念があるんですね。 166 名前：デフォルトの名無しさん mailto:sage　なんつって [2008/03/14(金) 03:04:04 ] 継続も要するにλだから構える必要はないと思うよ。 167 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 03:15:31 ] ググって色々読んだんですが、まだまだ悩む必要 ありそうです。概念が初めてなので慣れが必要ですね。 早くGauche本到着しないかな。 168 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 07:16:33 ] 継続て唯のプログラムカウンタですか？ プログラムカウンタを変数に代入できるって何が嬉しいんだろ 169 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 08:13:17 ] いいえ違います。 関数fから呼ばれた関数hも 関数gから呼ばれた関数hも 同じプログラムカウンタを持ちますが 違う継続を持ちます。 170 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 08:28:41 ] アドレスだったらわかるがプログラムカウンタって表現はちょっと違和感。 171 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 08:30:37 ] プログラムカウンタだけじゃなくて関数コールスタックの中身も全部保存するようなもんだ 172 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 08:44:45 ] ゲームのセーブ・ロードが、未だにイメージの基本になってるな、俺の場合。 Schemeの継続はさしずめ、「戦士がスライムAを倒して、これから魔法使いがスライムBにメラを唱える」 という戦闘シーンのど真ん中ですらセーブできるRPGみたいなもんだ、とかそんな風に。 173 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 09:03:17 ] ただ値が保存されるのではなくて 束縛が保存されるだけだから ロードした直後に開ける宝箱の中身は違うかもしれない 174 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 11:11:41 ] >>168 既存の概念に還元して、 新た強い概念を理解しようとする癖は直した方がいいよ。 そうしていると抽象的な思考がなかなか身に付かないから。 175 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 11:34:48 ] プログラムカウンタじゃなかったらなんなのよ 176 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 11:35:57 ] 人生…かな？ 177 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 11:59:38 ] いや、大いなるナニかだよ… 178 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 12:11:21 ] 継続は継続だ とりあえず「なんでも継続」を嫁 強いて言うならプログラムカウンタというよりはコンテキストというか... 179 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 12:17:07 ] >なんでも継続 setjmpに還元してるけど、いいの？ 180 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 12:27:38 ] ちゃんと読んだ？ setjmpのようなものだが、どう違うかもちゃんと書いてあったように 思うけど。 181 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 12:38:18 ] Cで言うsetjmp/longjmpとか言い出す解説が一番困るよな。 182 名前：デフォルトの名無しさん [2008/03/14(金) 14:15:08 ] 固有値分解や特異値分解を行うプログラムを自分で組むのめんどくさいから どこかに落ちてないか探したら GSL for Lisp とかいうのみつけた。使ってる人は結構いるのでしょうか？ 183 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 14:31:15 ] >>182 Maxima ところで cl で規模が大きめのベンチマークって何かある? tak じゃない奴希望。 184 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 17:37:36 ] >>183 これとか？　使ったことないけど。 www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/code/bench/gabriel/0.html 185 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 17:54:39 ] Scheme好きはJazzが好きな奴が多いと思う。 186 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 18:25:53 ] 微妙なミュージシャンを挙げると「そんなものはジャズじゃない」とかいって怒られそう。 187 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 19:22:59 ] プログラミングGauche今日発売だと思って本屋いったら どこも近日入荷予定だったorz 188 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 19:30:41 ] 何故ジャズ？ Schemerならプログレだろ？ 189 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 20:19:07 ] アセンブラはバッハ(バロック) レンガ積むみたいに端から積んでく感じがいいよね 190 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 20:26:33 ] SchemerはKeith Jarrett solo か Bill Evansだ。 191 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 21:04:05 ] Cとかで再帰関数書いたときに、ローカル変数確保するスタック領域が足りなくなって、 スタックオーバーフローとかで止まる場合があるじゃないですか。 Schemeの継続ってローカル変数の確保以上にリソースを喰いそうなんですが、 継続のための領域もあふれたりすること、あるんですか？ すごく阿呆な質問だったらすみません… 192 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 21:13:41 ] どんな言語でも記憶領域あふれさせるのは簡単だよ。 問題なのは継続が必要な時に十分に効率的かどうかって事。 けどそれ以前に継続についてよく学んでから考えてはどう？ 知識のない状態で、いきなり効率ばかり考えるくせがあると、 単純具象バカになりやすいから。 193 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 21:39:07 ] Common Lispは豪華絢爛なイタリアオペラってとこか 194 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 21:43:28 ] >>191 不要な継続を後生大事にとっておけばそうなる可能性はある。 そうでない限りGCがなんとかしてくれるであろう。 195 名前：191 mailto:sage [2008/03/14(金) 22:12:54 ] >>192,193 ありがとうございます。 どちらかと抽象ばっかり考える癖があるので、ちょっと実装に興味を持っているのです。 でももっとちゃんと理解してからにします。 196 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 22:33:36 ] とりあえず 質問する前に テンプレは読め。 197 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 22:43:04 ] 何を読むんだｗ 書けば1行で済むのに (do ((i 0 (+ i 1)) (xs '() (cons (call/cc values) xs))) ((> i 10000) xs)) 198 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 22:53:51 ] つ >>4 199 名前：デフォルトの名無しさん mailto:sage [2008/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 名前：デフォルトの名無しさん mailto:sage [2008/03/14(金) 23:43:05 ] マクロ定義以外に出てくるドットと同じ。 201 名前：デフォルトの名無しさん mailto:sage [2008/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 名前：デフォルトの名無しさん mailto:sage [2008/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 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 01:29:13 ] >>202 > >>200 > consセルのドットですね。 それがわかっているのに何故>>199のマクロが理解できないか、 そっちの方が理解できないよ。 もしかして (lambda (a b . restargs) ...) も知らない? 204 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 01:54:00 ] >>184 thx 205 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 04:22:58 ] >>203 例えば>>3の www.sci.u-toyama.ac.jp/~iwao/Scheme/r5rsj/html/r5rsj.html には には 手続き [[構文]]　　(lambda <仮引数> <ボディ>) 構文: <仮引数>は下記に示す通りの仮引数のリスト(16)でなければならず、 <ボディ>には一つ以上の式が連続しなければならない。 ってなってるから、 . body の部分がどういう解釈なのかを聞いてるんだと思うんだが。 206 名前：デフォルトの名無しさん mailto:sage [2008/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 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 05:40:01 ] カッコ書いてるとふわふわふわと夢が広がりすなぁ（　^ω^） 208 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 09:38:41 ] 例のGauche本でさわり始めたんだけど、VimでEmacsのc-x -eみたいにエディタ内から部分的に式を評価することってできないのかな？ あと、(car '()) がエラーになるのは当然なんだけど、これでエラーが発生している行数って分からないものなの？ 手続き型言語だとエラーの行数は極当然の情報だけど、これに一番戸惑っている。 209 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 10:18:10 ] パーズしたときに行の情報は失われる どのみちマクロ展開でテキストとの対応が取れなくなるだろうし 210 名前：デフォルトの名無しさん mailto:sage [2008/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 mailto:sage [2008/03/15(土) 11:17:28 ] >>209 しかし、それなりの規模のコードを書いているときふとエラーが発生したら何を目印にしてデバッグすればいいの？ 行番号がないLISPなりのデバッグ方法ってあるの？ 212 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 11:18:24 ] (call/cc (lambda(x) 3))でも3になりますね。 (letcc x 3)　==> (call/cc (lambda(x) 3)) かもしれません。 213 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 11:40:38 ] gaucheは行番号持ってる。が、当てにならん…… 214 名前：デフォルトの名無しさん mailto:sage [2008/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 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 12:01:45 ] さらに追加 (lambda (x) 3) → (lambda . ((x) . (3)))だから マクロのパターンマッチ時には構文とか関係なく リストの置換処理のみ行われる 216 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 12:03:01 ] テンプレートとの対比を考えれば (lambda (x) . (3))と書いた方が適切だったか 217 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 12:26:40 ] >>214 ＞　(letcc var . body) → (letcc . (var . body)) ＞　(letcc x 3) → (letcc . (x . (3 . '()))) 理解できました。（パズルのようでした。。） 基本的な文法とともにSeasonedを進めていきたいと思います。 ありがとうございました。 218 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 12:37:31 ] >>215 >>216 紙に書きながら確認したのですが、確かにbodyが(3)なので (lambda (x) . (3))になります。 . (　は省略できるので(lambda (x) 3)と同義ですね。 (lambda (x) 3) は要素が　lambda、 (x)、 3　のリストということですか。 考え方はC言語のマクロと同じで単にラベル置換するだけでよいと。 スッキリしました。ありがとうございました。 219 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 12:50:33 ] >>213 して、その方法は？ 220 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 13:07:28 ] >>211 Lisperがバグなんて出すわけないじゃん 221 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 14:36:40 ] フムフム本にはそこら辺について書かれてないのかな。 222 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 14:54:29 ] やっぱり宣言的にプログラムを組む事と 関数単位でREPLでテストを繰り返す事に尽きるのかな？ 223 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 14:57:20 ] 短い関数しか書かない！ 224 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 15:48:39 ] ヌクヌク本来たぁ！ 初版第１刷が何部出るか分からなかったから 布教用は買わなかったけど。 225 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 15:53:06 ] プログラミングGauche届いた。cbookにしておいて良かった。 これがヌクヌク本ですか？ 226 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 16:03:18 ] 店頭に並んだかな？ 227 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 16:17:59 ] bookweb.kinokuniya.co.jp/htm/4873113482.html 紀伊国屋にはあるみたい。 228 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 17:04:40 ] フムフム本でもヌクヌク本でも良いけど、カワハギ本とだけは呼ばないでくださいませ。 229 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 17:06:06 ] むしろフムフム本ヌクヌク本と読んでる奴等の方がキモイ件 230 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 17:49:09 ] ブーブー本ならいいのかな？ 231 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 19:25:18 ] 中甲本 232 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 20:12:03 ] Lisp/Schemeの初心者勉強会って需要ある？ とりあえずIRCつかってやってみたいと思ってるんだけど 233 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 20:26:07 ] >>232 ここの人たちは経験豊富だから漏れのような初心者の質問は 申し訳なくて躊躇してしまう。結局答えてもらってるけどｗ。 他言語みたいに初心者スレがあれば相談しやすいんだが。 でも初心者スレに初心者しか集まってもしょうがないか。 分からなかったら聞くという形式がいいな。会社でも 勉強会とかやっても結局あまり意味は無いから。 234 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 20:33:38 ] >>232 IRCってやったことないけど やってみたい 235 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 21:28:16 ] ﾓﾚﾓﾚﾓ 236 名前：232 mailto:sage [2008/03/15(土) 21:34:09 ] いくらか需要があるので irc.scenecritique.com port 6667 チャンネル　#Lisp_Scheme クライアントはcottonあたりが誰でも使いやすいと思います （LisperならEmacsでつないだ方がいいかもしれませんが） なるべくつなぎっぱにしておきますが、サーバメンテナンス後とかは 誰もいない状況になるかもしれません ※IRCはつないだまま離席している人が結構いるので即返答はないことが多いです 237 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 21:42:47 ] Schemeでは手続きっていつコンパイルされるんですか？ lambda式はreadの後、evalの前にコンパイルできるけど その評価された値である手続きはevalより前にはコンパイルできませんよね？ それとも、CLだと「手続きを返す手続きがコンパイルされると、その返される手続きもコンパイルされる」から 「コンパイルされたlambda式は、コンパイルされた手続きを返す」とかになるんでしょうか？ （そもそもCLの#'構文は手続きへと評価される式ではなく、手続きのリテラル表現？） 238 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 21:44:56 ] >>236 文字コードは? 239 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 21:52:20 ] >>237 仕様を満たす限りいつコンパイルしてもよい。コンパイルしなくてもよい。 240 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 22:06:15 ] >>239 すみません、そういう話ですらありませんでした。 勘違いしてました。 237は忘れてくださいorz 241 名前：デフォルトの名無しさん mailto:sage [2008/03/15(土) 22:49:42 ] wide系の#scheme-jpが過疎ってるんだけど、 暇なやつはこっちもつないでみれ どっちかというと雑談メインな気もするが 242 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 10:37:00 ] >>232 Webチャットが嫌でなければここ↓で聞くと良いかも。 www.lingr.com/room/gauche 243 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 13:10:36 ] 尼で"プログラミングGauche"の予約して、確か発送予定が今日ぐらいになってたけど… 今確認したら4/8-4/22とかになってた…。何コレ？初版割当分売切れ？(3/9予約した) 244 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 13:16:02 ] cbookに汁 245 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 13:36:50 ] >244 cbookには品切れって書いてある。すごい人気本だなw とりあえず本屋いってくるよ。 246 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 13:38:11 ] >>243 おれには今尼から到着。注文は１日前の3/8。意外と明日あたりくるかもＹＯ。 247 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 13:46:08 ] (< 入荷数 予約数) だったみたい。キャンセルしちまった。尼の順位が200位以内に入ってたんだけどw 248 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 14:03:28 ] >>247 ありゃま。店頭にダッシュで買いに行かないと一ヶ月待ちかも。 まあ、あせることもないと思うけど。 おれのは修正された版が到着。 初版第１刷ってなってるけどｗ shiroさん、Kahuaチーム、出版社のみなさんご苦労様でした。 とても丁寧な仕事にびっくりです。とても初版第１刷とは思えないです。 出版物って中の人しだいなんだな。 次の版では是非是非コンビネータのネタも入れて欲しいな、このスレ的にはｗ あとチャーチ・ロッサーの定理とかチューリング完全性も触れたらよかったかな。 書かないまでも参考文献の紹介とか書くと初学者が勉強しやすいと思う。 249 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 14:32:08 ] そういう話はPracticalでない本で書くべき とっつきやすい本が欲しいのは同意 250 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 15:17:40 ] karetta.jp/book-cover/programming-gauche#H-1p3ukk3 正誤表更新しました。 速報は以下で。 tudura.kahua.org/view/006056 >>248 コンビネータを入れるとしても実用的な視点が必要でしょうね。 うまい実例を思いついたら入るかも。 251 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 15:43:52 ] >>249-250 コンビネータって実用的な例を紹介するのがネックかもしれませんね。 あくまでもココ最近のこのスレのネタとして流行ってるだけかもしれないしｗ Emacsの設定の話なんかも載ってて初学者に優しい構成なのに参考文献が載ってないのは要改善かな。 ある程度わかってくるとｸﾞｸﾞﾙこともできるけど。現状、最初の言語にSchemeという人が少ないから無問題？ 252 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 16:37:24 ] これからCommonLispかSchemeを始めようかと思ってるんですが、無謀ですか？ (プログラミング経験はほとんど無し) 253 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 16:39:44 ] >>249 同意 >チャーチ・ロッサーの定理とかチューリング完全性 とかは別に他の解説書を見れば良い。実用的なプログラムをSchemeで書く というテーマの本の方がよっぽど希少だし、貴重。 254 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 16:40:49 ] 無謀だが、是非やってみて感想を教えてほしい 255 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 16:41:02 ] そんじゃ、あたいと一緒に逝ってみようか？ 256 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 16:48:04 ] >>252 そんなことないと思いますよ。 自分も単なる趣味としてLisp/Schemeでプログラミングを学び初めてみましたが、 そういう趣向でも楽しめています。 将来的に真っ当なプログラマになろうというのだと、ちょっと違うかもしれませんが…。 257 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 16:57:46 ] 真っ当なプログラマを目指してSchemeから始めてもいいんｼﾞｬﾏｲｶ？ 順序はどうあれ手続き型、関数型、オブジェクト指向、並列型などをどのみち学ぶんだし。 やりたくても高価で手が出なかった時代じゃないし、やる気と興味次第でどれから始めてもおｋ。 258 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 17:05:39 ] 勉強してても、茂木先生の言うフロー状態になかなかなれない。 259 名前：243 mailto:sage [2008/03/16(日) 17:12:23 ] 電話確認して店頭に向かい、無事入手。 自分：「在庫確認よろしいですか？フムフムヌクヌクアプアア…」 店員：「…(プッ」 自分：「い、いや、あの、プログラミング ゴーッシュ、G. A. U. C. H. Eという本ですが」 自分：「あ、ISBN番号は...」 店員：（話を遮り）「オライリーの本ですね。ありますよ（はーと）」 有隣堂++ 260 名前：252 mailto:sage [2008/03/16(日) 17:17:44 ] >>254-257 レスどもです。ちなみに30過ぎのおっさんで、趣味でやろうと思ってます。 Practical Schemeのグレアムの翻訳記事を見て面白そうだと感じました。 先ほど、Gauche本買ってきて読み始めた所ですが、「本書の"主な"対象読者が Schemeをやった事が無いけど、他のプログラミング経験がある人」と 書いてあって、若干出鼻をくじかれた所です。 261 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 17:21:39 ] Gauche本早く読みたいけど、Schemerシリーズがまだ終わってない。 262 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 17:24:23 ] もうひとつの Scheme 入門 www.shido.info/lisp/idx_scm.html が入門者にはおすすめできると思う 263 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 17:25:06 ] うわあ、結構正誤あるなあ。もう少し待てばよかったかな。 264 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 17:40:46 ] 本屋に予約してあったGauche本を取りに行ってきた。 丁寧に書いてあるみたいだね。 265 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 18:04:12 ] Windowsユーザーだからなぁ 266 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 18:05:44 ] Gauche本の「18章　構文の拡張」と「21章　デバッグ」、いままで欲しかった内容で感謝感激。 「18章　構文の拡張」はグレアムの「On Lisp」を考えて記述してあるので、読後On Lispへ進むこともできる。 267 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 18:16:05 ] >>266 早いなオイ 268 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 18:23:00 ] >>265 本見たら、制限あるけどwinでも動くってよ 269 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 18:25:33 ] >>260 （・∀・）人（・∀・）ﾅｶｰﾏ 俺もそんな感じで最近プログラミングに挑戦してみようと思って、まずは SICPをのろのろ読んでるところです。 学生時代に lambda calculi やら computability theory やらを少しかじってた ので、Lisp系がとっつきやすいかな、と思ってSchemeに挑戦中なのですが、 そのほかのプログラミング言語の知識がほぼ皆無なので、Gauche本はもう少し 鍛えてからにしようかと思っています。 270 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 18:27:53 ] >265 前スレにwin神がうｐしたﾊﾞｲﾅﾘがある 271 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 18:29:08 ] >>268 えっ、解説環境はLinuxなの？シーキビだな。 この間うpしてくれたWindows用のGauche使おうと 思ってたのに。 272 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 18:29:30 ] >269 漏れもSICP絶賛手間取り中なので、Gauche本読みはだいぶ遅れそう orz 273 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 18:30:27 ] >>265 MzSchemeやらないか いまFFIのことを調べたりしてるんだが、意外と簡単そうなので 自分で好きなように拡張できると思う 274 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 18:35:30 ] >>269>>272 並列して読んでもいいんじゃないか? Gauche本の方は電車は風呂の中でも読める内容だろうし。 275 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 18:43:53 ] >>269 自分は逆にSICP読んでもチンプンカンプンで途中で挫折したので、 実践的なCauche本読んでからSICPに移ろうと思ってます。 LLかじってLispにたどり着いた感じ。 276 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 18:53:36 ] Gauche本ってScheme版のRails本みたいなのかと思ってたけど、 どっちかって言うとThe Ruby Wayに近い感じだった。 入門者は「第2部　Gaucheの基礎練習」をしっかり読めばSICPとかに進めます。 この本の売りはなんと言っても第3部の実用篇でしょう。 スクリプト言語としての特徴を詳説してます。 CGIあり、データーベースありで、Kahuaの基礎も学べます。 277 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 19:00:08 ] >>270 公式ページにもWinバイナリ一応あるがな。(´・ω・｀) practical-scheme.net/gauche/download-j.html 前スレで上がってたのはslibとかwilikiとか同梱してある分だけ便利だけど。 ↓に更にglintも同梱したのがおいてあるぞ。 saito.s4.xrea.com/wiliki.scm?Gauche 278 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 19:05:28 ] >>276 第3部はおもしろいな。15章でSXMLの説明があるのにはたまげた。 279 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 19:12:41 ] 結局、活用範囲はWebかよ。。 280 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 19:16:00 ] なぜかMacのEmacsの写真ｗ 281 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 19:18:07 ] WebアプリとただのWebサイト構築は違うけどね。 282 名前：デフォルトの名無しさん [2008/03/16(日) 19:29:35 ] .emacsの設定をプログラミングGaucheのサポートサイトからコピペした。 でも日本語が文字化け。 gosh -V Gauche scheme interpreter, version 0.8.13 [utf-8,pthreads] (modify-coding-system-alist 'process "gosh" '(utf-8 . utf-8)) でダメだったので、以下も追加した。 (set-terminal-coding-system 'utf-8) (set-keyboard-coding-system 'utf-8) (set-buffer-file-coding-system 'utf-8) (setq default-buffer-file-coding-system 'utf-8) それでも、run-schemeでは文字化けします。 どうすれば日本語表記出来ますか? 283 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 19:38:32 ] 日本語でおk 284 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 19:42:46 ] LispBox みたいな SchemeBox あるいは GaucheBox が必要だな。 Emacs とかライブラリとか全部込み込みのヤツ。 285 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 19:58:00 ] 全部込み込みのパソコンにはWindowsが入ってるんだけどね。 286 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 20:05:52 ] Meとか98とか95とかNTでなければ coLinuxを使えばいいじゃない 287 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 20:20:07 ] おばかさん 288 名前：デフォルトの名無しさん [2008/03/16(日) 21:01:28 ] ２８２です。 解決策が見つからなければ、euc-jpのエンコードで再コンパイル→インストールしてGaucheを使います。 289 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 21:03:04 ] (person=? >>249 >>253) => #t 290 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 21:07:24 ] VMWareでFedora Core4でも大丈夫？ 291 名前：デフォルトの名無しさん [2008/03/16(日) 21:11:16 ] ２８２・２８８です。 なんか分かってきました。 OSがVine Linuxだからのような気がしてきました。 他のディストリビューションならＯＫなのかな？ 292 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 21:15:01 ] >>291 ttp://softsupport.seesaa.net/article/25598905.html Emacs21とかでUTF-8＋日本語扱うのに苦労したって人のブログ。 参考になるかわからんが。 たぶん、ディストリビューションの問題じゃないと思われ。 293 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 21:15:05 ] >>291 emacsがutf-8のBOM付きと無しの両方をちゃんと扱えるか確認してみろ。 294 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 21:17:21 ] BOM付きが扱えないだけならemacsの機能拡張に必要なものだけ落としてくればいいね。 295 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 21:17:40 ] VirtualBox+Ubuntuでmake&test通って問題なくインストールできた。 しかし肝心の本が届かない。 296 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 21:24:00 ] Gauche本5章に「5.2 マルチバイト文字の利用」とあるけど、 rubyのRSpecみたくプログラムから切り離すのが主流になってるから、 ちょっと逆行してるなぁ。本の最初の方で紹介するのｲｸﾅｲ。 297 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 21:35:28 ] 俺も読み初めたばっかりだが、貴方のいう事がよくわからん。 RSpecってナニ？マルチバイト文字の利用をプログラムから切り離すって？ 逆行とは？ Ruby ではマルチバイトの利用がもっと便利ってこと？ 298 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 21:42:30 ] >>297 わからんならわからんでええやん。逝ってよし。 299 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 21:44:34 ] 「逝ってよし」なんてすごい久しぶりに見た 年代モノだよね 300 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 21:52:11 ] >>299 激同。最近はｸﾞｸﾞﾚが流行中ｗ そのうちgoogleもなくなるんだろうか？ 301 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 21:54:22 ] RSpecはBDDなテスト用フレームワーク。 故に>>296はイミフ。 Rubyが文字列の扱いがCSIなことを言いたいんだろうか? 302 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 21:57:34 ] >>301 どこが「故に」かｵﾏｴがイミフだｗ 303 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 22:09:33 ] rubyで日本語を切り離すのGetText使うかな？まあ、スレちかな。 304 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 22:30:52 ] RSpecとマルチバイト文字か…。本人と>>302には理解できる関係があるのかな。 とりあえず>>302に説明希望。 305 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 22:31:13 ] ttp://blog.livedoor.jp/dankogai/archives/50737353.html あたりを読んでみるとrubyも昔のperlみたくnkfでやってる。 でも特定の条件では上手く動かないらしい。 もしかするとこの辺でRSpecとか？ 306 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 22:33:06 ] >>304 第三者のオレになんで説明希望するの？>>301だろｗ 307 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 22:35:03 ] もういいって。よそでやれよ。 308 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 22:42:09 ] ↑ と、知ったかぶって引っ込みのつかなくなった>>297 = >>301が言っておりますｗ 309 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 22:55:01 ] ２ちゃんねる的には、いいふいんきですね 310 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 23:05:34 ] dankogaiは1時間読んでSICPの副読本に最適と書いてるが。 311 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 23:27:45 ] 　　 _,,....,,_　 ＿人人人人人人人人人人人人人人人＿ -''":::::::::::::｀''＞　　　ゆっくりしていってね！！！　　　＜ ヽ:::::::::::::::::::::￣^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^￣ 　|::::::;ノ´￣＼:::::::::::＼_,. -‐ｧ　　　　　＿_　　 _____　　 ＿_____ 　|::::ﾉ　　　ヽ､ヽr-r'"´　　（.__　　　　,´　_,, '-´￣￣｀-ゝ 、_ イ、 _,.!イ_　　_,.ﾍｰｧ'二ﾊ二ヽ､へ,_7　　　'r ´　　　　　　　　　　ヽ、ﾝ、 ::::::rｰ''7ｺ-‐'"´　 　 ;　 ',　｀ヽ/｀7　,'＝=─-　　　 　 -─=＝',　i r-'ｧ'"´/　 /!　ﾊ 　ハ　 !　　iヾ_ﾉ　i　ｲ　iゝ、ｲ人レ／_ルヽｲ i　| !イ´ ,' |　/__,.!/　V　､!__ﾊ　 ,'　,ゝ　ﾚﾘｲi (ﾋ_] 　　 　ﾋ_ﾝ ).| .|、i .|| `! 　!/ﾚi'　(ﾋ_] 　　 　ﾋ_ﾝ ﾚ'i　ﾉ　　　!Y!""　 ,＿__, 　 "" 「 !ﾉ i　| ,'　 ﾉ 　 !'"　 　 ,＿__,　 "' i .ﾚ'　　　　L.',.　 　ヽ _ﾝ　　　　L」 ﾉ| .| 　（　　,ﾊ　　　　ヽ _ﾝ　 　人! 　　　　 | ||ヽ、　　　　　　 ,ｲ| ||ｲ| / ,.ﾍ,）､　　）＞,､ _____,　,.イ　 ハ　　　　レ ル｀ ー--─ ´ルﾚ　ﾚ´ 312 名前：デフォルトの名無しさん mailto:sage [2008/03/16(日) 23:57:49 ] とりあえずインストールはできた。VMware Fedora Core4 313 名前：デフォルトの名無しさん mailto:sage [2008/03/17(月) 01:13:55 ] >>291 > 他のディストリビューションならＯＫなのかな？ fedora 8だけど問題ないよ． "GNU Emacs 22.1.2 (i686-pc-linux-gnu, GTK+ Version 2.12.3) gosh -V Gauche scheme interpreter, version 0.8.13 [utf-8,pthreads] gosh> (display "日本語表示テストです．") 日本語表示テストです．#<undef> gosh> (string-ref "Scheme処理系" 8) #\系 gosh> (list->string (reverse (string->list "アルゴリズム"))) "ムズリゴルア" gosh> 314 名前：デフォルトの名無しさん mailto:sage [2008/03/17(月) 02:36:32 ] すげえ関数考えたぞ！ (omaemona itteyoshi) 315 名前：デフォルトの名無しさん mailto:sage [2008/03/17(月) 04:58:44 ] 式ですやん 316 名前：デフォルトの名無しさん mailto:sage [2008/03/17(月) 07:33:14 ] Emacs22はUTF-8に対応してるけど Emacs21は対応してないってだけでしょ Mule-UCSを入れないと 317 名前：デフォルトの名無しさん mailto:sage [2008/03/17(月) 08:15:19 ] というか、22以下は全部Mule-UCS入れた方がいいと思う。 入れるとビックリするほど遅いが。

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef