((Common Lisp) (Scheme) :Part 15)

((Common Lisp) (Scheme) :Part 15) at TECH

1:デフォルトの名無しさん
06/06/23 10:22:53
過去スレ
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:デフォルトの名無しさん
06/06/23 10:24:33
□参考リンク□

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

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

Lisper への道(日本語)
URLﾘﾝｸ(www.geocities.co.jp)
判りやすいLISP入門サイト。

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

3:デフォルトの名無しさん
06/06/23 10:25:58
慶応の授業のページ・記号処理プログラミング 2001
URLﾘﾝｸ(buri.sfc.keio.ac.jp)

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

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

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

Association of Lisp Users
URLﾘﾝｸ(www.alu.org)
米国のLispユーザ会

4:デフォルトの名無しさん
06/06/23 10:27:53
□SICP関係□

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

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

SICPの回答集
URLﾘﾝｸ(www.melt.kyutech.ac.jp)
URLﾘﾝｸ(pluto.aurorasd.co.jp)
URLﾘﾝｸ(www.ipl.t.u-tokyo.ac.jp)
URLﾘﾝｸ(www.sampou.org)

5:デフォルトの名無しさん
06/06/23 10:29:33
□その他□

Schemeで書かれた正規表現ライブラリ
URLﾘﾝｸ(www.cs.rice.edu)

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

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

Bit - Implantation compacte de Scheme
URLﾘﾝｸ(www.iro.umontreal.ca)
mini-schemeよりも小さい(?)bytecode変換系

Lisp 言語処理系: CAMPUS LIsP, Lemon version
URLﾘﾝｸ(aten.aial.hiroshima-u.ac.jp)
Cコードによるわずか1000行の実装

Cliki
URLﾘﾝｸ(www.cliki.net)
CommonLispのプログラムがたくさん紹介されているのでここを当たるべし。

6:デフォルトの名無しさん
06/06/23 10:30:46
encyCMUCLopedia
URLﾘﾝｸ(www.isr.ist.utl.pt)
cmucl以外でも有益なはず

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

Tiny CLOS Tutorial
URLﾘﾝｸ(home.adelphi.edu)

Schemix
URLﾘﾝｸ(www.abstractnonsense.com)
Linuxのkernelへのパッチで、/dev/として扱えるTinyScheme

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

7:デフォルトの名無しさん
06/06/23 10:46:55
その他よさそうなリンク

awkで書かれたわずか500行のLispインタプリタ
awklispを読めばLispが理解できる
URLﾘﾝｸ(www.accesscom.com)

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

* Hotdog Scheme URLﾘﾝｸ(rover.cs.nwu.edu)
　MS が金出してたみたい
* Bigloo URLﾘﾝｸ(www-sop.inria.fr)
　CLR 用のコードを吐けるようになったらしい

継続

なんでも継続
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)
CPS(継続渡しスタイル)の説明
URLﾘﾝｸ(www.csl.sony.co.jp)
Kahua: 継続ベースのアプリケーションサーバー
URLﾘﾝｸ(www.kahua.org)

8:デフォルトの名無しさん
06/06/23 10:50:50
仕様関係）
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) Scheme(ja)
URLﾘﾝｸ(www.sci.toyama-u.ac.jp)

便利な情報リソース）
The Common Lisp Cookbook: いわゆる Cookbook
URLﾘﾝｸ(cl-cookbook.sourceforge.net)

小さい実装）
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)

9:デフォルトの名無しさん
06/06/23 10:55:26
LISP Scheme Part9 (html化)
URLﾘﾝｸ(ruku.qp.tc)

独習 Scheme 三週間
URLﾘﾝｸ(www.sampou.org)
Schemeの教科書

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

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

Bill Clementson's Blog: Lisp関連の話題が中心のBlog
URLﾘﾝｸ(home.comcast.net)

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

10:デフォルトの名無しさん
06/06/23 10:57:43
テンプレ、以上です。

11:デフォルトの名無しさん
06/06/23 19:51:31
ｫｯ

12:デフォルトの名無しさん
06/06/24 02:33:35
イカすスレタイ乙

13:デフォルトの名無しさん
06/06/24 13:26:20
乙

14:デフォルトの名無しさん
06/06/24 20:48:38
(乙)

15:デフォルトの名無しさん
06/06/24 22:19:08
(defun 乙 ()
(message *乙*))

16:デフォルトの名無しさん
06/06/24 22:25:39
(define exit-k '())
(call-with-current-continuation (lambda (k) (set! exit-k k)))

(define 乙
(lambda ()
(k (lambda () (display "乙!") (newline)))))

17:デフォルトの名無しさん
06/06/24 22:48:15
>>16
まわりくどい人キタ！

18:デフォルトの名無しさん
06/06/24 22:51:26
>>14がすべて悪いｗ

19:デフォルトの名無しさん
06/06/25 05:24:15
>>16 が継続渡しに失敗している件について。

20:デフォルトの名無しさん
06/06/25 11:09:06
(begin
(display (call/cc (lambda (c)
(set! exit-k c)
">>1")))
(newline))
(exit-k "乙!")

こうですか！わかりません！

21:デフォルトの名無しさん
06/06/25 23:02:51
トップレベルまたいじゃだめだろ

22:デフォルトの名無しさん
06/06/26 23:37:09
箱の中に手を入れたり、放り込む感じはないけど、car、cdr、
cons は、まだ逐次的にしている感が否めない。
（集合の定義でいいんじゃ……。）

あらゆる問題に対処する慣れの時間を削減する言語の進化！

23:デフォルトの名無しさん
06/06/27 00:08:10
>>22
とりあえずそれはLispじゃないので、勝手に俺言語でも作ってやってください

24:デフォルトの名無しさん
06/06/27 17:13:43
最近Gaucheをいじり始めて、とりあえず独習Scheme3週間を流し読みしたxyzzy使いなんだが、
初心者がいじって遊べるSchemeのプログラムって何がある？

今はWiLiKiのソースを読んでみてるんだが、ちょっと量が多すぎる気がする。

25:デフォルトの名無しさん
06/06/27 18:44:56
漏れはWiLiKiにマクロを追加してみたりして遊んだ。
メモできるカレンダーとか。

26:デフォルトの名無しさん
06/06/27 18:45:27
>>24
どこに埋もれたか忘れたが、大学院時代、ゼミの課題で、自分で自分を実行できる
Schemeのサブセットを作ったことあるなぁ。徹底的に文法を削って、200行未満に
収めてしまった。

(define my-scheme
(lambda ()
(eval (read))
(my-scheme) ))

(my-scheme)

ではないよ。ちゃんと環境も作った。プリミティブとクロージャは、大元のやつを
使ってさぼったけど。課題として面白いと思うんだけど、どうかなぁ。

27:24
06/06/27 19:12:50
書き込んだ後でScheme Topicsを見つけて、
「あーこの中で簡単なのから読めばいいかな」とか思ってました。
URLﾘﾝｸ(www.shiro.dreamhost.com)

これ読みながらWiLiKiを弄ってみることにします。
>>26のお題は悟りを開いてから考えます。

28:デフォルトの名無しさん
06/06/27 22:42:13
Scheme のサブセットってどこら辺まで許されるかな。
遅延評価は削っても良さそうだけど、継続はダメかな。

29:デフォルトの名無しさん
06/06/27 23:08:19
>>28
R5RSなんて小さい規格なんだから、一つでも削るならSchemeと呼んで欲しくない。
あれ以上削ったらただの「俺言語」だ。

30:デフォルトの名無しさん
06/06/27 23:16:12
>>29
Sussman と Steele の言語が Scheme じゃないとでも?
R^nRS 名乗らないなら
* レキシカルスコープ
* 末尾呼び出しの最適化
* 変数と関数が同じ名前空間
くらいでいいんじゃない?

31:デフォルトの名無しさん
06/06/27 23:18:06
>>30
それは単なる 1-Lisp の一種だろ

32:デフォルトの名無しさん
06/06/28 01:06:29
>29
「scheme のサブセット」なんであって scheme だとは書いてないでしょ。まぁ
でも継続はあってほしいかも。

33:デフォルトの名無しさん
06/06/28 01:13:46
>>32
それを言ったらどんな言語だってSchemeのサブセットのスーパーセットだよｗ
個人的には継続のない言語をSchemeと呼ぶのは大きな違和感がある

34:デフォルトの名無しさん
06/06/28 06:02:20
numeric tower とかマクロとか

35:デフォルトの名無しさん
06/06/28 06:04:37
(E E*)の形で関数適用が書けて、レキシカルスコープならschemeでいいや。

36:デフォルトの名無しさん
06/06/28 07:41:59
新しいの出てるね

URLﾘﾝｸ(www.schemers.org)

top-level が library になったり、call/cc や when, unless がデフォルトになったり...
UNICODE サポートはどうなるんでしょうね

37:デフォルトの名無しさん
06/06/28 07:43:32
R1RSってどんだけちっちゃかったの？

38:デフォルトの名無しさん
06/06/28 08:45:45
square brackets([])はなくならないんだろうなあ……なんかやだ。

39:デフォルトの名無しさん
06/06/28 10:26:21
R6RS> All definitions and expressions must appear within a library form; R6RS has no notion of a top-level definition or expression.
ま、中途半端よりはいいかもしれんが....　微妙だ。　

40:デフォルトの名無しさん
06/06/28 17:06:50
>>38
同意

41:デフォルトの名無しさん
06/06/28 18:52:20
common-lisp.net 死んだ?

42:デフォルトの名無しさん
06/06/28 20:28:29
square bracketsって誰の趣味?
なんでR6RSにこれが入るの決定なのか知ってる?

43:デフォルトの名無しさん
06/06/28 21:05:38
その議論は2年前に終ってる。なぜお前はその時ちゃんと反対しなかったんだ?

44:デフォルトの名無しさん
06/06/28 21:08:10
>>43
ポインタキボンヌ

45:デフォルトの名無しさん
06/06/28 21:57:58
web上にいいのがないが、とりあえず去年の3月には投票済み。
URLﾘﾝｸ(www.schemers.org)
> We have voted on a number of the decisions listed in the Revised R6RS
> Status Report. Among the minor but visible decisions made are:
> :
> - add balanced square brackets as a synonym for parentheses

46:デフォルトの名無しさん
06/06/28 23:11:46
>>39
これ良く分からなかったんだけど、全部 (library <lib-path> <language> <body>) で
書くようにしたいって事だよね。今までみたいに REPL から自由に式を入力出来る形ではなく。
で、(library "main" ...) が entry point になると...

47:デフォルトの名無しさん
06/06/28 23:59:25
失礼します。
Windows2000にDrScheme（version350）を入れて日本語の設定をしたのですが、
ボタンや本文の文字がうまく表示できません。
このようになります↓
URLﾘﾝｸ(www.42ch.net)
（定義欄に入力しているのは、(string-length "ほげ")です）
メニューの編集-環境設定-フォントでフォントをMSゴシックにしています。
その他は色の設定しか変更していません。
Windowsのフォントキャッシュを作り直してみましたが改善しませんでした。

原因や解決法に思い当たる事があればお教え願います。

48:デフォルトの名無しさん
06/06/29 02:51:24
言語を英語にして縦書きの日本語フォントを使うｗ

49:デフォルトの名無しさん
06/06/29 07:37:18
フォントじゃなくて文字コードの設定のような気がする
何かが「Latin-1」か「ASCII」になってるんじゃないか？

50:デフォルトの名無しさん
06/06/29 19:15:19
guile schemeでeval関数ってどうやって使うのでしょうか?

gauche schemeなら
(define environment #t)
(define initialenv '())
(set! environment (eval '(define a 2) initialenv))
って感じで使えるんだけど…
guileで同じようにやっても、evalの第二引数の型が違うってエラーになっちゃう。

51:47
06/06/29 22:04:01
ありがとうございます。解決法は見つかりませんでしたが、
・縦書きフォントなら表示できる
・中国語・朝鮮語フォントも表示できる（「々」が出ないものが多い）
・BDF UM+は大丈夫
のようなので、その範囲で使う事にします。

>>48
そうすることにします。
>>49
UnicodeフォントのはずのMSゴシックが使えないことに疑問が残りますが、
BDF UM+では表示できたのでそうではないようです。

52:デフォルトの名無しさん
06/06/30 12:59:13
>>50 それは動く Gauche の方が変なのでは。R5RS 的には、eval の
第二引数は、(interaction-environment), (scheme-report-environment 5),
(null-environment 5) のいずれかでなければならない。

なさりたいことを拝察するに、こういうことかと。最初の行をとれば、Gauche
でも動くはず。

(use-modules (ice-9 r5rs)) ;; R5RS をguile で使えるようにする。
(define env (null-environment 5))
(eval '(define a 2) env)
(eval 'a env)

53:50
06/06/30 13:27:21
>>52
おーできた、ありがとう！

54:デフォルトの名無しさん
06/07/02 16:26:34
携帯（例えばiアプリ）上で使えるSchemeってないのかな？

55:デフォルトの名無しさん
06/07/02 17:12:21
携帯単体ではさすがにキツイべ
逆立ちしてもメモリが足りねえよ

56:デフォルトの名無しさん
06/07/02 18:55:59
>>55
heapとして扱えるメモリは意外とあるんだよ、ないのは実行コードエリアとしての容量なんだよね。
だが所詮iAppli

57:デフォルトの名無しさん
06/07/02 19:03:06
そうか～。やっぱし携帯ではきついものがあるのか。

58:デフォルトの名無しさん
06/07/02 19:38:30
コードをネット上から読み込んで動作するようにすればどうだ？
携帯Javaでそんなことが出来るか知らんけど。
そしてそこまでするならCGIとかでもいいかもしれんが。

59:デフォルトの名無しさん
06/07/02 19:43:36
携帯の上でSchemeインタプリタを動かすかどうか別にして、そういう制限環境向けの
プログラムジェネレータをLisp系の言語で書くという発想は面白いかもしれない。

60:デフォルトの名無しさん
06/07/03 12:20:49
つ URLﾘﾝｸ(www.okisoft.co.jp)

61:デフォルトの名無しさん
06/07/03 15:28:51
(display '(a b "cd\n"))
ってやると
(a b cd
)
って表示されちゃうんだけど、
本当は
(a b "cd\n")
というふうに元の形のまま出力させたい。
どうしたらいいんでしょうか?
自分で元の形のまま出力する関数を定義するしかない?
それともschemeにそういう関数がもとから備わってる?

(write '(a b "cd\n"))
でも出力は
(a b "cd
")
で\nが改行に変わってしまってだめだった。

62:デフォルトの名無しさん
06/07/03 15:49:06
\\

63:デフォルトの名無しさん
06/07/03 19:54:55
\\
じゃだめで、
エスケープしなくてもそのままの形でS式の中のstringを表示させたいんだけど。

64:デフォルトの名無しさん
06/07/03 20:01:50
goshでwriteだと\nて出た

65:デフォルトの名無しさん
06/07/03 20:02:08
'(a b "cd\n")
ならばそのまま
(a b "cd\n")
と。
'(a b "cd\\n")
ならばそのまま
(a b "cd\\n")
と表示させたいんです。説明足らずですみません。

66:デフォルトの名無しさん
06/07/03 20:06:56
>>64
goshだと確かに\nって出ますね・・・
でもguileだとダメだ・・・
処理系依存なのか・・・
guile用には自分で定義するしかないかなぁ。

67:デフォルトの名無しさん
06/07/03 20:09:36
writeはreadできるように書き出せば良いので、どちらの処理系も間違いではないのだろうな

68:デフォルトの名無しさん
06/07/03 22:39:49
guile だと \n は read した時点で改行になってるっぽい。
write の代替書くとかいう方法じゃ解決できなそうだね。

(string-length "\n")
=> 1

(equal? "\n" "
")
=> #t

69:デフォルトの名無しさん
06/07/03 22:49:25
readした時点で改行文字になるのは当然。
問題はwriteが文字列中の改行文字をどう出力するかだよ。

70:デフォルトの名無しさん
06/07/03 23:05:06
つまり、どうやっても「元の形のまま」出力することはできないってことでいいのかな。
改行と \n が区別できないってことは、両方含む文字列はどっちかが変換されちゃう。

71:デフォルトの名無しさん
06/07/03 23:09:31
>>70
致命的な勘違いをしてないか？

72:デフォルトの名無しさん
06/07/04 00:51:39
確かに何か勘違いしてるっぽいけど...

ASCII コードで 32 以下なら ¥ でエンコードし、
それ以外はそのまま表示するような display/write もどきを
自前で書き起こすというのはダメ?

73:デフォルトの名無しさん
06/07/04 02:20:49
>>72
こんな質問をする奴にそれを進めても、自分が何やってるか理解できずに今度は
"ab
cd"
が
"ab\ncd"としか出力できません
という質問がされる悪寒。

74:61
06/07/04 03:53:56
改行を\nと出力する自前の関数を定義するっきゃなさそうですね。
今やろうとしてることでは
"ab
cd"
なんていう入力は想定しなくていいので問題ないです。
ありがとうございました。

75:デフォルトの名無しさん
06/07/06 00:13:02
schemeで
関数のリストfuncsと、データのリストdatasがあって、
funcsのn番目を、datasのn番目に適用してくれる関数ってない？
再帰使ってちょこちょこっと書けばいいんだけど。
(define funcs '(func1 func2 func3))
(define datas '(a b c))
(hoge funcs datas)
=>((func1 a) (func2 b) (func3 c))
みたいになるやつ。

76:デフォルトの名無しさん
06/07/06 00:50:54
map apply すりゃいいんじゃないの

ところで data は複数形だぞ。単数形は datum。

77:デフォルトの名無しさん
06/07/06 00:59:41
datasわろす

78:デフォルトの名無しさん
06/07/06 01:18:47
URLﾘﾝｸ(koders.com)

79:デフォルトの名無しさん
06/07/06 06:22:48
>>75
(zip funcs datas)
=> ((func1 a) (func2 b) (func3 c))

80:デフォルトの名無しさん
06/07/06 07:25:35
例の戻り値が不適切っぽいのはともかく、適用したいってんだから、
(map (cut <> <>) funcs datas)
じゃないかな。

81:デフォルトの名無しさん
06/07/10 17:44:09
(set! a '(0 1 2 3 4 5))

があるとして、配列 a の後ろから二番目の値、この場合は４を取り出す方法を教えてください

（car とか cdr とかわかんねー。どうやったら後ろから二番目の値を取れるのか・・・）

82:デフォルトの名無しさん
06/07/10 17:47:34
(list-ref a (- (length a) 2))

83:デフォルトの名無しさん
06/07/10 17:50:01
=> (list-ref a (- (length a) 2))
ERROR: unbound variable (errobj list-ref)
--

すまん、今使ってるのは　script-fu uyq@

84:デフォルトの名無しさん
06/07/10 17:58:46
(define (list-ref lis idx)
　 (if (= idx 0) (car lis) (list-ref (cdr lis) (- idx 1))))

85:デフォルトの名無しさん
06/07/10 17:58:47
(define list-ref
(lambda (ls position)
(if (= position 0)
(car ls)
(list-ref (cdr ls) (- position 1)))))

--

ググったら↑みたいのが出てきた。
これで script-fu でも list-ref が使えるらしい。

マンドクセからこれ使おうっと

86:デフォルトの名無しさん
06/07/11 00:13:08
(cadr (reverse a))

87:デフォルトの名無しさん
06/07/11 16:08:25
carやcdrは判っておいたほうがよい。
リストの構造を紙に書いて考えるんだ。

88:デフォルトの名無しさん
06/07/11 17:19:13
ずいぶん前だけど、かなりemacs lisp関連のコードを
コントリビュートしてる人が、consセルって何?みたいな
話しててたまげた。

carとかcdrもS式で表現されたリストに対する操作として
理解してたらしい。

そういうのもありなんだとある意味感動した。

89:デフォルトの名無しさん
06/07/11 17:47:49
caddrとかの言い回しは気にならなかったのかな

90:デフォルトの名無しさん
06/07/11 17:55:22
>>88
そんな香具師のcontributeしたelispコードなんて使いたくねーな

91:デフォルトの名無しさん
06/07/11 19:20:14
実際セル知らなくてもS式だけで完結しちゃうだろ。

92:デフォルトの名無しさん
06/07/11 23:07:34
alist もリストのリストにするのか？
問題はないけど何か無駄な感じ

93:デフォルトの名無しさん
06/07/11 23:30:01
alistはリストのリストにすること多いけどな。
92は後からデータが追加されるときにcdrをcadrにいちいち書き換えるのか?

94:デフォルトの名無しさん
06/07/11 23:50:35
点対とかどうやって理解してるのか興味あるな
まぁアセンブラ書いたこと無い奴のCプログラムみたいなもんなんだろうな

95:デフォルトの名無しさん
06/07/12 00:10:20
consを廃止すればドット対作れなくね？
listで良くね？

96:デフォルトの名無しさん
06/07/12 00:12:14
先頭に１個付けたいときどうするの？

97:デフォルトの名無しさん
06/07/12 00:21:35
リストの共有状態とかも理解してない悪寒

98:デフォルトの名無しさん
06/07/12 00:49:28
>>93
cadrは何か半端で嫌いだ。
cdrだとﾋﾞｼｯとした感じでｶｯｺいいよ？

99:デフォルトの名無しさん
06/07/12 01:31:09
>>95
R6RS 方面でそんな話題も出てるみたいね。
といってもさすがに cons 廃止じゃなくて、
cons の第二引数を list に限定しましょうって話だけれど。
↓の 5. Mutability of pairs の最後の段落参照。
URLﾘﾝｸ(www.schemers.org)

100:デフォルトの名無しさん
06/07/12 01:36:41
>>99
うへぇ

101:デフォルトの名無しさん
06/07/12 21:07:41
SBCL 最新リリースで Solaris と Mac OS X もネイティブスレッド対応されたみたいだね。
Mac は experimental みたいだけど。

URLﾘﾝｸ(sbcl.sourceforge.net)

102:デフォルトの名無しさん
06/07/13 00:48:19
自分、Scheme、特にDrSchemeがものすごい
スキなんですけど、Schemeのプログラマー募集してる
会社って皆無ですよね。なんで？
exe作れないから？
実用性ゼロだから？

103:デフォルトの名無しさん
06/07/13 00:55:06
>>102
Schemeでできるような面白い仕事を人に回したくないからだよ

104:デフォルトの名無しさん
06/07/13 09:33:51
我らが教祖様がインタビューに答えているぞ。
URLﾘﾝｸ(japan.cnet.com)

105:デフォルトの名無しさん
06/07/13 11:40:39
(defun power (x y)　　　　　　　　　
(loop with i = 0 with tmp = 1
do
(when (>= i y) (return tmp))
(setq i (+ 1 i))
(setq tmp (* tmp x))
))
この式をsetqを使わない方法でやるのってどうやるんでしょうか？

106:デフォルトの名無しさん
06/07/13 11:47:47
CL-USER> (defun power (x y)
(setq i 0) 　　　　　　
(setq tmp 1)　　　　　　　　　
(loop　　　　　　　　　　　　　
　　　 (if (>= i y)(return tmp))　　
(setq i (+ 1 i))　　　　　　
(setq tmp (* tmp x)) 　
))
POWER
CL-USER> (power 3 2)
9

間違えました、こっちの式です

107:デフォルトの名無しさん
06/07/13 12:17:52
(defun power (x y)
(labels ((fuga (x y z)
(if (zerop y)
z
(fuga x (1- y) (* z x)))
))
(fuga x y 1)))
もしくは
(defmacro power (x y)
`(expt ,x ,y))
もしくは
(setf (symbol-function 'power) #'expt)

108:デフォルトの名無しさん
06/07/15 19:35:16
DrSchemeでdoに相当するものを教えてください。
まさかないことはないと思うので・・。

109:デフォルトの名無しさん
06/07/15 19:48:14
仮に無くても５分で作れるだろ

110:デフォルトの名無しさん
06/07/15 20:26:27
>>108
メニュー -> 言語 -> 言語の選択 -> r5rsなどを選択

111:デフォルトの名無しさん
06/07/15 21:36:36
>>110
ありがとうございます。
teaching languageを使ってました。
>>109
時間があるときに考えてみます。

112:デフォルトの名無しさん
06/07/15 22:10:55
(symbol-append 'a 'kuuhaku 'b) -> a b
となるような「kuuhaku」の部分の書き方はどうすれば良いですか？

113:デフォルトの名無しさん
06/07/15 22:33:30
(define (symbol-append . symlist)
(string->symbol
(apply string-append
(map
(lambda(sym)
(if (eq? sym 'kuuhaku)
" " (symbol->string sym))) symlist))))

114:デフォルトの名無しさん
06/07/16 01:26:28
common lisp なら | | か \ かな。(intern " ") でもいいけど。

115:デフォルトの名無しさん
06/07/16 01:47:45
>>113
ちょっとよく分かりません。申し訳ないです。
>>114
ありがとうございます。それで上手く行きそうです。

116:デフォルトの名無しさん
06/07/16 19:43:13
DrSchemeで微分プログラムに挑戦してんだけど、
自分だけだと行き詰る。参考ＨＰとかある？

117:デフォルトの名無しさん
06/07/16 20:17:15
ちょっと調べたけど、そのものずばりのwebpageは無さそうだね。
どこで行き詰ってるのか具体的に書けば、なんらかのアドバイスが出てくると思うよ。
まさか数値解析から教えてくれなんて事じゃないよねｗ

118:デフォルトの名無しさん
06/07/16 20:20:43
xをｎ乗回かけるプログラムをSchemeで書くとどうなる？

119:デフォルトの名無しさん
06/07/16 20:26:08
schemeって何？

120:デフォルトの名無しさん
06/07/16 20:27:01
スチームっていう発音でいいの？

121:デフォルトの名無しさん
06/07/16 21:05:57
(define (expt x n)
(if (= n 0)
　　1
　　(* x (expt x (- n 1)))))

122:デフォルトの名無しさん
06/07/16 21:08:47
人工知能の第一人者J・マッカーシー氏に聞く--AI研究、半世紀の歴史を振り返る
URLﾘﾝｸ(japan.cnet.com)

123:デフォルトの名無しさん
06/07/16 22:53:20
>>116
微分のプログラムは難しいよ。
参考になるサイトはないと思う。

124:デフォルトの名無しさん
06/07/16 23:04:41
数値微分なのか数式微分かくらいかかにゃアドバイスできんがね

125:デフォルトの名無しさん
06/07/17 02:19:13
>>121
デファインしないとだめなのか。

もし、ｎが０だったら、
１を返しなさい。

それ以外だったら、
（ｎ－１）を実行して、
それとXを掛けて、、

あーーーーーわかんなくなった

126:デフォルトの名無しさん
06/07/17 02:31:55
defineしなくてもnamed-letやY-Combinatorでも書けるでしょ

127:デフォルトの名無しさん
06/07/17 03:17:31
URLﾘﾝｸ(tkoolup.hp.infoseek.co.jp)
日本語版ダウンロードしたら文字化けします

128:デフォルトの名無しさん
06/07/17 10:20:26
>>116
SICP嫁

129:デフォルトの名無しさん
06/07/19 00:14:10
引数任意（一個以上）な関数はどうすれば定義できますか？

130:デフォルトの名無しさん
06/07/19 00:15:43
>>129
&restなど

131:デフォルトの名無しさん
06/07/19 00:18:10
>>129
ラムダリストで調べれ。

132:デフォルトの名無しさん
06/07/19 01:23:30
>>130-131
どうもです。

133:デフォルトの名無しさん
06/07/19 02:07:29
ハーフライフ１で、やたら
λ（ラムダ）
って用語が出てくるんだけど、体験版やってみたら、
スタート地点から、ゴールまで行って、
またそこからスタート地点までわざわざ
戻ってくるんだよね。マラソンの折り返し地点みたいに。
なんでラムダラムダ言ってたのか、ようやくわかるというわけ。
この開発者、たぶんLispかスキームが好きなんだとおもうよ。

134:デフォルトの名無しさん
06/07/19 09:01:03
>>133
なんだかさっぱりわからないのですが、ゲームか何かの話？

135:デフォルトの名無しさん
06/07/19 10:03:39
単にΛの字面から来てるんじゃないのか？

136:デフォルトの名無しさん
06/07/19 10:08:48
「ラムダ」でググってたら、実は世の中は隠れLispマニアでいっぱいだということがわかったｗ

137:デフォルトの名無しさん
06/07/19 12:10:39
Half-Lifeのλは半減期(Half-Life)から来てるんじゃね？
Lispとは関係ない気がする。

138:デフォルトの名無しさん
06/07/29 19:43:32
数式微分わからん。ＳＩＣＰ通りにやっても動作しないけど。
ほかに参考になるサンプルソースはないのか？

139:デフォルトの名無しさん
06/07/29 19:45:21
>>138
微分には挑戦したことないからわからない。
参考図書とかあればこんど探してくるよ。

140:デフォルトの名無しさん
06/07/29 19:46:03
>>139
サンクス。

141:デフォルトの名無しさん
06/07/29 19:48:21
>>138
微分のコードは書いたことないからわからない。
SICPに書いてあるけどよくわからない。

142:デフォルトの名無しさん
06/07/30 03:23:57
>>138
SICPでぐぐるとコードが落とせるところが引っ掛かるから
それ使ってやってみれ。それでダメなら何か根本的に勘違いしてる。

143:デフォルトの名無しさん
06/07/30 06:43:12
URLﾘﾝｸ(lispuser.net)
Windows で CLISP + SLIME + Tcl/Tk キターーーー

144:デフォルトの名無しさん
06/07/30 14:16:26
Tcl までついてくんのか……

145:デフォルトの名無しさん
06/07/30 14:39:11
たしかにTclはいらんなｗ

146:デフォルトの名無しさん
06/07/30 18:55:59
つかlisperがwindowsって違和感。
PC Unix か Mac OS X つかおうぜ

147:デフォルトの名無しさん
06/07/30 19:00:00
むしろ Windows が VMS だと考えるんだッ

148:デフォルトの名無しさん
06/07/30 19:01:52
頭のなかでVMSとMVSがけっこう混ざってる

149:デフォルトの名無しさん
06/07/30 19:28:34
>>146
んなこと言ってると喰えないのだ

150:デフォルトの名無しさん
06/07/30 19:29:38
cygwin上ならセフセフ

151:デフォルトの名無しさん
06/08/02 11:26:56
practical common lispってなんであんなにloopばっか使ってんのかね?
mapcarとかで済みそうなものも徹底してloopしか使わない……

152:デフォルトの名無しさん
06/08/02 23:53:51
guileで
(use-modules (ice-9 r5rs))
(define env1 (scheme-report-environment 5))
(define env2 (scheme-report-environment 5))
(eval '(define a 3) env1)

としておいて、
(eval 'a env1)
を評価すると3になるんだけど、
(eval 'a env2)
を評価しても結果が3になってしまう。
つまりenv1とenv2は同じオブジェクトってことになってしまっている。

env1の中での環境の変化をenv2には影響させない方法ってありませんか？

153:デフォルトの名無しさん
06/08/03 00:23:14
にるぽ

154:デフォルトの名無しさん
06/08/03 00:46:53
かー

155:デフォルトの名無しさん
06/08/03 01:26:29
>>152
いまいちやりたいことがわからんが・・・
scheme-report-environmentはR5RSで定義されてるバインドだけ持った環境を返すだけで
返してきた環境の中に新たにバインドつくるとかはできないんだぜ？

156:デフォルトの名無しさん
06/08/03 07:46:45
いや、それがやりたいんだと思うよ。
R5RSに出来ないと書いてあるのにできちゃうevalってのも不親切といえば
不親切ではあるかも知れない(が、エラーにしちゃうとそれも不便だろうな)。

R5RSより:
　-- procedure: eval expression environment-specifier
　　　　　Evaluates EXPRESSION in the specified environment and returns its
　　　　　value. EXPRESSION must be a valid Scheme expression represented
　　　　　as data, and ENVIRONMENT-SPECIFIER must be a value returned by one
　　　　　of the three procedures described below. Implementations may
　　　　　extend `eval' to allow non-expression programs (definitions) as
　　　　　the first argument and to allow other values as environments, with
　　　　　the restriction that `eval' is not allowed to create new bindings
　　　　　in the environments associated with `null-environment' or
　　　　　`scheme-report-environment'.

157:デフォルトの名無しさん
06/08/04 03:18:49
LispWorks5.0出荷されてますね。
URLﾘﾝｸ(www.lispworks.com)

158:デフォルトの名無しさん
06/08/04 22:05:05
>>144
なにかと思ったら LTK 動かすためなんじゃね？入門を目指すならいいん
じゃないかな。むしろ「GUI もできます… Tcl/Tk を入れれば」は初心者
には引かれるだろ。よく言われる

- フリー
- ANSI Common Lisp (MOP, Gray Stream などデファクトスタンダード含む)
- Windows 用
- .exe が作れる
- GUI がつかえる

は満せつつあるんだねー。でもドキュメントが足りない気がする。

159:デフォルトの名無しさん
06/08/05 05:32:30
R5RSって「あーるごあーるえす」って読むの？

160:デフォルトの名無しさん
06/08/05 07:48:41
うん。

161:デフォルトの名無しさん
06/08/05 22:50:40
>>158
Tkは解るけど、Tclっているのん？

162:デフォルトの名無しさん
06/08/06 00:28:18
Tkは言語中立なGUIツールキットなんかじゃないよ。

163:デフォルトの名無しさん
06/08/06 00:35:21
>>161
Tk needs Tcl.

164:・∀・）っ-○◎●新世紀ダンゴリオン ◆DanGorION6
06/08/06 00:40:49
Perl/TkやRuby/Tkが流行る当たり、Tclの言語としての駄目さ加減がわかるな。

165:デフォルトの名無しさん
06/08/06 12:42:45
ここで Tcl を叩くのはスレ違いだと思うが…。

Ruby/Tk も Tcl 要るよ？Python の Tkinter も Tcl 要るし。名前の印象にダ
マされてる？ Perl/Tk だけが自力で Tk とのバインディングを持ってる。

166:デフォルトの名無しさん
06/08/06 13:23:13
でもTclが嫌いでTcl/Tkを避ける奴は多いと思う
実際には他言語のバインド使うならほとんどTclの知識は要らないんだけどね

167:デフォルトの名無しさん
06/08/06 14:11:35
最近 Lisp はじめたんですけど，Perl/Tk みたいに結局インターフェースは
Tcl っぽくなってしまうような気がしますね。Perl/Tk は流行してないと思い
ますが…最近あまり動きないですし。

168:デフォルトの名無しさん
06/08/06 14:48:50
Tclは一つの言語というより、可搬式コマンドラインツールセットというべきかと。
比較対象としてはPerlやRubyより、Dosemuやcygwinに近い

169:デフォルトの名無しさん
06/08/06 14:55:54
tclはシェルの一種だよ。

170:デフォルトの名無しさん
06/08/06 20:10:45
歴史長い割に普及してないね。
やっぱUNIXのGUIってセンスがダメなのよね。

171:デフォルトの名無しさん
06/08/06 21:19:27
・・・え？

172:デフォルトの名無しさん
06/08/07 01:38:00
UNIXのGUI（笑）

173:・∀・）っ-○◎●新世紀ダンゴリオン ◆DanGorION6
06/08/07 01:41:17
QtやGtkのバインディングってないの？

174:デフォルトの名無しさん
06/08/08 23:13:00
ググるという行為を知らんのかね?
URLﾘﾝｸ(www.cliki.net)

175:デフォルトの名無しさん
06/08/09 01:14:49
ググらせるという行為を知らんのかね？

176:デフォルトの名無しさん
06/08/09 01:17:41
知らん

177:デフォルトの名無しさん
06/08/16 00:43:19
Schemeのわかりやすい、楽しい本ってなんでないの？

178:デフォルトの名無しさん
06/08/16 00:45:26
>>177
君が何を読んでも楽しさを感じられない人間だからだと思う

179:デフォルトの名無しさん
06/08/16 00:49:17
>>178
お前の家族を明日殺す

180:デフォルトの名無しさん
06/08/16 00:51:31
ｷﾀ━━(´・ω・`)━━･･･

181:デフォルトの名無しさん
06/08/16 02:47:33
>>179
一応警察に通報しておく

182:デフォルトの名無しさん
06/08/16 09:16:43
>>177
Little Schemerかのう・・・軽く読めるんけど、楽しいかというとびみょ

183:デフォルトの名無しさん
06/08/16 20:16:06
EoPL第2版がおすすめだ。

184:デフォルトの名無しさん
06/08/16 22:31:52
「リスト遊び」をschemeに翻訳するとか。
最近俺がやってる遊びだが。

185:デフォルトの名無しさん
06/08/17 17:11:50
院試でSchemeの問題が…

orz

186:デフォルトの名無しさん
06/08/17 18:09:51
それは喜ぶところじゃないのか

187:デフォルトの名無しさん
06/08/17 18:17:43
うーん。普段Schemeのプログラムはちょっとは書いてるつもりだったし、最初の
小問はかなり簡単だったんで喜んだんだけど…　再帰の計算量(?)を求める
問題とsamefringeが難しかった…

188:デフォルトの名無しさん
06/08/17 21:39:36
samefringeを出題するおちゃめな大学があるのか…

189:デフォルトの名無しさん
06/08/18 17:36:24
flattenしてequal?で調べるではやっぱり駄目?

190:デフォルトの名無しさん
06/08/18 18:31:56
どんな問題なんだろう。call/ccでコルーチン作るやつかな?
そんなの院試に出されたら死屍累々という気もするが。

191:デフォルトの名無しさん
06/08/18 18:50:28
>>190
試しに書いたらhaskellで楽勝だったのに
Schemeで大失敗したorz

192:デフォルトの名無しさん
06/08/18 20:48:44
Haskellだとどうやって書くの？

193:デフォルトの名無しさん
06/08/19 02:39:27
ググッたらめっけた

data Tree a = Leaf a | Node [Tree a]
fringe (Leaf x) = [x]
fringe (Node x) = foldr (\x r -> fringe x ++ r) [] x

samefringe x y = fringe x == fringe y

でもツリー作るのﾏﾝﾄﾞｸｻｲ
(Node [(Node [(Leaf 1), (Leaf 2)]), (Node [(Leaf 3), (Node [(Leaf 4) ])])])

194:デフォルトの名無しさん
06/08/26 15:32:15
SBCLのREPLから対話処理をするプログラムを実行したいんだけど、
例えば以下のようにすると、

(setf p (run-program "/usr/bin/dc" nil :pty t :wait nil))
(format (process-pty p) "2 3 *~%")
(terpri (process-pty p))
(format (process-pty p) "p~%")
(terpri (process-pty p))
(format t "~A" (read-line (process-pty p)))

6が表示されると思われるんだけど、実際には入力待ちになってしまうのはどうしてなぜ？

195:デフォルトの名無しさん
06/08/28 00:42:24
読み込みでブロックするっつーことは stream が無効なわけじゃなさそうだね．
stream が buffering してんじゃない？ dc ないから bc で試してみた．pty
使えない環境なんで :stream 経由で．環境は sbcl 0.9.16 です．

CL-USER> (defun bc-example ()
(let ((process (run-program "/usr/bin/bc" '("-q" "-i") :output :stream :input :stream :wait nil)))
(unwind-protect
(progn
(write-line "x = 2" (process-input process))
(write-line "y = 29" (process-input process))
(write-line "x^y-1" (process-input process))
(finish-output (process-input process)) ;; これがないとブロックする
(write-line (read-line (process-output process))))
(process-close process))))

BC-EXAMPLE
CL-USER> (bc-example)
536870911
"536870911"

196:デフォルトの名無しさん
06/08/28 17:00:26
R5RSを読んでるんですが、
3.5節の末尾再帰のところに出てくる「アクタ(actor)」というのは
昔の歴史的な事柄で今のSchemeにはもう関係ない話だと思って良いですよね?

197:デフォルトの名無しさん
06/08/28 21:58:26
Hewittせんせーい！

198:デフォルトの名無しさん
06/08/29 21:17:32
scm5e1でscheme勉強しています。
> (let ((x 10)) (define x (+ x 1)))
とすると、

;ERROR: bad body ((define x (+ x 1)))
; in expression: (let ((x 10)) (define x (+ x 1)))
; in top level environment.
;STACK TRACE
1; (let ((x 10)) (define x (+ x 1)))
と怒られてしまうのですが、
これはなぜでしょうか。
letの中で外に影響を及ぼすdefineを使っているからですか?

199:デフォルトの名無しさん
06/08/29 21:34:56
>>198
define で初期値として x を参照してるから。
(let ((x 10)) (define x (+ x 1)))
== (let ((x 10)) (letrec ((x (+ x 1)))))
んで、R5RS 4.2.2 Binding constructs
> library syntax: (letrec <bindings> <body>)
> Syntax: <Bindings> should have the form
> ((<variable1> <init1>) ...),
...
> One restriction on letrec is very important: it must be possible
> to evaluate each <init> without assigning or referring to the
> value of any <variable>.

200:198
06/08/30 07:05:34
>199
ありがとうございます。
defineの所の説明とあわせて読んだら分りました。

こんどは、letrecを試してみようと、
> (letrec ((x 2) (y 'x)) (eval y))
としたところ、

;ERROR: "/usr/local/lib/scm/Init5e1.scm": unbound variable: x
; in expression: (#@@eval (#@@copy-tree #@x))
; in scope:
; (x) procedure <anon>
; (@eval @copy-tree . #@let)
; defined by load: "/usr/local/lib/scm/Init5e1.scm"

;STACK TRACE
1; x
2; (#@letrec ((x 2) (y (#@quote x))) (#@eval #@y))
といわれてしまいます。

(define x 2)(define y 'x)(eval y)
なら2が帰って来てくれるのですが、
何がいけないのでしょうか。
letrecだと変数領域が割り当てられて、
それから初期値が算出される、と書いてあったので、
このやり方ならyは既に割り当てられたxをさすようになるだろうから、
正しく動くと思ったんですが...

201:デフォルトの名無しさん
06/08/30 08:25:52
>>195
これでうまくいきました。cmuclでもちゃんと動くようです。ありがとうございました。
Schemeのflashのようなものでしょうか。改行すればフラッシュされるものと思いこんでました…orz

202:デフォルトの名無しさん
06/08/31 02:33:39
>>200
eval は局所環境を参照しないんじゃないでしょうか。

203:デフォルトの名無しさん
06/08/31 19:20:39
>>200
環境についてもうちょっと調べたほうがいい。
(eval y (current-environment))
で期待の動作をする処理系もあるけど、
トップレベルは言語の都合上、例外的な動作になる。
schemeの気持ち悪い所の１つ。

多分やりたい事のほとんどはマクロで済むし、
移植性も悪くなるから、schemeに慣れてくると
evalはあまり使わなくなる。

204:デフォルトの名無しさん
06/08/31 23:15:07
きんもー

205:198
06/09/01 14:40:56
>202,203
ありがとうございます。
もう少し勉強しなおしてみます。

次ページ