【入門】Common Lisp その8【質問よろず】

1 名前：デフォルトの名無しさん [2011/07/06(水) 17:15:15.55 ] lispを触ってみたい入門者のQ&A 初心者のQ&A 本スレでは恥ずかしくて聞けない人のQ&A 本スレは高度すぎて割り込めない人のQ&A linuxでなくてwindowsでやりたいんですが・・・Q&A lispを使用してC#やJAVAの代替にするための方法（おまけ） ま、ゆっくりたりましょう。 「いいものの本質は、いかなる時代においても変わらない」byパワーズ (list (url pc8.2ch.net/test/read.cgi/tech/1101386936/l50 :part 1) (url pc11.2ch.net/test/read.so/tech/1140012484/l50 :part 2) (url pc11.2ch.net/test/read.so/tech/1181479267/l50 :part 3) (url pc11.2ch.net/test/read.cgi/tech/1201402366/l50 :part 4) (url pc11.2ch.net/test/read.cgi/tech/1215834213/l50 :part 5) (url pc12.2ch.net/test/read.cgi/tech/1234884136/l50 :part 6) (url hibari.2ch.net/test/read.cgi/tech/1270370267/l50 :part 7) □テンプレート置き場□ ttp://wiki.fdiary.net/lisp/ (id:guest pass:cl) 654 名前：デフォルトの名無しさん mailto:sage [2011/12/26(月) 03:17:56.14 ] >>653 www.geocities.jp/m_hiroi/index.html あとはこのスレのテンプレとか見て 655 名前：デフォルトの名無しさん mailto:sage [2011/12/26(月) 07:33:27.39 ] >>654 ありがとうございます。参考にさせていただきます。 656 名前：デフォルトの名無しさん mailto:sage [2011/12/26(月) 19:37:27.23 ] 指定したファイルの更新時刻を変更するにはどうすればよいのでしょうか 取得するのは file-write-date でできましたが 任意の時刻に書き換える方法がわかりません 657 名前：デフォルトの名無しさん mailto:sage [2011/12/26(月) 20:03:07.29 ] SBCL@UNIXならsb-posix:utimes 658 名前：デフォルトの名無しさん mailto:sage [2011/12/26(月) 20:09:07.78 ] >>656 標準ではないみたい。 rosettacode.org/wiki/File_modification_time#Common_Lisp OSのAPIにアクセスするには、OsicatかIOLibを使えばできる。 SBCLならPOSIXモジュールがあるよ。 IOLib common-lisp.net/project/iolib/ Osicat common-lisp.net/project/osicat/ 使い方分からなかったら教えて。 659 名前：デフォルトの名無しさん mailto:sage [2011/12/26(月) 20:26:56.74 ] >>658 > OSのAPIにアクセスするには、OsicatかIOLibを使えばできる。 うーん 660 名前：デフォルトの名無しさん mailto:sage [2011/12/26(月) 20:32:42.97 ] >>659 ごめん。表現の仕方が悪かった？ POSIXのAPIにアクセスするなら、ではどう？ 661 名前：デフォルトの名無しさん mailto:sage [2011/12/26(月) 23:02:25.66 ] そこにutime(2), utimes(2), futimes(2), utimensat(2)があるわけ? 662 名前：デフォルトの名無しさん mailto:sage [2011/12/27(火) 02:03:40.58 ] >>661 はあ？　あるに決まってんじゃん、この前ソース眺めたとき確かに見たわこのボケが！ と思って見返したら、どうみても俺が痴呆です本当にありがとうございました。 代わりに供物を用意したので命だけは見逃してください。 paste.lisp.org/display/126696 663 名前：656 mailto:sage [2011/12/27(火) 03:05:55.45 ] 書き忘れていました。osはwindowsでsbclです。 >>658-662 ありがとうございます。>>662でokでした。 664 名前：662 mailto:sage [2011/12/27(火) 03:21:58.01 ] >>663 大変失礼致しました。指摘の通り、>>658の4行目以降は嘘なので信じないでください。 また、余談ですが、Windows APIのバインディングとして、 Doors https://github.com/Lovesan/doors というDmitry Ignatievによるライブラリがございまして、 https://github.com/Lovesan/doors/blob/master/system/time.lisp に今回のような時刻関係のAPIが定義されている様ですので、興味をお持ちになったらお試しください。 というわけで、どうぞ上の恥ずかしいアレっぷりを記憶から速やかに抹消してください。 さもないと枕元に立ちます。 665 名前：デフォルトの名無しさん mailto:sage [2011/12/27(火) 11:31:19.14 ] SBCLで大文字・小文字を区別する方法ってありませんか？ CL-USER> (setq L '(1)) (1) CL-USER> L (1) CL-USER> l (1) 商用CLは大文字・小文字を区別すると聞くのでその処理系と互換を持たせた仕様 だとすばらしいです。 666 名前：デフォルトの名無しさん mailto:sage [2011/12/27(火) 14:21:17.64 ] >>662 > (窓)paste.lisp.org/display/126696 おお、O_RDWR | O_APPENDでopenしてすぐcloseするオールドスタイル！ 667 名前：デフォルトの名無しさん mailto:sage [2011/12/27(火) 15:42:39.91 ] >>665 商用でなくともCLは大文字と小文字を区別する readtable-caseで検索すればいいと思う 668 名前：デフォルトの名無しさん mailto:sage [2011/12/27(火) 20:39:28.46 ] readtable-caseは>>436あたりからの話を見れば 669 名前：デフォルトの名無しさん [2011/12/30(金) 11:18:57.56 ] emacs+slimeでお インデントがうまくいかないないのですが うまくいくヒント設定方法よろしくお願いします。 670 名前：デフォルトの名無しさん mailto:sage [2011/12/30(金) 11:21:41.50 ] ついこないだこんな設定を加えた (setq-default indent-tabs-mode nil) でもどううまくいかないか具体的に書いたほうがいいよ 671 名前：デフォルトの名無しさん mailto:sage [2011/12/30(金) 12:44:17.22 ] indent がうまくいかないなんてあったっけ。 672 名前：デフォルトの名無しさん mailto:sage [2011/12/31(土) 00:11:35.74 ] unwind-protectのformを次の行に置くとき、期待した場所より余計に下がったり、 handler-caseのインデントが狂ったりしたことは前にあったな。詳しく調べてないけど。 673 名前：デフォルトの名無しさん [2011/12/31(土) 01:28:06.63 ] >>669 ifのインデントなんですが 674 名前：デフォルトの名無しさん [2011/12/31(土) 01:35:17.77 ] >>673 ifの次が下がり過ぎるのですが 675 名前：デフォルトの名無しさん mailto:sage [2011/12/31(土) 01:39:54.69 ] >>674 こうしたい、という例と、こうなる、という例を貼ってくれ。 そうすれば、もっとみんな適切に回答できる。 676 名前：デフォルトの名無しさん mailto:sage [2011/12/31(土) 01:42:13.47 ] (if nil 1 2) うちはこんなんだな 677 名前：デフォルトの名無しさん mailto:sage [2011/12/31(土) 01:53:00.16 ] >>676 うちもこんなんだな。 ( if nil 1 2 ) マジレスすると俺のはこんなんだが、 (if nil 1 2) もしかして、伝統的なスタイルを期待してんのかね？ thenとelseを揃えないRMSの好きなあれ。 678 名前：デフォルトの名無しさん mailto:sage [2011/12/31(土) 02:54:24.33 ] (if nil 　　1 　2) これか？ 679 名前：デフォルトの名無しさん [2011/12/31(土) 04:40:35.58 ] (if (test) (do　 　こうしたいのですが (if (test) (do こうなってしまいます。 680 名前：デフォルトの名無しさん [2011/12/31(土) 04:43:00.81 ] ↑間違いましたすみません (if (test) 　(do　 　こうしたいのですが (if (test) 　　　(do こうなってしまいます。 681 名前：デフォルトの名無しさん mailto:sage [2011/12/31(土) 07:18:16.08 ] 言語構造よりライブラリの豊富さが実用上大事だ。 LISPとか教科書・勉強で使うくらいしかないんでは。 LISPでC#やJavaやPHPの代替できるくらいにライブラリあるのかよ。 682 名前：デフォルトの名無しさん mailto:sage [2011/12/31(土) 07:34:44.41 ] そうなんだよ。だからこんな所に来なくて大丈夫だ。お疲れ。 683 名前：デフォルトの名無しさん mailto:sage [2011/12/31(土) 09:38:14.04 ] >>679 これじゃだめ？ M-x common-lisp-set-style Specify Common Lisp indentation style: classic 684 名前：デフォルトの名無しさん mailto:sage [2011/12/31(土) 16:04:33.81 ] >>683 それってなんていう.el？ M-x common-lisp-set-styleなんてないし、aprops-variableでも関連変数が引っかからないんだが 685 名前：デフォルトの名無しさん mailto:sage [2011/12/31(土) 17:29:40.54 ] >>684 横からあれだけど slimeのcontribの中に入ってなかったっけ？slime-setupだかでなにかロードさせる必要があったような。 今PCの前にいないんで曖昧で間違ったこといってるかもしれないけど。 686 名前：デフォルトの名無しさん mailto:sage [2011/12/31(土) 19:31:34.40 ] >>684 >>685 が書いてるように ${SLIME_ROOT}/contrib 下に入ってる slime-setup の引数で渡すとロードしてくれる うちの .emacs は以下のような設定になってる (slime-setup '(slime-fancy slime-indentation)) 687 名前：デフォルトの名無しさん mailto:sage [2011/12/31(土) 23:06:41.50 ] >>686 サンクス こういうのかあるのね M-X common-lisp-set-style basic classic modern sbcl 688 名前：デフォルトの名無しさん mailto:sage [2011/12/31(土) 23:09:05.09 ] 皆さんよいお年を！ ２０１２はCommon Lispが大復活することを願って。 689 名前：デフォルトの名無しさん [2012/01/01(日) 03:51:43.39 ] >>687 詳しくお願いします。 690 名前：デフォルトの名無しさん mailto:sage [2012/01/01(日) 07:29:22.27 ] 去年、John McCarthy総裁が崩御されたし、今年一年は大人しくするぜ。 再来年をCommon Lispの飛躍の年にしましょう。 >>688 >>683 >>684 自分 >>685 >>686 の流れだよ。 slimeが入っていたら動くんじゃないかな。 >>685-686のcontribは自分の環境だと/usr/share/emacs/site-lisp/slime/contrib/ のことなのかな。よくわからん。特別設定せずにM-X eval-regionして>>683のが 動いちゃったし。classic入力の所でTabを押すと他の候補が出てくるよ。 老婆心だけど、(slime-setup '(slime-fancy slime-indentation))をマークして M-x eval-regionするとemacs lispで評価されて設定される。 navi2ch上でマークしても評価されるんじゃないかな。 691 名前：デフォルトの名無しさん mailto:sage [2012/01/02(月) 23:56:10.75 ] 力尽きた。まだ追加することあったら誰かやって。 cl.cddddr.org/index.cgi?SLIME%3aslime-indentation 692 名前：デフォルトの名無しさん [2012/01/03(火) 01:56:05.82 ] ↑ありがとうございます。 693 名前：デフォルトの名無しさん [2012/01/04(水) 06:25:02.26 ] >>691 追加お願いします。 694 名前：デフォルトの名無しさん [2012/01/04(水) 10:39:17.77 ] >>683 691うまくできませんでした 設定方法よかったらお願いいたします。 695 名前：デフォルトの名無しさん mailto:sage [2012/01/04(水) 14:21:46.13 ] >>694 >>683-693までを3回読め、文盲 696 名前：デフォルトの名無しさん mailto:sage [2012/01/04(水) 17:18:50.00 ] >>694 どのように上手くいかなかったのかｋｗｓｋ。 どういう設定をして、どういうエラーが出たとかを「可能な限り詳細」に。 697 名前：デフォルトの名無しさん mailto:sage [2012/01/04(水) 23:58:13.38 ] ＞文盲 よめません 698 名前：デフォルトの名無しさん mailto:sage [2012/01/05(木) 04:49:20.75 ] 関数の引数リストを取得する方法って標準の範囲であるんでしょうか sbclのdescribe(呼ぶと引数リストも表示する)だと内部でsb-kernel:%simple-fun-arglistを呼んでいるぽいですけど 699 名前：デフォルトの名無しさん [2012/01/05(木) 07:15:50.25 ] >>694 .emacsに (slime-setup '(slime-fancy slime-indentation)) を書く M-x common-lisp-set-styleすると M-x common-lisp-set-style[No match] 700 名前：デフォルトの名無しさん [2012/01/05(木) 07:28:30.22 ] >>696↑間違いました。 .emacsに (slime-setup '(slime-fancy slime-indentation)) を書く M-x common-lisp-set-styleすると M-x common-lisp-set-style[No match] 701 名前：デフォルトの名無しさん mailto:sage [2012/01/05(木) 07:57:07.40 ] とりあえずEmacs再起動してみるとか 702 名前：デフォルトの名無しさん [2012/01/05(木) 08:04:00.79 ] >>701 Emacs再起動してもだめなんですよ。 703 名前：デフォルトの名無しさん mailto:sage [2012/01/05(木) 08:12:37.95 ] slime のバージョンは? そもそも slime のインストールディレクトリに contrib/slime-indentation.el と contrib/slime-cl-indent.el のファイルある? 704 名前：デフォルトの名無しさん mailto:sage [2012/01/05(木) 08:16:17.89 ] >>699 環境は？　Lispbox？　普通にインストールしたEmacs？ (slime-setup '(slime-fancy slime-indentation)) をC-x C-eで評価するとどうなる？　起動時に何かエラーメッセージは？ *Messages*に何かエラーが出てる？ >>699の状況を説明すると、正常にslime-indentationがロードされていない。 だからそこで定義されているcommon-lisp-set-styleも実行できない。 705 名前：デフォルトの名無しさん [2012/01/05(木) 08:41:25.08 ] C-x C-eで評価するとEnd of file during parsing 普通にインストールしたEmacsです。 contrib/slime-indentation.el はあるけど contrib/slime-cl-indent.el　はない 706 名前：デフォルトの名無しさん mailto:sage [2012/01/05(木) 10:40:33.98 ] >>705 環境を晒せよ、バカ 707 名前：デフォルトの名無しさん mailto:sage [2012/01/05(木) 10:47:45.62 ] そういや、環境晒し方みたいなのってないね。 emacs関連だけでも書いておくといいかも。 708 名前：デフォルトの名無しさん [2012/01/05(木) 21:58:26.64 ] >>705 ubunto11.04 sbcl emacs23.2.1 709 名前：デフォルトの名無しさん mailto:sage [2012/01/05(木) 22:33:15.35 ] 肝腎要のslimeのバージョンは? 710 名前：デフォルトの名無しさん mailto:sage [2012/01/05(木) 23:19:40.86 ] >>709 "普通"と言っているんだから、このバージョンなんじゃない。 環境設定苦手なのであとはよろしく。 Package: slime Version: 1:20100722-1 Depends: emacsen-common, dpkg (>= 1.15.4) | install-info Recommends: cl-swank (= 1:20100722-1), info | info-browser, emacs23 | emacs22 | emacs-snapshot | xemacs21 Filename: pool/universe/s/slime/slime_20100722-1_all.deb Size: 1269716 ftp://ftp.riken.jp/pub/Linux/ubuntu/dists/natty/universe/binary-amd64/Packages.bz2 ftp://ftp.riken.jp/pub/Linux/ubuntu/pool/universe/s/slime/ 711 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 00:00:15.48 ] Ubuntu Nattyではslime-indentation.elは入ってるけどslime-cl-indent.elは入ってない packages.ubuntu.com/ja/natty/all/slime/filelist で、どうやらslime-cl-indent.elは最近入ったファイルらしい lists.common-lisp.net/pipermail/slime-cvs/2011-May/009688.html random-state.net/log/3513839648.html ちなみにUbuntu Preciseには入る模様 packages.ubuntu.com/precise/all/slime/filelist で、どうすればいいかはUbuntu使ってないので私もわかりますん 712 名前：デフォルトの名無しさん [2012/01/06(金) 00:00:24.01 ] >>709 slime 1:20100722-1 713 名前：710 mailto:sage [2012/01/06(金) 00:23:29.38 ] ubuntuを使い込んでいなので不具合が起きても知りません。elispだからOSには悪影響が出ないで しょう、きっと。 環境Kubuntu10.04 amd64だけど、無理やりslime_20111027-2_all.debを入れると>>683が出るね。 wget ftp://ftp.riken.jp/pub/Linux/ubuntu/pool/universe/s/slime/slime_20111027-2_all.deb sudo dpkg -i slime_20111027-2_all.deb (setq inferior-lisp-program "/usr/bin/sbcl") (require 'slime) (setq slime-default-lisp "sbcl") ;; いらないかも (slime-setup '(slime-repl)) (slime-setup '(slime-fancy slime-indentation)) >>711 公式のcurrentバージョン(2012-01-05)のChangelogを読んだけど、書いてなかったなあ。 作法としてChangelogをみるのが正しくないのかね。 714 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 01:00:08.28 ] quicklisp から slime 導入するのが楽。 715 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 07:20:57.78 ] >>713 slime/ChangeLogではなくslime/contrib/ChangeLogに書いてあるよ 716 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 12:26:33.41 ] >>715 本当だ 2011-05-10 Nikodemus Siivola <nikodemus@r****dom-state.net> * slime-cl-indent.el: New file. Copy of cl-indent.el from current GNU Emacs HEAD. Replaces the ancient copy previously kept as part of slime-indentation.el. * slime-indentation.el (slime-handle-indentation-update): Deleted. Since we now directly replace the previous version of cl-indent.el, the normal version defined in slime.el works fine. ALSO DELETED: the inline copy of 1995 vintage cl-indent.el. slime-cl-indent.clと言い始めた人は某ディストリを使っていたのかな。 2011-05-10 以前の設定ってどうするんだろうなあ。今はそっちを推奨した方が 良いかもなあ。 それかyum, aptなどのパッケージシステムで極力管理せずにquicklispで swank(slime?)さえも管理させるか。 717 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 15:24:13.51 ] ちなみにLispbox on linux 64bitはslime-20110205.092829で>>683が効いていない。 718 名前：デフォルトの名無しさん mailto:sage [2012/01/06(金) 18:29:18.55 ] >>716 indentをイジりたいなら(特に)2011-05-10 以前の設定はこんな感じかな。 他にもっと適切な設定があるかもしれないけど。 .emacs.el (setq lisp-indent-function 'common-lisp-indent-function) ;;(setq lisp-indent-offset nil) ;;(setq lisp-indent-offset -2) (setq lisp-indent-offset 2) 719 名前：デフォルトの名無しさん [2012/01/07(土) 01:25:01.92 ] もっと適切な設定おねがいします。 720 名前：デフォルトの名無しさん mailto:sage [2012/01/07(土) 07:41:14.53 ] >>716 emacs関連ってyum, aptなどを使わないのがデフォじゃないのか? Linux系以外のOSと操作感変わるのはいやじゃね? 721 名前：デフォルトの名無しさん mailto:sage [2012/01/07(土) 10:38:28.61 ] >>720 自分の話ではなく、emacsを使い始めて1年以内の人を対象にしているんだけど、 １年以上の人は自力でがんばって設定してくれと思う。 あと仮想OSも安定したし、マルチプラットフォームの操作感の統一性は求めて いないなあ。ssh経由環境を整えた方が労力が少ないよ。 722 名前：デフォルトの名無しさん mailto:sage [2012/01/07(土) 15:14:50.58 ] emacs を使い始めて３５年か。。。。 という人はおらんか？ 723 名前：デフォルトの名無しさん mailto:sage [2012/01/07(土) 15:35:48.33 ] RMSです。日本の皆さん、はじめまして。 って話？ 724 名前：デフォルトの名無しさん mailto:sage [2012/01/07(土) 17:03:50.76 ] ttp://www.amazon.co.jp/dp/4320024141 この本が出たのが88年だから24年前か 725 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 00:03:57.95 ] 20年以上前のRMSってヒッピー族って雰囲気だったのにな。 いまや教祖。。。 726 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 00:10:55.78 ] d.imagehost.org/0086/richardstallmanyoungg.png www.wikinoticia.com/images/www.vivalinux.com.ar.xml.rss/i44.tinypic.com.aau5i9.png assets.cio.com/documents/cache/images/slideshows/2009/04/hippie_programmers.jpg www.computerhistory.org/timeline/images/1983_stallman_large.jpg www.foreignremarks.com/images/2007_0607stallman0029.jpg あるlispハッカーの変遷。 727 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 00:39:46.75 ] まさに、どうしてこうなった、を素で行くRMS様だぜー。 まあでも、今でも痩せればイケメンなのは間違いない。 728 名前：デフォルトの名無しさん [2012/01/08(日) 03:24:39.80 ] 設定の話どうなったの？ 729 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 19:17:24.09 ] 最後に麻原を混ぜる 730 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 22:57:13.63 ] lisperってemacs使ってる人が多いのかな？ vi使ってる人いる？P・Gはvi派らしいけど 731 名前：デフォルトの名無しさん mailto:sage [2012/01/08(日) 23:12:26.42 ] viスキーも割と見掛ける気がする。VimにもSwankクライアントあるし。 自分はEmacsのキーバインドがダルくてviper-mode使ってるけど、 Vimpulseとか使ってる人も中にはいるかもしれない。 732 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2012/01/09(月) 00:13:04.38 ] LISPer だと vim スクリプトはだりぃーとか思っちゃうかもね。 仕事の内容によってはカスタマイズされた環境に慣れるのは良くない こともあるだろうから、そういう人は vi を使うと聞いたことがあるよ。 グレアム御大はエディタでなく言語の側で頑張れ派なので vi を使うとどこかで読んだ。 733 名前：デフォルトの名無しさん [2012/01/09(月) 00:26:34.09 ] >>インデント？ 734 名前：デフォルトの名無しさん [2012/01/09(月) 00:29:45.25 ] >>728 インデント？ 735 名前：デフォルトの名無しさん [2012/01/09(月) 00:30:28.89 ] >>728 インデント？ 736 名前：デフォルトの名無しさん mailto:sage [2012/01/09(月) 01:31:58.40 ] >>732 > グレアム御大はエディタでなく言語の側で頑張れ派なので vi を使うとどこかで読んだ。 viでshellコマンド使えるよね？ vi を使って、LISPでパースしたりうんたらしたりしているのかね。LISPでvi上で文字を 色付けしたりとかもできるのかな。SHELLを何を使っているか、知らないけど、SHELL側から 色付けアプローチができるんかな。 vi使いのLISPerの動画ってないかね。マジでみてみたいんだよなあ。 超高等テクニックを紹介している英語サイトでもいい。 737 名前：デフォルトの名無しさん mailto:sage [2012/01/09(月) 11:48:05.90 ] まず最初にvimを使おう。 738 名前：デフォルトの名無しさん mailto:sage [2012/01/09(月) 13:48:06.72 ] >>737 プログラム組むんならそれもありだろうけど, Linux 以外でデフォで vim ってあるんかよ? 739 名前：デフォルトの名無しさん mailto:sage [2012/01/09(月) 15:10:37.13 ] >>737 vimは使えるわ。 viの話が聞きたい。 >>738 Linuxでもvimは標準で入っていないのが多いよ。 740 名前：デフォルトの名無しさん mailto:sage [2012/01/10(火) 06:28:23.08 ] monadをlispの文法で説明しているサイトないでしょうか 741 名前：デフォルトの名無しさん mailto:sage [2012/01/10(火) 07:16:19.47 ] >>740 okmij.org/ftp/Scheme/monad-in-Scheme.html 742 名前：デフォルトの名無しさん mailto:sage [2012/01/10(火) 07:28:41.91 ] ああ、ごめん。早合点した。モナド自体の解説も必要なのか。 それならこっちか。 groups.google.com/group/comp.lang.functional/msg/2fde5545c6657c81 英語だけど端的でとても分かりやすいと思う。 743 名前：デフォルトの名無しさん mailto:sage [2012/01/10(火) 09:50:31.71 ] in dente 744 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 12:51:58.52 ] John McCarthy 追悼記事 cacm.acm.org/magazines/2012/1/144801-john-mccarthy-1927-2011/fulltext >he was also one of the first to investigate how to rigorously prove properties of programs この一文がよく分からない 証明関係の話だとは思うんだがどういうことなんだろう それとこの一文に興味を持ちました >McCarthy was "a very, very clear thinker regardless of the topic—politics, sociology, the water supply in the San Andreas Basin, anything," recalls Hayes. paul graham御大のようにずけずけと切り込んでいくスタイルだったんでしょうかね エッセイ集のようなものがあれば読んでみたいな そうそう、figureにある御大の若い日の姿がいい deliveryimages.acm.org/10.1145/2070000/2063187/figs/uf1.jpg なんというか、目つきが鋭くて黒ひげが凛々しい 745 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 14:53:18.17 ] チェス盤があるところを見ると Kotok-McCarthy のデバッグ中かな？ 746 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 15:37:08.04 ] 質問ですが、 >>1のパワーズとはどういう人なのですか 747 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 17:31:29.46 ] "MOJO" 748 名前：デフォルトの名無しさん mailto:sage [2012/01/11(水) 17:47:31.46 ] >>744 後ろに説明あるじゃない。 >He invented abstract syntax; created the nonmonotonic logic technique called circumscription; and invented the garbage collector. 749 名前：デフォルトの名無しさん mailto:sage [2012/01/12(木) 09:19:35.64 ] サーカムスクリプションじゃなくてこっち。 www-formal.stanford.edu/jmc/basis.html 750 名前：デフォルトの名無しさん mailto:sage [2012/01/12(木) 15:38:06.07 ] blog.livedoor.jp/s-koide/archives/1846185.html >2003年ニューヨークのConferenceではものすごく感動的なトークをし マッカーシーは2003年にどんなトークをしたのでしょう？ 751 名前：デフォルトの名無しさん mailto:sage [2012/01/12(木) 18:28:37.32 ] Tutorial:Lispで人工知能 cl.cddddr.org/index.cgi?Tutorial%3ALisp%E3%81%A7%E4%BA%BA%E5%B7%A5%E7%9F%A5%E8%83%BD 例はAllegro Common Lispで開発を進めるということになっていますが、 windowsのsbcl+emacs+slimeで試したいです blog.livedoor.jp/s-koide/archives/1877088.html >そのほかの Common Lisp システムで進めるかたは，ご自分で環境設定とか，コードの修正などをお願いいたします． こう書いてあるのですが、case-sensitiveにするために (setf (readtable-case *readtable*) :preserve) と書くのはわかったのですが、ほかにどういう設定をしてpaipのソースファイルをどこに置けばいいのですか 752 名前：デフォルトの名無しさん mailto:sage [2012/01/12(木) 20:43:49.62 ] >>750 comp.lang.lispでも話題になったから検索してみて。 John "Practical" McCarthy でたどれると思う。 しかしそのページILCのIがInternetになってるな。 近くの人教えてあげて。 753 名前：デフォルトの名無しさん mailto:sage [2012/01/13(金) 16:04:07.76 ] どうもありがとうございます https://groups.google.com/group/comp.lang.lisp/browse_thread/thread/6c75cae46f065843/f06272a6e41dfdfa?hl=ja&lnk=gst&q=John+%22Practical%22+McCarthy#f06272a6e41dfdfa Anton van Straatenさんの発言をまとめると… マッカーシーはチャーチのラムダ計算の考えをlispに部分的に取り入れた、 万が一ラムダ計算をlispのデザイン全体に持ち込んでいたら 実用的なプログラミング言語というものを誤って推し進めたかも、 純粋な型無しのラムダ計算にひどく捕らわれていたかもしれない で、実際のところは無名関数を設けるラムダの表現の意味を拝借したのだ、と lispを開発していたときマッカーシーは チャーチの本のコピーを持ってはいたが最初から最後まで読んだわけでは無かった 飛ばし読みをしていた そのおかげで上のようなデメリットが避けられた lispを作った本人がlispの限界とその理由をかいつまんで解説したと 理解したのですが、これでいいでしょうか 754 名前：デフォルトの名無しさん mailto:sage [2012/01/13(金) 16:41:45.59 ] Yコンビネータで再帰定義、再帰実行とか、 理論的整合性の泥沼にはまらずに済み、 実践的な言語設計をすることが出来たってことでしょ。 もともと数式評価するFORTRANライブラリ書いていたわけだから、 下手すりゃSucc(Succ(Zero))とか別の方向行っちゃうもんね。

---

---

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

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