Lisp Scheme Part41
>>99 Scheme で安心感の強い処理系っていうと Racket とか Guile とかかな。 Schemeの無料で使える処理系で例の大顰蹙買ったR6RS対応してるのってあるの？ >>103 なんでGaucheが出てこないんだ？ >>105 >>103 に対する回答なので R6RS の話をしてる。 >>104 R7RS⊃R6RS⊃R5RS Scheme はまだ未完成という意識がある気がするな。 関数の値が最も０に近くなる引数を求めたい時、どう書けばいいんでしょう？ その関数が線形なのかとか微分可能なのかとか分からんとなぁ 微分可能ならニュートン法が簡単 >>113 の言ってる関数は数学の関数じゃなくてプログラムの関数の事でしょ… どちらの関数にせよ考え方は一緒じゃないかな。 誰かと思ったらグレアムか Yコンビネーターも辞めたとかなんとか… ポール・グレアム (54歳) arcだかはどうなったの グレアムは金には困らんのだから残りの人生は全部が趣味みたいなもんだろ。 闇の書を永久封印するために暗躍しているのかもしれん。 fooもねえ、barもねえ グラハムはハーバード、MIT人工知能研、イタリアの美術大出てるんでしょ？ いまPLAIの8章をよんでいるんだけど、次のExerciseの不変条件と言うのがよく分からん・・ https://bitsend.jp/download/d7ebf31e84a7dc5d8b55a3e3b66ce803.html $ ros run 正しい値は 95700 なのだが $ ros run -- --version Gauche の 0.9.9 がリリースされたよー >>134 Racket 7.6リリースされたよー https://blog.racket-lang.org/2020/02/racket-v7-6.html SICPを勉強したくてschemeを一通り勉強したけど SICPで4.4論理プログラミングがでてきたけど、論理プログラム言語（Prolog）なんて >>146 prologはともかくユニフィケーションはパターンマッチでたまに使うかも 歴史、哲学、思想を勉強しても目の前の仕事には直結しない PrologはSQLに近い（同じ？）という人もいるね 事実を列挙すれば解を求める処理をやってくれるってのは理想のひとつではあるよな。 思うんだけどLispというと悟りとか、ゲーデル云々みたいな話がよく言われるけど 上にもあるけどprologは論理がそのままプログラムになるっていわれてんだろ hy面白いけどlisperにはrubyの方が人気なんだ >>152 要するにPrologはメタ論理レベルのプログラミングが出来ないってこと？ >>50 >>54 >>57 >>58 >>82 >>84 >>146 >>149 >>150 >>151 >>156 >>159 hy Clozure CL 1.12 がでてきた。 https://github.com/Clozure/ccl/releases/tag/v1.12 SBCL 2.0.4 リリースされたよ。RISC-V プロセッサに対応したのが目玉みたいだよ。 http://www.sbcl.org/news.html#2.0.4 Scheme の map 手続きについて、 https://docs.racket-lang.org/reference/pairs.html?q=map#%28def._%28%28lib._racket%2Fprivate%2Fmap..rkt%29._map%29%29 >>187 >>188 https://docs.racket-lang.org/r5rs/r5rs-std/r5rs-Z-H-9.html?q=map#%25_idx_580 >>187 >>189 >>187 で君が述べていた通り、リストの要素への適用順序はunspecifiedだと明確に書いてある。 >>190 >>187 >>192 >>191 >>191 https://docs.racket-lang.org/r5rs/r5rs-std/r5rs-Z-H-7.html#%_sec_4.1.3 >>194 >>195 https://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3Acall%2Fcc%E3%81%A8%E5%89%AF%E4%BD%9C%E7%94%A8 グラフかくのってどうしたらいい？gnuplotの🎺使うの？ >>193 >>194 実用性皆無の話だなschemeらしいや 
