Lisp Scheme Part20 at TECH
[2ch|▼Menu]
1:デフォルトの名無しさん
08/03/09 09:16:26
□過去スレ□

Part19: スレリンク(tech板)
Part18: スレリンク(tech板)
Part17: スレリンク(tech板)
Part16: スレリンク(tech板)
Part15: スレリンク(tech板)
Part14: スレリンク(tech板)
Part13: スレリンク(tech板)
Part12: スレリンク(tech板)
Part11: スレリンク(tech板)
Part10: スレリンク(tech板)
Part9: スレリンク(tech板)
Part8: URLリンク(pc5.2ch.net)
Part7: URLリンク(pc5.2ch.net)
Part6: URLリンク(pc3.2ch.net)
Part5: URLリンク(pc3.2ch.net)
Part4: URLリンク(pc.2ch.net)
Part3: URLリンク(pc.2ch.net)
Part2: URLリンク(pc.2ch.net)
Part1: URLリンク(piza2.2ch.net)

2:デフォルトの名無しさん
08/03/09 09:18:21
□参考リンク□

日本Lispユーザ会(日本語)
URLリンク(jp.franz.com)
ここにかなりの情報があります。 削るとAllegro Common Lispのページへ

プログラミング言語Scheme(日本語)
URLリンク(www.sci.u-toyama.ac.jp)
Schemeの人はまずここを見ましょう。

Schemeへの道(日本語)
URLリンク(www.stdio.h.kyoto-u.ac.jp)
ここはschemeの入門サイト。

Practical Scheme(日本語)
URLリンク(practical-scheme.net)
「普通のやつらの上を行け」など、興味深い文書を沢山翻訳されてます。
(Gaucheという完成度の高いscheme処理系作者さんのページでもあります。)

LispUser.net
URLリンク(lispuser.net)

3:デフォルトの名無しさん
08/03/09 09:19:45
□仕様関係□

CLtL2: Common Lisp the Language 2nd edition
URLリンク(www-2.cs.cmu.edu)

CLHS: Common Lisp Hyper Spec
URLリンク(www.ai.mit.edu)

R5RS: Revised(5) Report on the Algorithmic Language Scheme (ja)
URLリンク(www.sci.u-toyama.ac.jp)

R5RS: Revised(6) Report on the Algorithmic Language Scheme (en)
URLリンク(www-swiss.ai.mit.edu)

R6RS: Revised(6) Report on the Algorithmic Language Scheme
URLリンク(www.r6rs.org)

4:デフォルトの名無しさん
08/03/09 09:22:26
□SICP関係□

SICP(英語)
URLリンク(mitpress.mit.edu)
「計算機プログラムの構造と解釈」の原書です。 全てオンラインで読めます。

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

□wikipedia関連□

Wikipedia項目リンク
Wikipedia項目リンク
Wikipedia項目リンク

□継続□

なんでも継続
URLリンク(practical-scheme.net)

Schemeへの道:継続
URLリンク(www.stdio.h.kyoto-u.ac.jp)

継続の使い方
URLリンク(www.geocities.co.jp)

継続の使用法
URLリンク(www.ice.nuie.nagoya-u.ac.jp)

Kahua: 継続ベースのアプリケーションサーバー
URLリンク(www.kahua.org)

5:デフォルトの名無しさん
08/03/09 09:23:15
□その他□ (便利な情報リソース)

John McCarthy's Home Page
URLリンク(www-formal.stanford.edu)
LISPの生みの親、J・マッカーシーのページだそうです。

Association of Lisp Users 米国のLispユーザ会
URLリンク(www.alu.org)

CMUのLisp Repository 新旧様々なプログラムが置いてある
fURLリンク(ftp.cs.cmu.edu)

The Common Lisp Cookbook: いわゆる Cookbook
URLリンク(cl-cookbook.sourceforge.net)

Bibliography of Scheme-related Research Scheme関連の論文リンク集
URLリンク(library.readscheme.org)

Scheme Hash(英語) S式でXMLを使える様にするSXMLなど
URLリンク(okmij.org)

幻の「入門Scheme」 オンラインで読める
URLリンク(www4.ocn.ne.jp)

各種scheme処理系をcygwin上からビルドする方法など。
URLリンク(www.geocities.co.jp)

encyCMUCLopedia (cmucl以外でも有益なはず )
URLリンク(www.isr.ist.utl.pt)

6:デフォルトの名無しさん
08/03/09 09:24:40
□その他その2□

独習 Scheme 三週間 (Schemeの教科書 )
URLリンク(www.sampou.org)

Cliki (CLコードがたくさん紹介されている。)
URLリンク(www.cliki.net)

よろずや (lispの実用的な情報が色々。 )
URLリンク(www.geocities.co.jp)

Common-Lisp.net: 多くのプロジェクトがホスティングされてる
URLリンク(common-lisp.net)

Practical Common Lisp: S式の羅列で現実的な問題をどう解くのかそのギャップに悩まされてる人に
URLリンク(www.gigamonkeys.com)

SLIB
URLリンク(www-swiss.ai.mit.edu)

SRFI
URLリンク(srfi.schemers.org)

Meadow memo: 2ちゃんねるログ(dat落ちした過去スレの一部が見られます。 )
URLリンク(www.bookshelf.jp)

Lispとは何か
URLリンク(www.asahi-net.or.jp)

7:デフォルトの名無しさん
08/03/09 10:00:28
□実装□

Bit (mini-schemeよりも小さい(?)bytecode変換系 )
URLリンク(www.iro.umontreal.ca)

Lisp 言語処理系: CAMPUS LIsP, Lemon version (Cでわずか1000行)
URLリンク(www-masu.ist.osaka-u.ac.jp)

Schemix (Linuxのkernelへのパッチで/dev/として扱えるTinyScheme )
URLリンク(www.abstractnonsense.com)

awkで書かれたわずか500行のLispインタプリタ
URLリンク(www.accesscom.com)

Bigloo CLR 用のコードを吐けるようになったらしい
URLリンク(www-sop.inria.fr)

SECDR-Scheme: SECD machine model に基づく実装
URLリンク(lily.fan.gr.jp)

Minischeme: 1 ファイルに凝縮された Scheme 処理系
URLリンク(tinyscheme.sourceforge.net)

TinyScheme: Minischeme を色々弄ったもの
URLリンク(tinyscheme.sourceforge.net)

KI-Scheme, AM-Scheme, etc...
URLリンク(www.nifty.com)

LispMe: Palm 上で動く Scheme 処理系. これも SECD virtual machine.
URLリンク(www.lispme.de)

8:デフォルトの名無しさん
08/03/09 10:02:37
□実装その2□

Gauche: R5RS準拠のScheme処理系。Shiro Kawaiさん作。近々書籍が出版されます。
URLリンク(practical-scheme.net)

PLT Scheme: DrScheme、MzSchemeなどのR5RS準拠および独自拡張のScheme処理系
URLリンク(www.plt-scheme.org)

Scheme48: R5RS準拠のSchemeのバイトコードインタプリタ
URLリンク(www.s48.org)

Guile: GNUの拡張プログラミング言語
URLリンク(www.gnu.org)

Gambit-C: R5RS準拠のScheme処理系
URLリンク(www.iro.umontreal.ca)

Steel Bank Common Lisp: Common Lisp処理系
URLリンク(www.sbcl.org)

CMUCL: Common Lisp処理系
URLリンク(www.cons.org)

GNU CLISP: Common Lisp処理系
URLリンク(www.clisp.org)

Embeddable Common Lisp: Common Lisp処理系
URLリンク(ecls.sourceforge.net)

Arc: ポール・グレアム氏が作成した新しいLisp
URLリンク(arclanguage.org)

9:デフォルトの名無しさん
08/03/09 10:03:54
□イベント□

GaucheNight(2008-03-08)
URLリンク(practical-scheme.net)
SchemeとGaucheとλとS式を愛するすべての人に贈るマクロな一夜。
川合史朗、伊藤篤、山下伸夫、笹田耕一、ひげぽん、zick、黒田寿男、えんどうやすゆき、ほか

GaucheNight(2007-05-09)
URLリンク(practical-scheme.net)
川合史朗、黒田寿男、まつもとゆきひろ(Skype中継)、小飼弾、
伊東勝利、久井亨、小黒直樹、ほか

黒田氏関係 (黒板の人)
スレリンク(tech板:901-909番)
URLリンク(cl-www.msi.co.jp)
Scheme:マクロ:CommonLispとの比較
URLリンク(practical-scheme.net)
Script Languages
URLリンク(cl-www.msi.co.jp)

10:デフォルトの名無しさん
08/03/09 10:04:41
□書籍□

<プログラミングGauche>
・著者:川合史朗 監修
Kahuaプロジェクト 著
・定価:3360円(本体3200円+税)
・B5変 524頁
・ISBN 978-4-87311-348-7
・発売日:2008/03/14

Scheme処理系言語Gauche(ゴーシュ)の初の解説書!

URLリンク(ssl.ohmsha.co.jp)

立ち読み版
URLリンク(karetta.jp)

<On Lisp>

・著者:Paul Graham 著
野田 開 訳
・定価:3990円(本体3800円+税)
・A5 440頁
・ISBN 978-4-274-06637-5

LispハッカーPaul Grahamが、Lispの力の源泉であるマクロプログラミングを解説

URLリンク(ssl.ohmsha.co.jp)

HTML版
URLリンク(user.ecc.u-tokyo.ac.jp)

11:デフォルトの名無しさん
08/03/09 10:05:13
□2ch上にあるLISP関係のスレ□ (現在)

【入門】Common Lisp その4【質問よろず】
スレリンク(tech板)

【CGI】実用比較Lisp vs C/C++【GUI】
スレリンク(tech板)

【魔法】リリカル☆Lisp【言語】
スレリンク(tech板)

Lisp@UNIX版
スレリンク(unix板)

Emacs Lisp 3
スレリンク(tech板)

【ヤパーリ】XMLをS式に置換えていくスレ【LISP最強】
スレリンク(tech板)

【SICP】計算機プログラムの構造と解釈 Part2
スレリンク(tech板)

【普通のやつらの】 Arc Language 0 【上を行け】
スレリンク(tech板)

12:デフォルトの名無しさん
08/03/09 10:48:41
tspl抜けてんぞ

13:デフォルトの名無しさん
08/03/10 20:49:50
>>1

14:デフォルトの名無しさん
08/03/10 21:56:35
スレリンク(tech板:998番)

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

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

15:デフォルトの名無しさん
08/03/10 21:59:57
Yコンビネータだけじゃなく他の色々なコンビネータがつかえると想像してミレ。
プログラミングの幅が広がると気がつかんか?

16:デフォルトの名無しさん
08/03/10 22:01:48
なんと副作用がないのだがSeasoned Schemerを読まないとご利益は理解できない件。

17:デフォルトの名無しさん
08/03/10 22:02:14
前スレ

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

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

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



18:デフォルトの名無しさん
08/03/10 22:06:03
Seasoned Schemer⇒To Mock a Mockingbird
この順序で読むべし。間を空けるとSeasonedを読むのが辛くなる。

19:デフォルトの名無しさん
08/03/10 22:07:02
>>15
コンビネータというからには何かを結びつけて使うんですよね、きっと。
何かの計算結果同士を結びつける。C++のbindみたいな。

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

20:デフォルトの名無しさん
08/03/10 22:09:25
>>18
なるほど、そうですか。Seasonedは11章から始まってるので
二冊で一冊みたいなもんですね。確かにLittleの内容を前提
としてるので忘れないうちに行ってみます。

21:デフォルトの名無しさん
08/03/10 22:21:45
To Mock a Mockingbird はP73から読み始める。M(Mockingbirdというコンビネータ)がいきなり登場。
こいつがとても重要。P96の "Bluebird and Mockingbird" で最初の秘密が明らかになる。

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

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

22:デフォルトの名無しさん
08/03/10 22:28:26
>コンビネータというからには何かを結びつけて使うんですよね、きっと。

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

23:デフォルトの名無しさん
08/03/10 22:39:20
>>21
大変参考になります。
コンビネータという単語が出てこないので?と思ってました。

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

24:デフォルトの名無しさん
08/03/10 22:49:51
>そうなのじゃ。結びつきこそが鳥達の住む森を生み出しておる。

P167のMaster Forestじゃ。

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

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


25:デフォルトの名無しさん
08/03/10 22:55:24
たかがコンビネータで本一冊書けるってすげーな
R6RSなんて187ページにぎゅうぎゅう詰めですよ

26:デフォルトの名無しさん
08/03/10 22:56:25
お役立ちリンク:Little Schemer

Daniel P. Friedman
URLリンク(www.cs.indiana.edu)

Matthias Felleisen
URLリンク(www.ccs.neu.edu)

Little Schemerのサポートページ(誤植・問題集など)
URLリンク(www.ccs.neu.edu)

27:デフォルトの名無しさん
08/03/10 23:01:36
スレリンク(tech板:995番)
>計算論 高橋正子って予備知識必要?

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

28:デフォルトの名無しさん
08/03/10 23:05:14
>>25
>たかがコンビネータで本一冊書けるってすげーな

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

29:デフォルトの名無しさん
08/03/10 23:09:55
くわしく

30:デフォルトの名無しさん
08/03/10 23:19:32
>>25
コンビネーターはそれなりに研究の蓄積があるから、
さすがに「たかが」ということはないんじゃないかな。

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

31:デフォルトの名無しさん
08/03/10 23:29:11
>>29
全25章のうち、出だしの6章はコンビネータとは関係ない別の話。
「美女と野獣(Lady or Tiger)」と出だしの6章は関係がある。

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

32:デフォルトの名無しさん
08/03/10 23:32:25
BarendregtのThe Lambda Calculusは621ページあるな。

33:デフォルトの名無しさん
08/03/10 23:46:54
>>31
ナール、確かに再びこの森に戻ってくるとか言ってたジャマイカ。

34:デフォルトの名無しさん
08/03/10 23:49:18
>>31
ありがとう

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

35:デフォルトの名無しさん
08/03/10 23:52:21
・グラフリダクションを使った関数型言語の実装
SKIコンビネータ
スーパーコンビネータ
・コンビネータパーザ
Parsec: Haskellのパーザ記述ライブラリ
URLリンク(legacy.cs.uu.nl)
みたいな応用もあるよ。
スーパーコンビネータはSimon Peyton Johnの論文と書籍が有名。

36:デフォルトの名無しさん
08/03/10 23:58:46
あ、PLTのcombinator-parser書き忘れちゃった。
URLリンク(pre.plt-scheme.org)

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

38:デフォルトの名無しさん
08/03/11 00:13:00
>>37
> それは無知すぎる。

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



39:デフォルトの名無しさん
08/03/11 00:14:44
スーパーコンビネータをググルと?

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

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

41:デフォルトの名無しさん
08/03/11 00:22:04
                 lambda
                 ____
               _/ \  \_
            ((/___))___\))
              | |!!!  !!| | |!!! !!! !!!| |
              | |;;;; ;;;;| | |;;;; ;;;; ;;;;| |
              | |;;;; ;;;;| | |;;;; ;;;; ;;;;| |
  Λロ二二ロ二Λ二Λ二Λ二Λ二二二二Λ二Λ二Λ二Λ二l
  (^×^∩  ∩(´∀` ) (・∀・ )   ∩(ΦλΦ )(ー人ー )
┌〔〔 〔〔V)  ヽ〔〔 〔〔 つ〔〔 〔〔 つ   ヽ〔〔Э〔〔 つ〔〔 〔〔 つ
(_ノ〈 ||_|  (_ノ〈 ||_|(_ノ〈 ||_|    (_ノ〈 ||_|(_ノ〈 ||_|
   (__)     (__)   (__)       (__)   (__)


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

43:デフォルトの名無しさん
08/03/11 00:25:46
             .,..-─- 、               ニ/ニ
            r '´. : : : : : : : : : :ヽ               {_
  ー亠ー     /.: : : : : : : : : : : : : :: ヽ                ヽ
   二      ,!::: : : : : ,-…-…-ミ:: : :',              ⌒)
   [ ̄]    {:: : : : : :i  ,;ノ;´:`ゞ、i: : :.:}   ∩─ー、       /
    ̄     .{:: : : : : :|  ェェ;;;;;;;ェェ|: : : } / ●   `ヽ    ―ー
.     つ      { : : : : ::|    ,.、 .| : : :;!/  ( ●  ● |つ   ,-亠ー
   __     ヾ: :: : :i   r‐-ニ┐| : : :ノ|  /(入__ノ  ミ   / 廿
    /       ゞイ!   ヽ二゙ノ イゞ,.‐rニ(_/  ∪ノ  /  .又
   (_,      / ̄ \`ー一'/ - -l\___ノ_
   __       / /⌒ヽ \//ヽ  二}    \_
   _/     /  / /  \//\ ヽ/      :、
  (ノ ̄`メ、  |  |/  / `´ヽ \/i        \
   __    |  \/  /lヽ ヽ /.|       i'  i
    /    |    \/ /| ヽ /  |       |  |
   ´⌒)    |     \/ |  /   |       |  |
    -'      |      `ー-ノ i    |       |  |

44:デフォルトの名無しさん
08/03/11 00:27:25
     ll     ll
     l| -‐‐- |l
    ,イ」_  |ヽ_| l、
   /└-.二| ヽ,ゝl
   l   ,.-ー\/. 、l
  |  /.__';_..ン、    ビ〜ィ〜ム かがーやーく♪
  / /<二>  <二>!゙、
 //--─'( _●_)`ーミヘ    フラッシュバックに〜ぃ♪
<-''彡、   |∪|  、` ̄ ̄ヽ
 / __  ヽノ   Y ̄)  | ヤツのかげーー♪
 (___)       Y_ノ
      \      |
       |  /\ \
       | /    )  )
       ∪    (  \
             \_)

         _人人人人人人人人人人人人人人人_
           >  たかが♪  たかが♪  たかが♪  <
           ̄^Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^Y^ ̄
     ll     ll          ll     ll          ll     ll
     l| -‐‐- |l  __     l| -‐‐- |l  __     l| -‐‐- |l  __
    ,イ」_  |ヽ_| l、〈〈〈〈 ヽ  ,イ」_  |ヽ_| l、〈〈〈〈 ヽ  ,イ」_  |ヽ_| l、〈〈〈〈 ヽ
   /└-.二| ヽ,ゝl.〈⊃  } /└-.二| ヽ,ゝl.〈⊃  }./└-.二| ヽ,ゝl.〈⊃  }
   l   ,.-ー\/. 、l |   |. l   ,.-ー\/. 、l |   | l   ,.-ー\/. 、l |   |
  |  /.__';_..ン、!   ! |  /.__';_..ン、!   !|  /.__';_..ン、!   !
  / /<二>  <二>!゙、 // /<二>  <二>!゙、 // /<二>  <二>!゙、 /
 //--─'( _●_)`ーミ /.//--─'( _●_)`ーミ / //--─'( _●_)`ーミ /
<-''彡、   |∪|  / <-''彡、   |∪|  /  <-''彡、   |∪|  /
 / __  ヽノ /     / __  ヽノ /    / __  ヽノ /
 (___)   /     (___)   /     (___)   /

45:デフォルトの名無しさん
08/03/11 00:28:23
              -― ̄ ̄ ` ―--  _
          , ´         ,    ~  ̄、"ー 、
        _/          / ,r    _   ヽ ノ
       , ´           / /    ●   i"
    ,/   ,|           / / _i⌒ l| i  |
   と,-‐ ´ ̄          / / (⊂ ● j'__   |
  (´__   、       / /    ̄!,__,u●   |
       ̄ ̄`ヾ_     し       u l| i /ヽ、
          ,_  \           ノ(`'__ノ
        (__  ̄~" __ , --‐一~⊂  ⊃_
           ̄ ̄ ̄      ⊂ ̄    __⊃
                   ⊂_____⊃

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

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


          ____
        /_ノ  ヽ、_\
 ミ ミ ミ  o゚((●)) ((●))゚o      ミ ミ ミ
/⌒)⌒)⌒. ::::::⌒(__人__)⌒:::\   /⌒)⌒)⌒)
| / / /     |r┬-|    | (⌒)/ / / //  だっておwwwwwwwwwwwwwwwwwww
| :::::::::::(⌒)    | |  |   /  ゝ  :::::::::::/
|     ノ     | |  |   \  /  )  /
ヽ    /     `ー'´      ヽ /    /     バ
 |    |   l||l 从人 l||l      l||l 从人 l||l  バ   ン
 ヽ    -一''''''"~~``'ー--、   -一'''''''ー-、    ン
  ヽ ____(⌒)(⌒)⌒) )  (⌒_(⌒)⌒)⌒))

63:デフォルトの名無しさん
08/03/11 11:19:14
>>58
             / ̄ ̄^ヽ                  / ̄ ̄^ヽ
             l      l       ____        l      l
       _   ,--、l       ノ .     /_ノ  ヽ、_\     丶      l ,--、  _
   ,--、_ノ:: `ー'::   、ミー---‐,,l     o゚((●)) ((●))゚o     l,,‐---ー彡,  ::`ー'  ::ゝ_,--、
  ,/   :::         i ̄ ̄  | .  /::::::⌒(__人__)⌒::::: \    |   ̄ ̄i        :::   ヽ,
/           l:::    l:::   ll   |     |r┬-|     |    ll    :::l   :::l         ^ヽ
l   l .   l     !::    |:::   l   |     | |  |     |    l    :::|   ::!   l    l   l
|   l   l     |::    l:    l .  |     | |  |     |   l     ::l  :::|    l   :l   |
|   l .   }    l:::::,r-----   l  \    | |  |    /   l  -----、_::::::l    }   l   |
ヽ  :l::::   ト:;;;;;;;;;/-/__...........  /.        | |  |         ヽ  ...........__ノヽ;;;;;;;ノ  ::::l  /
                           | |  |
                           | |  |
                            `ー'´

64:デフォルトの名無しさん
08/03/11 11:23:09
         / ̄ ̄ ̄ \
      /   :::::\:::/\  
     /    。<一>:::::<ー>。   <<58
     |    .:::。゚~(__人__)~゚j      
     \、   ゜ ` ⌒´,;/゜
    /  ⌒ヽ゚  '"'"´(;゚ 。  
   / ,_ \ \/\ \
    と___)_ヽ_つ_;_ヾ_つ.;.

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

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

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

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

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

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

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

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

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

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

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

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

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

78:デフォルトの名無しさん
08/03/11 14:21:18
                  /  ̄ ̄ ̄ ̄\
                 /          ヽ
                 /           ヽ
                | 人_____________      |
                /  ─   ─ |     .|   それがLisperクオリティ
                  /│(●)  (●) /   /|
     ____________    / .│ (__人__) ./  / |
     \〜〜 /   |__  \ `⌒ ´ /__/___ ノ
      \ /___       (\      /  )――
      ( つ(__/ \      (  |   /   )
      (__フ|    \  / (  |  /    )
      ⊂―||―、   | /

79:デフォルトの名無しさん
08/03/11 14:26:39
             r y、
             / / }
           _/ノ.. /、
           /  <   }
      ry、     {k_ _/`;,  ノノ パンパン
    / / }      ;'     `i、 
   _/ノ../、   _/ 入/ /   `ヽ, ノノ
  / r;ァ  }''i" ̄.   ̄r'_ノ"'ヽ.i   ) ―☆
 {k_ _/,,.'  ;.  :.      l、  ノ  
    \ `  、  ,i.    .:, :, ' / / \
     ,;ゝr;,;_二∠r;,_ェ=-ー'" r,_,/   ☆


80:デフォルトの名無しさん
08/03/11 14:29:23
    セックスゥ〜 ∧_∧ ハァハァ…
          (´Д` ;)
            ( ̄ ̄ ̄ ̄┴-
             |  (    *  ;)
            /  /   ∧   \
            / /   / U\   \                  キモイヨー
           / / ( ̄)  | |\  ( ̄)          ((( )))  
          / ( ノ  (   | |  \ ノ (       〜  (;´Д`)
         ⊂- ┘(    ) └--┘ (    )     〜   / つ1 _つ
             UUUU      UUUU         人  Y
                                   し'(_)


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

82:Z武
08/03/11 14:44:18
             ,.,.,.,.,.,.,.,.,__
           ,;f::::::::::::::::::::::::::ヽ:
           i/'" ̄ ̄ヾ:::::::::::i:
           |,,,,_ ,,,,,,_  |::::::::|:
           (。);( ゚)==r─、|: グフィ
           { (__..::   / ノ:
.           ', エエエエフ ノ:
    / / }      !___/ `i、
   _/ノ../、   _/ 入/ /   `ヽ,:
  / r;ァ  }''i" ̄.   ̄r'_ノ"'ヽ.i   ):
 {k_ _/,,.'  ;.  :.      l、  ノ:  ドクドク
    \ `  、  ,i.    .:, :, ' / /:
     ,;ゝr;,;_二∠r;,_ェ=-ー'" r,_,/:

83:58
08/03/11 14:45:18
   ∩___∩
   | ノ      ヽ/⌒) あばばばばばば
  /⌒) (゚)   (゚) | .|
 / /   ( _●_)  ミ/    ∩―−、
.(  ヽ  |∪|  /    / (゚) 、_ `ヽ
 \    ヽノ /      /  ( ●  (゚) |つ
  /      /      | /(入__ノ   ミ   あばばっあびゃばびゃばば
 |       /       、 (_/    ノ
 |  /\ \       \___ ノ゙ ─ー
 | /    )  )       \       _
 ∪    (  \        \     \
       \_)

84:デフォルトの名無しさん
08/03/11 19:31:25
PostScriptで書いたLispワロタ
URLリンク(blog.bugyo.tk)

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

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

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

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

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

90:デフォルトの名無しさん
08/03/11 21:11:14
         / ̄\
        |     |
         \_/
          |
       /  ̄  ̄ \
     /  \ /  \       >>87
    /   ⌒   ⌒   \      よくぞ逝ってくれた
    |    (__人__)     |      褒美としてLispをAAで語る権利をやる
    \    ` ⌒´    /   ☆
    /ヽ、--ー、__,-‐´ \─/
   / >   ヽ▼●▼<\  ||ー、.
  / ヽ、   \ i |。| |/  ヽ (ニ、`ヽ.
 .l   ヽ     l |。| | r-、y `ニ  ノ \
 l     |    |ー─ |  ̄ l   `~ヽ_ノ____
    / ̄ ̄ ̄ ̄ヽ-'ヽ--'  /  L i s p   /|
   .| ̄ ̄ ̄ ̄ ̄ ̄|/|    | ̄ ̄ ̄ ̄ ̄ ̄|/| ______
/ ̄L i s p /|  ̄|__」/_ L i s p   /| ̄|__,」___    /|
| ̄ ̄ ̄ ̄ ̄|/L i s p  ̄/ ̄ ̄ ̄ ̄|/ L i s p /|  / .|
| ̄ ̄ ̄ ̄ ̄| ̄ ̄ ̄ ̄ ̄|/l ̄ ̄ ̄ ̄| ̄ ̄ ̄ ̄ ̄|/| /
| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄|


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

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

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

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

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

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

まあ、早いぶんには良いんだけど(読むのはノンビリw)。

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


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

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

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

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

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

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

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

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

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

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

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

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

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


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

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

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

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

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


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

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

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

祭り中?
【祭】Amazonウィッシュリストで個人情報ダダ漏れ中★6
スレリンク(news板)



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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

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

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

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

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

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

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

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


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

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

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


次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch

5369日前に更新/87 KB
担当:undef