Lisp Scheme Part20

□過去スレ□

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

□参考リンク□

日本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/

□仕様関係□

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

□SICP関係□

SICP(英語)
ttp://mitpress.mit.edu/sicp/full-text/book/book.html
「計算機プログラムの構造と解釈」の原書です。 全てオンラインで読めます。

計算機プログラムの構造と解釈 第二版 (snip) に関連するホームページ
ttp://sicp.ipl.t.u-tokyo.ac.jp/

□wikipedia関連□

http://ja.wikipedia.org/wiki/LISP
http://ja.wikipedia.org/wiki/Common_Lisp
http://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/

□その他□ (便利な情報リソース）

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/

□その他その２□

独習 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

□実装□

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/

□実装その２□

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/

□イベント□

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

□書籍□

＜プログラミング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/

□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/

tspl抜けてんぞ

>>1乙

http://pc11.2ch.net/test/read.cgi/tech/1200237296/998

＞define名が無くても出来るってことですね。とは言っても名前空間を汚さない以外に
＞何かメリットはないものでしょうか、という疑問が。

その答えは "To Mock a Mockingbird " でどうぞ。

Yコンビネータだけじゃなく他の色々なコンビネータがつかえると想像してミレ。
プログラミングの幅が広がると気がつかんか？

なんと副作用がないのだがSeasoned Schemerを読まないとご利益は理解できない件。

前スレ

>>997
ありがとうございます。
てんこもりですね。損した気分。

>>999
Y-combinator再考してみます。

>>14
実は昨日届いたんです。ウヒヒ。
パズルとかゲームとか得意ではないんですが
読んで見ます。それにしても小さい本ですね。

Seasoned Schemer⇒To Mock a Mockingbird
この順序で読むべし。間を空けるとSeasonedを読むのが辛くなる。

>>15
コンビネータというからには何かを結びつけて使うんですよね、きっと。
何かの計算結果同士を結びつける。C++のbindみたいな。

>>16
8章までの知識があれば読めるみたいなこと書いてあったんで
難しい9,10章飛ばして突入したら、Y-combinatorが出てきたもんで
慌てて戻った次第です。

>>18
なるほど、そうですか。Seasonedは11章から始まってるので
二冊で一冊みたいなもんですね。確かにLittleの内容を前提
としてるので忘れないうちに行ってみます。

To Mock a Mockingbird はP73から読み始める。M(Mockingbirdというコンビネータ)がいきなり登場。
こいつがとても重要。P96の "Bluebird and Mockingbird" で最初の秘密が明らかになる。

P128からの "A Gallery of Sage Birds" ではいろいろなＹコンビネータ(この本ではΘ)が登場する。
P193から不動点定理とＹコンビネータの関係の説明がある。ここからいよいよコンビネータが明かされ始める。

これ以上はネタばれなのでやめておく。お楽しみに。

＞コンビネータというからには何かを結びつけて使うんですよね、きっと。

そうなのじゃ。結びつきこそが鳥達の住む森を生み出しておる。
集積回路のコンピュータ然り、ＤＮＡコンピュータ然り、なのじゃ。
そして、人と人の結びつきもまた然りじゃのう。
君はまだまだ若いから、この意味がわかるかのう？

>>21
大変参考になります。
コンビネータという単語が出てこないので？と思ってました。

>>22
右脳が試されてる気が。。
C++のほうが仕様は膨大なのに簡単
に思える今日この頃。

＞そうなのじゃ。結びつきこそが鳥達の住む森を生み出しておる。

P167のMaster Forestじゃ。

＞右脳が試されてる気が。。

読み終わった頃には左脳が試されてると確信する。
そしてプログラムの存在をコンピュータの画面以外でも感じるようになる。
そのときプログラマーとして実世界を相手に仕事をする旅立ちのときがやってくる。
さあ、勇者よ！行くがよい！世界が待っている！

たかがコンビネータで本一冊書けるってすげーな
R6RSなんて187ページにぎゅうぎゅう詰めですよ

お役立ちリンク：Little Schemer

Daniel P. Friedman
http://www.cs.indiana.edu/~dfried/

Matthias Felleisen
http://www.ccs.neu.edu/home/matthias/

Little Schemerのサポートページ（誤植・問題集など）
http://www.ccs.neu.edu/home/matthias/BTLS/

http://pc11.2ch.net/test/read.cgi/tech/1200237296/995
＞計算論　高橋正子って予備知識必要？

かなり必要。定理、証明のスタイル。数学書みたいな感じ。

>>25
＞たかがコンビネータで本一冊書けるってすげーな

書けなかったからパズルと詰め合わせの件。

くわしく

>>25
コンビネーターはそれなりに研究の蓄積があるから、
さすがに「たかが」ということはないんじゃないかな。

1972年までの主要な結果をまとめた Curry & Feys のコンビネーター本は
全2冊でたしか合計900頁以上あったはず。

>>29
全２５章のうち、出だしの６章はコンビネータとは関係ない別の話。
「美女と野獣（Lady or Tiger）」と出だしの６章は関係がある。

７章から２５章まで読むとチューリング完全とは何かがわかる。
チューリング完全の範囲でコンビネータでプログラムできる、論理を記述できる。
実はこの本、論理を記述できるようになる２５章から出だしの６章に戻り論理パズルを解くという循環構造になっている希ガス。
考えすぎか？

BarendregtのThe Lambda Calculusは621ページあるな。

>>31
ナール、確かに再びこの森に戻ってくるとか言ってたｼﾞｬﾏｲｶ。

>>31
ありがとう

>>30
うーん
ぶっちゃけ、言語として見ると「たかが」だと思う。
数学の話になるとLispと関係なくなる感じがする。

・グラフリダクションを使った関数型言語の実装
SKIコンビネータ
スーパーコンビネータ
・コンビネータパーザ
Parsec: Haskellのパーザ記述ライブラリ
http://legacy.cs.uu.nl/daan/download/parsec/parsec.html
みたいな応用もあるよ。
スーパーコンビネータはSimon Peyton Johnの論文と書籍が有名。

あ、PLTのcombinator-parser書き忘れちゃった。
http://pre.plt-scheme.org/plt/collects/combinator-parser/doc.txt

>>34
それは無知すぎる。
形なしラムダ算法はLispやSchemeだし、型付ラムダ算法とかはML系の先取り。
ポリモーフィックラムダ算法はオブジェクト指向だし、遅延ラムダ算法はHaskellみたいなことやってる。
つまりコンビネータとSchemeを効果的に組み合わせるとお手軽にそれらが実現できるﾊｽﾞｗ
素のSchemeが全てじゃないし、コンビネータは小道具としても強力。

>>37
> それは無知すぎる。

なんでそんな興奮してるの？
The Little Schemerで勉強始めたばかりの人に…

ｽｰﾊﾟｰｺﾝﾋﾞﾈｰﾀをｸﾞｸﾞﾙと？

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

愛するものを汚されたと感じたのでは？ｗ

　　　　　　　　　　　　　　　　　lambda
　　　　　　　　　　　　　　　　　＿＿__
　　　　　　　　　　　　　　 ＿／　＼　 ＼＿
　　　　　　　　　　　　（(／＿＿＿)）＿＿＿＼)）
　　　　　　　　　　　　　　| |!!!　 !!| | |!!!　!!!　!!!| |
　　　　　　　　　　　　　　| |;;;; ;;;;| | |;;;; ;;;; ;;;;| |
　　　　　　　　　　　　　　| |;;;; ;;;;| | |;;;; ;;;; ;;;;| |
　　Λロ二二ロ二Λ二Λ二Λ二Λ二二二二Λ二Λ二Λ二Λ二l
　 （＾×＾∩　 ∩（´∀｀　）　（・∀・　）　　　∩（ΦλΦ ）（ー人ー ）
┌〔〔　〔〔V）　 ヽ〔〔　〔〔　つ〔〔　〔〔 つ　　　ヽ〔〔Э〔〔 つ〔〔　〔〔　つ
（＿ノ〈　||_|　　（＿ノ〈　||_|（＿ﾉ〈 ||_|　　　　（＿ノ〈　||_|（＿ﾉ〈　||_|
　　　（＿_）　　　　　（＿_）　　　（＿_）　　　　　　 （＿_）　　　（＿_）

　　 ∧∧
　　 /⌒ヽ)
　　i三　∪　たかが....
　〜三　|
　　(/~∪
　　三三
　三三
三三　

　　　　　　　　　　　　　.,.．-──- ､　　　　　　　　　　　　　　　ニ/ニ
　　 　　　　　　　　 r '´. : : : : : : : : : :ヽ　　　　　　　　　　　　　　 {＿
　　ｰ亠ｰ　　　　 /.: : : : : : : : : : : : : :: ヽ 　　　　　　　 　　　　　　　ヽ
　　　二　　　 　 ,!::: : : : : ,-…-…-ミ:: : :',　　　　　　　　 　　　　　⌒）
　　 ［￣]　　　　{:: : : : : :i　 ,;ノ;´:`ゞ､i: : :.:}　 　∩─ｰ､　　　 　　　／
　　　￣　　　 　.{:: : : : : :|　 ｪｪ;;;;;;;ｪｪ|: : : }　／　●　　 ｀ヽ　　　　―ー
. 　 　 つ 　 　　 { : : : : ::|　　　　,.、 .| : : :;!/　　(　●　 ● |つ 　 ,-亠ー
　　　_＿　　　　　ヾ: :: : :i 　 r‐-ﾆ┐| : : :ﾉ|　　／(入__ノ 　ミ 　 /　廿
　　　 ／　　　　　　 ゞイ! 　 ヽ二ﾞノ ｲゞ,.‐ｒニ(＿／　　∪ノ　　/　 .又
　　　（＿,　　　　　　／￣ ＼`ｰ一'／　- -l＼＿＿＿ノ_
　　 ＿_　　　 　　 ／ ／⌒ヽ ＼//ヽ　　二}　　　　＼_
　　 _／　　　　　/　 /　／　 ＼//＼　ヽ／　　　　　　:、
　 （ﾉ￣`メ、　　|　 |／　　／　｀´ヽ　＼/i　　　　　　 　＼
　　　_＿　　　　|　　＼／　　／ｌヽ　ヽ /.|　　　　　　　i' 　i
　　　 ／　　　　|　　　 ＼／　/|　ヽ /　 |　　　　　　　| 　|
　　　´⌒)　　　 |　　　　　＼/　|　 /　　 |　　　　　　　| 　|
　　　　-' 　 　　 |　　　　　　`ー-ノ i　 　 |　　　　　　 |　 |

　　　 　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　|　　 |
　　|　 ／.＿＿';＿..ﾝ､!　　 ! |　 ／.＿＿';＿..ﾝ､!　　 !|　 ／.＿＿';＿..ﾝ､!　　 !
　 /　/＜二>　 <二>!ﾞ、　//　/＜二>　 <二>!ﾞ、　//　/＜二>　 <二>!ﾞ、　/
　/／--─'( _●_)`ｰミ ／./／--─'( _●_)`ｰミ ／ /／--─'( _●_)`ｰミ ／
<-''彡､　　　|∪|　　／　<-''彡､　　　|∪|　　／ 　<-''彡､　　　|∪|　　／
　/　＿＿　 ヽノ　/　　 　 /　＿＿　 ヽノ　/　　　　/　＿＿　 ヽノ　/
　(＿＿＿）　　　/　　　　 (＿＿＿）　　　/　　 　　(＿＿＿）　　　/

　　　　　　　　　　　 　 -―￣￣ ｀ ―-- 　_
　　　　　　　　　　,　´ 　　　　　　　　,　　 　~　￣､"ー ､
　　　　　　　　_／　　　　　　　　　　/　,r　 　 _　　　ヽ ノ
　　　　　　 , ´　　　　　　　　　　　/　/　　　 ● 　　i"
　　　　,／　　 ,|　　　　　　 　 　 /　/ ＿i⌒ ｌ|　i　　|
　　　と,-‐ ´￣　　　　　　　 　 /　/ （⊂ ● j'__　 　|
　　(´＿＿　　　､　　　　　　　/　/ 　 ￣!,__,u● 　　|
　　　　　 ￣￣｀ヾ＿　　　　　し 　 　 　　u　l|　i　／ヽ､
　　　　　　　 　 ,＿ 　＼　　　　　　　　　　　ﾉ(`'＿＿ノ
　　　　　　　　(＿_ ￣~"　＿＿ , --‐一~⊂　　⊃＿
　　　　　　　　　　￣￣￣　　　　　　⊂￣　　　　＿＿⊃
　　　　　　　　　　　　　　　　　　　⊂＿＿＿＿＿⊃

図星だったぽい・・・

何このスレ(AA略

>>39
この辺でどうよ?
http://www.cse.iitb.ac.in/~as/fpcourse/lambda-lifting.ps.gz
http://citeseer.ist.psu.edu/cache/papers/cs/760/ftp:zSzzSzftp.dcs.gla.ac.ukzSzpubzSzglasgow-fpzSzauthorszSzJim_MattsonzSzspec-eval-thesis.pdf/mattson93effective.pdf
プログラムを独自コンビネータの組み合わせに変換します。
その自由変数消去のアルゴリズムがlambda-lifting。

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

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

>>49
とりあえず見てみます。
あれ読んで理解したら次に計算論入門か計算論読めますか？

>>48
その本は知らないんだけど、ラムダ計算とその意味論に関してだったら、
横内寛文『プログラム意味論』が丁寧かつわかりやすくてよかったですよ。

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

軽装で登山は出来ない。予備知識に何が必要かわかったら読むべき本も自ずと出てくる。

実際的なことが好みのようなので、↓にしておけば？
井田哲雄「プログラミング言語の新潮流」
http://www.amazon.co.jp/dp/4320023773/

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

>>51,53
どうもありがとう。
とりあえず探して見てみます。
初心者独学なんで情報代数の本は役立ちそうですね。
モッキンバードに書か

途切れた。
モッキンバードに書かれてるのと同程度の知識が得られればいいな、
といういい加減な目標です。

お前らあんまり難しいことばかり話してないで
ttp://d.hatena.ne.jp/koguro/20080309/1205012807
でも観て笑ってろよ

glintﾜﾗﾀw
あれいいなぁ

初心者・独学を強調しすぎる奴って、一生そのままだよな。
いつまでたっても助けてもらわないと一歩も前に進めない奴。

人と議論したほうが伸びる。

この業界、いるんだよな>>58みたいな偏屈な奴。

そりゃそうだ

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


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

>>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　 ／
　　　　　　　　　　　　　　　　　　　　　　　　　　 |　|　 |
　　　　　　　　　　　　　　　　　　　　　　　　　　 |　|　 |
　　　　　　　　　　　　　　　　　　　　　　　　　 　 `ー'´

　　 　 　 　 ／￣￣￣ ＼
　　　　　 ／　　 :::::＼:::／＼　　
　　 　 ／　　 　｡<一>:::::<ー>。　 　<<58
　　 　 |　　　　.:::｡ﾟ~（__人__）~ﾟj　　　　　　
　　 　 ＼、　　　゜　｀ ⌒´,;／゜
　　　　／　 ⌒ヽﾟ 　'"'"´(;ﾟ　｡　　
　　　/　,＿ ＼　＼／＼ ＼
　 　 と_＿＿）_ヽ＿つ_;_ヾ_つ.;.

もうAAは勘弁してくださいよw
Steele先生のHistory of Schemeあげるから。
つ http://research.sun.com/projects/plrg/JAOO-SchemeHistory-2006public.pdf
Lisp, Scheme分かる人はp.18から読んでください。

わたし女だけどスレッドすごく荒れちゃって読みにくいから。

↓ここでマンコのＡＡ登場↓

(i)
=> #<Manko>

>>66
schemeやる女
物理科に来る女のように変人

>>69
でも意外と多い

>>70
キモイ率95％

男のキモい率とそんな変わらんな

ブス率高し

>>58
すごいな！
2chの自称初心者を全員追跡調査したんだ？
一人一人進歩無しに死んだところまでちゃんと確かめたんだよな？

ええ、確かめましたが何か？＾＾

>74
知るかバーか！！てめえで探せっての！！変態野郎が！！

さすがLisperだな。神レベルだわ。

　　　　　　　　　　　　　　　　　　／　￣￣￣￣＼
　　　　　　　　　　　　　　　　　/　　　　　　　　　　ヽ
　　　　　　　　　　　　　　　　 /　　　　　　　　　　　ヽ
　　　　　　　　　　　　　　　　| 人_____________　　　 　 |
　　　　　　　　　　　　　　　 /　 ─　　　─　|　 　　 .| 　　それがLisperクオリティ
　　　　　　　 　 　 　 　 　 /│（●）　 （●） /　　　/|
　　　　　____________　　 　/ .│　（__人__）　./　　／　|
　　　　 ＼〜〜 ／　　　|__ 　＼　｀⌒ ´　/__／___ ﾉ
　　　　　　＼ ／___　　　　　　　(＼　　　 　 /　　)―――
　　 　　　( つ(__/　＼　　 　　 （　　|　　　／　　　）
　　　　　　(__ﾌ|　　　　＼　　/　（　 |　　/　　　　）
　　　 　 ⊂―||―、　　　|　/

　　　　　　　　　　　　　r y､
　　　　　　　　　　　　 / / }
　　　　　　　　　　　_/ノ.. /、
　　　　　　　　　　 /　 < 　 }
　 　 　 ry､ 　　　 ｛ｋ＿　_/`;,　　ﾉﾉ　ﾊﾟﾝﾊﾟﾝ
　　　 / / } 　　　　　;'　　　　 `i､　
　　 _/ノ../、　　　＿/ 入/ /　　 ｀ヽ,　ﾉﾉ
　 /　r;ｧ 　}''i"￣.　 ￣r'_ノ"'ヽ.i 　　）　―☆
　｛ｋ＿　_/,,.'　　;.　 :.　　　　　 l､ 　ﾉ　　
　　　 ＼　｀ 　､　　,i. 　　　.:, :, ' / /　＼
　　　　 ,;ゝr;,;_二∠r;,_ｪ=-ｰ'" r,_,/　　　☆

　　　　ｾｯｸｽｩ〜　∧＿∧　ﾊｧﾊｧ…
　　　　　　　　　　（´Д｀ ；）
　　　　　　　　　　　　（￣￣￣￣┴-
　　　　　　　　　　　　 | 　（ 　　　*　 ；）
　　　　　　　　　　　　/　 /　　　∧ 　　＼
　　　　　　　　　 　　/　/　　　/ Ｕ＼　　　＼ 　　　　　　　　　　　　　　　　　ｷﾓｲﾖｰ
　　　　　　　　　　　/　/　（￣）　　|　|＼ 　（￣）　　　　　　　　　　（（（ ））） 　
　　　　　　　　　　/　（　ノ　 （　 　|　| 　＼ ﾉ　（ 　　　　　　〜　　（；´Д｀）
　　　　　　　　 ⊂- ┘（　　　 ） └--┘ （　 　　） 　　　　〜　　 / つ１ _つ
　　　　　　　　　　　　 ＵＵＵＵ　　　　　　ＵＵＵＵ 　　　　　　 　人 　Ｙ
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　し'（＿）

>>58みたいに荒らしになる奴は放っておけよ

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

　　 ∩＿＿＿∩
　　 | ノ　　　　　 ヽ/⌒)　あばばばばばば
　 /⌒) (ﾟ)　　　(ﾟ)　|　.|
　/　/　 　( _●_)　 ミ/　　　　∩―−、
.（　　ヽ　　|∪|　　／ 　　　／　(ﾟ)　､_ ｀ヽ
　＼　　　 ヽノ　/ 　　　 　/　　(　●　 (ﾟ) |つ
　 /　　　　　　/　　 　　　|　／(入__ノ 　 ミ　　　あばばっあびゃばびゃばば
　|　　　　　　 / 　　 　　　､　(＿／　　　 ノ
　|　　／＼　＼ 　　 　　　＼＿＿＿　ノﾞ ─ｰ
　|　/　　　 )　 )　　　　　　　＼ 　　　　　　＿
　∪　　　 （　 ＼　　　　　　　　＼　　　　　＼
　　　　　　 ＼＿)

PostScriptで書いたLispﾜﾛﾀ
http://blog.bugyo.tk/lyrical/2008/01/_o_lisppostscriptlisp.html

ttp://mamono.2ch.net/test/read.cgi/newsplus/1205223290/l50
やる夫がcommonlisperになりschemeをdisるようになるまでを誰か作ってくれ

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

>>85
「やっぱりそれなりにLisp/Schemeの背景について知らないと
面白いAAにもならないから難しいのでは？
ただ単にクマのテンプレ貼られてもなあ」
というのは議論の余地のない given な事実として淀みなく会話が流れる、というのが一般的です。

零細企業に勤めてる人いる？いないか、ハイレベル多そうだからな。

いや、大企業のばりばりLisperの方がレアなんじゃないか？www

　　　　　　　　 ／￣＼
　　　　　　　　|　　　 　|
　　　 　　　　　＼＿／
　　　　　　　　　　|
　　　　　 　／ ￣ ￣　＼
　　　　　／　　＼　／　　＼ 　　　　　　>>87
　　　 ／　　 ⌒　　　⌒ 　　＼　　　　　　よくぞ逝ってくれた
　　　 |　　　　（__人__）　　 　　|　　　　　　褒美としてＬｉｓｐをＡＡで語る権利をやる
　　　 ＼　　　 ｀ ⌒´　　　　／　　　☆
　　　　/ヽ､--ー､＿＿,-‐´　＼─／
　　 ／　> 　　ヽ▼●▼<＼　　||ｰ､.
　 / ヽ､　　　＼ i　|｡|　|/　 ヽ　(ニ､｀ヽ.
　.l　　　ヽ 　　　 l　|｡|　| ｒ-､y　｀ﾆ　 ﾉ ＼
　l　　　　 |　　 　|ー─ | ￣ l 　　｀~ヽ＿ノ＿＿＿_
　　　　／￣￣￣￣ヽ-'ヽ--'　　／　 Ｌ ｉ ｓ ｐ 　 ／|
　　　.|￣￣￣￣￣￣|／|　　　 |￣￣￣￣￣￣|／| ＿＿＿＿＿＿
／￣Ｌ ｉ ｓ ｐ ／|　￣|__」／_ Ｌ ｉ ｓ ｐ 　　／|￣|__,」＿＿_　　　　／|
|￣￣￣￣￣|／Ｌ ｉ ｓ ｐ ￣／￣￣￣￣|／ Ｌ ｉ ｓ ｐ ／|　　／　.|
|￣￣￣￣￣|￣￣￣￣￣|／l￣￣￣￣|￣￣￣￣￣|／|　／
|￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣|

大企業ならまだLisperいるんじゃない? 新日鉄とか。

リクナビにLisper募集してる会社がのってるな

零細企業とか大企業とかいう発想が古くさい

大企業でLispというと竹内先生の古巣か？

公社崩れの会社だな

例のGauche本、Oreillyに直接注文してたら今日もう着いた。
(http://www.oreilly.co.jp/books/9784873113487/)
3/14発売予定じゃなかったっけ？
先走ったのはO'reilly Japanか佐川急便か？

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

>>96
正誤表をどうぞ。
http://karetta.jp/book-cover/programming-gauche#H-1p3ukk3

>97
さっそくサポート有難うございます。

>>91
そこにはいないハズ。

>>96
マジかよ。アマゾンにしちまったよ。

>96
奥付張り紙してある？

>100
フッフッフ、300円余分に支払ったおかげだ（でも読むのはゆっくり）。

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

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が二つ必要なのか理解できません
どなたかご教示願います

>102
それは当たりですね ♥

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

>104
これって当たりなのｗ？

>>103
multirember-fは引数（この場合の引数は関数test?）を一つとり
関数を返す関数。戻り値の関数は、引数を二つ（aとlat）とる関数。
P127の上から5番目のパラグラフを復習。

まずはご苦労。>gauche本の中の人達。

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

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

黒田氏がR6RSについてコメントしてますね。
ttp://cl-www.msi.co.jp/solutions/knowledge/lisp-world/articles/three-dogmas-of-scheme

その記事の表示的意味論うんぬんの部分に対する住井さんのコメント。
ttp://d.hatena.ne.jp/sumii/20080311/p2

黒板は出てこないのか。

Amazonを使ってる方へ

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

祭り中？
【祭】Amazonウィッシュリストで個人情報ダダ漏れ中★6
http://namidame.2ch.net/test/read.cgi/news/1205262805/

>>107
> なんでネット公開止めたん？
契約書に「公開するな」的な一文がある。
オーム社なら(On Lispのように)公開出来たかも知れん

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

>>108
最初の文書酷いなあ。

むしろ最後の方の議論のスタイル云々が酷い

仕様書を書かずにコードを書くスタイルを叩いてるのはいつものことでしょ

>>108
突っ込みどころは多い（映画館の喩えはいかがなものかと思う）が、言いたいことは理解できる。

>>107
想像だけど、ネットで公開できなくなるのは本になることの代償じゃないかな。
出版社はボランティアじゃないからね。

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

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

正確には著者と出版社が話し合って決めることだな

>102
献本用に刷ったのにミスプリがあったらしい。
先日のgauche.nightで販売されたのもコレ。
内容は市販されるものと同一のはず。

>>118
ブベベベベ

Little読んだ程度の漏れでも読めるかな。

読むな。書け。

>>116
そりゃ、自分がその本を持っている前提ならそうかもしれないけど、
本が入手不可能でネットにもリソースなかったりしたら、ものすごく困る。

>>122
「本が入手不可能」って状況がよくわからんけど、絶版になればふつう版権は
著者に戻される。著者が望めば公開可能。

理屈ではそうなんだが、在庫なし再販未定≠絶版なのが面倒なところ。

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

注)ここは日本です。

glintオモスレー

letrec
これは何と読めばいいですか？
レトレックでOK？

桶

ども

>>127-128
へぇ。letrecっておけって読むんだ。なんか由来のある当て字？

いや、桶をレトレックって読むんだよ。

なぜか「バルカン星人を舐めるなよ」と書きたくてらまらない。

ふぉっふぉっふぉ

ジュンク堂いったひといる？

↑名前欄誤爆

>>133
それバルタン

> 誤爆
それバクダン

|
|
|⌒彡
|冫、）
|` ／　・・・
| /
|/
|

|
|
|
| 彡ｻｯ
|
|
|
|

ものまね鳥ゲット

店頭には並んでるの？

並んでないよ

オライリー直販だけか
まだseasonedやってるからいいけど

Karettaの立ち読み版って
書籍発売日の明日以降はどうなるんでしょう？
書籍と立ち読み版はガラっと違うらしいし
存続でしょうか？

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

>>145
http://community.schemewiki.org/?seasoned-schemer

>>145
call/cc

call/cc = call-with-curent-continuation
↓
letcc

×　call-with-curent-continuation

○　call-with-current-continuation

(define call/cc call-with-current-continuation)

(define letcc call-with-current-continuation)

>>146
ありがとうございます。そこに記載されているものを取り入れたら
動きました。ただ何のことやら分かりません。
call-with-current-continuation というキーワードが寿命を管理？する
みたいですが。

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

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

もっとちゃんとしたければ

(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))))

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

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

λ
ttp://flickr.com/photos/takesako/2328312411/

継続とマクロのないSchemeは癒し系

dssslのことか！

>>155
モテカワ愛されλ

>>144
特に閉鎖する予定はないですよ

>>159
よかったぁ！
じゃあ107が書いてる「ネット公開止めた」書籍って何ですか？

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

>>160
去年の5月に再構成して、今出てる書籍(フムフム本)と同じ構成になった。

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

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

http://blog.

http://blog.livedoor.jp/dankogai/archives/51017577.html

黒板バロスw

なるほど。継続という難しい概念があるんですね。

継続も要するにλだから構える必要はないと思うよ。

ググって色々読んだんですが、まだまだ悩む必要
ありそうです。概念が初めてなので慣れが必要ですね。
早くGauche本到着しないかな。

継続て唯のプログラムカウンタですか？
プログラムカウンタを変数に代入できるって何が嬉しいんだろ

いいえ違います。
関数fから呼ばれた関数hも
関数gから呼ばれた関数hも
同じプログラムカウンタを持ちますが
違う継続を持ちます。

アドレスだったらわかるがプログラムカウンタって表現はちょっと違和感。

プログラムカウンタだけじゃなくて関数コールスタックの中身も全部保存するようなもんだ

ゲームのセーブ・ロードが、未だにイメージの基本になってるな、俺の場合。

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

ただ値が保存されるのではなくて
束縛が保存されるだけだから
ロードした直後に開ける宝箱の中身は違うかもしれない

>>168
既存の概念に還元して、
新た強い概念を理解しようとする癖は直した方がいいよ。
そうしていると抽象的な思考がなかなか身に付かないから。

プログラムカウンタじゃなかったらなんなのよ

人生…かな？

いや、大いなるナニかだよ…

継続は継続だ
とりあえず「なんでも継続」を嫁

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

>なんでも継続
setjmpに還元してるけど、いいの？

ちゃんと読んだ？

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

Cで言うsetjmp/longjmpとか言い出す解説が一番困るよな。

固有値分解や特異値分解を行うプログラムを自分で組むのめんどくさいから
どこかに落ちてないか探したら
GSL for Lisp
とかいうのみつけた。使ってる人は結構いるのでしょうか？

>>182
Maxima

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

>>183
これとか？　使ったことないけど。
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/code/bench/gabriel/0.html

Scheme好きはJazzが好きな奴が多いと思う。

微妙なミュージシャンを挙げると「そんなものはジャズじゃない」とかいって怒られそう。

プログラミングGauche今日発売だと思って本屋いったら
どこも近日入荷予定だったorz

何故ジャズ？
Schemerならプログレだろ？

アセンブラはバッハ(バロック)

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

SchemerはKeith Jarrett solo か Bill Evansだ。

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

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

Common Lispは豪華絢爛なイタリアオペラってとこか

>>191
不要な継続を後生大事にとっておけばそうなる可能性はある。
そうでない限りGCがなんとかしてくれるであろう。

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

とりあえず
質問する前に
テンプレは読め。

何を読むんだｗ
書けば1行で済むのに
(do ((i 0 (+ i 1)) (xs '() (cons (call/cc values) xs))) ((> i 10000) xs))

つ >>4

マクロ定義の中身について質問があります。

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

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

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

マクロ定義以外に出てくるドットと同じ。

まずは>>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))

評価しない

>>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)の表記の意味がわかりません。

>>202
> >>200
> consセルのドットですね。

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

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

>>184
thx

>>203
例えば>>3の http://www.sci.u-toyama.ac.jp/~iwao/Scheme/r5rsj/html/r5rsj.html には
には
手続き

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

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

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

>>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))

ミスマッチエラー

カッコ書いてるとふわふわふわと夢が広がりすなぁ（　^ω^）

例のGauche本でさわり始めたんだけど、VimでEmacsのc-x -eみたいにエディタ内から部分的に式を評価することってできないのかな？

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

パーズしたときに行の情報は失われる
どのみちマクロ展開でテキストとの対応が取れなくなるだろうし

レスありがとうございます。

>>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)だと意味がわかりませんよね。。

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

(call/cc (lambda(x) 3))でも3になりますね。
(letcc x 3)　==> (call/cc (lambda(x) 3)) かもしれません。

gaucheは行番号持ってる。が、当てにならん……

>>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)))も
同じ継続に同じ値を返しているから勘違いしたのでは？

さらに追加
(lambda (x) 3) → (lambda . ((x) . (3)))だから

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

テンプレートとの対比を考えれば
(lambda (x) . (3))と書いた方が適切だったか

>>214

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

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

>>215
>>216

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

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

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

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

>>213
して、その方法は？

>>211
Lisperがバグなんて出すわけないじゃん

フムフム本にはそこら辺について書かれてないのかな。

やっぱり宣言的にプログラムを組む事と
関数単位でREPLでテストを繰り返す事に尽きるのかな？

短い関数しか書かない！

ヌクヌク本来たぁ！
初版第１刷が何部出るか分からなかったから
布教用は買わなかったけど。

プログラミングGauche届いた。cbookにしておいて良かった。
これがヌクヌク本ですか？

店頭に並んだかな？

http://bookweb.kinokuniya.co.jp/htm/4873113482.html

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

フムフム本でもヌクヌク本でも良いけど、カワハギ本とだけは呼ばないでくださいませ。

むしろフムフム本ヌクヌク本と読んでる奴等の方がキモイ件

ブーブー本ならいいのかな？

中甲本

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

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

>>232
IRCってやったことないけど
やってみたい

ﾓﾚﾓﾚﾓ

いくらか需要があるので

irc.scenecritique.com
port 6667

チャンネル　#Lisp_Scheme

クライアントはcottonあたりが誰でも使いやすいと思います
（LisperならEmacsでつないだ方がいいかもしれませんが）

なるべくつなぎっぱにしておきますが、サーバメンテナンス後とかは
誰もいない状況になるかもしれません

※IRCはつないだまま離席している人が結構いるので即返答はないことが多いです

Schemeでは手続きっていつコンパイルされるんですか？
lambda式はreadの後、evalの前にコンパイルできるけど
その評価された値である手続きはevalより前にはコンパイルできませんよね？
それとも、CLだと「手続きを返す手続きがコンパイルされると、その返される手続きもコンパイルされる」から
「コンパイルされたlambda式は、コンパイルされた手続きを返す」とかになるんでしょうか？
（そもそもCLの#'構文は手続きへと評価される式ではなく、手続きのリテラル表現？）

>>236
文字コードは?

>>237
仕様を満たす限りいつコンパイルしてもよい。コンパイルしなくてもよい。

>>239
すみません、そういう話ですらありませんでした。
勘違いしてました。
237は忘れてくださいorz

wide系の#scheme-jpが過疎ってるんだけど、
暇なやつはこっちもつないでみれ
どっちかというと雑談メインな気もするが

>>232
Webチャットが嫌でなければここ↓で聞くと良いかも。
http://www.lingr.com/room/gauche

尼で"プログラミングGauche"の予約して、確か発送予定が今日ぐらいになってたけど…
今確認したら4/8-4/22とかになってた…。何コレ？初版割当分売切れ？(3/9予約した)

cbookに汁

>244
cbookには品切れって書いてある。すごい人気本だなw
とりあえず本屋いってくるよ。

>>243
おれには今尼から到着。注文は１日前の3/8。意外と明日あたりくるかもＹＯ。

(< 入荷数 予約数) だったみたい。キャンセルしちまった。尼の順位が200位以内に入ってたんだけどw

>>247
ありゃま。店頭にダッシュで買いに行かないと一ヶ月待ちかも。
まあ、あせることもないと思うけど。
おれのは修正された版が到着。
初版第１刷ってなってるけどｗ

shiroさん、Kahuaチーム、出版社のみなさんご苦労様でした。
とても丁寧な仕事にびっくりです。とても初版第１刷とは思えないです。
出版物って中の人しだいなんだな。

次の版では是非是非コンビネータのネタも入れて欲しいな、このスレ的にはｗ
あとチャーチ・ロッサーの定理とかチューリング完全性も触れたらよかったかな。
書かないまでも参考文献の紹介とか書くと初学者が勉強しやすいと思う。

そういう話はPracticalでない本で書くべき
とっつきやすい本が欲しいのは同意

http://karetta.jp/book-cover/programming-gauche#H-1p3ukk3
正誤表更新しました。

速報は以下で。
http://tudura.kahua.org/view/006056

>>248
コンビネータを入れるとしても実用的な視点が必要でしょうね。
うまい実例を思いついたら入るかも。

>>249-250
コンビネータって実用的な例を紹介するのがネックかもしれませんね。
あくまでもココ最近のこのスレのネタとして流行ってるだけかもしれないしｗ

Emacsの設定の話なんかも載ってて初学者に優しい構成なのに参考文献が載ってないのは要改善かな。
ある程度わかってくるとｸﾞｸﾞﾙこともできるけど。現状、最初の言語にSchemeという人が少ないから無問題？

これからCommonLispかSchemeを始めようかと思ってるんですが、無謀ですか？
(プログラミング経験はほとんど無し)

>>249
同意
>チャーチ・ロッサーの定理とかチューリング完全性
とかは別に他の解説書を見れば良い。実用的なプログラムをSchemeで書く
というテーマの本の方がよっぽど希少だし、貴重。

無謀だが、是非やってみて感想を教えてほしい

そんじゃ、あたいと一緒に逝ってみようか？

>>252
そんなことないと思いますよ。
自分も単なる趣味としてLisp/Schemeでプログラミングを学び初めてみましたが、
そういう趣向でも楽しめています。
将来的に真っ当なプログラマになろうというのだと、ちょっと違うかもしれませんが…。

真っ当なプログラマを目指してSchemeから始めてもいいんｼﾞｬﾏｲｶ？
順序はどうあれ手続き型、関数型、オブジェクト指向、並列型などをどのみち学ぶんだし。
やりたくても高価で手が出なかった時代じゃないし、やる気と興味次第でどれから始めてもおｋ。

勉強してても、茂木先生の言うフロー状態になかなかなれない。

電話確認して店頭に向かい、無事入手。
自分：「在庫確認よろしいですか？フムフムヌクヌクアプアア…」
店員：「…(プッ」
自分：「い、いや、あの、プログラミング ゴーッシュ、G. A. U. C. H. Eという本ですが」
自分：「あ、ISBN番号は...」
店員：（話を遮り）「オライリーの本ですね。ありますよ（はーと）」
有隣堂++

>>254-257
レスどもです。ちなみに30過ぎのおっさんで、趣味でやろうと思ってます。
Practical Schemeのグレアムの翻訳記事を見て面白そうだと感じました。

先ほど、Gauche本買ってきて読み始めた所ですが、「本書の"主な"対象読者が
Schemeをやった事が無いけど、他のプログラミング経験がある人」と
書いてあって、若干出鼻をくじかれた所です。

Gauche本早く読みたいけど、Schemerシリーズがまだ終わってない。

もうひとつの Scheme 入門
http://www.shido.info/lisp/idx_scm.html
が入門者にはおすすめできると思う

うわあ、結構正誤あるなあ。もう少し待てばよかったかな。

本屋に予約してあったGauche本を取りに行ってきた。
丁寧に書いてあるみたいだね。

Windowsユーザーだからなぁ

Gauche本の「18章　構文の拡張」と「21章　デバッグ」、いままで欲しかった内容で感謝感激。
「18章　構文の拡張」はグレアムの「On Lisp」を考えて記述してあるので、読後On Lispへ進むこともできる。

>>266
早いなオイ

>>265
本見たら、制限あるけどwinでも動くってよ

>>260
（・∀・）人（・∀・）ﾅｶｰﾏ
俺もそんな感じで最近プログラミングに挑戦してみようと思って、まずは
SICPをのろのろ読んでるところです。
学生時代に lambda calculi やら computability theory やらを少しかじってた
ので、Lisp系がとっつきやすいかな、と思ってSchemeに挑戦中なのですが、
そのほかのプログラミング言語の知識がほぼ皆無なので、Gauche本はもう少し
鍛えてからにしようかと思っています。

>265
前スレにwin神がうｐしたﾊﾞｲﾅﾘがある

>>268
えっ、解説環境はLinuxなの？シーキビだな。
この間うpしてくれたWindows用のGauche使おうと
思ってたのに。

>269
漏れもSICP絶賛手間取り中なので、Gauche本読みはだいぶ遅れそう orz

>>265
MzSchemeやらないか
いまFFIのことを調べたりしてるんだが、意外と簡単そうなので
自分で好きなように拡張できると思う

>>269>>272
並列して読んでもいいんじゃないか?
Gauche本の方は電車は風呂の中でも読める内容だろうし。

>>269
自分は逆にSICP読んでもチンプンカンプンで途中で挫折したので、
実践的なCauche本読んでからSICPに移ろうと思ってます。
LLかじってLispにたどり着いた感じ。

Gauche本ってScheme版のRails本みたいなのかと思ってたけど、
どっちかって言うとThe Ruby Wayに近い感じだった。
入門者は「第2部　Gaucheの基礎練習」をしっかり読めばSICPとかに進めます。
この本の売りはなんと言っても第3部の実用篇でしょう。
スクリプト言語としての特徴を詳説してます。
CGIあり、データーベースありで、Kahuaの基礎も学べます。

>>270
公式ページにもWinバイナリ一応あるがな。(´・ω・｀)
http://practical-scheme.net/gauche/download-j.html

前スレで上がってたのはslibとかwilikiとか同梱してある分だけ便利だけど。
↓に更にglintも同梱したのがおいてあるぞ。
http://saito.s4.xrea.com/wiliki.scm?Gauche

>>276
第3部はおもしろいな。15章でSXMLの説明があるのにはたまげた。

結局、活用範囲はWebかよ。。

なぜかMacのEmacsの写真ｗ

WebアプリとただのWebサイト構築は違うけどね。

.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では文字化けします。
どうすれば日本語表記出来ますか?

日本語でおk

LispBox みたいな SchemeBox あるいは GaucheBox が必要だな。
Emacs とかライブラリとか全部込み込みのヤツ。

全部込み込みのパソコンにはWindowsが入ってるんだけどね。

Meとか98とか95とかNTでなければ
coLinuxを使えばいいじゃない

おばかさん

２８２です。
解決策が見つからなければ、euc-jpのエンコードで再コンパイル→インストールしてGaucheを使います。

(person=? >>249 >>253)
=> #t

VMWareでFedora Core4でも大丈夫？

２８２・２８８です。
なんか分かってきました。
OSがVine Linuxだからのような気がしてきました。
他のディストリビューションならＯＫなのかな？

>>291
ttp://softsupport.seesaa.net/article/25598905.html
Emacs21とかでUTF-8＋日本語扱うのに苦労したって人のブログ。
参考になるかわからんが。
たぶん、ディストリビューションの問題じゃないと思われ。

>>291
emacsがutf-8のBOM付きと無しの両方をちゃんと扱えるか確認してみろ。

BOM付きが扱えないだけならemacsの機能拡張に必要なものだけ落としてくればいいね。

VirtualBox+Ubuntuでmake&test通って問題なくインストールできた。
しかし肝心の本が届かない。

Gauche本5章に「5.2 マルチバイト文字の利用」とあるけど、
rubyのRSpecみたくプログラムから切り離すのが主流になってるから、
ちょっと逆行してるなぁ。本の最初の方で紹介するのｲｸﾅｲ。

俺も読み初めたばっかりだが、貴方のいう事がよくわからん。

RSpecってナニ？マルチバイト文字の利用をプログラムから切り離すって？
逆行とは？ Ruby ではマルチバイトの利用がもっと便利ってこと？

>>297
わからんならわからんでええやん。逝ってよし。

「逝ってよし」なんてすごい久しぶりに見た
年代モノだよね

>>299
激同。最近はｸﾞｸﾞﾚが流行中ｗ
そのうちgoogleもなくなるんだろうか？

RSpecはBDDなテスト用フレームワーク。
故に>>296はイミフ。

Rubyが文字列の扱いがCSIなことを言いたいんだろうか?

>>301
どこが「故に」かｵﾏｴがイミフだｗ

rubyで日本語を切り離すのGetText使うかな？まあ、スレちかな。

RSpecとマルチバイト文字か…。本人と>>302には理解できる関係があるのかな。
とりあえず>>302に説明希望。

ttp://blog.livedoor.jp/dankogai/archives/50737353.html

あたりを読んでみるとrubyも昔のperlみたくnkfでやってる。
でも特定の条件では上手く動かないらしい。
もしかするとこの辺でRSpecとか？

>>304
第三者のオレになんで説明希望するの？>>301だろｗ

もういいって。よそでやれよ。

↑
と、知ったかぶって引っ込みのつかなくなった>>297 = >>301が言っておりますｗ

２ちゃんねる的には、いいふいんきですね

dankogaiは1時間読んでSICPの副読本に最適と書いてるが。

　　 _,,....,,_　 ＿人人人人人人人人人人人人人人人＿
-''":::::::::::::｀''＞　　　ゆっくりしていってね！！！　　　＜
ヽ:::::::::::::::::::::￣^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^Ｙ^￣
　|::::::;ノ´￣＼:::::::::::＼_,. -‐ｧ　　　　　＿_　　 _____　　 ＿_____
　|::::ﾉ　　　ヽ､ヽr-r'"´　　（.__　　　　,´　_,, '-´￣￣｀-ゝ 、_ イ、
_,.!イ_　　_,.ﾍｰｧ'二ﾊ二ヽ､へ,_7　　　'r ´　　　　　　　　　　ヽ、ﾝ、
::::::rｰ''7ｺ-‐'"´　 　 ;　 ',　｀ヽ/｀7　,'＝=─-　　　 　 -─=＝',　i
r-'ｧ'"´/　 /!　ﾊ 　ハ　 !　　iヾ_ﾉ　i　ｲ　iゝ、ｲ人レ／_ルヽｲ i　|
!イ´ ,' |　/__,.!/　V　､!__ﾊ　 ,'　,ゝ　ﾚﾘｲi (ﾋ_] 　　 　ﾋ_ﾝ ).| .|、i .||
`! 　!/ﾚi'　(ﾋ_] 　　 　ﾋ_ﾝ ﾚ'i　ﾉ　　　!Y!""　 ,＿__, 　 "" 「 !ﾉ i　|
,'　 ﾉ 　 !'"　 　 ,＿__,　 "' i .ﾚ'　　　　L.',.　 　ヽ _ﾝ　　　　L」 ﾉ| .|
　（　　,ﾊ　　　　ヽ _ﾝ　 　人! 　　　　 | ||ヽ、　　　　　　 ,ｲ| ||ｲ| /
,.ﾍ,）､　　）＞,､ _____,　,.イ　 ハ　　　　レ ル｀ ー--─ ´ルﾚ　ﾚ´

とりあえずインストールはできた。VMware Fedora Core4

>>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>

すげえ関数考えたぞ！





(omaemona itteyoshi)

式ですやん

Emacs22はUTF-8に対応してるけど
Emacs21は対応してないってだけでしょ
Mule-UCSを入れないと

というか、22以下は全部Mule-UCS入れた方がいいと思う。
入れるとビックリするほど遅いが。

Gaucheって
[+ 1 {+ 3 4}]
みたいに()以外の括弧も使えますよね。
これって単に見た目だけの違いなんでしょうか？

はい

scheme専用Linuxマシンとか作っちゃってる人いるの？

どういう意味で専用？
schemeインタプリタ/コンパイラのためのシステムコールを作る特製の
パッチ当ててるとか？

まるで悪いみたいな言い方だ

>>320
kernelでブートした後schemeだけで閉じてるってこと？(ってか少し前にlispだけの環境がブートするFDイメージの話があったけどあの系列？）

いや、完全に勉強用とか仕事用とかでSchemeを使うためだけに
新たにLinuxPC立ち上げてる人いるかなと思って。

うちのLinuxマシン（仮想マシンだけど）は、ほぼMaxima専用だ。

Javaはdeveloper releaseのための専用仮想機械もっているけど、
schemeは必要ないからそんな事してない。
(Javaはfirefox pluginとか、いろいろと生活環境と同じだと面倒くさい)
/usr/localにsnapshotはいれてある。

いないか。VirualBox仮想マシン＋Linuxにgauche入れたんだけど、仮想マシンが重い。
Pen4 3GHz、メモリ１GBでももう低スペックなのかもしれない。組みなおそうかな。

どんだけ〜

SchemeでデバイスドライバかけるLinuxがあっただろ。

それはもうLinuxではない気がする。
みんなでScheme OS作ろうぜ。ｗ

Movitz でいいじゃん。

Schemix

>>329 なにそれ？

>>329
これか。世の中おもしろいな。
ttp://slashdot.jp/linux/03/04/29/0742257.shtml

>>333
>>332
んでもって Schemix は既に中の人が飽きぎみで、>>331 をプッシュしてる

Schemeで書かれたEmacsがあれば満足なんだ

つまり、コアがCではなくSchemeで、その上でelispが動くという訳か…

全部Schemeでおながい(/_;)

すみませんが教えてください。

Seasoned SchemerのP79の最初のパラグラフの英訳について

Here are our thoughts:
"When a (let ...) has two expressions in its
value part, we must first determine the
value of the first expression. If it has one,
we ignore it and determine the value of the
second expression.

(let ...)構文のvalue part(名前付けの部分ではなく式の並び部分)
についての説明ですが、If it has one, の部分がわかりません。
以下は予想訳ですが、正しいでしょうか？

（予想訳）
(let ...)がvalue partに二つの式を持っているとき、まず最初に
一番目の式を決定（評価するという意味）しなければいけません。
もし？？？？ならば、それを無視して、二番目の式を決定します。

要は二つの式を上から順番に評価していくんだよ、と言いたいのだと
思っているのですが、If it has one, の it と one が何を指してるのかが
わからず理解できません。it が (let ...)、 one が one expression のこと
かなとも思ったのですが、そうすると以降の意味が分からなくなってしまいます。

読まれた方いましたら教えてください。

読んだ
わからない
おわり

>>331
あー、それそれ、ちょっと使ってみたけど面白かった（大昔のlispマシンの雰囲気味わえるんで）
>>338
MIT GNU Schemeじゃだめなん？

>>339
逝ってよし
>>340
オマエモナー

>>336-338
ng+scmってのはどうなんだろう？

>>339
もしかしたら
(let ((x 0) (y 0))
　exp1
　exp2)
の値は
exp1を無視してexp2になるってことかな？

コアがSchemeじゃないから違うか

>>339
If the first expression has a value
じゃないの？

>>343
そうだと思ってます。

そうだとすると、If it has one, の it は the first expression を指していて
one は、the value を指していると考えれば、辻褄は合いますかね。

(let ...)がvalue partに二つの式を持っているとき、まず最初に
一番目の式を決定（評価するという意味）しなければいけません。
もし一番目の式が値を持つなら、それを無視して二番目の式を決定します。

このように理解しておきます。レスありがとうございました。

>>345
時間差でした。
レスありがとうございます。
そう理解するようにしました。

>>339は計算途中の値を表示させたりして考えながら読めない子なのか？
他の言語でデバッグとかの経験あるんだろうに。

>>348
英語の理解が正しいかということでしょ？

SchemerシリーズはSchemeを使って英語を勉強する本だったんだ

どんだけ〜

やっぱ２ちゃんやってるプログラマは馬鹿ばかり。
まともな奴はこんな２ちゃんなんてやってないだろうし。

馬鹿はお前だけ

>>346
一つ目の式の値を持たなければ
二つ目の式の値を決定しようとはしない

意味論的には、
一つ目の式がbottomになれば、つまり値を持たないなら、
二つ目の式の値が何であろうと、let全体はbottomになる。
Schemeはトップレベルを持つので、
このことが言語的にも実質的に意味がある。

>>336
Guile Emacs
http://www.mit.edu/~raeburn/guilemacs/

スクリプト言語をちょっとやってた程度の初心者だけど、
プログラミングGauche買ってきた。
LispとかSchemeっていうとアカデミックで
高尚な言語という印象だけど、文体は平易で読みやすい感じ。
がんばる　私　Gauche

俺も今日プログラミングGauche買えたよ。
>>355ガンガレ

>>277
どうもです。ありがたくいただきます。
なんか俺の環境だとglintうまくビルド出来なかったんだよね。

>>356
glintモジュールは対象ファイル名を標準入力から受け取る変な仕様で、
起動させるためのシェルスクリプトもshが必要。

なので、>>277のはglintモジュールに引数で対象ファイル名を渡すようにした上で
起動スクリプトをGaucheで書き直してmingw-exifyで変換してコンパイルしてある。
だからもしglint.exeからでなくglintをモジュールとして使うなら
オリジナルと非互換になってしまう。そのへんちょっと注意要。

Gaucheの拡張機能を使うと、意味論的には、どんな影響があるんだろ

>>358
拡張というか、実装上の都合みたいなものでいくつかscheme本来の意味論から乖離している点はある模様。
↓一例
http://practical-scheme.net/wiliki/wiliki.cgi?Gauche%3a%23%3csyntax%3e%e3%82%84%23%3cmacro%3e%e3%81%ae%e8%a9%95%e4%be%a1

このほかにもハイジニックマクロでのリネーム関連でちょっと手抜きになってるところがあって、
マクロを生成するマクロで問題が生じる場合があるってどっかで見た。
syntax-rulesとdefine-macroをあわせて使うと妙な衝突が起こるとかもどこかに書いてあった。
(WiLiKiの方かLingrの方だったか思い出せない)
詳しいことは難しくてわからんかった。

男ならEdwin

男ならEdlin

>>359
shiro氏曰く「R6RSならモジュールを分けることで可能」。
R6RSって不評だと思ってたけど、良い事もあるのね。
でもちょっとCLっぽいかも。
>>145-154でもdefine-syntaxがちょこっと出てきてたけど、
遅延とかマクロが判らないうちはこういう使い方しないでしょ？

普通に使う分には>>358の疑問は問題なしと言えるんｼﾞｬﾏｲｶ?

フムフム本にWindowsでEmacs使うやり方書いてある？

>>341
MovitzはLispマシンの雰囲気あるかなあ…。
例えば、どの辺り？
今のところx86の上で直に動いてるちょっと変わったCL処理系って感じだけど…。

bootstrapとかmemrefとかwith-inline-assemblyとか

Interlisp-Dとか、Lispマシンと言ったらああいうのの事想像されるんじゃない。

>>363
書いてないよ。Meadowでもそのままいけるんじゃない？

>>354
＞一つ目の式がbottomになれば、つまり値を持たないなら、
＞二つ目の式の値が何であろうと、let全体はbottomになる。

ありがとうございます。
これは理解していませんでした。

>>367
やってみる

>> 366
>Interlisp-Dとか、Lispマシンと言ったらああいうのの事想像されるんじゃない。
漏れもそういう感じだなあ。
ベアメタルの上でLISPが動いてるだけじゃなくて、
なんというかOSも含めた総合環境が評価されていたのがLispマシンという感じ。

まあ、「bootstrapとかmemrefとかwith-inline-assembly」
あたりにLispマシンを感じるというのも正しいといえば、正しい方向な気もする。

Gauche(Scheme)でもCalc(elisp)は実装できるんだろうなぁ・・・とつぶやいてみるテスト

ttp://www.biwa.ne.jp/~tanaka/Calc/Texinfo/Texi2html/calc-jp_toc.html

ちょちょいのちょいっすよ

>>372
Gaucheネ申登場！てかﾉﾘが軽いなｗ

俺は *scratch* と maxima があれば満足だな。

ストイックなやつだな。俺は imaxima も欲しいね。

Gaucheの数学関数が複素数対応だからmaximaとかも同様の理由で複素数対応なのかね？

〜が対応だからとかあんまり関係ない。
さらに実装はCommon Lispだし。

Interlisp-D
http://sumim.no-ip.com:8080/collab/76

カコイイ！
http://www2.parc.com/isl/groups/nltt/medley/screenshot.gif

Schemeでもこんな感じのフリーのIDEがあったらぽっくんしあわせだお

>>379
デジタル・レトロな良い味出てるなあ

X使わない派としては失禁寸前のカッコよさ。

>>379
懐かしい雰囲気だ。twmの設定をいじりまくってたことを思い出したよ。

つか昔見たsmalltalkマシンがそんなんだった。

マッキントッシュのモトネタだね。

つかstalltalkと入れ替えられたんだから。

ALTOはマルチOS運用のはしりだからね。

30、40代のおじさん達のスレでつね

>>378にエミュレータがあるんだお？
ドゥザーなので出来なくて涙目なんだお…

>>387
そう思うのは無理もないんだけど、でも、Lispマシンに関しては、
懐古趣味だけで片付けられる話ではないと思うよ。
未だにLispマシンの統合環境の提供する快適さを超える
ものは少ないという人もいるし。

ただその統合環境は、初期の頃はともかく、
結局は専用マシンでしか発達せず、
淘汰されてきたことも忘れてはならない。

Gauche関連開発陣はその反省にたって、
汎用OS上の環境を整備しようとしているように見える。

>>390
なんで突然そこまで話が飛ぶのかがわからない。

ヒント：はじまりはMovitz

>>392
その話は俺が振ったんだ。そうか、それならしょうがないな。
好きなだけ話していいぞ。

SqueakってSmalltalk80風味なんでそ？

風味と言うかもろ今時Smalltalk。
例の色本以外にもいいテキストがあれば、
もっと普及しただろうに。> smalltalk

Movitzベースであんなものを作る人が出てきて欲しいでつ。

おニャン子クラブ世代は必ずいるはず。

うーむ。文法はともかく、Smalltalkそれ自体が体現する世界感はテキストでは学べないからなぁ…

Squeak始めて触ったとき、アランケイがニコニコしながら覗き込んでいるのを思い浮かべた。
ああ、こういうのを「ハック」っていうんだろうな、と思った。

オサーンばかりだな。こりゃ初心者は追い出されるわ。

最近a little Schemerにメチャ親切だぞ。

>>401
あ、ホントだ。これからもよろしくお願い致します。

初心者にとってはSchemerシリーズは一つの登竜門なんです。
しかもまわりにSchemeやってる人はゼロ。そんなの覚えて
役に立つの？なんてこともある。だからこのスレは貴重なんです。

Squeakは10年経つか経たないかでしょ。

プログラミング言語の進化を追え: 第3回 大人のためのブラックボックス読解講座
クロージャとオブジェクトの微妙な関係(1)
川合史朗
ttp://www.ibm.com/developerworks/jp/opensource/library/itm-progevo3/index.html

プログラミング言語の進化を追え: 第4回 大人のためのブラックボックス読解講座
クロージャとオブジェクトの微妙な関係(2)
川合史朗
ttp://www.ibm.com/developerworks/jp/opensource/library/itm-progevo4/index.html

>>401
最近、Seasoned Schemerに話題が移ってるな。

>>403
それわかる。Excel使ってるとき、ｺｺでSchemeが使えればと思うことがある。
特に入れ子になった=if( , , )文とかみるとcondがあってﾎｽｲ。

>>406
ええ、今そちらを進めていますので。すいません。

> a little schemer
schemersでそ

>>407
SIAG (Scheme in a Grid)は廃れちゃったな。
http://siag.nu/siag/

>>409
複数、かな?

少なくとも漏れと208で2人居ますお

>>410
そんな素敵なものがあったなんて！

Siag Office懐かしす
OpenOffice.orgやfirefoxのscheme bindingが欲しいなあ

>405
勉強中の漏れにはｽｹﾞｰ勉強になった

スレと関係ないけど、最近ググってもアマゾン楽天はてなばっかで
使いもんにならないと思いませんか？

>>415
Google Japan から検索してるからでしょ。US のを使ったら良いよ。

ふ〜む・・・どうも。　よくわからないのでググってみる。

>>405
マクロの出番がないなら、Javascript 辺りが説明用の言語としては良かったかも。
on~ で処理をつないでいくからクロージャはよく使う。

>>418
プロトタイプ指向じゃ食い付きが悪いだろ。

USのGoogleを使うには ttp://www.google.com/ncr と打つ． "No Country Redirection"

>>324

それ俺だ

>>421
俺はさくっとMac買ってきた。

SchemeのためにROMライターで焼いて専用マイコンMacを作ってって、いつの時代だよｗ

Schemeのためにチップ作っちゃう人だって居ますからｗ

Gaucheもそうだが、CLもフリーな実装はUnix中心だよな
Windowsがいいとはいわんが、移植性は大事だよな

lisp 系は image 生成の移植でつまづいて、
次に native thread の移植でつまづくの二段がまえだからな。

プログラミングGaucheの65ページで

(define (tree-walk walker proc tree)
(walker (lambda (elt)
(if (list? elt)
(tree-walk walker proc elt)
(proc elt)))
tree))


この中のlambdaの引数eltの意味が分かりません。
defineの中に出てきてない引数がいきなり出てきている点が
いまいち納得できません。
単純なlambda式なら理解できるのですが、少し複雑になってくると、
理解できないです。
このeltはどういう意味なんでしょうか？

>>427
インデントが見づらいよ。下のようにすれば、elt が出てきてる所はすべて lambda 式の中に入ってて、
lambda 式の引数が elt だって理解できるんじゃね?

(define (tree-walk walker proc tree)
(walker (lambda (elt)
(if (list? elt)
(tree-walk walker proc elt)
(proc elt)))
tree))

>>427
(define (hoge x) (hage x)) は (define hoge (lambda(x) (hage x))) の構文糖衣であることを思い出せ。eltはいきなり出てきたんじゃなくてそこで導入されたんだよ！

tabとか押すと関数名入力とかアシストしてくれる環境って
ありますでしょうか。

>>430
emacsにscheme-complete.elを導入する

>>430
slime + eclipse か slime + emacs
そこまで充実してなくていいなら、tag ファイル作るのが簡単で良い。

>>425

そこで誰かがC#でIronSchemeを作ると言う罠。

>>427じゃないけど

(define tree-walk
　 (lambda (walker proc tree)
　　　(walker (lambda (elt)
　　　　(if (list? elt)
　　　　(tree-walk walker proc elt)
　　　　(proc elt)))
　　　　tree)))

little schemerみたいに言うと、

tree-walkは3引数関数で最初の引数はwalker。
このwalkerは関数（lambda (elt)）と treeを引数にとる2引数関数。
tree-walkの結果は関数walkerの実行結果。

で、いいんですか？

>>426
最初の障壁は GC の実装じゃないかな

>>433
ttp://www.codeplex.com/IronScheme

　 　　　／　　 　 　＼
　　　／　 _ノ 　ヽ､_　 ＼
　 ／ 　oﾟ⌒　　　⌒ﾟo　 ＼ 　今日もまた、SICP
　 |　　　　 （__人__）　　　　| 　タンポポのせる
　 ＼　　 　 ｀ ⌒´ 　 　 ／ 　仕事が始まるお…

ミスった…けどいいや

>>425
>>426
>>435
最初の壁は、単純に人的リソース不足では？

SICP勉強中で、Schemeの美しさに感動中のものですが、ちょっと気になってる
ことがあるので教えてください。

昔からJavaなどの言語で見た目が綺麗なコードって、関数型風っていうんでしょうか。
あまり手続きをずらずら並べた感じのものでは無いという印象を持ってました。

こういうJavaなどの手続き言語によって書かれた美しいコードは、Schemeなどの
関数型言語のラムダ式を基礎としたものと等価と考えてよいのでしょうか？

きちんと構造化されており、変数のスコープも最小限度になっているコードという
のはSchemeによって書かれたコードと等価な気がするんですが、勘違いでしょうか。

>>440
勘違いです。

Seasoned Schemer P101 の The Seventeenth Commandment の意味がよくわかりません。

パターン�@ let式とset!式の間にlambda式がある
define gobbler
(let ((x......
(lambda (food)
(set! x ......

パターン�A let式とset!式の間にlambda式が無い
define nibbler
(lambda (food)
(let ((x......
(set! x ......

P101の So why is it unimaginable? に対する回答がlet式とset!式の間に
lambda式が存在していないからだよとなっていますが、これが何故いけない
のでしょうか？上記パターン�@が良くてパターン�Aがいけない理由を教えて
ください。

また、P100の What is the value of nibbler? に対する回答がUnimaginable
となっていますが、僕はIt is a function.と答えられる気がするのですが
どうでしょうか？

よろしくお願いします。

>>439
世の中に広まっている変な物に迎合できる人材は、好きな物を好きなように
作りたい人材に比べて貴重だということだね。ｗ

>>435
あんまり関係ない。

>>426
signalと非構造化例外の扱い

SchemeでSchemeを作るみたいな人は多いでしょ
その次の段階でなんか壁があるでしょ

>>444
GC に signal 使うでしょ。

>>422
おれはLittle SchemerのためにPalm Z22買ってLispMe入れた。Littleだけど快適。

W-Zero3にPocket-Scheme入れてる。

ng
http://tillanosoft.com/ce/ngj.html

OpenBSDザウルスにGauche入れてる

Nintendo DS に DS Gambit-C 入れてる

工人社SHにMeadow3.0入れてる

>451
まじか！
ttps://webmail.iro.umontreal.ca/pipermail/gambit-list/2006-October/000870.html

今からDS買ってくる！

>>453
マジコンも用意しないといけないんじゃね？

http://en.wikipedia.org/wiki/DSLinux

この上でGauche動くかな?

AppleがDSをiPoneのライバル視してるのわかるな。Gaucheとか動いちゃったらすごいな。

http://www.dslinux.org/

ノキアのSymbian60用のScheme探してるのですがなかなか見つかりません…（・ω・）

http://opentechpress.jp/developer/article.pl?sid=07/07/24/0151226

>>456
アイポン(笑)

イポッド・タッチ(藁)

アイポン！（・∀・）イイ！

ipod nano に　ipodlinux入れてScheme使えば最小なんｼﾞｬﾏｲｶ？小さ杉ても使いにくいわけだが。

ユビキタスScheme世界へようこそ！

ものすごいスピードでPDAでプログラミングしていた人が一言

「指、きたッスｗｗｗｗ」

>>465
大切りかよｗ
Squeak on NEO1973とか見るとSchemeも期待できそう。
http://www.lshift.net/blog/2007/08/23/squeak-and-openembedded
http://russell-allen.com/squeak/faure/screenshots/index.html

× 大切り
○ 大喜利

NEO1973はGSMだから日本で使えない。iPhoneもだけど3Gチップが出来るまで待ちだね。

Schemeさえあれば、電話もネットも要りません。ｗ

Squeakはいつも仕掛けるのが早いですね。

VMがコンパクトで移植性が良いんだろうね

　 _ 　 ∩
(　ﾟ∀ﾟ)彡　Scheme VM！Scheme VM！
　⊂彡

iphone VS NEO VS Palm VS DS

たまにはPSPのことも思い出してあげてください

俺のNokia6630・・・・（TωT）

ザウルスも思い出してあげて

しかし小さい画面で不便感じないかな。
どんな使い方してるんだろ。

そうかSqueakって最初からダイナブック(東芝じゃない方)

最初からDynabookの流れなんだな。きっと。

>>477
自分は自宅鯖にOpenBSDザウルスを使ってる
モバイルの意味ねー

>>453-454
USのDRMだかの絡みでマジコンはそろそろ日本でも消える、
というか任天堂がマジコン販売店に内容証明郵便送りまくってるから
買うならお早めにどうぞ。

ちなみにPythonも動いてる。
でもキーボード無いから単体じゃ開発は無理だぞｗ

DS LuaなんてのもあるからLuaも移植簡単なのかな。

Luaは移植性と組み込みやすさを念頭において開発してるからね。
DSのPythonは本家じゃなくてStacklessが移植されてる。
本家はnative threadとか色々めんどいし。

LuaはANSI Cさえあれば動くらしいね

Luaの場合は移植性の面倒事をANSI Cが引き受けてるのかな?
Schemeコードも一旦パーサーでANSI Cに書き出してやれば直ぐに動かせる？

セドリ屋がScheme入門8600円で出してる。たけえ。

プログラム書いてたら横から覗かれ、フト気が付くとそいつが踊っていた。
「何してんの？」
「踊ってやってんじゃン」
「だからなんで？」
「ランバダって書いてるじゃン」
「え？・・・Lambdaのことか？」
「ランバダ！ランバダ！イェー!」
「・・・Lambdaのﾊﾞｶ・・・」

>>485
やってみりゃわかる

>>485
Cを高級アセンブラみたいに位置づけて考えるならそうだね。
gccのポータビリティーでかなり吸収できる。

Kyoto Common Lisp以来の伝統芸だな

現実的に今使えるのはZaurus(Gauche)とPalm(LispMe)、あと今後可能性があるNintendo DS(DS Gambit-C)の３つか。
より安価なハードに今後も移行していくんだろうな。将来性があるのはLinuxベースのLiMoとかNEOか。

うはーw夢がひろがりんぐww

>>491
Zaurusは大抵の処理系が何もしなくても動くだろ。

>>493
なにもしなくても動けば結構なんだが、実際は結構手を加えてる。

ＺａｕｒｕｓもLinuxベースだからLinuxベースのLiMoとかNEOでもGaucheは動くんｼﾞｬﾏｲｶ、常考。

schemeでmaximaに相当するものってあるのでしょうか？

ありません

Maxima for WinCE
http://www.rainer-keuchel.de/wince/maxima-ce.html

ｺﾚはｲｲ！

>>495
それで動かなければ何もしなくても動くとは言えない罠ｗ

http://www.shido.info/gb/guestbook.php?id=559
Scheme ⇒ define：letrec
Common Lisp ⇒ defun：Labels

>>485
ANSI Cが引き受けてるって事じゃなくて、
処理系書く時には、メモリ利用、速度、起動速度などの効率を考えて、
いろいろ工夫をしたくなる。例えばANSI C未定義の振る舞いを利用したり、
プラットフォーム依存のAPIを使ったり。ANSI Cの範囲内でやるのを重視するか、
他のことを重視するかは処理系設計の問題。

ANSI Cがやるべきことを、ANSI Cが引き受けてるのは何でも同じ。

>>493
それが意外と動かない。
バイトオーダーが違うだけで駄目な処理系も多いし、
ヒープをダンプする仕組みがあると結構苦労する。
それから、過去レスで、メモリ空間の配置の違いで起きる
GCのバグが発見されたことがあったでしょ。

>>500
下の二行を書く意味が分からない。
その対比は危険だという記事の主旨とは反するのに。

「何も手を加えずとも○○で動く」といっても
開発者があらかじめ手を加えてるから動くものと
POSIX＋ANSI-Cの範疇で書いてるから動くものとある罠。
PS2LinuxでUnix系を覚え
Debian玄箱を鯖に使い
OpenBSD-Zaurusを現在常用する為
必要以上に移植性を気にするようになってしまった。
PPC-OSXもXPもi386-Debianも持ってるんだけど
メジャー所の環境でしか動かないorバイナリしか提供されないものに食指が動かない。

とにかく速いのが欲しい人と、どこでも動くのが欲しい人がいる
後者は「自分で作れるでしょ」ってことで放置されているのでは？

>>503
動かない環境に移植するのもまた楽し。

ソフトが移植されると生産終了が世の常。

>>505
>>503はそんなこと言われなくても楽しんでる人間だと思うが？

>>507
俺もそう思ったから書いたんだよ。何か問題?

日本語でおｋ

すべてのレスは反論だと思ってる人が来たみたいですね

>>510
大人の世界では「ﾅｶｰﾏ」というのをああやって言い合うらしいＹＯ！

letcc の説明ﾜｶﾗﾝ orz

同意に二重否定の反語形が元になっている慣用句を使うのも珍しいなあ。

二重否定と言えば、俺はremove-if-notをpreserve-ifに直したくなるなあ。
*-if-not系は混乱しちゃうんだな。

「細かい事は気にするな
「混乱する様な部分は歴史が古い証拠

どっかの古参リスパがそう言っていましたよ

>>498
これはおいらのWZero3[es] で動きますか？

Seasoned Schemer のp.44の4番目のパラグラフがかすれてて読めないので教えてください。

4番目：「And it is what ・・・」

>>515
ちょっと手を加える。そのサイトのどっかに書いてある。

Pocket Scheme はなぜ出てこないんだろう？

>>518
>>448

>>518
お前が作らないから出てこないんだよ

>>519と>>520が同時刻の件。

>>521
どうでもいい。ホンットどうてもいい。

>>514
『"historucally reason" てのは
「海より深いわけがあって」と訳すんだ』
って, 教えてくれた先輩がいたのを思い出した

>>522
もみ子じゃありません

historucally reason, scheme programming is fun!

アニメネタ禁止

>>512
http://www.stdio.h.kyoto-u.ac.jp/~hioki/gairon-enshuu/SchemeNotes/continuation.html
の継続の説明と
>>214さんのレス見れば意味はワカルよ。define-syntaxとかの使い方はワカっとらんけど。
16章あたりは、おれには変態コードにしか映っていないｗ
Schemerシリーズって初心者onlyが対象ではない気もする。
C言語で言うとK&Rみたいなもんか。

>>516
左側
And it is what we got.
右側
Amazing! We did not do any intersecting at all.

>>442レスいただけたら嬉しいです。

>>527
＞16章あたりは、おれには変態コードにしか映っていないｗ
Y! (=Y-bang)

> 変態コード
Schemerシリーズ読んでも実践的には意味が無いってこと？

あのくらい分からないで実戦も糞もない。

変態だって実践に役に立つんですよ。
変態に対する偏見は捨てましょう。

>>531-532
わかった。俺も変態になる！

アッー!

プログラミングGaucheのほうが全然簡単だわ。

>>527
＞左側
＞And it is what we got.
＞右側
＞Amazing! We did not do any intersecting at all.

ありがとうございます。

Seasoned Schemerの13章ぐらいまででYコンビネータとletrecの比較やletcc使った継続がでて来る。
Little Schemerの9章でYコンビネータの理解が不十分だったからちょっとﾑｽﾞかった。
その後にも>>529の書いてる変種のYコンビネータが出て来る。
Seasoned Schemerの主題は継続とクロージャーの理解。
これがわかると>>405のクロージャとオブジェクトも理解できる。CLOSに発展する話。
さらにReasoned SchemerでProlog入門を勉強した。Little Schemerの10章の発展版。
3冊通して話が出来てるからSICPとはまた違った楽しみがある。読んでよかった。

だれか翻訳汁

ＹコンがSchemeの働きを理解するために重要ってことでおｋ？

日本語でおｋ

Yコンビネータうざい
((lambda (f) (f f)) (lambda (f) (lambda (n) (if (= n 0) 1 (* n ((f f) (- n 1)))))))
でいいじゃん

>>541
それでいいんじゃん。Littleは使い方ではなく仕組みを説明する本。勘違いするな。

Ｌｉｔｔｌｅで仕組みを理解して、SICPで使い方を覚えるって感じか。道のりは遠いなｗ

1966年にP.J.LandinがISWIMという言語を作ったのがその起源で、SASL, Mirandaという後継言語を経て、HaskellとCleanが生まれました。
これらは、全て「遅延評価」を評価戦略におくプログラミング言語であり、「純粋関数型言語」と呼ばれるグループです。

ISWIM は、ラムダ計算の関数型コアを命令型言語の糖衣構文で包んだものである。
変更可能な変数と代入と強力な制御機構として Landin の J 演算子を追加してある
（J演算子は継続を可能としたもので、Scheme の call/cc は J 演算子を簡略化したものである）。
ラムダ計算に基づいているので、ISWIM は高階関数とスコープ変数を備えている。

このラムダ計算と等価なコンビネータ理論にYコンビネータは含まれます。
だからSchemeの継続の説明にYコンビネータが使われます。

桶屋が儲かる

まで読んだ

たいていのプログラミング言語は exit や return， 果ては goto のような名前の専用の脱出コンストラクトを 一つ以上採り入れている。
しかし，1965 年 Peter Landin は J 演算子という 汎用の脱出演算子を発明した。
John Reynolds はより単純だが同等に強力なコンストラクト を 1972 年に記述した。
Sussman と Steele によって 1975 年版 Scheme 報告書に 記述された catch 特殊形式は，Reynolds のコンストラクトと正確に 同じであるが，
ただしその名前は MacLisp の中のある汎用性の低いコンストラクトに由来している。
何人かの Scheme 実装者は，catch コンストラクトの完全な強力さを， 特別な構文のコンストラクトによるかわりに，
手続きによって用意できることに気付き，名前 call-with-current-continuation が 1982 年に新造された。
一部の人々は call/ccやletcc という名前をかわりに使っている。

J 演算子とYコンビネータは関係なくね?

http://www.unixuser.org/~euske/doc/r5rs-ja/r5rs-ja.pdf

http://books.google.co.jp/books?id=vKIvIXSxcCgC&printsec=frontcover&as_brr=3&source=gbs_summary_r#PPP1,M1

>>528
（・∀・）人（・∀・）ﾅｶｰﾏ
でもまだp.40ぐらい。

Gaucheでtanhが使えるので重宝してる。シグモイド関数結構使うんだよね。シンク関数も入ってるともっと良かった。

>>442
パターン�@はgobblerの定義時の1回だけxが導入される。
パターン�Aはnibblerが呼び出されるたびにxが導入される。

>>552
レスありがとうございます。

gobblerも呼び出す度に、let式で毎回xには評価された値がセットされる
わけではないということなのでしょうか？
ただ、パターン�@もパターン�Aも結果的に効果は同じのように思えるのですが
nibblerとgobblerを比較して何を言おうとしてるのかわかりません。

P101に以下のQAがあります。
Q
So what was the use of (let ...)
何がlet式を使用したのか？

A None. If (let ...) 省略 , they don't help us to remember things.
何も使用していない。もし、let式とset!式が間にlambda式無しで使用されるならば
あるものを記憶することの役には立たない。

パターン�@だと値を保持しておくことができて、パターン�Aではできないと
いう意味だと思いますが、そうすると、パターン�@（gobbler）を呼び出す度に、
毎回xには評価された値がセットされるわけではなく、gobblerを実行する度にxには
最後にset!された値が保持されているということになるのでしょうか？

>>553
その本もって無いから意図はわからんが、
そのふたつのパターンの効果は同じではない。
たとえばこういう定義をしたとして、

(define gobbler
(let ((x 1))
(lambda ()
(set! x (+ x 1))
x)))

(define nibbler
(lambda ()
(let ((x 1))
(set! x (+ x 1))
x)))

それぞれを何度か評価してみると出てくる値は違う。

(gobbler) ⇒ 2
(gobbler) ⇒ 3
(gobbler) ⇒ 4
(nibbler) ⇒ 2
(nibbler) ⇒ 2
(nibbler) ⇒ 2

これがわかってないってことはlambdaがわかってないってことだぞ。
100ページまで読んでその程度とはずいぶんのんびりした本だな。

>>554
たびたびありがとうございます。

例に挙げていただいたgobblerのほうでは
let式でのxへの1のセットはgobbler定義時に一度だけ
ということですね。nibblerには疑問ありません。
let式の内部名(x)に評価された値(1)がいつセットされるのかがわかってませんでした。


＞100ページまで読んでその程度とはずいぶんのんびりした本だな。
いえ、著者は説明してるはずですが自分が読解できてないだけです。。

let式の内部名（x）はC言語などでいう自動変数だと
思ってたのですが違うんですね。変数のスコープとか
let式の評価のタイミングとかが分かってないと思います。

クロージャか、ここ見てみれ
ttp://www.geocities.jp/m_hiroi/func/abcscm10.html

変数のスコープはletのbody部を抜けるまでだけど、
Cとかと違って寿命は無い。
無限に存在し続ける(かのように振舞う)。
これはJavaScriptとかでも同じ。
無限エクステントと呼ばれている。

>>557
ありがとうございます。
もうクロージャという領域の話しなんですか。
確認しておきます。

>>558
>Cとかと違って寿命は無い。
>無限に存在し続ける(かのように振舞う)。
なるほど。Cでいえば関数ローカルのなstatic変数
みたいなものですかね。

>>559
> なるほど。Cでいえば関数ローカルのなstatic変数
> みたいなものですかね。

「みたいなもの」とかいう形で理解するのはやめた方がいいぞ。
本質的に違うものを置き換えて理解してるとそっちのスタイルに
引きずられる。中途半端にしかわからんようになって破綻する。

無限エクステントって、Common Lisp やScheme(Gauche)ではサポートしてるけど、Emacs Lispではしてないんだよなぁ。

昔のLispはダイナミックスコープだからね

glint使うとExcelｲﾙｶみたいに変なｵｼﾞｻﾝが登場して説明しはじめる機能はＯＦＦに出来るの?

>>560
確かに対比すると混乱するのでやめます。

gobblerとnibblerの違いは>>557のクロージャの説明で理解できました。

関数gobblerを定義する。
クロージャ
→lambda式
→環境 (x = 1)
を生成する。
gobblerを一度実行する(クロージャ実行)と、lambda式を評価し環境を(x = 2)に更新する。
gobblerを再度実行する(クロージャ実行)と、lambda式を評価し環境を(x = 3)に更新する。

関数nibblerを定義する。
クロージャ
→lambda式
→環境なし(局所変数は無いので)
を生成する。
nibblerを一度実行(クロージャ実行)すると、lambda式を評価する。
nibblerを再度実行(クロージャ実行)すると、lambda式を評価する。

ということですね。

>>563
変なｵｼﾞｻﾝいうなｗ
誰だかわかって言ってるのか？ｗｗｗｗ

>>563
あれ、単にデモ用に作っただけなので、glintには入っていません。

環境なしというのはおかしいですね。

nibblerではlambda式を評価するときに環境(常に x = 1)があります。
（その環境の下でlambda式が評価される）

(define func
(lambda (x) ......))

のような大域関数を定義するということは、クロージャを生成してる
と考えてよいのですか？

Gauche本62ページに手続きオブジェクトととして説明がありました。
クロージャに名前をつけているだけでした。

>>563
shiroさんｶﾜｲｿｽw

gobblerは環境(x=1)を持ったlambda式を定義して
それにアクセスすることによりx=2,3,4...となっている。
nibblerは単にlambda式の中にローカルな変数を作ってるだけね。

やっとAmazonからgauche本のお支払い番号きたーーーーー

いや、shiroさんが変だというのではなくてさ、
あれ、ｷｬﾗが一人歩きしてるじゃん。変なｵｼﾞｻﾝというｷｬﾗで。てか狙ってるだろｗ
あの機能は実装してくっ付けるとシュールでいいんｼﾞｬﾏｲｶ？
気分害したら何なのでｷｬﾗは変更できるようにしておくとかｗ

>>570
理解できました。ありがとうございました。

cbook24に入荷したみたいだな。24時間以内発送だって。

>> 572
動かすのにWebカメラが必要なのと、あまりに実用性
なさ過ぎなのでglintには含めることはないのですが、
あのキャラクタ表示プログラム自体はGauche-ARToolKitの
example/avatar/ に入っています
(さすがに顔はへのへのもへじに変更してありますが)。

avatar.scmを起動するとポート12345で待ち受けるので、
telnetなりなんなりで接続して以下のコマンドを送りつけると
いろいろ動きます。

(show-avatar) ;; キャラクタを表示する
(hide-avatar) ;; キャラクタを非表示にする
(show-text) ;; テキスト画面を表示する
(hide-text) ;; テキスト画面を非表示にする
(clear-text) ;; テキストを消去する
(say n text) ;; n行目にtextを表示する(UTF-8で送れば日本語もOK)
(right-arm n) ;; 右手をn度上に上げる(0が水平)
(left-arm n) ;; 左手をn度上に上げる(0が水平)
(head n) ;; 頭をn度回転させる(0が正面)

あと、256x256のSGI RGB Imageフォーマットで
face.rgbを作れば顔のテクスチャが変わります。
Wavefront形式のOBJ&MTLフォーマットを読める
ようにしてあるので、自分でモデリングすることも
一応できます(プログラムも変えないと駄目だけど)。

デモではglintの出力結果を正規表現で日本語に変換して
適当なモーションを付けてavatar.scmにつなげました。

>>575
思った以上に細かく動かせるので笑えました。
プレゼンの隠し味的に使うのが流行ると面白いですね。

>>575
Lispコミュニティはアカデミックで凄い感じの人が多いけど、
glintの中の人は別の意味ですごいなｗ
次回も期待してるぜ!

glintのデモ見てSchemeの勉強初めたんですが、標準ではあの動きはないんですか…ちょと残念。
「使ってみたくなるlint」というのは斬新ですね。

現実世界じゃLispを使っている人をあまり見かけないけれど
ここだとずいぶん人気があるんだね。驚いたよ。

初めてのプログラムにLispを選んだぜ
よろすく

質問です。
gaucheでもって、Cで言う
printf("%10.3f", x);
みたいなことは、どうやればできるのでしょうか。

schemeの勉強がてら、stlファイルを読んで、vtkファイルを生成したろ、と
思ったんですが、バイナリファイルを読むのは簡単だったのに、ASCIIファイルを
書き出すのにつまづいてます....orz

マニュアルに書いてあることを質問するのはなんでかな？
http://practical-scheme.net/gauche/man/gauche-refj_174.html
要するにお前らは学ぶ気なんて無いんだな。

マニュアルをちゃんと見れと言うのは同意だけど
学ぶ気が無いとかイライラするのもどうかと思うよ。
マターリいこうぜ。

まぁ本当にただの教えて君だったらスルーすればいいだけのこと。

>>579
そこは現実世界じゃない。早く目を覚ませ。

lambda と書かれた赤いピルを服用するんだな

>>582
「gauche(のformat)には、実数のフォーマット出力機能はないから
SLIBのprintf系使っとけ」ってことですね。どもです。

「せっかくformatがあるのに、部分的にprintfかぁ」
っと思ったら、gaucheのformatには無い「F」のフォーマット指定子がSLIBのformatには
あることを見付けました。
http://www-swiss.ai.mit.edu/~jaffer/slib_4.html#SEC57

(use slib)
(require 'format)
(format #f "~10,3F" 32.4)
=> " 32.400"

formatかprintf系か、どちらかで統一してコードを書いていけばよいのだと思いますが、
とりあえず、formatで統一して書いてみることに挑戦してみてから、どちらがいいか
考えてみます。

似てるけど決定的に違うもののリスト

Scheme ⇒ define：letrec ：無限エクステント
Common Lisp ⇒ defun：labels：無限エクステント
Emacs Lisp ⇒ defun：labels：ダイナミックスコープ

>>442-573みたいな話はLisp系でも処理系によって結果が異なるからポートするときは要注意！
安易にdefine⇒defunとかletrec⇒labelsとかやりがちｗ

それを言うならC++とJavaとC#のclassも要注意ではないのか

>>588
それがこのスレに重要？

>>586
Gaucheに限るならwriteをカスタマイズすることも出来るでよ。

(define-class <num10-3> ()
((n :init-keyword :n :init-value 0 :getter n)))

(define-method num10-3 ((num <number>))
(make <num10-3> :n num))

(define-method write-object ((object <num10-3>) (port <port>))
(let ((num (n object)))
(format port "~10d." (truncate->exact num))
(format port "~d" (- (truncate->exact (* 1000 num))
(* (truncate->exact num) 1000)))))

(format #f "~a" (num10-3 32.4))

>>589
ある意味重要かも。
ちゃんとマニュアル読めばわかるはずなんだけど、
クラス指向のオブジェクトシステムとは全然違うって
ことを意識してないと絶対混乱する。

通じてないなｗ

>>583 = >>592
＞ちゃんとマニュアル読めばわかるはずなんだけど、

くやしいのうｗ

マニュアル読んだけどﾜｶﾝﾅｶｯﾀﾝﾀﾞﾓﾝ

　　　　　　　　　　　 　 -―￣￣ ｀ ―-- 　_
　　　　　　　　　　,　´ 　　　　　　　　,　　 　~　￣､"ー ､
　　　　　　　　_／　　　　　　　　　　/　,r　 　 _　　　ヽ ノ
　　　　　　 , ´　　　　　　　　　　　/　/　　　 ● 　　i"
　　　　,／　　 ,|　　　　　　 　 　 /　/ ＿i⌒ ｌ|　i　　|
　　　と,-‐ ´￣　　　　　　　 　 /　/ （⊂ ● j'__　 　|
　　(´＿＿　　　､　　　　　　　/　/ 　 ￣!,__,u● 　　|
　　　　　 ￣￣｀ヾ＿　　　　　し 　 　 　　u　l|　i　／ヽ､
　　　　　　　 　 ,＿ 　＼　　　　　　　　　　　ﾉ(`'＿＿ノ
　　　　　　　　(＿_ ￣~"　＿＿ , --‐一~⊂　　⊃＿
　　　　　　　　　　￣￣￣　　　　　　⊂￣　　　　＿＿⊃
　　　　　　　　　　　　　　　　　　　⊂＿＿＿＿＿⊃

図星だったぽい・・・

>>593
ちがう人だよ

>>588
スレタイ読める？

クマ泣くなw

あと俺は592じゃないよ。

×　>>583 = >>592
○　>>583 = >>591

誤解が解けて嬉しい

ん？591でもないんだがな。

>>597
それ！

クマ、純粋だなｗ

マジレスすると、要注意っぷりを参考にするんだ
特定の言語によらない抽象的なものの考え方が必要なんだ

バカの壁ｗ

>>605
そうやって相手は馬鹿だから…と納得しようとすることこそが馬鹿の壁なんだよ
よくある誤解だけど

KY

KY combinator

珊瑚がどうしたって？>>607

「○○○の考え方が必要なんだ」とか押し付けがましいこと言える奴って自分を傲慢とは思わないんだろうなｗ

Lisp Scheme からだいぶそれてるなｗ

>>610
まぁ、そんなんで「押しつけられた！」とか思う奴がいたらビョーキだし、
ビョーキの人の言うことを気にして「何も意見を言わない」方針をとったってしょうがないからね。

>>539
正直、
> ＹコンがSchemeの働きを理解するために重要
ってことはない。

しかしYコンビネータさえ理解できない人間は、
Schemeを使いこなすのは厳しいだろう。

>>613
その「Schemeを使いこなす」はどの程度を言うのかはっきりさせてくれないと
肯定も否定もしようがない。

仕組みを理解する(>>542)と言っても、
それはλカリキュラスの仕組みであって、
Schemeは再帰にYコンビネタ使ってないしねえ。

>>613がSchemeを使いこなして何やってるのかが気になる。

Yコンビネータの導出が数学の証明問題に似ていると感じるんですが。

>>615
読んでないなｗ

やっとAmazonからgauche本
発送されたああああああ

>>619
2刷だったら激しく嫉妬ｗ

>>620
ミスプリの修正は間に合ってませんでした、ってオチで。
ってぇか未だ増えそう。もう落ち着いたの？

>>621
ミスプリの修正は間に合ってなくて、でも追加（glintとか）があって第二版になってたらいいのにｗ

Gaucheのlet/ccってﾏｸﾛｽﾀﾞﾀﾉｶ orz

じくうようせいと学ぶ・・・

>>618
トイ・プログラミング以外で、
Yコンビネーターで再帰関数定義する人なんてほとんどいないでしょう?

>>625
質問が頓珍漢ｗ

コンパイラを作るときなんかには、
そういう形式が便利なこともある。
直接Yコンビネータな形でプログラムを書かなくても、
使われて無いとか、役に立たないってことは無いんだよ。

猫にコンパイラ・・・

>>627
具体的にはどういう使い方?

ぶどう畑で、たわわに実ったおいしそうなぶどうをキツネが見つけた。
食べようとして跳び上がるが、ぶどうの房はみな高い所にあり、届かない。
何度跳躍してもついに届かず、キツネは怒りと悔しさで、


「どうせこんなぶどうは、すっぱくてまずいだろう。誰が食べてやるものか」


と捨て台詞を残して去ってゆく。
手に入れたくてたまらないのに、いくら努力しても手が届かない対象（人、物、地位、階級など）がある場合、
その対象を価値の無いもの、低級で自分にふさわしくないものとみなす事であきらめ、心の平安を得る。
フロイトの心理学において防衛機制、合理化の例として有名。
また、英語圏において"Sour Grapes"は「負け惜しみ」を意味する熟語にもなっている。

オマエラには高度すぎて例え話がお似合いだそうです。

例え話≠イソップ童話

イソップうううううう！！！

愛は奇蹟を信じる力よ

１０８−０

いや、そんなことはいいからw
Yコンビネタをコンパイラでうまく使ったケースを教えてくれ。

昔、SKIYコンビネタの処理系や
Lisp1.5風で再帰だけYコンビネータ使う処理系を作ったことあるが、
Yコンビネタに変換するところが一番面倒。
プログラマがYコンビネタを明示的に使うのはプログラミングが面倒だし。
しかも再帰の展開遅くてメリットなし。
環境/シンボルテーブル・ルックアップで、
再帰を実現した方がよい。

部分計算でインタプリタからコンパイラを導出するような研究でも、
Yコンビネタを有効に使ったのはまだ見たことない。

面白いのがあれば論文を教えて。

なんか喧嘩腰の人だなあ

ここでシャルル・ペローの童話からうまいこと言う
　↓

才能無いんじゃねえの常考。

ゼロの人間なのか?

>>629が関数型では効率の悪いアルゴリズムに精通していないに1000点

EuLispの型推論でも読んでまったりしる
http://citeseer.ist.psu.edu/cache/papers/cs/140/http:zSzzSzwww.maths.bath.ac.ukzSz~ak1zSzpaperszSzinfer.pdf/kind93practical.pdf

Yコンビネータを活用出来なくても許されるのは中1までクマ。

英語読むのしんどいからどの程度のことができるのか説明してよ

>>641
Yコンビネータを絡めてkwsk

Y in Practical Programs
ttp://citeseer.ist.psu.edu/mcadams01practical.html
Yはプログラムの構造を柔軟にし，部品化を促進するためのグルーだという話ですね

>>646
"recursive monadic bindings"に萌えた

>>646
正直、そういう用途なら hook とか advice みたいな仕組みのほうが有効だと思う。
直接呼び出す場合ならいいけど、間に他の関数が入ったりすると困難になりそう。

そういう使いかたは思いつかなかったから、面白かったけどね。

と・ ・つ
｜Ｙ｜

ＹコンビネータのYにはどういう意味があるんだ？

ワイはコンビネータや。

で敵はXか

ちょｗできすぎｗｗ

ひょっとしてコンビネータ猿？

旗包み(closure)

プログラミングGaucheの第2刷ってもう出てんの？

ここのスレ住人は ocaml やら F# には興味ないんですか？

たとえあったとしても、それぞれに該当するスレで書き込んでるんじゃないの。

すれ違いになるジャン。

ってか、人それぞれだろ。

比較した意見は聞いてみたいな。自分はHaskell勉強中だけど、Haskellが
いいと思うのは、型の存在かなぁ。

自分は関数型まだまだ初心者なんですけど、Lisp、Schemeの人々って
型についてはどう考えてるんでしょうか？Schemeは凄い美しいと思うんですけど
その辺の融通無碍なところは現実の開発の時に結構厄介じゃないかな、とか
思ってしまうのですが。

>>659
何が言いたいのかわからんが、common lispは型指定できるし、
高度な最適化がされるコンパイラでは型推論もするぞ。
Scheme の処理系独自で型を指定して高速化するような処理系もある。…とおもった。

Haskellの型はある種の正しさを証明する手段だけど、
CommonLispの型は高速化（チューニング）の手段と考えられていると思う。
それぞれの言語で型に対する姿勢も違う。

Haskellユーザーの>>659の言ってるのはたぶん一般的にSchemeはコンパイル時に型チェックされないと思われてるということかな？

Scheme のテストコード書いたり、簡単な実行したりコードさらしたりするにはここへカモン。
http://codepad.org/
コードを書いて実行した時のURLを記録しておけば、
実行結果も一緒にさらす事が出来て幸せです。

>>663
((lambda (x) (+ x 1)) 0)

結果がでない orz

>>664
(display がぬけてる

>>663
Schemeインタプリタみたく、評価した式の値も表示してくれるのかと思いきや、
Outputに出てくるのはstdoutに書き出した内容だけなのね；

>>665�d。改行がﾒﾝﾄﾞｸｻｲねｗ

(define Y
(lambda (X)
((lambda (procedure)
(X (lambda (arg) ((procedure procedure) arg))))
(lambda (procedure)
(X (lambda (arg) ((procedure procedure) arg)))))))

(define (Fact my-fact)
(lambda (n)
(if (= n 0)
1
(* n (my-fact (- n 1))))))

(define fact (Y Fact))

(define (Fib my-fib)
(lambda (n)
(if (<= n 1)
1
(+ (my-fib (- n 1))
(my-fib (- n 2))))))

(define fib (Y Fib))

(display (fib 10))
(display "\n")
(display (fact 10))

ttp://codepad.org/BAllrnTt

自分がSchemeやってるときに、同級生のHSP厨が
「何その括弧だらけのソース(笑)、もっとゲームとか実用的なもの作ればぁ？」
どう対応すればいいですか・・・

苦笑

鼻で笑って終了

括弧がどうのというのは未経験者のお約束として、
ゲームに対して「実用」っていう表現が出てくるのが実に子供らしいと思った。

HSP
ﾚISP
LISP

HSPは実用的だったのか。

実用かどうかはわからんけど、ゲームの中身は意外と馬鹿に出来ない。

HSPと馬鹿に出来ないゲームの中身とは関連が薄いかと

感心のベクトルの問題だあね

「不自由なHSPなんかでここまでやるか」
と
「わざわざLispなんかでここまでやるか」
はベクトル一緒のような気もする

Schemeによる記号処理入門
http://www.amazon.co.jp/dp/4627836708/

この本はどうですか？
Schemeを習得するのに価値ある本？

>>669
Schemeでゲームとか実用的なものを作れば良いのでは？ｗ

つ http://www.ccs.neu.edu/home/jkennedy/tetris.html

Schemeでchessとかオセロとか将棋とか作ったら
お友達は「実用的」と認めてくれるかなｗ？

ｗうぜえ

Schemeぢゃないけどこんなの思い出した

つ ttp://jp.franz.com/base/seminar/2005-11-18/SeminarNov2005-Abe.pdf

実際の話、ゲーム廚を納得させるには
グラフィックスバリバリ（笑）のゲームを作るしかない。
いかに有用なツールを作っても、彼らには興味がない。
なぜならゲーム以外のことに興味が向いてないから。
だからグラフィックスバリバリ（笑）のゲームを作るしかない。

まあ相手にしないという手もある。

通常のLisp処理系とは違い、
Schemeのスコープはレキシカルスコープだということですが、
lambda関数の仮引数や、そのlambda式の中でdefineやletを使用して
局所的に定義された変数は全て、関数実行中だけ存在していて、
関数終了後は消滅すると考えてよいのですか？

例

(define func
　(lambda (x)
　　(define z ....)
　　(let ((y ....))

　....)))

x, y, z は func 実行中だけ存在している？？
　

無限エクステント!

>>685
他から参照されてないなら、関数から抜けてGCされるまで存在する。
スタックに割り当てられるような場合は抜けるときに消えるかもしれんが処理系依存。
でも普通ダイナミックスコープなlispでも局所定義された変数は関数抜けたら消えるぞ。

無限エクステントでググったら
寿命は無限で、スコープは有限ということがわかりました。

>>688
消滅しない。そういうのを無限エクステントという。
長くなるのであまり説明したくないけど、
仮に、そのfuncからx y zを含むクロージャ
(lambda (w) (list w x y z))とかを返したりすれば、
x y zはスタックからひっぺがされ、そのクロージャから
見える無限の領域(具体的にはヒープなど)に引き込まれる。
これは振舞いの説明であって、x y zを複製するという意味ではない。
C言語やPascalなどは関数呼び出しが終わってスタックが
撒き戻るとそのローカル変数なども無効になってしまうが、
schemeでは参照が残る限り有効になる。

(define func
　(let ((y ...))
　　(lambda (x)

　....)))

のような場合、yはクロージャの環境として必要なので、
GCの対象ではないですよね？

>>687
処理系依存とかいい加減なこと言うなよ。

>>689
なるほど。
C言語との違いがわかりました。

>>690
どの時点で?
lambda 式内部でも y が参照されないことが明確なら GC されるかもしれないし、
されないかもしれないし。

>>690
GCを意識する必要はない。
スタックが撒き戻るから云々みたいなことを考えなくて良い。
C言語とかしらないアホな子でも扱えるようになってる。

そういうアホな子がschemeからC言語に転向したりすると
非常にヤバイコードを書くかもしれない。
この子天才なんじゃね？と親は大喜び。

参照できないものは、どうなっても関係ないから、
GCされるとかされないとか、意味論的には考える必要ない。

効率や実装技術を語りたければ、考える必要がある。

Lisp/Schemeは明示的なオブジェクト消去操作のない言語なので、
(処理系依存のmemハック系関数は除く)
参照方法があるものは必ず存在する。

>>696
> Lisp/Schemeは明示的なオブジェクト消去操作のない言語なので、
古めの lisp は makunbound か fmakunbound で消去できるんじゃないか?

(define g 0)

(define func
(lambda (x)
(define y 'yyy)
(let ((z g))
(lambda ()
(list x y z)))))

gにset!を適用し値を変更すると、funcが呼び出されるたびに
zが変わるということはlambda関数内部のdefineやletは
関数呼び出しのたびに評価されているということですね。

(define func
(let ((z g))
(lambda (x)
.........
とは動きが違いますね。

この場合はlet式がlambda関数の外部に
あるためlet式の評価は(define func ....)
の評価時に一度だけになるということですね。

>>684
グラフィックバリバリ（笑）なら、まさにLispの得意分野だな。
かつてシンボリックスは世界のCG界を支配してたわけだし。（やや誇張）

AutoCADはLispなんだよ！みたいな

>>693
もしGCされたらyは、その時点での最新の値で再評価されるということですよね。
（この場合、yは大域の何かを参照しているとして）

>>694
GCされてしまったら値が無効になるので、保存されていた値が
消えてしまうのでは？と思いましたが、lambda関数の外部のlet
の場合は再評価すれば済みますね。

ありがとうございました。

>>696
＞参照方法があるものは必ず存在する。

理解できました。

クロージャ＝lambda式＋環境
funcはクロージャを返す。その時点での環境を考えれば
GC云々を考慮しなくても大丈夫でした。

>>697
オブジェクトを消すのとは違うじゃん。

ttp://codepad.org/7eADNOKr
HtDP p.554

(define x 5)
(display (+ (begin (set! x 11) x) x))
(newline)
⇒22

ttp://codepad.org/2qFN6kWU
HtDP p.7

(display (- #i1.0 #i0.9))
(newline)
⇒0.09999999999999998

結果に#iが付いてない。DrSchemeだと付いてる。Gaucheではどうなんだろ？

>>678
Little Schemer→Seasoned Schemer→SICP or HtDP or Simply Scheme or Schemeによる記号処理入門

(define λ lambda) ってしてみた。入力がめんどくさいだけだった。
と、gauche始めたばかりの初心者（みんな試しちゃうよね？）

試しません

>>708
Quack使えば？
ttp://lambda.s55.xrea.com/Scheme.html

>>706
Gaucheでは返り値に#iの表示はない。知りたければinexact?を使えばいい。

(display (inexact? (- #i1.0 #i0.9)))
(newline)
⇒#t

もしかしてcodepadの中身Gaucheじゃねえ？

ttp://codepad.org/SPiIJFUX
マクロが使えたｗ

(define-syntax log-expr
(syntax-rules ()
[(log-expr form)
(let ((result form))
(print 'form " => " result)
result)]
))


↓

(fact 10) => 3628800
(fib 10) => 89

.emacsの設定をwebからコピペしてきても全然動かなかった。
よくみるとバックスラッシュが￥マークになってた。
.emacsの設定が反映されなかった。よくみると.emcasになってた。
これが今日一日の俺の成果。もう寝る。

全米が泣いた

>>714
>よくみるとバックスラッシュが￥マークになってた。

全角になってたって事か…

U+00A5 になったんじゃね？

714かわいいよ714

ttp://codepad.org/8AuFIHAS

Gaucheじゃないらしい。ＳＲＦＩがuseできない。
ttp://codepad.org/GAIimBRt

>>719
plt みたいだね。
http://codepad.org/GQuSoQ3U

XyzzyのSchemeモード持ってる(使ってる)方いらっしゃいますか？

男ならEdwin

>>721
ttp://www7.axfc.net/uploader/93/so/File_4927.zip.html

>>719
×
(use srfi-13)
(use util.list)

○
(require (lib "13.ss" "srfi"))
(require (lib "pregexp.ss" "mzlib"))
(require (lib "list.ss" "mzlib"))
(require (lib "string.ss" "mzlib"))

>>721 ページの一番下にある
ttp://fun.sci.fukuoka-u.ac.jp/wiki/index.php?xyzzy

(require (lib "ruby.ss" "matzlib"))

寒ﾌﾞﾙﾌﾞﾙ

>>723
どうもありがとうございます。

>>725
ありがとうございます。

Seasoned Schemerで
(define counter)
という式が出てくるのですが、これ文法違反ではないんですか？
Dr Schemeで試すとエラーになります。

>>720
>>724
�d。でもまだ動かない orz

texmacsってshcemeで動くemacsなのかな

違います

TeXで動くemacsだよ

そりゃすげー!

マクロ書きたくねー ('A`)

seasoned schemer 18章　読んだ人いる？
何を説明したいのかよくわからないんだけど、kons、kdr、kar
っていうcons、cdr、karもどきは何を言いたいの？

closures as objects that act like cons cells

コンスセルのように動作するオブジェクトとしてのクロージャねえ
ようわからん。おれにはまだ早いな。
6章のShadowとかいうやつからの続きみたいだけど、文法の説明も少ないし
別の本で勉強してから読み直すわ。17章までは良かったのにな。

Kent Dybvigの"The Scheme Programming Language"にそっくりの話がある。
この本もお勧めだけど、Schemer×3, SICPでお腹一杯かな?
あとSRFI-9のサンプルコード。SRFI-9の実装によってはまんま。

>>739

>あとSRFI-9のサンプルコード。SRFI-9の実装によってはまんま。

18章はよく使われる重要なテクニックなの？
単なる頭の体操用かと思ってた。
だったら、もう少し頑張って読まなきゃなあ。
この本途中でやめると、下手するとLittle Schemerを再読する必要があるから
面倒なんだよな。

ってか良書なら一回読んで終わりになることはない

texmacsはguileが動く懼?�エディター懼?�って意味ではemacsかもしれないけど
mewやgdb-modeなどの便利アプリはない

懼・ってなんだ？

texmexみたいな

宮..腰,佳奈死.ねよ.ロバ.面し,やがっ.てｗｗｗ.
宮..腰,佳奈死.ねよ.ロバ.面し,やがっ.てｗｗｗ.
宮..腰,佳奈死.ねよ.ロバ.面し,やがっ.てｗｗｗ.
宮..腰,佳奈死.ねよ.ロバ.面し,やがっ.てｗｗｗ.
宮..腰,佳奈死.ねよ.ロバ.面し,やがっ.てｗｗｗ.

18章、オブジェクト指向やクロージャが出て来て面白いね。難しいけど。
ＳＩＣＰでも出て来る普通の話題だから理解した方がいいね。
Reasoned Schemerの伏線にもなってるし。

>>740
前スレだったかにも書いたが、
Schemerシリーズに単なる頭の体操はない。
この道の碩学らしく重要なテクニックを激しく単純化して書いてる。
単純化しすぎて初学者にはなにがなんだか分からないくらいに。
その辺の塩梅が素晴らしいから長く読まれている。
Littleなんて第四版だし。ドリル形式の本が第四版w

>>746
18章の発展的話題がMOPになるね。

>>746

"Doing encapsulation right is a commitment not just to abstraction of state,

but to eliminate state oriented metaphors from programming."

Alan Kay, "Early History of Smalltall"

>>749
× "Early History of Smalltall"
○ "Early History of Smalltalk"

でも18章のプログラム（lotsとかlenkth）って動かして試せないよね。

サンクでググって動く例を探せＹＯ！

>>751

http://d.hatena.ne.jp/batukau/20080321
http://d.hatena.ne.jp/batukau/20080322
http://d.hatena.ne.jp/batukau/20080324
http://d.hatena.ne.jp/batukau/20080325

19章のヒント

ttp://codepad.org/v4fo6RPn

Mac上のGaucheでSchemeの練習を始めました
行コメントの ; を使うとエラーするので悩んだのですが
改行コードに CR を使うとだめなようです
Schemeの改行コードは LF がないといけないんでしょうか

>>747
初学者用の本じゃないってことだな。

>>754
18章のヒントもください

手取り足取り教えて欲しい人向けではない。
かなりスパルタ。本が人を選ぶ。

>>751
ホレ！動かして理解しろYO!
http://codepad.org/z5fBZv58
18章のヒント

>>758
おまえら頭いいな

>>759
thx

クロージャ自体の概念は理解してるんだが。何を言いたいのかが
読み取れないのは俺の感性が鈍いんだろうか。

>>760
ココは章全体を見て物を考えるようになっている。前にもそういう章はあった。
鈍いんじゃなくて、ちょっと近視眼的。ストーリーがある文章は通して読まないと意味が取れない。

18章のヒント
http://codepad.org/StzeQu0l
ちょっと増やしてみた。

>>755
つか、Mac OS Xというか*NIX系で一般的なのはLFな訳で、
せめてCRLFを使えという話。

>>760
頭の訓練だから耐えろ
耐えれば出来るようになる

16〜18章は続いてる話だね。

18章のヒント
http://codepad.org/u6PYnaxS
konsCとsame?を追加した。

18章って「17章のconsC」をkonsCにしてるけど、単純にc⇒kという翻訳をテーマにしてるんじゃなくて
shadowsのクロージャについてどうなってるか良く考えないと危ないよってことか。遷移状態って説明のページがあるみたいだ。

18章のヒント
http://codepad.org/WoOMFp2X
>>766のkar, kdr, konsとの比較対照用

Childhood's End
by Arthur C. Clarke
(1953)

>>761
とりあえず進めということか。

>>768
参考にさせてもらいます。

>>764
せっかく17章までは理解できるんだが


それともプログラミングGaucheを先にやったほうが良いかな？

>>770
17章は良くわかっていないんじゃないか？どこでset!を使うかという話がメイン。

・counter (p.133-136)⇒kounter(p.145-149)の対応は説明できる？
・18章の各kons(p.146とp.147)とで何が違う？
・add-at-end(p.144)とadd-at-end-too(p.145)とで何が違う？
　特にadd-at-end-too(p.145)の中のkonsを各kons(p.146とp.147)にしたらどう変わるか?

2つの章の対応関係が理解できれば18章は理解できるはず。

>>771
17章に疑問はない。
18章の最初に出てくるkons kar kdrが唐突でよくわからん。

>>772
おまえムリなんじゃねｗ

>>772
>>771が書いてくれてるp.146とp.147に書いてあるよ。

>>773
ちょっとだけそう思い始めてるｗ

>>772

>>768のから見て行くと理解しやすいのでは？
konsで何を返してkarで何を引数にしているか考えると良いかも。

Do you know about lambda the ultimate?

必要になれば自力で再発明できる

要領よくカンニングするのが得意な人は本を読めばいいけど、このスレにはいないと思う

>>777
なに、この挑戦的な態度ｗ

ちょっと真剣に読んでみるわ。

>>773
SchemerシリーズでScheme始めたばかりだからなあ。
まだまだだわ。

>>776
konsがクロージャ返してるのはわかるけど、
konsを参考にkarとkdrを書けと言われてもわからなかった。
ヒントみながら考えることにする。

>>780
SchemerシリーズはScheme始めるのには向かない

メソッドがひとつしかないクラスを考えて、それをクロージャに翻訳する

はいはい邪道邪道('A`)

>>781
＞konsを参考にkarとkdrを書けと言われてもわからなかった。

じゃ、Little Schemerのところの理解不足が原因じゃん。

>>784
それは全然違う。

>782
そうだよな。Scheme(あるいはLisp)で何かプログラムを書けるように
なりたいと思った時にまずSICP及びSchemerシリーズやTo Mock a
Mockingbirdを一通り読めと言われたらそれは何か違うんじゃ無いかと思う。

いったんLispなりSchemeなりでそこそこ何か書けるようになってから
もう一度、理解を深めるのに読むのが正しい読み方なんじゃないかと。

おいらはSchemeで簡単なネットワーク通信でも出来たら
俄然やる気が出てくると思う。実用的な何かが作りたい。
深遠な部分はそれからやりたい。

SICPとTo Mock a Mockingbirdは違うと思うが、
Little Schemerはやるべき。

>>787
フムフム本をおすすめします

脱落者が居ると俄然やる気でるw

なんて競争社会

本なんか読むより処理系のソース読んだほうがいい
動作原理→概念

本でも最後のほうで小さなインタプリタを作るんだけど、
ソースを読んで理解するというより、ある時ふと「こうすれば作れるんじゃね？」
と思いついて、あらためて本を読んでみるとその通りのことが書かれている感じ

『なんでも継続』にも、継続渡し形式をそれと知らずに使った経験があるはずだ
というくだりがある

その経験がないなら、いったん脱落して他のことをやるほうが近道かもしれない

>>792
それはない。
機構を理解しても、フレームワークは推測できない。

>>737
「closures as objects」はSchemeの元々の目的だね。
Actor理論研究のための処理系だったから。

ガイ・スチールのプレゼンに出てきた話？よくわからなかったのですが。
簡単に言うとActor理論とはなんですか。

>>796
Actor Induction and Meta-evaluation (1973) カール・ヒューイット
http://www.cypherpunks.to/erights/history/actors/actor-induction.pdf

アラン・ケイの(メッセージングによる)オブジェクト指向から派生した概念。
だと思う。

どうも、プレゼンにヒューイットさんの名前も出てました。
今携帯なんでアドレス出ませんが。

>>797
米澤明憲
Specifying Software Systems with High Internal Concurrency Based on Actor Formalism
情報処理学会 昭和55年度論文賞 英文論文誌 vol. 2 no. 4 pp. 208-218.

ってのがありますが。
　米澤先生ってMIT　から78年頃戻られているので、
　その直後のPaperじゃないかな。

798のアドレスは>>65でした

ACL入れてみた。なんかすげーなこれｗ
厨房の俺にはちっともわからんｗ

>>799
その後にABCLって言語をやってます。
"An object-Based Conccurent Language"の略になっていますが、
元々は"Actor Based Conccurent Language"を考えて、
そこから生まれていると思います。
Actorとは別の計算モデルとして発展させたので、
"An object-Based"としたのでしょう。
その辺の経緯は日本ソフトウェア科学会の受賞記事にくわしいです。
(どこかにPDFがあったはず) アメリカではABCL/1のことを
"Actor Based Conccurent Language"と呼んでいたりします。

あった
http://web.yl.is.s.u-tokyo.ac.jp/yl/fellow3.pdf

どなたかお教えいただけないでしょうか？
http://d.hatena.ne.jp/niitsuma/20080331/1206990062
pymacsを使えばdefmacroがpythonで使えるんじゃないかと思ったのですが，やっぱり難しい気もします．何か方法はあるのでしょうか？

>>801
つxyzzy

> アクターモデル
wikipediaに結構くわしく書いてあった。

アクターモデルとその周辺。

http://www.wizforest.com/OldGood/flex/#simula

黒板とかラテン語とか言うけどさ

論文のネタならHaskellのほうがいいんじゃないか

Windows用インストーラ作りますた。

karetta.jp/images/3/Gauche-win32-0.8.13.exe

置き場所が決まったら消すかも。

>>808
それはない

ネタは頭の中に転がってるだろ常考

頭の中にあるネタを実現するときに適切な処理系が無いときLisp/SchemeでDSLとか実現できるのが便利。
グレアムのArcみたく既存のScheme上にヤドカリ出来る。Seasoned Schemerの20章とかSICPの最後もそういう趣旨だなぁ。
実現したいネタが無い人っているの？「うは、夢が広がりんぐ」ってよく言ってるのもネタだろｗ

>>812
そういう小ネタから論文書けたり実用的なプログラム作れちゃう人もいるんだろな。ええな〜ｗ

やっぱ既存の言語で既出のネタを考察するみたいなのが無難？

論文なんてどんなネタでも書けるだろ。とりあえず、ここの連中がすぐに思いつくようなことを
書かなければ、それなりに評価されるんじゃねえか？ｗ

数値計算のいろんなアルゴリズムを数式処理と絡めて最少の手間で実験したい

LuaみたいなのはDSLっていうのかな
Schemeの上に言語を作るのもいいけど
C/C++の上にSchemeを埋め込んで使う話題が増えると嬉しいのだが

>>809
おっつー。

>>809
パソコン蛾ぶっこ割れた

俺のバスコンは物故割れなかったよ？

フフフ
俺の居住地域は時差の関係で今日がエイプリルフールなのさ

>821
アラスカかハワイにでも住んでるのか？

ジェルソミーノ乙

Lisp in Perl

ttp://wolf-dieter-busch.de/makelisp.htm

まだ4月1日、はあるけど
今日が4月1日、はないな

ゼオライマーの次元連結システムで
昨日の世界からネットにつないでいる

Scheme in JavaScript

ttp://codezine.jp/a/article/aid/739.aspx

Lisp in JavaScript
http://courses.cs.vt.edu/~cs1104/LISP/lisp.html

Lisp in AWK
ttp://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/impl/awk/0.html

LLばっかり。

lisp in elisp byte-code -- emacs-cl

http://www.lisp.se/emacs-cl/

つ pylisp, pyscheme

C++にBoost.Schemeとか欲しいな。

Lisp in Ruby
ttp://codezine.jp/a/article/aid/1492.aspx

Lisp in Haskell
ttp://www.defmacro.org/ramblings/lisp-in-haskell.html

Lisp in OCaml
ttp://sourceforge.net/projects/ocul

Lisp in C++
ttp://www.intelib.org/

Lisp in Squeak
ttp://www.zogotounga.net/comp/squeak/lispkit.htm

もはやCOBOLとかSNOBOLあたりで作らないとネタにならんだろ

大半がToyプログラムだしな。本当に使いものになる処理系とは天地ほどの差があるってやつだ。

実行速度や組み込み関数といったあたりまではともかく、
ライブラリの充実まで含めて「非toy」であろうとすると、難しいもんなぁ。

こういう時の「LISP」って、100%完全にCommonLispじゃねーよな
LISPのwiki書いた奴都合良すぎ
最近のAMDうざみたい

Common Lisp in C
http://clisp.cons.org/

>>841
そりゃまあ、Common Lisp じゃなくて Lisp だもんなあ。
何に文句言ってるんだ？

boost.pythonだけは使い物になる。完全にwrap作業を自動化できる。
他は手作業で生成したファイルをいじらないといけないのばっかり。
boost.clispは非常に欲しい

>>830
CLOSないとか使えなさすぎる

>>843
Lispという呼び方がCommonLispの略称だと思ってたんじゃない?

WikipediaをWikiと略す奴もいるしな

>>847
それ、時々抵抗示す人を見るけど、こだわり過ぎるのもどうかと思うし、
長ったらしいフルネームをいちいち書けということなら、日下部陽一的にキモいと思うよ。
パーマネントカールがパーマに、携帯電話が携帯になる世界に生きてるんだから、慣れな。

>>848
WikiとWikipediaはユーザ書き換え可能ページ全体と固有名詞の違いがあるんでこだわりと言うよりも分けてくれないと混乱があるからやめてくれの意味がﾃﾞｶｲと思う
○○ってWikiにあったと言われるときと○○とWikipediaにあったと書く時の違いがでかいのと一緒

大抵文脈で分かるだろ・・・。

ﾆﾔﾆﾔ

ｼｺｼｺ

ｱﾌﾟｱｱ

>>848
間違えてる馬鹿はWikipedia以外のWikiを知らないだけだろ。

すみませんが質問です。

Gauche などの Scheme処理系で、何かの関数の定義（ソースコード）を表示す
る方法はないでしょうか？
ソースを検索するのではなく、関数名だけから取得する方法があったら便利か
と思うのですが。

ちなみに統計処理用言語 GNU R は、対話コンソールに関数名を入力すると、
その関数定義（そーす）がそのまま表示されます。なかなか便利です。

ﾌﾑﾌﾑ

俺も「wiki」には抵抗あったけど
IPアドレスのことIPって言う人も多いし、もうどうでもよくなってきた

携帯電話以外の携帯を知ってるけど
携帯電話は携帯と呼ぶぜ！

>>854
まさにそこが携帯のケースとは違うところだな

>>855
CommonLispのfunction-lambda-expressionみたいなの？
Gaucheにはないんじゃないかなぁ
disasmの出力のコメント部分を眺めて推測するしかないかも

>>855
Lisp/Scheme shellなら出来そうだけど、Gaucheとかでやる意味が訳ﾜｶﾒ

Gaucheはスクリプト言語じゃん。対話するの？

します
スクリプト言語はテストが大事ですから

Ah! SKI の BASIC で書かれた LISP は本物？

すべてのLispは本物のLispですよ

>>854
「間違えてる」っていう認識が世間的には既におかしいし、
その「知らないまま使う奴が多い」というのこそ、浸透の証なわけだよ。

最後の最後まで抵抗を示し続けるのもいいけど、あんまり無差別に頑張るなよ。
2chでいちいち「レスって何ですか？」って食ってかかる奴を想像すればいい。
世間的には、「Wikipediaと言え！」も、それと同じ位置にもう来ているから。

>>863
テストと関数定義（そーす）がそのまま表示されることにどんな関係を想定してるの?
そこがわからんけど、うまい使い方ならGauche/Kahuaの中の人が考えてくれそう。

>>855
Scheme的には仕様外です。
そういうものに依存しないほうがいいのでないという考え。

処理系依存で相当機能を持つものがあるかどうか知りません。
R?RS準拠ではない小さい処理系ならば、
reflection系のものはほぼ必ず持っていますが。

>>866
浸透してることと間違えてることと馬鹿であることはすべて独立した概念なので
何も矛盾している点は無い。

そこまで馬鹿を擁護しなきゃいかん理由がさっぱり理解できない。
頑張ってるのは君のほうでは？

スレ違いの用語一般論やっている奴はこのスレではお荷物の馬鹿だし、
このスレはこのスレであって世間一般ではないのだから、
世間がどうのこうのというご高説もちゃんちゃらおかしい。

プログラミングGaucheのKahuaのインストールで
環境変数が設定できなくて困っています
ホームディレクトリの.profileに

変更前：
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/usr/X11R6/bi
n:$HOME/bin; export PATH

変更後：
PATH=/usr/local/kahua/bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/lo
cal/bin:/usr/X11R6/bin:$HOME/bin; export PATH

と追加してみましたが
追加してみたのですが、rehashしてもログインしなおしても認識されません
どこが間違ってるんでしょうか
（スレ違いな気もしますがどこが妥当か分からないorz・・・）

>>855
基本的には出来ないと思ったほうがいい。
実行時にはVM用のコードにコンパイル済みだから
ソースの形式で保持してない。

>>871
認識されないとは？
環境変数に反映されてないってことですか？
シェルの種類は？
OSは？

>>872
Schemeはdefunじゃなくてdefineだから
シンボルとソースコードの関連付けはできないだろうけど
手続き自体に保持しておくことは可能じゃないですか？
Gaucheのdisasmだってある程度のソースコード情報は出力するし。

>>873

すみません。忘れてました。
OSはFreeBSD6.3
シェルはcsh

です

cshはあんまり使ったことないけど
exportじゃなくてsetenvじゃなかったっけ？

csh
× .profile
○ .login
ただし，ログインシェルのみ

>>871
UNIX板のくだ質スレ推奨
お題は「PATH環境変数の設定方法」

>>869
> 浸透してることと間違えてることと馬鹿であることはすべて独立した概念なので
> 何も矛盾している点は無い。
そう、そこなんだよね。
なのに>>854は「間違えてることと馬鹿であること」を強調してるけど、意味が無い。

> そこまで馬鹿を擁護しなきゃいかん理由がさっぱり理解できない。
なんでこれが擁護になるのかがさっぱり理解できない。
「いちいちwikiという言い方に突っ込んだりするのは、今やもう痛いよね」というのが擁護？　意味不明。

>>870
だったらスルーしないとね。
ネチっこい嫌味を書き込んで、わざわざ同じ穴の狢に成り下がって何がしたいんだか。
自爆が趣味なの？

根本原因はWikipediaがWikipediaという名前であることにあると思う。
単に略してWikiと言っているつもりなのかWikiというシステムと混同しているのかで意味が違ってくる。

まぁ、どっちのことを言ってるのかわからん文脈では、もうWikiとは書けないね。
たとえ自分は正解を知っていても、知らない人間が増えることで、その影響を受けざるを得ないこともある。

Wiki=Wikipediaの意味で使うのは単に気色悪いだけだけど
このスレでLisp=Common Lispと言い張るのは違うと思うよ。

気にするやつはSchemer。名前が衝突しないようにwikとか妙な略をつくるんだ。
気にしないやつはCLer。たまにfuncallが必要になるんだ。

>>883
> 気にしないやつはCLer。たまにfuncallが必要になるんだ。
そこがまたかわいい所なんだぜ

>>882
そうだ、その話だったんだ、もう忘れてたよ。ｗ
>>883
CLerだがちゃんと区別して使ってるよ。

名前を考えたくないとき

無名関数
アナフォリックマクロ
ポイントフリースタイル

>>871

良く分かんないんだけど、

gosh>(add-load-path "~/")

じゃダメなのかしら?

http://ja.wikipedia.org/wiki/LISP
>なにも付けずに「Lisp」というときは一般的にCommon Lispのことを指し示している場合が多い。
これか。
そういや一時期のCommonLisperは非常にうざかったな。
どうせ過疎るのにスレを乱立させるわ、
ここのスレタイも勝手にC(略)Lisp Schemeに変えるわ。
CommonLisp以外のLispを排除しようと必死だった。

もうスレタイはLispだけでいいよ。
Common-LispもSchemもLispの仲間なんだし。

CLerがCLにこだわるのはなんでだろうね。ANSIだからかね。
過去のCLの併合アプローチは失敗だったから、
もしかするとモデルとしてのschemeの存在がなかったら、
Lisp自体が消えてたかもしれない。(少なくとも日本では)
CLで盛り上がってますよ的な話は聞いた事ないしね。
2chのム板でそれなりに認知されて、1スレを1ヶ月で使い切る
ようなペースになったのも、やはりschemeの方の功績みたいだし。
ただSchemerにとっても、CLの後ろ盾があるから安心して
使えるみたいな心理はあると思う。
SBCLのWindows版がようやくまともに動くようになったっぽいから、
これからWin使いのLISPユーザーが増えてくれるとありがたいね。

>>890はこのスレを荒らしたいらしい

>>891
もしかして脅しですか？
CLerは怖いなあ。
↓本職の893さん、どうぞ

>>892
いてまうぞこら。

俺はSchemeからLispの世界に入ってCLに移行した少数派。

>>892
どうしても荒らしたいんだなｗ

>>888>>890みたいな荒しは放置した方がいいよ。
どっちも好きな俺からすれば、迷惑な話。

合いの手返すようなのが一番荒れる原因を作ってるような…。
CLの話題になると荒れる、みたいな流れを作りたいのかな？

実際荒れてる

所詮休戦協定は破られるためにあるのさ

次スレのテンプレに追加するものあったら今のうちに上げといてくれ。
リンク切れとか。

荒らし扱いされるんじゃ逆にCL排除でもいいよ。
隔離スレもあるんだし。
と極右になってみるテスト。
つーか実質そうなってるからね。別にここで話すこともないし。

>>896
お前がそうしたいと思ってるから、そういう風に見えるんだろ

Common LispとSchemeどっちが好きですか？

つーかなんでその2つを比べたがるん？

姉に勝る妹などいない

攻略対象を一人に絞らないとバッドエンドですね、わかります

美人姉妹の家にご厄介になってますが

>>890
おれは親切だから教えてやるが、おまえの頭、狂ってるよ

だからスレ分けようよ。
Schemeを隔離するのが良いと思うけど、Common Lisp専用スレ立てるんでもいいよ。

入門用だけど、CL専用スレたってるよ。
入門スレなのに変に難しい話題になることがあるが…。

姉とｷｬｯｷｬｳﾌﾌしていると、それはANSI標準の範囲外だと言って妹が牽制してきます

Schemerを攻撃するCLer、CLerを攻撃するSchemerってのは、ほとんどは反対側を
知らない無知な人間のように見えるけどな。
そういう人間が多いなら分離がいいんじゃね？

荒しは放置
分離の必要ない
荒しが調子に乗るだけ
R6RSは分離、CLOSは分離、きりがない

せめてスレタイをなんとかしろ

最近ようやく読みこなせたんだけど、↓のコード面白いな。

Portable syntax-case
http://www.cs.indiana.edu/chezscheme/syntax-case/

Lisp (CL Scheme ...) 21
みたいな

このスレタイで何の問題もないです。

というかここCLとSchemeのスレだったのか
Lisp方言のSchemeのスレという意味でスレタイがLisp Schemeになってるのかと思ってた

俺も最初そう思って辿り着いたから、分けなくてもいいからちゃんと明記してほしいかな
別にこのままでもいいけど

今のテンプレでも分かりにくいようなら、
LispとSchemeのスレです。と>>1に書いとけ。

>>919
まるでSchemeがLispじゃないみたいな言い方だなｗ

Lispという集合の定義なんて個人的にはどうでもいいけどさ、
SchemeがLispならば>>915みたいなスレタイが良い
SchemeがLispでないならば、スレは分けたほうが良い
んじゃないか？

どうでもいい語用論でスレタイをいじるのはよせ

どうしても「Scheme」と「Lisp」が対等じゃなきゃ厭なの？
明らかに変なスレタイだから、直しましょうって話をしてるんだけど。

長らく続いたスレタイを変更するような違和感はないなあ

(Part (or '|Common Lisp| 'Scheme)) -> 21

Common LispはLispだが
SchemeはLispじゃないという黒い人もいるんだから
Lisp Scheme PartXXでいいと思う。

「長らく続いた」伝統文化なのか。ｗ
じゃ、しょうがないな。勝手にしろ。

SchemeはLispなんだけど
名前にLispが入っていないから
タイトルに明示的にSchemeを入れている
という解釈でいいと思う
そしたら分離も改名もしなくていい

ここまで読み飛ばした。
で、一つわかったことがある。

おまえら暇なんだな。

RubyはLispなんだけど
名前にLispが入っていないから
タイトルに明示的にRubyを入れている
ついでにスレを隔離しているという解釈でいいと思う

>>928
ワシも暇じゃが
おまいもひまじゃのぉ

>>917
最初は本当にScheme使いしかいなかった。
SchemeはLisp族だから、ついでに頭にLispを付けた。
当時、Lispスレはマ板の方にあったし、
スレタイをム板の素人にも判るように配慮しただけ。
今みたいに上だ下だの議論も無かったからね。
スレタイのLispがCommonLisp限定だ、なんて意図も全く無い。

Common Scheme ってのを作ればいんじゃね！？

じゃあGaucheスレ立てる

よろしく

Arcはタイトルに入れた方がいいかも

arcは別にスレあるよ

「CommonLisp総合 Part n」
みたいなのが別にあれば解決するでしょ。
【入門】とか半端なのしかないから居心地悪くなって
ここにたむろうわけだし。
おまえら全くセンスねーですな。

arcスレ195で止まってるぞ。
はいぱー何とかのネタ振った奴責任重大だぞ
流れを本流へ戻せw