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 52 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 07:40:06 ] >>51 Prologで書かれたpmacsなら昔使ってたなあ。 入社したら新人教育がLisp班とProlog班に分かれて、俺はProlog班だった。 53 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 09:37:55 ] そんな夢のような会社があるわけねえだろ！ 54 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 10:03:54 ] >>53 AIバブル全盛期にはあったんだよね。 俺がやったPrologはFM-8上のCP/Mで動くmicro-PLOLOGという丸括弧で括るPrologだった。 pmacsを使ったのはそれとは別のワークステーションで、小型冷蔵庫ぐらいの筐体だったよ。 55 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 11:28:48 ] d.hatena.ne.jp/niitsuma/20080328/1207515072 swigよりも高度なことができるcffiのwrapper toolを試してみました しかし少し複雑なc++コードを与えるとエラーをおこして止まります 基のc++コードを自動でwrapが生成できようにいじるべきか それとも自動はあきらめて手書きした方がいいのでしょうか？ pythonなら自動でwrapを作成できるみたいなので pythonを経由してlispから呼ぶという２度手間という手もできるのでしょうか？ 56 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 12:27:56 ] ツールをいじるのは手書きを極めてから 57 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 13:01:22 ] >>52-54 ﾜﾛﾀｗ 今でもそんな会社があるなら入社してみたい 58 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 13:18:24 ] >>54 Micro-PROLOGですぜ、旦那。 "Programming in Logic"読んだ口ですか? Lisp班の環境は? muLispとか? 59 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 16:57:05 ] >>53 昭和時代ならあり得る話 60 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 19:08:22 ] 2001年宇宙の旅に出てくるHALってLispで書かれてるんでしょ? 61 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 19:25:21 ] そんな設定あったっけ？ 62 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 19:33:22 ] ありません 63 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 19:49:41 ] >>58 > "Programming in Logic"読んだ口ですか? はっきり覚えていないけど教材は手作りだったような。 > Lisp班の環境は? muLispとか? 名前は忘れたけど日立のプラズマ(赤色1色)Laptop(DOS 16bit)で動いている マルチウインドウのLispだった。Common Lispだったかどうかは分からない。 あとこの会社にはXerox J-Starもあったよ。俺が入って1〜2年で廃棄されたが。 64 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 19:56:27 ] >>63 muLISP/86 on MS-DOSの可能性大 65 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 19:57:08 ] そりゃファクスくらいあるだろw 66 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 22:53:36 ] 雨の日も風の日も 息をするようにlambdaを書く。 そんな人にわたしはなりたい。 67 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 23:09:16 ] 自分自身の定義を書き換える関数って書ける？ 学習して賢くなる関数。 68 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 23:12:54 ] >>67 可能。 69 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 23:18:57 ] メモ化された関数は定義は変わらないけど一度計算した結果を覚えて高速化する。 70 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 23:29:22 ] 関数で新たな関数を作ってevalとか？ 71 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 23:31:24 ] 「賢い」の定義はどんなものなの？ 72 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 23:55:57 ] 「かしこいランプ」（商品名）って 走行中 かつ 周辺が暗い ならば 点灯、という論理で動作してるな 73 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 00:14:07 ] >>67 できる。つーか、そんなのアセンブラでもできるだろ。ｗ 74 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 00:16:14 ] まぁ自己書き換えコードはあまりお勧めしないがな 75 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 00:48:58 ] 関数は普通に賢いので、データを賢くすることを考えてはどうか 76 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 10:30:54 ] >>67 Yコンビネータを使ったメモ化 citeseer.ist.psu.edu/mcadams01practical.html 77 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 12:40:09 ] >>67 書き換えるのは簡単だが、賢くするのは難しい。ｗ 78 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 14:32:38 ] Yは相互再帰を学習できますか？ 79 名前：67 mailto:sage [2008/04/09(水) 18:04:46 ] 昨夜は書きこんだ後に寝てしまったです。スマンです。 Schemeでdefineを使って定義した内容をリストとして取り出し、 書き換えて自分自身を再定義するってことを考えてました。 自らアルゴリズムを改良していくとかできたらおもしろいなぁって。 夢物語だけれども人造人間キカイダーのように思考し、反省し、学習するプログラム があったらおもしろいだろうね。 80 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 18:14:27 ] AIか？ 81 名前：デフォルトの名無しさん mailto:sage [2008/04/09(水) 18:53:44 ] 昔ネットに人工無能ってのがあったなあ。 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だと言ってるし意味が通じない。

---

---

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

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