Lisp Scheme Part21

1 名前：デフォルトの名無しさん [2008/04/04(金) 18:18:17 ] □過去スレ□ 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://pc10.2ch.net/test/read.cgi/tech/1151025773/ Part14: ttp://pc8.2ch.net/test/read.cgi/tech/1132275726/ Part13: ttp://pc8.2ch.net/test/read.cgi/tech/1115901841/ Part12: ttp://pc8.2ch.net/test/read.cgi/tech/1100229366/ Part11: ttp://pc5.2ch.net/test/read.cgi/tech/1091456033/ Part10: ttp://pc5.2ch.net/test/read.cgi/tech/1075630259/ Part9: ttp://pc2.2ch.net/test/read.cgi/tech/1069594582/ Part8: ttp://pc5.2ch.net/tech/kako/1058/10582/1058263391.html Part7: ttp://pc5.2ch.net/tech/kako/1042/10421/1042167213.html Part6: ttp://pc3.2ch.net/tech/kako/1031/10315/1031560687.html Part5: ttp://pc3.2ch.net/tech/kako/1023/10230/1023091882.html Part4: ttp://pc.2ch.net/tech/kako/1016/10162/1016211619.html Part3: ttp://pc.2ch.net/tech/kako/1008/10082/1008220265.html Part2: ttp://pc.2ch.net/tech/kako/1002/10025/1002584344.html Part1: ttp://piza2.2ch.net/tech/kako/987/987169286.html 82 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 19:43:42 ] >>81 今でもあるよ 83 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 19:48:48 ] あるんだﾜﾗ 84 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 19:50:58 ] >>82 うずらか〜！ 85 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 20:08:52 ] 実は俺・・・ 86 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 21:03:31 ] cffi使ってたのだけど 大きいプログラムを呼ぼうとする glibc detected *** sbcl: malloc corruption で止まる。何か対策ないのでしょうか？ 87 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 21:05:43 ] 大きいとはどのくらいか、 プログラムの大きさかデータの大きさか、 具体的にどのくらいより大きいと駄目なのか、 その辺をいろいろ実験してみると有意義であろう。 88 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 21:12:24 ] これをcffiで呼ぼうとしたら同じバグになる #include <stdio.h> //ここが問題 int test(int i){ return 0; } 89 名前：88 mailto:sage [2008/04/09(水) 21:25:19 ] allegro CLならこんなこと起きないのでしょうか？ 90 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 21:28:53 ] >>89 それを聞く前に、普通は起きた処理系が何かを書くもんじゃないかい？ 91 名前：88 mailto:sage [2008/04/09(水) 21:30:21 ] sbclです 92 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 21:36:53 ] >>88だけで駄目ってのはさすがに無かったと思うけどなあ。 #includeを抜くと大丈夫なんだよね？ OSは何？ 93 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 21:49:26 ] >>79 defineで定義した関数をリストとして取り出すことはschemeでは(少なくとも規格内の方法では)出来ない。 94 名前：88 mailto:sage [2008/04/09(水) 23:36:13 ] OSはubuntu7.10です 95 名前：デフォルトの名無しさん mailto:sage [2008/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 名前：デフォルトの名無しさん mailto:sage [2008/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 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 01:44:53 ] >67 遺伝的アルゴリズムを調べろ。 アクセス規制だから詳細は書けない。 98 名前：デフォルトの名無しさん [2008/04/10(木) 01:50:06 ] 遺伝的プログラミングだ。KOZAが最初にLISPを使って示した方法だ。 アクセス規制で携帯だから、他で調べろ 99 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 02:09:52 ] ja.wikipedia.org/wiki/%E9%81%BA%E4%BC%9D%E7%9A%84%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0 確かにLISP向きな感じがするね 100 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 02:40:03 ] >>78 Y そのままだとやりにくいんじゃないかな。 二関数での相互再帰なら (Y2 f g) = (f (Y2 f g) (Y2 g f)) みたいに拡張するとか。 101 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 03:31:54 ] よし、この調子でまたAIバブルを発生させようぜ！ ぶくぶく 102 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 07:08:50 ] 次はセマンティックバブルだ! LispハッカーはXMLという妥協を受けいれ、 メインストリームに帰り咲くのだ 103 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 09:34:46 ] セマンティックバブルって SOAPバブルと同じ運命って気がするんだけど 104 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 13:34:13 ] とりあえずソープで泡踊りしてきまつ 105 名前：78 mailto:sage [2008/04/10(木) 18:51:55 ] >>100 おもしろそうなので書いてみます。Arcで 106 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 21:35:57 ] iPod touchでGauche動かせた人いる？ ﾉｼ 107 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 21:42:06 ] 普通のUnixなので普通に動きますね。NDAがあるので詳しいことは書けませんが。ｗ 108 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 21:51:32 ] >>107 Open Programming環境では動かなかったってこと？純正ＳＤＫでしか試してないならＮＤＡあるから書けないかｗ 109 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 21:57:20 ] すまん、純正しかやってない。 110 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 23:22:07 ] >>109 �d。参考になりました。 Zaurusポートもそうだけど、Open Programming環境では問題点が出ることが多いのに、純正では大丈夫だったのはちょっと驚き。 111 名前：デフォルトの名無しさん mailto:sage [2008/04/11(金) 00:15:52 ] How to Design Programs ttp://www.htdp.org/ たまげた。折角本を購入したのに、こっちのが充実してる。　orz 112 名前：デフォルトの名無しさん mailto:sage [2008/04/11(金) 01:39:50 ] >>111 分厚いな　読む暇も気力もない 113 名前：デフォルトの名無しさん mailto:sage [2008/04/11(金) 05:48:47 ] >65が放置されてるのはお約束？ 114 名前：デフォルトの名無しさん mailto:sage [2008/04/11(金) 23:05:11 ] Seasoned Schemer 18章、オレも解決！ ttp://codepad.org/cWiNn5qr 18章の出だしでリストが返ってくるような書き方が良くないと思う。 この二つを比べてみるとconsとkonsの違いがわかる。 (kdisplay (lots 5)) (display (lots 5)) 115 名前：デフォルトの名無しさん mailto:sage [2008/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 名前：デフォルトの名無しさん mailto:sage [2008/04/12(土) 02:41:52 ] blogに投稿する処理を半自動化したいのですが 参考になるコードまたはパッケージなどないでしょうか？ 117 名前：デフォルトの名無しさん mailto:sage [2008/04/12(土) 05:42:17 ] XPなんですがDr.Schemeを放置しておくと勝手にメモリがんがん食ってフリーズします。 118 名前：デフォルトの名無しさん mailto:sage [2008/04/12(土) 09:38:50 ] >>116 Common LispやSchemeのコードは知らないけど、 Emacs LispでAtomに対応してるのが二、三あったはず。 参考にするだけなら、PerlやPythonやRubyとかのが、 いくらでもありそうだけど。 ぶっちゃけ、処理自体は全然難しくないんで、 Atomとかのリファレンス見ながら自分で実装しても、 あまり苦労はしないと思う。自分でやろうとしたときは、 UI書くのが一番だるそうだと思った。 119 名前：デフォルトの名無しさん mailto:sage [2008/04/12(土) 13:27:05 ] 継続について あっわかった！！ ん？　こういう場合は。。。 これの繰り返し　 120 名前：デフォルトの名無しさん mailto:sage [2008/04/12(土) 16:41:02 ] プログラミングGaucheの306ページのモジュールシステムですが 本のとおりに打ち込んで実行しても (addx 10) が110にならずに 11になってしまいます。本に誤記はありますか？ 121 名前：120 mailto:sage [2008/04/12(土) 16:47:07 ] 再度、Emacs立ち上げたらできました。 失礼しました。 122 名前：デフォルトの名無しさん mailto:sage [2008/04/12(土) 20:14:44 ] >>116 xml-rpcがつかえるブログなら、gaucheのxml-rpcライブラリがある。サードパーティーだけど。 ぐぐればすぐ見つかる。 123 名前：デフォルトの名無しさん mailto:sage [2008/04/12(土) 23:35:41 ] ttp://codepad.org/hrzyLxr1 SRFI-40のストリームが使えた。 124 名前：デフォルトの名無しさん mailto:sage [2008/04/12(土) 23:47:53 ] ttp://d.hatena.ne.jp/reinyannyan/20070831 PLT Scheme用のモナドがあるらしい。使った人？ ﾉｼ 125 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 00:39:49 ] なんだかわかんねーけど、Schemeってすごいんだな。 126 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 00:44:51 ] Ruby使いがSchemeを勉強して何か得るところはありますか？ 127 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 00:51:22 ] Ruby厨の汚名を晴らせる 128 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 01:58:43 ] 晴らせた時には既にただのLisperだけどな 129 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 02:00:25 ] λ.......... 130 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 02:17:41 ] そりゃあ Brainfuck でも得るところはあるでしょう 失うものも多いかもしれないけど 131 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 02:23:00 ] 何かSchemeの人は怖いと聞いていましたが、本当のようですね。 Rubyはクロージャも継続もスレッドも備えていますから、 Schemeはなんでも自作しないといけなくて大変そうに見えるのですが。 132 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 02:45:09 ] まさにRuby厨と呼ばれるにふさわしいな。 133 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 02:47:05 ] 思い込みの激しい人というよりは、目の前で色々思い込んでみせて 引き留めて欲しい人、という感じだな。気持ち悪い。 134 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 02:56:09 ] 構って君に構っちゃいけませんよ 135 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 07:35:33 ] .............................λ ````````````y 136 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 11:35:59 ] ArcとOzにヒントを得て、Orzって言語を考えたんだ。 仕様はまだ無いけど。 137 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 11:41:45 ] 2ch発のマルチパラダイムLisp系言語orz な？ 138 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 11:55:35 ] SICPとHtDPはどっちが読みやすい？ 139 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 12:20:12 ] どっちも読まなくていい 読まなくていいけど、ちょっとつまみ食いしてみようかな というふいんきがベスト 140 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 12:25:27 ] ````````````y <やあ、ラムダさん .............................λ <やあ、Yコンビネータさん 141 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 13:21:36 ] >>138 比べるものが違うと思う。 [ {Simply Scheme or HtDP}読了後 ⇒ SICP ] or [Little Schemer ⇒ Seasoned Schemer] でも最近は [Little Schemer ⇒ Seasoned Schemer ⇒ SICP] という読み方が多いかも。 142 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 13:23:29 ] λＹ 143 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 13:25:40 ] .............................λ ````````````y 144 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 13:27:00 ] .............................λ　y ````````````おっとっと 145 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 13:48:06 ] 「SICP完全制覇」とか出ないかな。 146 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 15:21:56 ] >>145 あるじゃん。Instructors Manualって解説用の本。 147 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 15:26:05 ] それ読んだらよくわかったの？ 148 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 15:34:35 ] >>147 yes 149 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 15:52:36 ] >>148 アメリカの教科書って難しい内容だと生徒がデスマになるからか、ＨＰがあったり副読本がついてたりするな。至れり尽くせり。 Gauche本のDesktop ReferenceとかInstructor's Manualも出て欲しいｗ 150 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:12:16 ] Structure and Interpretation of Classical Mechanics SICMっていう古典力学のプログラミング本も出てるﾗｽｨ 151 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:17:25 ] これでしょ www.amazon.co.jp/dp/0262194554/ さらに難しそうなんです＞＜ 152 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:19:58 ] ブックレヴュー見ていて思い出したんだけど、 Littleの9章で出てきた"partial function"のpartialって偏微分の偏だよね。 どこかで「引数を全て使わない関数のことだ」と書いてあったけど、 全て使っててもpartialだと言ってるし意味が通じない。 153 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:35:45 ] >>151 ttp://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=4048 今売ってるのはコッチ。目に痛い赤の表紙ｗ 154 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:37:23 ] 同じ本ではないでしょうか＞＜ 155 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:40:06 ] >>152 完全な関数になっていないという意味でpartial(部分的な)と呼んでいる。 引数を使うかどうかは呼称に重要ではない。関数が計算を終了するかどうかでpartialと区別する。 156 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:41:41 ] >>155 ええ。それはわかりました。 永遠にリスト内を探し続けるが、見つけるべき文字列が見つからないとか、、 そんな例がありましたね。 157 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:42:57 ] >>154 >>151は526ページだけど、>>153は534ページある。中身は少し違う。 158 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:44:06 ] ISBNが同じなんです＞＜ 159 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:44:08 ] >>152 解説もあったよ ttp://en.wikipedia.org/wiki/Partial_function Little Schemerは謎解き本だと思うので いま九章読んでる人は読まないほうがいいかも 160 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:46:43 ] >>158 古いと灰色や金色の表紙のものがある。amazon.co.jpは古い表紙のpicを使いまわしてると思われ 161 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:48:15 ] >>160 実際は赤なんだけど灰色の画像使ってるだけかと思ってました。 162 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:51:26 ] ＩＳＢＮが古いのと同じなのかぁ。出版社のＨＰで確認するのって大事だな。 amazon.co.jp見ただけじゃそんなことわからないＹＯ！ 163 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:56:34 ] SICMオンライン mitpress.mit.edu/SICM/ 164 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 16:57:04 ] >>159 そのページの対応する言語を見ると日本語がないｗ 165 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:00:19 ] SICM　持ってる。けど、自分はラグランジュアンがよくわかってないので 宝の持ち腐れだ。先に数学、勉強するよ。 166 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:00:30 ] 和田訳のSICPがあれだけｸﾞﾀﾞｸﾞﾀﾞなのを考えるとSICMを翻訳できるとは思えんなｗ 167 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:07:18 ] >>164 これじゃ違うかな。 ja.wikipedia.org/wiki/%E5%86%99%E5%83%8F 168 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:10:16 ] >>167 �d。部分写像（partial mapping）がpartial functionに近い。 169 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:23:20 ] いいなあ、学生は暇があって 170 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:25:01 ] SICMのユーティリティープログラムのページ (Linux用) ttp://www-swiss.ai.mit.edu/~gjs/6946/linux-install.htm 171 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:26:16 ] 学生じゃないし暇じゃないけど、ゴロゴロしてる。 172 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:27:32 ] >169 先週から仕事中の現実逃避に>163読み始めたよ 出来れば日本語訳が( ﾟДﾟ)ﾎｽｨ･･･ 173 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:38:30 ] さーてそろそろLittle Schemer読んじゃわないと````````````y 174 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:42:20 ] 8章くらいから難しくなって涙目 175 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:44:33 ] もれも8章涙目だったけど、何度も読み返して何とか理解した。 まだちょっともやもや残ってるけど、、、、 今9章だお。 176 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:45:57 ] >>138 HtDPより同じ著者のEOPLの方がいい。 Little Schemerシリーズもいいけど、SICPとEOPLは体系的な知識が得られる。 177 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:46:34 ] Simply Schemeは？ 178 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:48:01 ] EOPLってﾅｰﾇ? 179 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:48:55 ] しばらく英語に触れてなかったので、Littleで一杯一杯なんだ。 Simply→SICPという意図で書かれているらしいけど、英語読めるか心配。 >>178 おそらくEssential Of Programing Languageかと。 180 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:53:22 ] Simply SchemeはLittle Schemerに近い内容をもっとページ数をかけて説明してる。 表計算プログラムを作る演習などのfinger practiceが充実してるけど理論的には浅い。 Haskellで言えばCraftみたいな内容。 HtDPも理論的なレベルは同程度。こっちはプログラミング作法にページを費やしている。 181 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:54:16 ] >>179�d 182 名前：デフォルトの名無しさん mailto:sage [2008/04/13(日) 17:57:20 ] >>180 ありがとう。 退屈させないように色々やってみて、プログラミングに馴染んで来たら、 さてそこから深くするには何が困難か？と考えさせて SICPにつなげる感じなんですかね。

---

---

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

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