Lisp Scheme Part21 - 暇つぶし2ch

Lisp Scheme Part21 at TECH

1:デフォルトの名無しさん
08/04/04 18:18:17
□過去スレ□
Part20: ｽﾚﾘﾝｸ(tech板)
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/04/04 18:18:56
□参考リンク□

日本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/04/04 18:19:16
□仕様関係□

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/04/04 18:19:39
□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/04/04 18:20:23
□その他□ (便利な情報リソース）

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

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/04/04 18:22:06
□その他その２□

独習 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/04/04 18:22:42
□実装□

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/04/04 18:23:15
□実装その２□

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/04/04 18:23:42
□イベント□

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/04/04 18:24:37
□書籍□

＜プログラミング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/04/04 18:26:48
□2ch上にあるLISP関係のスレ□ (現在)

【入門】Common Lisp その４【質問よろず】
ｽﾚﾘﾝｸ(tech板)

【ＣＧＩ】実用比較Lisp vs C/C++【ＧＵＩ】
ｽﾚﾘﾝｸ(tech板)

【魔法】リリカル☆Lisp【言語】
ｽﾚﾘﾝｸ(tech板)

Lisp@UNIX版
ｽﾚﾘﾝｸ(unix板)

Emacs Lisp 3
ｽﾚﾘﾝｸ(tech板)

【ﾔﾊﾟｰﾘ】XMLをS式に置換えていくスレ【LISP最強】
ｽﾚﾘﾝｸ(tech板)

【SICP】計算機プログラムの構造と解釈 Part2
ｽﾚﾘﾝｸ(tech板)

【普通のやつらの】 Arc Language 0 【上を行け】
ｽﾚﾘﾝｸ(tech板)

12:デフォルトの名無しさん
08/04/04 18:27:45
The Scheme Programming Language (英語オンライン読可)
URLﾘﾝｸ(www.scheme.com)

13:デフォルトの名無しさん
08/04/04 18:36:37

※LispとSchemeのスレです。

14:デフォルトの名無しさん
08/04/04 18:42:02
お酒とワインのスレです。みたい

15:デフォルトの名無しさん
08/04/04 18:45:12
麺類とうどんのスレです。みたい

16:デフォルトの名無しさん
08/04/04 20:03:18
>>15
ﾜﾗﾀ

;;;蕎麦で喧嘩するんだぜきっとｗ

17:デフォルトの名無しさん
08/04/04 20:35:56
テンプレ追加

☆初心者が集うIRC（布教してくれる先生も大募集です）

irc.scenecritique.com
port 6667

チャンネル　#Lisp_Scheme

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

※IRCはつないだまま離席している人が結構いるので即返答がないことも。気長に待ちましょう

現在cdrcdrな感じですが宜しくお願いします

18:デフォルトの名無しさん
08/04/05 18:36:35
If you give someone Fortran, he has Fortran.
If you give someone Lisp,

19:デフォルトの名無しさん
08/04/05 18:38:45
Scheme Gauche part1
って(略

20:デフォルトの名無しさん
08/04/05 23:26:57
場合のカズ、三浦カズ
(define C
(lambda (n k)
(if (eq? k 0) 1
(* (/ n k) (C (- n 1) (- k 1))))))
(display (C 5 2))
⇒10

(define C
(lambda (n k)
(if (eq? k 0) 1
(if (eq? n k) 1
(+ (C (- n 1) (- k 1))
(C (- n 1) k))))))
(display (C 5 2))
⇒10

21:デフォルトの名無しさん
08/04/05 23:51:04
URLﾘﾝｸ(codepad.org)
URLﾘﾝｸ(codepad.org)

22:デフォルトの名無しさん
08/04/06 00:01:39
場合の数
(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 P
(lambda (n r)
(/ (fact n) (fact r))))

(display (P 4 2))

23:デフォルトの名無しさん
08/04/06 00:15:16
>>22
順列ですから

24:デフォルトの名無しさん
08/04/06 00:59:05
>>22
(define P
(lambda (n r)
(/ (fact n) (fact (n-r)))))

25:デフォルトの名無しさん
08/04/06 01:00:53
(define C
(lambda (n r)
(/ (P n r) (fact r))))

26:デフォルトの名無しさん
08/04/06 01:08:32
(thread "Lisp Scheme" (part 21))

27:デフォルトの名無しさん
08/04/06 02:26:55
そういう余計な括弧よさはいりません

28:デフォルトの名無しさん
08/04/06 02:29:15
むしろ括弧が少なすぎるぜ

29:デフォルトの名無しさん
08/04/06 02:52:11
(thread "Lisp Scheme" :part 21)

30:デフォルトの名無しさん
08/04/06 03:40:24
ディレクトリいじれたわ。
Gaucheは俺の既定スクリプト言語になりました。

31:デフォルトの名無しさん
08/04/06 05:04:45
文字列リテラルってダブルクオートで囲うんだっけ？

32:Lisp1.5
08/04/06 09:21:26
シンボルが文字列の代わりです

33:デフォルトの名無しさん
08/04/06 17:29:37
glintがバージョンアップされたようです

34:デフォルトの名無しさん
08/04/06 18:14:29
(explode 'SYMBOL)

35:デフォルトの名無しさん
08/04/06 18:57:57
>>32
internされてて欲しいとき（キーになるもの等）はシンボル
頻繁に作ったり壊したりするならストリング
極めて頻繁にコンペアするならシンボル

とりあえず、デフォルトはストリングだな

36:デフォルトの名無しさん
08/04/06 19:04:42
(glint '(Lisp Scheme Gauche)) ⇒ ﾊﾞｸﾞの数 21

37:デフォルトの名無しさん
08/04/06 21:05:54
ネタにマジレスっていうか、元ネタが微妙だったねｗ
Lisp1.5ってなあ。

38:デフォルトの名無しさん
08/04/07 12:05:35
>>34
=> (S Y M B O L)

39:デフォルトの名無しさん
08/04/07 19:00:23
EOPLとLisp in Small Pieceってどっちがやさしいですか？
簡単な方から挑戦してみようと思ってます。

40:デフォルトの名無しさん
08/04/07 21:27:55
lispのプロジェクトをいろいろ見てるけど、pythonと比べて
toy problem解いただけで実際の複雑な問題に適用できないの多くないですか？
ある程度泥臭いこともやる人がいないからなのかな

41:デフォルトの名無しさん
08/04/07 21:34:57
つ実際の複雑な問題

kwsk

42:デフォルトの名無しさん
08/04/07 21:35:06
>>40
そのプロジェクトってどれよ？

#うちの社内プロジェクトだったらいろんな意味で笑う

43:デフォルトの名無しさん
08/04/07 21:35:33
そうですね、あなたにはPythonが向いてると思います。

44:デフォルトの名無しさん
08/04/07 22:15:10
pythonと実際の複雑な問題だけじゃどう吊られると喜んでくれるかわかんないYO!

45:デフォルトの名無しさん
08/04/07 22:21:15
>>40
URLﾘﾝｸ(www.unixuser.org)

46:デフォルトの名無しさん
08/04/07 22:36:06
>>40
そういうネタの露出度が高いだけでは？

47:デフォルトの名無しさん
08/04/07 22:44:19
すまんが教えてくれ
read関数って空白類記号(スペース、タブ、改行)は読み飛ばすのか？

48:デフォルトの名無しさん
08/04/07 22:47:09
うんそうだよ

49:デフォルトの名無しさん
08/04/07 23:50:45
>>48
アリガト

50:デフォルトの名無しさん
08/04/08 00:43:10
>>40
Pythonマシンとかつくってから出直してこい

51:デフォルトの名無しさん
08/04/08 00:51:40
まあせめてPmacsぐらい作ってほしいね。

52:デフォルトの名無しさん
08/04/08 07:40:06
>>51
Prologで書かれたpmacsなら昔使ってたなあ。
入社したら新人教育がLisp班とProlog班に分かれて、俺はProlog班だった。

53:デフォルトの名無しさん
08/04/08 09:37:55
そんな夢のような会社があるわけねえだろ！

54:デフォルトの名無しさん
08/04/08 10:03:54
>>53
AIバブル全盛期にはあったんだよね。
俺がやったPrologはFM-8上のCP/Mで動くmicro-PLOLOGという丸括弧で括るPrologだった。
pmacsを使ったのはそれとは別のワークステーションで、小型冷蔵庫ぐらいの筐体だったよ。

55:デフォルトの名無しさん
08/04/08 11:28:48
URLﾘﾝｸ(d.hatena.ne.jp)
swigよりも高度なことができるcffiのwrapper toolを試してみました
しかし少し複雑なc++コードを与えるとエラーをおこして止まります

基のc++コードを自動でwrapが生成できようにいじるべきか
それとも自動はあきらめて手書きした方がいいのでしょうか？

pythonなら自動でwrapを作成できるみたいなので
pythonを経由してlispから呼ぶという２度手間という手もできるのでしょうか？

56:デフォルトの名無しさん
08/04/08 12:27:56
ツールをいじるのは手書きを極めてから

57:デフォルトの名無しさん
08/04/08 13:01:22
>>52-54
ﾜﾛﾀｗ
今でもそんな会社があるなら入社してみたい

58:デフォルトの名無しさん
08/04/08 13:18:24
>>54
Micro-PROLOGですぜ、旦那。
"Programming in Logic"読んだ口ですか?

Lisp班の環境は? muLispとか?

59:デフォルトの名無しさん
08/04/08 16:57:05
>>53
昭和時代ならあり得る話

60:デフォルトの名無しさん
08/04/08 19:08:22
2001年宇宙の旅に出てくるHALってLispで書かれてるんでしょ?

61:デフォルトの名無しさん
08/04/08 19:25:21
そんな設定あったっけ？

62:デフォルトの名無しさん
08/04/08 19:33:22
ありません

63:デフォルトの名無しさん
08/04/08 19:49:41
>>58
> "Programming in Logic"読んだ口ですか?
はっきり覚えていないけど教材は手作りだったような。

> Lisp班の環境は? muLispとか?
名前は忘れたけど日立のプラズマ(赤色1色)Laptop(DOS 16bit)で動いている
マルチウインドウのLispだった。Common Lispだったかどうかは分からない。

あとこの会社にはXerox J-Starもあったよ。俺が入って1～2年で廃棄されたが。

64:デフォルトの名無しさん
08/04/08 19:56:27
>>63
muLISP/86 on MS-DOSの可能性大

65:デフォルトの名無しさん
08/04/08 19:57:08
そりゃファクスくらいあるだろw

66:デフォルトの名無しさん
08/04/08 22:53:36
雨の日も風の日も
息をするようにlambdaを書く。
そんな人にわたしはなりたい。

67:デフォルトの名無しさん
08/04/08 23:09:16
自分自身の定義を書き換える関数って書ける？
学習して賢くなる関数。

68:デフォルトの名無しさん
08/04/08 23:12:54
>>67
可能。

69:デフォルトの名無しさん
08/04/08 23:18:57
メモ化された関数は定義は変わらないけど一度計算した結果を覚えて高速化する。

70:デフォルトの名無しさん
08/04/08 23:29:22
関数で新たな関数を作ってevalとか？

71:デフォルトの名無しさん
08/04/08 23:31:24
「賢い」の定義はどんなものなの？

72:デフォルトの名無しさん
08/04/08 23:55:57
「かしこいランプ」（商品名）って
走行中かつ周辺が暗いならば点灯、という論理で動作してるな

73:デフォルトの名無しさん
08/04/09 00:14:07
>>67
できる。つーか、そんなのアセンブラでもできるだろ。ｗ

74:デフォルトの名無しさん
08/04/09 00:16:14
まぁ自己書き換えコードはあまりお勧めしないがな

75:デフォルトの名無しさん
08/04/09 00:48:58
関数は普通に賢いので、データを賢くすることを考えてはどうか

76:デフォルトの名無しさん
08/04/09 10:30:54
>>67
Yコンビネータを使ったメモ化
URLﾘﾝｸ(citeseer.ist.psu.edu)

77:デフォルトの名無しさん
08/04/09 12:40:09
>>67
書き換えるのは簡単だが、賢くするのは難しい。ｗ

78:デフォルトの名無しさん
08/04/09 14:32:38
Yは相互再帰を学習できますか？

79:67
08/04/09 18:04:46
昨夜は書きこんだ後に寝てしまったです。スマンです。

Schemeでdefineを使って定義した内容をリストとして取り出し、
書き換えて自分自身を再定義するってことを考えてました。

自らアルゴリズムを改良していくとかできたらおもしろいなぁって。

夢物語だけれども人造人間キカイダーのように思考し、反省し、学習するプログラム
があったらおもしろいだろうね。

80:デフォルトの名無しさん
08/04/09 18:14:27
AIか？

81:デフォルトの名無しさん
08/04/09 18:53:44
昔ネットに人工無能ってのがあったなあ。

82:デフォルトの名無しさん
08/04/09 19:43:42
>>81
今でもあるよ

83:デフォルトの名無しさん
08/04/09 19:48:48
あるんだﾜﾗ

84:デフォルトの名無しさん
08/04/09 19:50:58
>>82
うずらか～！

85:デフォルトの名無しさん
08/04/09 20:08:52
実は俺・・・

86:デフォルトの名無しさん
08/04/09 21:03:31
cffi使ってたのだけど
大きいプログラムを呼ぼうとする
glibc detected *** sbcl: malloc corruption
で止まる。何か対策ないのでしょうか？

87:デフォルトの名無しさん
08/04/09 21:05:43
大きいとはどのくらいか、
プログラムの大きさかデータの大きさか、
具体的にどのくらいより大きいと駄目なのか、
その辺をいろいろ実験してみると有意義であろう。

88:デフォルトの名無しさん
08/04/09 21:12:24
これをcffiで呼ぼうとしたら同じバグになる

#include <stdio.h> //ここが問題
int test(int i){
return 0;
}

89:88
08/04/09 21:25:19
allegro CLならこんなこと起きないのでしょうか？

90:デフォルトの名無しさん
08/04/09 21:28:53
>>89
それを聞く前に、普通は起きた処理系が何かを書くもんじゃないかい？

91:88
08/04/09 21:30:21
sbclです

92:デフォルトの名無しさん
08/04/09 21:36:53
>>88だけで駄目ってのはさすがに無かったと思うけどなあ。
#includeを抜くと大丈夫なんだよね？
OSは何？

93:デフォルトの名無しさん
08/04/09 21:49:26
>>79
defineで定義した関数をリストとして取り出すことはschemeでは(少なくとも規格内の方法では)出来ない。

94:88
08/04/09 23:36:13
OSはubuntu7.10です

95:デフォルトの名無しさん
08/04/10 00:30:35
>>60-62

【HAL-9000 series】

映画版では1992年1月12日、クラークによる小説版では1997年同日に、イリノイ大学アーバナ・シャンペーン校にて誕生した。
開発者はシバサブラマニアン・チャンドラセガランピライ、通称チャンドラ博士。

HALはIBMを1文字ずつ前にずらして命名された。
小説『2010年宇宙の旅』では、チャンドラー博士自らIBM説を否定した。
が、アーサー・C・クラークは後年になってからIBM社がこの説を迷惑がっているどころか半ば自慢しているらしいと聞き及び、
著書「3001年終局への旅」のあとがきで「今後はこの説の間違いを正す試みを放棄する」と記した。

スペースシャトルの機上コンピュータには、高い信頼性を確保するためにシャトル専用のプログラミング言語が用いられており、これを「HAL/S」という。
「HAL/S」を構築したIntermetrics社の創業者は、大学の同僚でこの言語のコンセプト構築に多大な貢献があった J. Halcombe Laning 博士に敬意を表し、
彼の通称 Hal に因んで HAL と命名した。

しかしこれがいかにもくどく不自然なことから、やはり「HAL/S」は「HAL 9000」に因んだものという憶測が浸透した。
ちなみにシャトルの三番機、OV-103の船名は「ディスカバリー号」となっており、『2001年宇宙の旅』との関連が噂された。
奇しくもスペースシャトル史上2度の大事故の後の初飛行はいずれもこの機体である。

96:デフォルトの名無しさん
08/04/10 00:41:51
IBM AP-101

The IBM AP-101 is an avionics computer, used most notably in the U.S. Space Shuttle, but also in the B-52 and F-15, among others.
When it was designed, it was a high-performance pipelined processor with core memory.
Today, its specifications are exceeded by many microprocessors.
The AP-101, being the top-of-the-line of the System/4 Pi range, shares its general architecture with the System/360 mainframes.
The shuttle software is written in HAL/S, a special-purpose high-level language, whereas AP-101s used by the US Air Force are mostly programmed in JOVIAL.

97:デフォルトの名無しさん
08/04/10 01:44:53
>67
遺伝的アルゴリズムを調べろ。
アクセス規制だから詳細は書けない。

98:デフォルトの名無しさん
08/04/10 01:50:06
遺伝的プログラミングだ。KOZAが最初にLISPを使って示した方法だ。

アクセス規制で携帯だから、他で調べろ

99:デフォルトの名無しさん
08/04/10 02:09:52
Wikipedia項目ﾘﾝｸ
確かにLISP向きな感じがするね

100:デフォルトの名無しさん
08/04/10 02:40:03
>>78
Y そのままだとやりにくいんじゃないかな。
二関数での相互再帰なら
(Y2 f g) = (f (Y2 f g) (Y2 g f))
みたいに拡張するとか。

101:デフォルトの名無しさん
08/04/10 03:31:54
よし、この調子でまたAIバブルを発生させようぜ！
ぶくぶく

102:デフォルトの名無しさん
08/04/10 07:08:50
次はセマンティックバブルだ!
LispハッカーはXMLという妥協を受けいれ、
メインストリームに帰り咲くのだ

103:デフォルトの名無しさん
08/04/10 09:34:46
セマンティックバブルって
SOAPバブルと同じ運命って気がするんだけど

104:デフォルトの名無しさん
08/04/10 13:34:13
とりあえずソープで泡踊りしてきまつ

105:78
08/04/10 18:51:55
>>100
おもしろそうなので書いてみます。Arcで

106:デフォルトの名無しさん
08/04/10 21:35:57
iPod touchでGauche動かせた人いる？
ﾉｼ

107:デフォルトの名無しさん
08/04/10 21:42:06
普通のUnixなので普通に動きますね。NDAがあるので詳しいことは書けませんが。ｗ

108:デフォルトの名無しさん
08/04/10 21:51:32
>>107
Open Programming環境では動かなかったってこと？純正ＳＤＫでしか試してないならＮＤＡあるから書けないかｗ

109:デフォルトの名無しさん
08/04/10 21:57:20
すまん、純正しかやってない。

110:デフォルトの名無しさん
08/04/10 23:22:07
>>109
㌧。参考になりました。
Zaurusポートもそうだけど、Open Programming環境では問題点が出ることが多いのに、純正では大丈夫だったのはちょっと驚き。

111:デフォルトの名無しさん
08/04/11 00:15:52
How to Design Programs
URLﾘﾝｸ(www.htdp.org)

たまげた。折角本を購入したのに、こっちのが充実してる。　orz

112:デフォルトの名無しさん
08/04/11 01:39:50
>>111
分厚いな　読む暇も気力もない

113:デフォルトの名無しさん
08/04/11 05:48:47
>65が放置されてるのはお約束？

114:デフォルトの名無しさん
08/04/11 23:05:11
Seasoned Schemer 18章、オレも解決！
URLﾘﾝｸ(codepad.org)

18章の出だしでリストが返ってくるような書き方が良くないと思う。
この二つを比べてみるとconsとkonsの違いがわかる。

(kdisplay (lots 5))
(display (lots 5))

115:デフォルトの名無しさん
08/04/11 23:33:05
もう少しきれいに書けＹＯ！

(define kdisplay
(lambda (c)
(c (lambda (a d)
(cond
((null? a)(display ""))
(else (display "(")
(display a)
(k2display d)
(display ")")
(newline)))))))

(define k2display
(lambda (e)
(cond
((null? e)(display ""))
(else
(e (lambda (a2 d2)
(display " ")
(display a2)
(k2display d2)))))))

116:デフォルトの名無しさん
08/04/12 02:41:52
blogに投稿する処理を半自動化したいのですが
参考になるコードまたはパッケージなどないでしょうか？

117:デフォルトの名無しさん
08/04/12 05:42:17
XPなんですがDr.Schemeを放置しておくと勝手にメモリがんがん食ってフリーズします。

118:デフォルトの名無しさん
08/04/12 09:38:50
>>116
Common LispやSchemeのコードは知らないけど、
Emacs LispでAtomに対応してるのが二、三あったはず。
参考にするだけなら、PerlやPythonやRubyとかのが、
いくらでもありそうだけど。

ぶっちゃけ、処理自体は全然難しくないんで、
Atomとかのリファレンス見ながら自分で実装しても、
あまり苦労はしないと思う。自分でやろうとしたときは、
UI書くのが一番だるそうだと思った。

119:デフォルトの名無しさん
08/04/12 13:27:05
継続について

あっわかった！！
ん？　こういう場合は。。。

これの繰り返し　

120:デフォルトの名無しさん
08/04/12 16:41:02
プログラミングGaucheの306ページのモジュールシステムですが
本のとおりに打ち込んで実行しても (addx 10) が110にならずに
11になってしまいます。本に誤記はありますか？

121:120
08/04/12 16:47:07
再度、Emacs立ち上げたらできました。
失礼しました。

122:デフォルトの名無しさん
08/04/12 20:14:44
>>116
xml-rpcがつかえるブログなら、gaucheのxml-rpcライブラリがある。サードパーティーだけど。

ぐぐればすぐ見つかる。

123:デフォルトの名無しさん
08/04/12 23:35:41
URLﾘﾝｸ(codepad.org)

SRFI-40のストリームが使えた。

124:デフォルトの名無しさん
08/04/12 23:47:53
URLﾘﾝｸ(d.hatena.ne.jp)

PLT Scheme用のモナドがあるらしい。使った人？
ﾉｼ

125:デフォルトの名無しさん
08/04/13 00:39:49
なんだかわかんねーけど、Schemeってすごいんだな。

126:デフォルトの名無しさん
08/04/13 00:44:51
Ruby使いがSchemeを勉強して何か得るところはありますか？

127:デフォルトの名無しさん
08/04/13 00:51:22
Ruby厨の汚名を晴らせる

128:デフォルトの名無しさん
08/04/13 01:58:43
晴らせた時には既にただのLisperだけどな

129:デフォルトの名無しさん
08/04/13 02:00:25
λ..........

130:デフォルトの名無しさん
08/04/13 02:17:41
そりゃあ Brainfuck でも得るところはあるでしょう
失うものも多いかもしれないけど

131:デフォルトの名無しさん
08/04/13 02:23:00
何かSchemeの人は怖いと聞いていましたが、本当のようですね。
Rubyはクロージャも継続もスレッドも備えていますから、
Schemeはなんでも自作しないといけなくて大変そうに見えるのですが。

132:デフォルトの名無しさん
08/04/13 02:45:09
まさにRuby厨と呼ばれるにふさわしいな。

133:デフォルトの名無しさん
08/04/13 02:47:05
思い込みの激しい人というよりは、目の前で色々思い込んでみせて
引き留めて欲しい人、という感じだな。気持ち悪い。

134:デフォルトの名無しさん
08/04/13 02:56:09
構って君に構っちゃいけませんよ

135:デフォルトの名無しさん
08/04/13 07:35:33
.............................λ
````````````y

136:デフォルトの名無しさん
08/04/13 11:35:59
ArcとOzにヒントを得て、Orzって言語を考えたんだ。
仕様はまだ無いけど。

137:デフォルトの名無しさん
08/04/13 11:41:45
2ch発のマルチパラダイムLisp系言語orz
な？

138:デフォルトの名無しさん
08/04/13 11:55:35
SICPとHtDPはどっちが読みやすい？

139:デフォルトの名無しさん
08/04/13 12:20:12
どっちも読まなくていい
読まなくていいけど、ちょっとつまみ食いしてみようかな
というふいんきがベスト

140:デフォルトの名無しさん
08/04/13 12:25:27
````````````y <やあ、ラムダさん

.............................λ <やあ、Yコンビネータさん

141:デフォルトの名無しさん
08/04/13 13:21:36
>>138
比べるものが違うと思う。
[ {Simply Scheme or HtDP}読了後 ⇒ SICP ] or [Little Schemer ⇒ Seasoned Schemer]
でも最近は
[Little Schemer ⇒ Seasoned Schemer ⇒ SICP]
という読み方が多いかも。

142:デフォルトの名無しさん
08/04/13 13:23:29
λＹ

143:デフォルトの名無しさん
08/04/13 13:25:40
.............................λ ````````````y

144:デフォルトの名無しさん
08/04/13 13:27:00
.............................λ　y ````````````おっとっと

145:デフォルトの名無しさん
08/04/13 13:48:06
「SICP完全制覇」とか出ないかな。

146:デフォルトの名無しさん
08/04/13 15:21:56
>>145
あるじゃん。Instructors Manualって解説用の本。

147:デフォルトの名無しさん
08/04/13 15:26:05
それ読んだらよくわかったの？

148:デフォルトの名無しさん
08/04/13 15:34:35
>>147
yes

149:デフォルトの名無しさん
08/04/13 15:52:36
>>148
アメリカの教科書って難しい内容だと生徒がデスマになるからか、ＨＰがあったり副読本がついてたりするな。至れり尽くせり。
Gauche本のDesktop ReferenceとかInstructor's Manualも出て欲しいｗ

150:デフォルトの名無しさん
08/04/13 16:12:16
Structure and Interpretation of Classical Mechanics

SICMっていう古典力学のプログラミング本も出てるﾗｽｨ

151:デフォルトの名無しさん
08/04/13 16:17:25
これでしょ
URLﾘﾝｸ(www.amazon.co.jp)
さらに難しそうなんです＞＜

152:デフォルトの名無しさん
08/04/13 16:19:58
ブックレヴュー見ていて思い出したんだけど、
Littleの9章で出てきた"partial function"のpartialって偏微分の偏だよね。
どこかで「引数を全て使わない関数のことだ」と書いてあったけど、
全て使っててもpartialだと言ってるし意味が通じない。

153:デフォルトの名無しさん
08/04/13 16:35:45
>>151
URLﾘﾝｸ(mitpress.mit.edu)

今売ってるのはコッチ。目に痛い赤の表紙ｗ

154:デフォルトの名無しさん
08/04/13 16:37:23
同じ本ではないでしょうか＞＜

155:デフォルトの名無しさん
08/04/13 16:40:06
>>152
完全な関数になっていないという意味でpartial(部分的な)と呼んでいる。
引数を使うかどうかは呼称に重要ではない。関数が計算を終了するかどうかでpartialと区別する。

156:デフォルトの名無しさん
08/04/13 16:41:41
>>155
ええ。それはわかりました。
永遠にリスト内を探し続けるが、見つけるべき文字列が見つからないとか、、
そんな例がありましたね。

157:デフォルトの名無しさん
08/04/13 16:42:57
>>154
>>151は526ページだけど、>>153は534ページある。中身は少し違う。

158:デフォルトの名無しさん
08/04/13 16:44:06
ISBNが同じなんです＞＜

159:デフォルトの名無しさん
08/04/13 16:44:08
>>152
解説もあったよ
URLﾘﾝｸ(en.wikipedia.org)

Little Schemerは謎解き本だと思うので
いま九章読んでる人は読まないほうがいいかも

160:デフォルトの名無しさん
08/04/13 16:46:43
>>158
古いと灰色や金色の表紙のものがある。amazon.co.jpは古い表紙のpicを使いまわしてると思われ

161:デフォルトの名無しさん
08/04/13 16:48:15
>>160
実際は赤なんだけど灰色の画像使ってるだけかと思ってました。

162:デフォルトの名無しさん
08/04/13 16:51:26
ＩＳＢＮが古いのと同じなのかぁ。出版社のＨＰで確認するのって大事だな。
amazon.co.jp見ただけじゃそんなことわからないＹＯ！

163:デフォルトの名無しさん
08/04/13 16:56:34
SICMオンライン
URLﾘﾝｸ(mitpress.mit.edu)

164:デフォルトの名無しさん
08/04/13 16:57:04
>>159
そのページの対応する言語を見ると日本語がないｗ

165:デフォルトの名無しさん
08/04/13 17:00:19
SICM　持ってる。けど、自分はラグランジュアンがよくわかってないので
宝の持ち腐れだ。先に数学、勉強するよ。

166:デフォルトの名無しさん
08/04/13 17:00:30
和田訳のSICPがあれだけｸﾞﾀﾞｸﾞﾀﾞなのを考えるとSICMを翻訳できるとは思えんなｗ

167:デフォルトの名無しさん
08/04/13 17:07:18
>>164
これじゃ違うかな。
Wikipedia項目ﾘﾝｸ

168:デフォルトの名無しさん
08/04/13 17:10:16
>>167
㌧。部分写像（partial mapping）がpartial functionに近い。

169:デフォルトの名無しさん
08/04/13 17:23:20
いいなあ、学生は暇があって

170:デフォルトの名無しさん
08/04/13 17:25:01
SICMのユーティリティープログラムのページ (Linux用)

URLﾘﾝｸ(www-swiss.ai.mit.edu)

171:デフォルトの名無しさん
08/04/13 17:26:16
学生じゃないし暇じゃないけど、ゴロゴロしてる。

172:デフォルトの名無しさん
08/04/13 17:27:32
>169

先週から仕事中の現実逃避に>163読み始めたよ
出来れば日本語訳が( ﾟДﾟ)ﾎｽｨ･･･

173:デフォルトの名無しさん
08/04/13 17:38:30
さーてそろそろLittle Schemer読んじゃわないと````````````y

174:デフォルトの名無しさん
08/04/13 17:42:20
8章くらいから難しくなって涙目

175:デフォルトの名無しさん
08/04/13 17:44:33
もれも8章涙目だったけど、何度も読み返して何とか理解した。
まだちょっともやもや残ってるけど、、、、

今9章だお。

176:デフォルトの名無しさん
08/04/13 17:45:57
>>138
HtDPより同じ著者のEOPLの方がいい。
Little Schemerシリーズもいいけど、SICPとEOPLは体系的な知識が得られる。

177:デフォルトの名無しさん
08/04/13 17:46:34
Simply Schemeは？

178:デフォルトの名無しさん
08/04/13 17:48:01
EOPLってﾅｰﾇ?

179:デフォルトの名無しさん
08/04/13 17:48:55
しばらく英語に触れてなかったので、Littleで一杯一杯なんだ。
Simply→SICPという意図で書かれているらしいけど、英語読めるか心配。

>>178
おそらくEssential Of Programing Languageかと。

180:デフォルトの名無しさん
08/04/13 17:53:22
Simply SchemeはLittle Schemerに近い内容をもっとページ数をかけて説明してる。
表計算プログラムを作る演習などのfinger practiceが充実してるけど理論的には浅い。
Haskellで言えばCraftみたいな内容。
HtDPも理論的なレベルは同程度。こっちはプログラミング作法にページを費やしている。

181:デフォルトの名無しさん
08/04/13 17:54:16
>>179㌧

182:デフォルトの名無しさん
08/04/13 17:57:20
>>180
ありがとう。
退屈させないように色々やってみて、プログラミングに馴染んで来たら、
さてそこから深くするには何が困難か？と考えさせて
SICPにつなげる感じなんですかね。

183:デフォルトの名無しさん
08/04/13 18:04:13
>>182
そんな感じ。Littleの8章で困るのも演習でなれることが出来ないからじゃないかい？
SICPに取り組むには、他の言語経験があればLittleぐらい難しくても短期間に十分なレベルに達するけど、
全くの初心者には大量のfinger practiceで経験を積ませないと理論の良さが実感できないから壁を感じるんだと思う。

184:デフォルトの名無しさん
08/04/13 18:05:35
>>183
まさにそんな感じです。Simplyいっといたほうが良かったかな････
プログラミングGaucheで代わりになります？

185:デフォルトの名無しさん
08/04/13 18:21:41
>>184
Gauche本もってるかな？リファレンス的でfinger practiceはあまりないよ。
SimplyはSICPの前に必要な知識をうまく選んで入れてると思う。
でも Little Schemer ⇒ Seasoned Schemer と読んで、ネット上の他人のプログラムを読むのも面白い。
楽しんで継続できるのが一番いい方法だと思う。

186:デフォルトの名無しさん
08/04/13 18:25:27
これ行った人、報告よろ

Continuation Fest 2008
URLﾘﾝｸ(logic.cs.tsukuba.ac.jp)

187:デフォルトの名無しさん
08/04/13 18:29:36
>>185
持ってないです。ネットの立ち読み版は眺めましたけど。
折角Little読み終わりそうだから続けてSeasoned読んじゃおう。
どうもありがとう。

188:デフォルトの名無しさん
08/04/13 18:44:45
>>186
おれも内容知りたいなぁ>>継続フェスタ。

189:デフォルトの名無しさん
08/04/13 19:02:27
>>187
Seasonedをしっかり理解するとSICPの山場といえる3・4章が簡単になるからｶﾞﾝｶﾞﾚ。
特に継続（callcc）がSICP3.5ストリームで利用されるのは面白い。
これがわかるとSICMの入門準備も完了。runge-kutta4（つまり微分方程式）とか出来るとシミュレーションの幅がちょっと広がるし。
ストリームで無限リストが作れるのも目からうろこの体験だった。
これ位はできないとHaskellerに馬鹿にされるしｗ

190:デフォルトの名無しさん
08/04/13 19:03:30
xyzzyの独自機能をcommon lispで読み代えるmacroみたいなのないでしょうか？

191:デフォルトの名無しさん
08/04/13 19:12:15
Little Schemerな連中は、はてなとかで、グループ作って
活動すれば良いんじゃないかと思った。

192:デフォルトの名無しさん
08/04/13 19:22:24
まああれだ
コンパイラといえばyacc
OSといえばブートローダー
SchemeといえばLittle Schemer

193:デフォルトの名無しさん
08/04/13 19:33:26
Little Schemer 何度でも読んでいいですか？

194:デフォルトの名無しさん
08/04/13 19:37:18
いいですよ

195:デフォルトの名無しさん
08/04/13 19:43:04
何度も読むと理解がさらに深まりますか？

196:デフォルトの名無しさん
08/04/13 19:44:33
少なくとも浅くなることは無いから安心して読め

197:デフォルトの名無しさん
08/04/13 19:50:30
じゃあ毎日音読する。

198:デフォルトの名無しさん
08/04/13 20:04:50
>>190
どういうものをイメージしてるのかよく分からないよ……

199:デフォルトの名無しさん
08/04/13 20:33:16
何と言ってもSICPだ。俺はあれを読んで人生が変わった気分だよ。

プログラマは皆SICP必須だな。あれを読めば、場当たり的なコーディングから
完全に開放されるよ。

200:デフォルトの名無しさん
08/04/13 20:34:24
読むなら、やっぱり英語版？

201:デフォルトの名無しさん
08/04/13 20:49:26
>>200
俺は英語版を読んだ。最初翻訳本買おうかと思ってAmazon見たらあのコメントの
群れを見て引いちゃったよw。「超循環評価機」とかのタイトル見ても？？？だったしね。

英語は教科書だからか、受験英語やってりゃ普通に読める英文だよ。ネイティブ風な
言い回しは一切無い。多少英語が読めるんだったら、タダでネットで見れるんだし、
原語でいいんじゃないか。

ちなみに俺はあまりの感動にハードカバーの洋書を買ってしまった。９０００円ぐらい
したかな。ただ、持ち運びにはペーパーバックのほうがいいし、値段も半額以下なので
これについては激しく後悔しているw

202:デフォルトの名無しさん
08/04/13 21:06:57
昔のマグロウヒル日本語版から比べたら、現行日本語版なんて天国みたいなもんだよ。

203:デフォルトの名無しさん
08/04/13 21:10:17
別に悪い訳じゃないと思うけどなぁ。
超循環評価機をメタサーキュラ～とかカタカナで書かれたら死ぬ。

204:デフォルトの名無しさん
08/04/13 21:12:16
Amazonの書評は異常だね。攻撃的な人って居るんだなと感心する。

205:デフォルトの名無しさん
08/04/13 21:21:20
ﾆﾔﾆﾔ

206:デフォルトの名無しさん
08/04/13 22:46:13
>204
あれは読んでない奴の戯言だ
Amazonのあの手の書き込みは鵜呑みにしない事にしている

207:デフォルトの名無しさん
08/04/13 23:14:33
単語まで全て逐語訳にしないで
->計算機(computer)
みたいな感じで元の英単語も書けば良かったんだよな。

208:デフォルトの名無しさん
08/04/13 23:17:09
字幕の最初の方が出来上がったてるみたいだ。

次ページ