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 2 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 18:18:56 ] □参考リンク□ 日本Lispユーザ会(日本語) ttp://jp.franz.com/jlug/index.html ここにかなりの情報があります。 削るとAllegro Common Lispのページへ プログラミング言語Scheme(日本語) ttp://www.sci.u-toyama.ac.jp/~iwao/Scheme/scheme.html Schemeの人はまずここを見ましょう。 Schemeへの道(日本語) ttp://www.stdio.h.kyoto-u.ac.jp/~hioki/gairon-enshuu/SchemeNotes/scheme.html ここはschemeの入門サイト。 Practical Scheme(日本語) ttp://practical-scheme.net/index-j.html 「普通のやつらの上を行け」など、興味深い文書を沢山翻訳されてます。 (Gaucheという完成度の高いscheme処理系作者さんのページでもあります。) LispUser.net ttp://lispuser.net/ 3 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 18:19:16 ] □仕様関係□ CLtL2: Common Lisp the Language 2nd edition ttp://www-2.cs.cmu.edu/Groups/AI/html/cltl/cltl2.html CLHS: Common Lisp Hyper Spec ttp://www.ai.mit.edu/projects/iiip/doc/CommonLISP/HyperSpec/FrontMatter/Chapter-Index.html R5RS: Revised(5) Report on the Algorithmic Language Scheme (ja) ttp://www.sci.u-toyama.ac.jp/~iwao/Scheme/r5rsj/html/r5rsj.html R5RS: Revised(6) Report on the Algorithmic Language Scheme (en) ttp://www-swiss.ai.mit.edu/~jaffer/r5rs_toc.html R6RS: Revised(6) Report on the Algorithmic Language Scheme ttp://www.r6rs.org/final/html/r6rs/r6rs.html 4 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 18:19:39 ] □SICP関係□ SICP(英語) ttp://mitpress.mit.edu/sicp/full-text/book/book.html 「計算機プログラムの構造と解釈」の原書です。 全てオンラインで読めます。 計算機プログラムの構造と解釈 第二版 (snip) に関連するホームページ ttp://sicp.ipl.t.u-tokyo.ac.jp/ □wikipedia関連□ ja.wikipedia.org/wiki/LISP ja.wikipedia.org/wiki/Common_Lisp ja.wikipedia.org/wiki/Scheme □継続□ なんでも継続 ttp://practical-scheme.net/docs/cont-j.html Schemeへの道:継続 ttp://www.stdio.h.kyoto-u.ac.jp/~hioki/gairon-enshuu/SchemeNotes/continuation.html 継続の使い方 ttp://www.geocities.co.jp/SiliconValley-PaloAlto/7043/index.html#continuation 継続の使用法 ttp://www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/block.html Kahua: 継続ベースのアプリケーションサーバー ttp://www.kahua.org/ 5 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 18:20:23 ] □その他□ (便利な情報リソース） John McCarthy's Home Page ttp://www-formal.stanford.edu/jmc/ LISPの生みの親、Ｊ・マッカーシーのページだそうです。 Association of Lisp Users 米国のLispユーザ会 ttp://www.alu.org/alu/home CMUのLisp Repository 新旧様々なプログラムが置いてある ftp://ftp.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/0.html The Common Lisp Cookbook: いわゆる Cookbook ttp://cl-cookbook.sourceforge.net/ Bibliography of Scheme-related Research Scheme関連の論文リンク集 ttp://library.readscheme.org/ Scheme Hash(英語) S式でXMLを使える様にするSXMLなど ttp://okmij.org/ftp/Scheme/index.html 幻の「入門Scheme」 オンラインで読める ttp://www4.ocn.ne.jp/~inukai/scheme_primer_j.html 各種scheme処理系をcygwin上からビルドする方法など。 ttp://www.geocities.co.jp/SiliconValley-PaloAlto/7043/ encyCMUCLopedia (cmucl以外でも有益なはず ) ttp://www.isr.ist.utl.pt/library/docs/encycmuclopedia/doc/ 6 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 18:22:06 ] □その他その２□ 独習 Scheme 三週間 (Schemeの教科書 ) ttp://www.sampou.org/scheme/t-y-scheme/t-y-scheme-Z-H-1.html Cliki (CLコードがたくさん紹介されている。) ttp://www.cliki.net/index よろずや (lispの実用的な情報が色々。 ) ttp://www.geocities.co.jp/SiliconValley-SanJose/7474/ Common-Lisp.net: 多くのプロジェクトがホスティングされてる ttp://common-lisp.net/ Practical Common Lisp: S式の羅列で現実的な問題をどう解くのかそのギャップに悩まされてる人に ttp://www.gigamonkeys.com/book/ SLIB ttp://www-swiss.ai.mit.edu/~jaffer/SLIB.html SRFI ttp://srfi.schemers.org/ Meadow memo: 2ちゃんねるログ（dat落ちした過去スレの一部が見られます。 ） ttp://www.bookshelf.jp/2ch/index.html Lispとは何か ttp://www.asahi-net.or.jp/%7Eki4s-nkmr/lisp20061121/lisp.html 7 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 18:22:42 ] □実装□ Bit (mini-schemeよりも小さい(?)bytecode変換系 ) ttp://www.iro.umontreal.ca/~dube/ Lisp 言語処理系: CAMPUS LIsP, Lemon version (Cでわずか1000行) ttp://www-masu.ist.osaka-u.ac.jp/~kakugawa/hacks/clisp/ Schemix (Linuxのkernelへのパッチで/dev/として扱えるTinyScheme ) ttp://www.abstractnonsense.com/schemix/ awkで書かれたわずか500行のLispインタプリタ ttp://www.accesscom.com/~darius/ Bigloo　CLR 用のコードを吐けるようになったらしい ttp://www-sop.inria.fr/mimosa/fp/Bigloo/ SECDR-Scheme: SECD machine model に基づく実装 ttp://lily.fan.gr.jp/~kmd/adhoc/view.rhtml?n=SECDR-Scheme_woyomu Minischeme: 1 ファイルに凝縮された Scheme 処理系 ttp://tinyscheme.sourceforge.net/minischeme.tar.gz TinyScheme: Minischeme を色々弄ったもの ttp://tinyscheme.sourceforge.net/ KI-Scheme, AM-Scheme, etc... ttp://www.nifty.com/download/dos/prog/lisp/ LispMe: Palm 上で動く Scheme 処理系. これも SECD virtual machine. ttp://www.lispme.de/lispme/ 8 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 18:23:15 ] □実装その２□ Gauche: R5RS準拠のScheme処理系。Shiro Kawaiさん作。書籍も出版されました。 ttp://practical-scheme.net/gauche/index-j.html PLT Scheme: DrScheme、MzSchemeなどのR5RS準拠および独自拡張のScheme処理系 ttp://www.plt-scheme.org/ Scheme48: R5RS準拠のSchemeのバイトコードインタプリタ ttp://www.s48.org/ Guile: GNUの拡張プログラミング言語 ttp://www.gnu.org/software/guile/ Gambit-C: R5RS準拠のScheme処理系 ttp://www.iro.umontreal.ca/~gambit/wiki/index.php/Main_Page Steel Bank Common Lisp: Common Lisp処理系 ttp://www.sbcl.org/ CMUCL: Common Lisp処理系 ttp://www.cons.org/cmucl/ GNU CLISP: Common Lisp処理系 ttp://www.clisp.org/ Embeddable Common Lisp: Common Lisp処理系 ttp://ecls.sourceforge.net/ Arc: ポール･グレアム氏が作成した新しいLisp ttp://arclanguage.org/ 9 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 18:23:42 ] □イベント□ GaucheNight(2008-03-08) ttp://practical-scheme.net/wiliki/wiliki.cgi?gauche.night SchemeとGaucheとλとS式を愛するすべての人に贈るマクロな一夜。 川合史朗、伊藤篤、山下伸夫、笹田耕一、ひげぽん、zick、黒田寿男、えんどうやすゆき、ほか GaucheNight(2007-05-09) ttp://practical-scheme.net/wiliki/wiliki.cgi?GaucheNight%3a2007 川合史朗、黒田寿男、まつもとゆきひろ(Skype中継)、小飼弾、 伊東勝利、久井亨、小黒直樹、ほか 黒田氏関係 (黒板の人) ttp://pc10.2ch.net/test/read.cgi/tech/1151025773/901-909 ttp://cl-www.msi.co.jp/solutions/knowledge/lisp-world/articles/scheme Scheme:マクロ:CommonLispとの比較 ttp://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3a%e3%83%9e%e3%82%af%e3%83%ad%3aCommonLisp%e3%81%a8%e3%81%ae%e6%af%94%e8%bc%83 Script Languages ttp://cl-www.msi.co.jp/solutions/knowledge/lisp-world/articles/script-lang 10 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 18:24:37 ] □書籍□ ＜プログラミングGauche＞ ・著者：川合史朗　監修 Kahuaプロジェクト　著 ・定価：3360円(本体3200円＋税) ・B5変　524頁 ・ISBN　978-4-87311-348-7 ・発売日：2008/03/14 Scheme処理系言語Gauche（ゴーシュ）の初の解説書！ ttp://ssl.ohmsha.co.jp/cgi-bin/menu.cgi?&ISBN=978-4-87311-348-7 立ち読み版 ttp://karetta.jp/book/gauche-hacks ＜On Lisp＞ ・著者：Paul Graham　著 野田 開　訳 ・定価：3990円(本体3800円＋税) ・A5　440頁 ・ISBN　978-4-274-06637-5 LispハッカーPaul Grahamが、Lispの力の源泉であるマクロプログラミングを解説 ttp://ssl.ohmsha.co.jp/cgi-bin/menu.cgi?ISBN=978-4-274-06637-5 HTML版 ttp://user.ecc.u-tokyo.ac.jp/~tt076524/onlispjhtml/ 11 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 18:26:48 ] □2ch上にあるLISP関係のスレ□ (現在) 【入門】Common Lisp その４【質問よろず】 ttp://pc11.2ch.net/test/read.cgi/tech/1201402366/ 【ＣＧＩ】実用比較Lisp vs C/C++【ＧＵＩ】 ttp://pc11.2ch.net/test/read.cgi/tech/1150501484/ 【魔法】リリカル☆Lisp【言語】 ttp://pc11.2ch.net/test/read.cgi/tech/1183396621/ Lisp@UNIX版 ttp://pc11.2ch.net/test/read.cgi/unix/1019926525/ Emacs Lisp 3 ttp://pc11.2ch.net/test/read.cgi/tech/1191875993/ 【ﾔﾊﾟｰﾘ】XMLをS式に置換えていくスレ【LISP最強】 ttp://pc11.2ch.net/test/read.cgi/tech/1140006937/ 【SICP】計算機プログラムの構造と解釈 Part2 ttp://pc11.2ch.net/test/read.cgi/tech/1203096230/ 【普通のやつらの】 Arc Language 0 【上を行け】 ttp://pc11.2ch.net/test/read.cgi/tech/1202098949/ 12 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 18:27:45 ] The Scheme Programming Language (英語 オンライン読可) www.scheme.com/tspl3/ 13 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 18:36:37 ] ※LispとSchemeのスレです。 14 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 18:42:02 ] お酒とワインのスレです。みたい 15 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 18:45:12 ] 麺類とうどんのスレです。みたい 16 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 20:03:18 ] >>15 ﾜﾗﾀ ;;;蕎麦で喧嘩するんだぜきっとｗ 17 名前：デフォルトの名無しさん mailto:sage [2008/04/04(金) 20:35:56 ] テンプレ追加 ☆初心者が集うIRC（布教してくれる先生も大募集です） irc.scenecritique.com port 6667 チャンネル　#Lisp_Scheme クライアントはcottonあたりが誰でも使いやすいと思います （LisperならEmacsでつないだ方がいいかもしれませんが） ※IRCはつないだまま離席している人が結構いるので即返答がないことも。気長に待ちましょう 現在cdrcdrな感じですが宜しくお願いします 18 名前：デフォルトの名無しさん mailto:sage [2008/04/05(土) 18:36:35 ] If you give someone Fortran, he has Fortran. If you give someone Lisp, 19 名前：デフォルトの名無しさん mailto:sage [2008/04/05(土) 18:38:45 ] Scheme Gauche part1 って(略 20 名前：デフォルトの名無しさん mailto:sage [2008/04/05(土) 23:26:57 ] 場合のカズ、三浦カズ (define C (lambda (n k) (if (eq? k 0) 1 (* (/ n k) (C (- n 1) (- k 1)))))) (display (C 5 2)) ⇒10 (define C (lambda (n k) (if (eq? k 0) 1 (if (eq? n k) 1 (+ (C (- n 1) (- k 1)) (C (- n 1) k)))))) (display (C 5 2)) ⇒10 21 名前：デフォルトの名無しさん mailto:sage [2008/04/05(土) 23:51:04 ] ttp://codepad.org/UgX6eIBr ttp://codepad.org/TU5segMo 22 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 00:01:39 ] 場合の数 (define Y (lambda (X) ((lambda (procedure) (X (lambda (arg) ((procedure procedure) arg)))) (lambda (procedure) (X (lambda (arg) ((procedure procedure) arg))))))) (define (Fact my-fact) (lambda (n) (if (= n 0) 1 (* n (my-fact (- n 1)))))) (define fact (Y Fact)) (define P (lambda (n r) (/ (fact n) (fact r)))) (display (P 4 2)) 23 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 00:15:16 ] >>22 順列ですから 24 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 00:59:05 ] >>22 (define P (lambda (n r) (/ (fact n) (fact (n-r))))) 25 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 01:00:53 ] (define C (lambda (n r) (/ (P n r) (fact r)))) 26 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 01:08:32 ] (thread "Lisp Scheme" (part 21)) 27 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 02:26:55 ] そういう余計な括弧よさはいりません 28 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 02:29:15 ] むしろ括弧が少なすぎるぜ 29 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 02:52:11 ] (thread "Lisp Scheme" :part 21) 30 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 03:40:24 ] ディレクトリいじれたわ。 Gaucheは俺の既定スクリプト言語になりました。 31 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 05:04:45 ] 文字列リテラルってダブルクオートで囲うんだっけ？ 32 名前：Lisp1.5 mailto:sage [2008/04/06(日) 09:21:26 ] シンボルが文字列の代わりです 33 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 17:29:37 ] glintがバージョンアップされたようです 34 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 18:14:29 ] (explode 'SYMBOL) 35 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 18:57:57 ] >>32 internされてて欲しいとき（キーになるもの等）はシンボル 頻繁に作ったり壊したりするならストリング 極めて頻繁にコンペアするならシンボル とりあえず、デフォルトはストリングだな 36 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 19:04:42 ] (glint '(Lisp Scheme Gauche)) ⇒ ﾊﾞｸﾞの数 21 37 名前：デフォルトの名無しさん mailto:sage [2008/04/06(日) 21:05:54 ] ネタにマジレスっていうか、元ネタが微妙だったねｗ Lisp1.5ってなあ。 38 名前：デフォルトの名無しさん mailto:sage [2008/04/07(月) 12:05:35 ] >>34 => (S Y M B O L) 39 名前：デフォルトの名無しさん mailto:sage [2008/04/07(月) 19:00:23 ] EOPLとLisp in Small Pieceってどっちがやさしいですか？ 簡単な方から挑戦してみようと思ってます。 40 名前：デフォルトの名無しさん mailto:sage [2008/04/07(月) 21:27:55 ] lispのプロジェクトをいろいろ見てるけど、pythonと比べて toy problem解いただけで実際の複雑な問題に適用できないの多くないですか？ ある程度泥臭いこともやる人がいないからなのかな 41 名前：デフォルトの名無しさん mailto:sage [2008/04/07(月) 21:34:57 ] つ 実際の複雑な問題 kwsk 42 名前：デフォルトの名無しさん mailto:sage [2008/04/07(月) 21:35:06 ] >>40 そのプロジェクトってどれよ？ #うちの社内プロジェクトだったらいろんな意味で笑う 43 名前：デフォルトの名無しさん mailto:sage [2008/04/07(月) 21:35:33 ] そうですね、あなたにはPythonが向いてると思います。 44 名前：デフォルトの名無しさん mailto:sage [2008/04/07(月) 22:15:10 ] pythonと実際の複雑な問題だけじゃどう吊られると喜んでくれるかわかんないYO! 45 名前：デフォルトの名無しさん mailto:sage [2008/04/07(月) 22:21:15 ] >>40 ttp://www.unixuser.org/~euske/doc/python/python-lisp-j.html 46 名前：デフォルトの名無しさん mailto:sage [2008/04/07(月) 22:36:06 ] >>40 そういうネタの露出度が高いだけでは？ 47 名前：デフォルトの名無しさん mailto:sage [2008/04/07(月) 22:44:19 ] すまんが教えてくれ read関数って空白類記号(スペース、タブ、改行)は読み飛ばすのか？ 48 名前：デフォルトの名無しさん mailto:sage [2008/04/07(月) 22:47:09 ] うんそうだよ 49 名前：デフォルトの名無しさん mailto:sage [2008/04/07(月) 23:50:45 ] >>48 アリガト 50 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 00:43:10 ] >>40 Pythonマシンとかつくってから出直してこい 51 名前：デフォルトの名無しさん mailto:sage [2008/04/08(火) 00:51:40 ] まあせめてPmacsぐらい作ってほしいね。 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)) みたいに拡張するとか。

---

---

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

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