Lisp Scheme Part26

1 名前：デフォルトの名無しさん mailto:sage [2009/04/24(金) 19:12:39 ] ※ ここはCommon Lisp、SchemeをはじめとするLisp族全般のスレです ※ ■過去スレ 　Part25: ttp://pc12.2ch.net/test/read.cgi/tech/1231856193/ 　Part24: ttp://pc11.2ch.net/test/read.cgi/tech/1224939205/ 　Part23: ttp://pc11.2ch.net/test/read.cgi/tech/1215875388/ 　Part22: ttp://pc11.2ch.net/test/read.cgi/tech/1211381920/ 　Part21: ttp://pc11.2ch.net/test/read.cgi/tech/1207300697/ 　Part20: ttp://pc11.2ch.net/test/read.cgi/tech/1205021786/ 　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://pc11.2ch.net/test/read.cgi/tech/1151025773/ 　Part14: ttp://pc11.2ch.net/test/read.cgi/tech/1132275726/ 　Part13: ttp://pc11.2ch.net/test/read.cgi/tech/1115901841/ 　Part12: ttp://pc11.2ch.net/test/read.cgi/tech/1100229366/ 　Part11: ttp://pc11.2ch.net/test/read.cgi/tech/1091456033/ 　Part10: ttp://pc11.2ch.net/test/read.cgi/tech/1075630259/ 　Part09: ttp://pc11.2ch.net/test/read.cgi/tech/1069594582/ 　Part08: ttp://pc5.2ch.net/tech/kako/1058/10582/1058263391.html 　Part07: ttp://pc5.2ch.net/tech/kako/1042/10421/1042167213.html 　Part06: ttp://pc3.2ch.net/tech/kako/1031/10315/1031560687.html 　Part05: ttp://pc3.2ch.net/tech/kako/1023/10230/1023091882.html 　Part04: ttp://pc.2ch.net/tech/kako/1016/10162/1016211619.html 　Part03: ttp://pc.2ch.net/tech/kako/1008/10082/1008220265.html 　Part02: ttp://pc.2ch.net/tech/kako/1002/10025/1002584344.html 　Part01: ttp://piza2.2ch.net/tech/kako/987/987169286.html ■テンプレート置き場 　ttp://wiki.fdiary.net/lisp/ (id:guest pass:cl) 321 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 07:17:50 ] (^o^)ﾉｼ 322 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 18:00:32 ] 練習でβ変換のプログラムを書いてるのですが質問 最左最内簡約の場合 ((lambda (x) (lambda (y) y) x) (lambda (z) z))を1段階簡約すると ((lambda (y) y) (lambda (z) z))ではなく ((lambda (x) x) (lambda (z) z))ですよね？ 323 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 18:24:13 ] > ((lambda (y) y) (lambda (z) z))ではなく > ((lambda (x) x) (lambda (z) z)) この二つを区別する必要はあるの？ 324 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 18:36:02 ] >>322 最左最内だと、まず(lambda (y) y) xここからだから正しい。 >>323 ｳｾﾞｴ 325 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 18:54:07 ] つーか最初の式内の(lambda (y) y)は何の意味もないだろ ほんとに意味わかってやってんのか 326 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 18:54:58 ] （　ﾟдﾟ）ﾎﾟｶｰﾝ 327 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 19:09:35 ] gosh> ((lambda (y) y) 1) 1 328 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 19:12:20 ] >>324 ありがとうございます。 用語が色々ありすぎて自身無かったので助かりました。 >>327 クマー 329 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 19:14:29 ] で、2段階目はどうすんの？ 330 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 19:44:50 ] >>322 ((lambda (x) (lambda (y) y) x) (lambda (z) z)) は ((lambda (x) ((lambda (y) y) x)) (lambda (z) z)) のコピペ誤り？ 331 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 20:05:50 ] >>330 コピペミスですね、すみません さらに質問 以下の名古屋大の資料にはcall-by-valueは最右最内戦略に相当すると書いてあり 　ttp://www.math.nagoya-u.ac.jp/~garrigue/lecture/2007_SS/syntax.pdf 以下の早稲田大の資料にはcall-by-avlueは作用的順序簡約戦略に近いと書いてある 　ttp://www.fuka.info.waseda.ac.jp/~onono/ProgLang/charts/pl2007-CS-09-LambdaCalculus.pdf 以下のサイトには作用順序簡約は最左最内簡約とも呼ばれると書いてある 　ttp://www.geocities.jp/lethevert/clean/gettingStarted14.html となると、実際の所call-by-valueは最左最内戦略と最右最内戦略のどちらに相当するのでしょう？ 直感的には最右最内に近いように思うのですが また、類推からちょっと考えてみたのですが 最右最外簡約(あまり聞いたことがないが)と最左最外簡約というのは 同じ物ですよね。そういう用語があるかは別として 332 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 20:25:39 ] 普通値呼びは最左最内簡約だと思う 自分の不勉強なだけかもしれないけど最右最内簡約って聞いた事無い カリー化のこともあるし右の項から簡約ってできるのかな？ 333 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 20:29:00 ] 三行目は「できるのかなぁ？（できない気がする）」って意味ね 334 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 21:17:08 ] 右の項からの簡約も出来ると思いますよ 木構造のpre/in/post orderよろしく、以下の式には ((lambda (l) (l ((lambda (l1) l1) (lambda (l2) l2)))) ((lambda (r) r) (lambda (r1) r1))) ;最左最内 ((lambda (l) (l (lambda (l2) l2))) ((lambda (r) r) (lambda (r1) r1))) ;最左最外 (((lambda (r) r) (lambda (r1) r1)) ((lambda (l1) l1) (lambda (l2) l2))) ;最右最内 ((lambda (l) (l ((lambda (l1) l1) (lambda (l2) l2)))) (lambda (r1) r1)) の3パターン 335 名前：デフォルトの名無しさん mailto:sage [2009/05/23(土) 21:36:19 ] そうか、ボケてた β基の簡約手段自体は変わらないんだった 右の方のβ基から簡約するようにするだけだからあり得る話だ 関数適用の結合を右結合にするのと勘違いしてた 336 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 00:33:52 ] I = λx. x として I (I y (I y)) でテストすれば4パターン全部わかる。 337 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 01:45:16 ] ここってDrSchemeも扱ってますか？ 大学で使ってるんですが実行画面のキャプチャが出来なくて困ってます。OSはwindowsです。 338 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 09:12:48 ] >>336　その例だと(I y (I y))とI ((I y) y)の2パターンにしかならなくないですか 339 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 10:40:39 ] 最内 I ((I y) (I y)) => I (y (I y)) => I (y y) => y y I ((I y) (I y)) => I ((I y) y) => I (y y) => y y 最外 I ((I y) (I y)) => (I y) (I y) => y (I y) => y y I ((I y) (I y)) => (I y) (I y) => (I y) y => y y 340 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 11:13:54 ] >>337 グラボのアクセラレータによる画面は普通キャプチャできないけど、その系かな？ 341 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 12:04:05 ] >>341 パソコン初心者でよくわからないんですスイマセン。 Macだとcommand＋shift＋4とスペースバーでポインタがカメラになった後実行画面を選択するみたいなんですがwindowsにはそれにあたるものはないんですかね。 342 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 12:05:26 ] Windows板の初心者スレで聞け 343 名前：デフォルトの名無しさん [2009/05/24(日) 13:18:38 ] PrintScreenボタン押せばいいんじゃね？ 344 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 13:37:26 ] 君、軽くイラっとさせてるのに気づかないタイプでしょ？ 345 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 17:03:03 ] >>339 なるほど、最外も2パターンいけますね 私の勘違いかもしれないですが 1行目の最内の簡約は 最初は右側を簡約してるにもかかわらず、次に左側を簡約しているので 変じゃないですか？ 最左最内であれば I ((I y) (I y)) => (I y) (I y) => y (I y) => y y となるように思うのですが 別の例を考えてみたのですが M=(I1 y) (I2 y) N=(I3 y) (I4 y)の時 ((λx.x M) y) ((λx.x N) y)について 最左最内は(I1 y)から 最右最内は(I4 y)から 最左最外は(λx.x M) yから 最右最外は(λx.x N) y 339の例では、1行目は(I3 y)相当の箇所から簡約が始まっています もし最左と最右以外の内部からの簡約も指すのであれば 最内簡約だけで、最大で2^(木の深さ)のパターン 考えられるようにも思います ややこしいですが 346 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 17:05:08 ] (λx.x M) yは(λx.(x M)) yと書くべきでした。I Mとは別の意味です 347 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 19:19:37 ] >>345 左右とか内外と言うのは、最初に簡約する箇所ではなく、最初に探す箇所です。 最初に探した箇所で簡約できなければ、別の箇所から簡約を始めて良いです。 348 名前：デフォルトの名無しさん mailto:sage [2009/05/24(日) 20:32:11 ] 左右とか内外と言うのは、最初に探す個所ではなく、簡約する場所の探し方です。 349 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 13:13:59 ] >>314 【数式処理システム】 Maxima 【Common Lisp】 science6.2ch.net/test/read.cgi/math/1220340695/ 350 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 19:44:09 ] >>347-348 ありがとうございます。やっと理解出来ました。 あと、関連して良サイトみっけました(Mosckw MLの人?) ttp://ellemose.dina.kvl.dk/~sestoft/lamreduce/lamframes.html call-by-valueとapplicative orderってそもそも違うものなんですね ・いつlet束縛を展開するか(ζ変換？) ・どの展開形までもっていくか(WHNFや正規形など) 新しい用語が出てきて結果としては謎が深まりましたが この辺、まとめてある資料ってないですかね・・ applicativeとかnormalとか言われるより leftmost outermostとかで整理してある方が私には理解しやすいです 後、大雑把に言えば最右最内/最左最内の簡約は、 プログラミング言語では関数引数をどちら側から評価するか、 というだけの違いに思えてきました 351 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 20:30:38 ] Arc のアイディアってすごい惹かれるんだけど、どう思いますか？ lambda が fn だったり let とか cond も 極力簡素にするスタイル。 [+ _ 10] は cut より直感的だけど、まぁ cut でも十分かな。 scheme で真似しようと思っけど hash table や 文字列を手続き的に呼んだりするのは無理だよね。 352 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 20:59:05 ] > hash table や 文字列を手続き的に呼んだりするのは無理だよね。 Gaucheなら出来ると思うけど。 353 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 21:17:38 ] object-apply メソッドな。 でも、あれって評価時にディスパッチされるんだよね？ 性能的にはあんまりイケてないかも。 多用することは想定してないじゃろ 354 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 21:18:54 ] スマンスマン。 なんか勘違いしてたわ 355 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 22:44:15 ] >>353 これか。practical-scheme.net/gauche/man/gauche-refj_54.html#SEC97 本当だ、できるね。Gauche使いになろうっと。 教えてくれてありがとう。 356 名前：デフォルトの名無しさん mailto:sage [2009/05/25(月) 22:52:57 ] >>351 pc12.2ch.net/test/read.cgi/tech/1202098949/ 357 名前：デフォルトの名無しさん mailto:sage [2009/05/26(火) 02:11:57 ] >>350 関数や関数へのポインタを扱える言語、 無名関数を扱える、動的に生成できる言語だと 引数だけじゃなくて、「関数」評価もちょっと意味が変ってきますよね。 Super Combinatorのグラフ簡約で考えると分かりやすいので、 Simon Peyton Jonesの"The Implementation of Functional Programming Languages"を読んでみてはどうでしょうか。 research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/index.htm 358 名前：デフォルトの名無しさん mailto:sage [2009/05/30(土) 19:28:54 ] >>357 ありがとうございます。 ちょっとずつ読み始めました&Miranda処理系入れました しかし、大御所は太っ腹ですね Super Combinatorって名前からして面白そうですが そこまで行くのにはまだしばらくかかりそうです あと、読んだ所までですが、 β変換自体の実装にα変換が必要ってのを知り 自分のβ変換プログラムのバグを発見してしまいました いい本教えてくれてありがとう 359 名前：デフォルトの名無しさん mailto:sage [2009/06/01(月) 11:00:37 ] comp.lang.lispのスパムを無視してくれるブラウザーみたいなのないでしょうか 360 名前：デフォルトの名無しさん mailto:sage [2009/06/01(月) 11:32:39 ] >>358 そのrenaming problemを解決するのが、 lambda liftingによるsuper combinater化ですね。 YHCってのがsuper combinaterをILにした実装だったけど、 このプロジェクトは立ち消えになったみたいですね。 www.haskell.org/haskellwiki/Yhc 前はHaskell上でlambda式評価器を書いていたDockinsが、 YHC bytecodeのverificationやってましたけど。 www.cs.princeton.edu/~rdockins/lambda/home www.cs.princeton.edu/~rdockins/presentations/tfp2007/slideshow.xhtml www.cs.princeton.edu/~rdockins/pubs/tfp2007.pdf 361 名前：デフォルトの名無しさん mailto:sage [2009/06/01(月) 11:53:39 ] >>360 >α変換が必要 って書いてあるじゃん。それで合ってるんだから、変なこと教えるなよ 362 名前：デフォルトの名無しさん mailto:sage [2009/06/01(月) 16:24:30 ] lambda liftingって酷い名前だな 少なくとも自由変数と何か関係あるぐらいは一目でわかるように名前つけろよ・・・ 363 名前：デフォルトの名無しさん mailto:sage [2009/06/02(火) 22:30:25 ] >>358 自分も前にラムダ式を簡約するものをSchemeで書いたことがある。 高橋先生の本を読みながらやってたんだけど完全にはできなかった。 Arcのスレにすっごく巧み書かれたのがあったと思う。Arcが発表されて まもなくだったので驚いたよ。 364 名前：デフォルトの名無しさん mailto:sage [2009/06/02(火) 22:33:44 ] lambda liftingってscmのコンパイラhobbitでも使われているっていうアレかな？ 365 名前：デフォルトの名無しさん mailto:sage [2009/06/02(火) 22:36:22 ] コンビネータとかって実用的に価値はあるの？ 366 名前：デフォルトの名無しさん mailto:sage [2009/06/02(火) 23:31:25 ] なんかlambda droppingというのもあるみたいだ・・・もうワケワカ(w 367 名前：デフォルトの名無しさん mailto:sage [2009/06/03(水) 02:47:04 ] 実際にコードに適用させると副作用とかあるからそのままじゃいかんよ 368 名前：デフォルトの名無しさん [2009/06/04(木) 06:47:01 ] >>363 これ？ natal.web.fc2.com/lambda.arc.txt 369 名前：デフォルトの名無しさん mailto:sage [2009/06/04(木) 10:45:18 ] schemeからCへの変換は、わりと可読性残したままできるものなのでしょうか 370 名前：デフォルトの名無しさん mailto:sage [2009/06/04(木) 12:01:34 ] 継続呼び出しをどう扱うかでえらいことに 371 名前：デフォルトの名無しさん [2009/06/06(土) 12:09:16 ] Gaucheを使っているのですが、 渡された物がatomかどうか判別する関数って何でしょうか？ CommonLispから来たのであまりわからないのですが atom?やatompが見当たらないような気がするのですが 372 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 12:16:25 ] >>371 (define (atom? x)(not (pair? x))) 373 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 12:55:21 ] ペア (コンス) も他の型と同様に型の一種でしかない。 「整数ではない」とか「文字列ではない」とかいったことを調べる述語が無いのに (それとも CommonLisp では有ったりする？) 「ペアではない」ということだけ調べる述語があると不自然、 というような価値観が Scheme では有るように思う。 かといってミニマムな仕様を好む Scheme で全部の述語に否定バージョンを用意するのは論外だし。 374 名前：371 mailto:sage [2009/06/06(土) 13:55:12 ] >>373 たしかCommonLispでは integerpとかstringpとかが有った気がします。 375 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 14:16:04 ] Schemeには政権を取ろうという意欲がない。 何故なら一方にCLという巨峰があり、汚い仕事でも引き受けてくれるからだ。 しかし、R6RSでは政権への意欲を見せた。 だが支持者からも反感を買い、最近は友愛の精神などとわけの分からない事を言い始めているが 結局は小沢の傀儡だろうとの批判が出ている。 376 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 14:22:29 ] >>374 > integerpとかstringpとかが有った atom? は pair? の逆だろ？ integerp の逆とかが有るか？ っていう話なんだけど。 377 名前：371 mailto:sage [2009/06/06(土) 14:34:31 ] >>376 なるほど、よくわかりました。 Lispに置けるatomという概念がまだ良くわかっていなくて 了解しました。なるほど、Schemeはpair?の逆ということですね。 Common Lispはatomも属性の一つと認識してる部分がある気がします。 378 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 14:49:46 ] まー、atom処理したければ (if (pair? ... の else でいいし、 単独で使いたければ if じゃなく unless 使えばいい。 もちろん not つかったっていい。 379 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 23:24:24 ] vectorとかのコンテナもatomなのはおかしいと思うのはおれだけ？ いやatomの定義が何なのか知らないので、おれの妄想の意見だが 380 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 23:27:18 ] えっ 381 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 23:36:37 ] コンテナがpairしかないならいいと思うんだわ>>376の意見は でもよお 382 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 23:38:55 ] (container? (vector 1 2 3)) => #t (container? (cons 1 2)) => #t (define (atom o) (not (container? o))) なら納得なんだわ schemeの審美眼的にこの辺ほったかかしなのが謎だと思うんだわ 383 名前：デフォルトの名無しさん mailto:sage [2009/06/06(土) 23:58:25 ] 大抵の解釈では atom＝それ以上分解することができないもの だよな？ vector(やstringも？)分類上コンテナだと思うんだわ じゃあsymbolはどうなる？とか色々疑問は尽きない 384 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 00:11:13 ] 仰るとおりで 385 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 00:12:18 ] pairと２要素を持つベクタとの区別は？ 386 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 00:15:22 ] >>385 コンテナかどうかの話なのに、それがどんなコンテナか？ なんて区別の必要があるか？ 必要なら個別にpair?とか呼べば？ 387 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 00:25:20 ] 俺はvectorがなかった頃に>>372が定石化してしまったから、 そのままatom?がない状態になっているのかと思っていた。 388 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 00:29:01 ] >>360 まだ全然読めてないですが・・ Cleanとかはグラフ書き換えによって名前衝突回避してるそうですね Dockins氏のサイト、lambda式の評価器のコードがあったので 落としました。しかし、Haskell読めないという罠 >>363 >>368のArcのプログラム見てみましたが とても短いのに、そのままschemeに移植したら動いたので感動しました α変換は暗黙的に置換に含まれてしまってますね 後、コード読んでて気づいたんですが Arcのfn(lambda)式の引数部分とletはパターンマッチできる！ これはSchemeにも欲しい ;xがλx.Mかはテストしておいて (let (lam var body) x 　(do (prn lam) (prn var) (prn body) nil)) 389 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 04:11:11 ] >>388 >>>368のArcのプログラム見てみましたが >とても短いのに、そのままschemeに移植したら動いたので感動しました すごくうまいよね。こりゃ、かなわんなぁと。 自分は素朴な方法で教科書どおりに書いていました。 390 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 10:00:42 ] すごい特殊な場合だけα変換が必要みたいに思いがちだけど 疑わしきは全部α変換しておけば確実だということと、 SICPに出てくる環境モデルのようなものが λ計算の変数の置換にも使えるということがポイントかな。 391 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 19:29:41 ] >>382 むしろ決められないから atom を定義してないんじゃね？ 392 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 19:34:50 ] >>382 文字列はどうするの? 393 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 00:50:14 ] 文字列→ char [] vector →　void *[] 394 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 01:56:34 ] 極端な話、整数だってビットに分解できるわけだしなぁ。 ベクタの例をとってみても 「ペアでない」=「アトム」 とは言えないという意見は納得できる。 でも、その方向でつきつめていけばアトムと 言えるのはビットだけってことにならないか？ しかし、更に言えばビットで表現するのは実装の都合であって、 Scheme の意味論的にはそんなこと知ったことじゃないかもしれない。 何を以ってアトムとするかは状況によると思う。 395 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 02:31:07 ] なんで atom という common lisp の用語の話で scheme が出てきてるんだ？ 396 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 10:53:07 ] 実は AsTOMachine の略だったりして 397 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 11:48:54 ] >>394 正直、極端な話はいらない 398 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 12:00:17 ] common lispで書かれた数値計算のプログラムをStalinで動かしたいけど common lispのプログラム中にatomがあるので、どう翻訳しようか悩むことはある 399 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 12:14:49 ] それって悩むようなことかな・・ 400 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 17:09:16 ] フォートランをcommon lispに変換したコードとか読める気がしない 401 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 17:15:53 ] Usenet上のcomp.lang.schemeをUsenetリーダーのアプリケーションから 読みたいのですが、newssaverというのは何処に設定すれば良いのでしょうか？ Googleグループは便利なのですが、ニュースリーダーからアクセスできるともっと楽なのです よろしくおねがいします。 402 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 21:40:35 ] >>401 gmane.org 403 名前：デフォルトの名無しさん mailto:sage [2009/06/08(月) 22:04:03 ] >>402 >gmane.org ありがとう御座います。 comp.lang.schemeが見つからんとです。 404 名前：デフォルトの名無しさん mailto:sage [2009/06/09(火) 23:08:23 ] ところでリスパーはどんな音楽を聴くニダ？ 405 名前：デフォルトの名無しさん mailto:sage [2009/06/09(火) 23:39:57 ] バッハだろう 406 名前：デフォルトの名無しさん mailto:sage [2009/06/09(火) 23:53:03 ] いけてるリスパーはバッハなんか聴くんだ。 エレクトロニキスタの俺がバッハに耐えられるかな。 407 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 00:16:07 ] アニソン一筋30年〜♪ 408 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 00:18:00 ] なんでも聞くぞ 各種民族音楽(日本の民謡も含む)からクラシック・シャンソン・ジャズ・ロック 409 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 00:19:16 ] リストじゃないの、やっぱり 410 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 00:22:46 ] >ところでリスパーはどんな音楽を聴くニダ？ ここ20年音楽聞いてないかも 411 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 00:42:11 ] >>409 うまい 412 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 01:03:52 ] >>410 それでも括弧の奏でる旋律を感じたことがあるはずだ 413 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 01:06:08 ] >>409 それニダ！！ 414 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 06:58:05 ] 最近楽譜見るとダカーポやセーニョダルセーニョが call/ccに脳内変換されるようになってきた。 415 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 11:13:34 ] 楽譜も読めないし継続がいまだにわからない俺が来ましたよ。 やっぱりLisperならヒップホップだよね？ 416 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 11:36:44 ] そろそろ雑談スレでも立てようか 417 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 12:40:43 ] どっかでgsllが遅いって言ってた人いたけど 行列の配列のcreate deleteをlisp側でやると遅いってことでいいの？ cffi使うなら全部cで処理したほうがましってこと？ 418 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 20:10:14 ] scheme/gaucheでscanlに相当する関数ってありますか？ 419 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 20:12:42 ] >>416 こっちを再利用してもいいんじゃない？ 立ててもいいと思うけど 【GNU】スクリプト言語 Guile【scheme】 pc12.2ch.net/test/read.cgi/tech/1239985829/ 420 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 21:48:44 ] つくるなら、 【色即是空 空即是色】Lisperのぼやきサロン【Lisp S式】   とでもしといて w w w 421 名前：デフォルトの名無しさん mailto:sage [2009/06/11(木) 01:03:20 ] マ板に雑談向きなスレあったよーな

---

---

[ 続きを読む ] / [ 携帯版 ]

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