Lisp Scheme Part17

1 名前：デフォルトの名無しさん [2007/04/20(金) 19:41:39 ] Lisp全般のスレです 過去スレ Part16: pc11.2ch.net/test/read.cgi/tech/1172404795/ Part15: pc10.2ch.net/test/read.cgi/tech/1151025773/ Part14: pc8.2ch.net/test/read.cgi/tech/1132275726/ Part13: pc8.2ch.net/test/read.cgi/tech/1115901841/ Part12: pc8.2ch.net/test/read.cgi/tech/1100229366/ Part11: pc5.2ch.net/test/read.cgi/tech/1091456033/ Part10: pc5.2ch.net/test/read.cgi/tech/1075630259/ Part9: pc2.2ch.net/test/read.cgi/tech/1069594582/ http://が多すぎるらしいので分割 665 名前：デフォルトの名無しさん mailto:sage [2007/07/01(日) 19:03:06 ] ギリシャ人ならへっちゃらだな（本当か？） 666 名前：デフォルトの名無しさん [2007/07/01(日) 19:05:54 ] >>662 え、めっちゃ有名な話だと思ってたよ。 俺の持ってる本にも書いてあるし。 667 名前：デフォルトの名無しさん mailto:sage [2007/07/01(日) 19:07:11 ] >>664 ＆#955; 668 名前：デフォルトの名無しさん mailto:sage [2007/07/01(日) 19:26:31 ] >>662 顔殴られたクマーみたい 669 名前：デフォルトの名無しさん mailto:sage [2007/07/01(日) 19:36:59 ] lambdaと打ったらリガチャ扱いでλ出す、くらいのことは出来るだろう 670 名前：デフォルトの名無しさん mailto:sage [2007/07/01(日) 20:03:58 ] >>666 俺、貧乏で本買えないから… 671 名前：デフォルトの名無しさん mailto:sage [2007/07/01(日) 20:11:24 ] >>670 図書館行くとよいぞ。 672 名前：デフォルトの名無しさん mailto:sage [2007/07/01(日) 20:24:56 ] 関係ないけど、教養のためにとλ計算のプログラムを今書いてますが、 bashとかperlみたいに$を使う事にしてます。 （厳密には$と.で識別子を挟む。） 束縛子に$を使って、参照は識別子そのままなので、用法は逆ですけどね。 ($m. $n. $s. $x. m s (n s x)) ($s. $x. s x) ($s. $x. s (s x)) こんな感じで 673 名前：デフォルトの名無しさん mailto:sage [2007/07/01(日) 21:00:01 ] >>671 あんた賢いな 674 名前：デフォルトの名無しさん mailto:sage [2007/07/01(日) 21:12:31 ] SKKのほうがいいよ 675 名前：デフォルトの名無しさん [2007/07/02(月) 07:03:32 ] >>660 >>661 とても親切な返答有り難うございます。分かりました! 676 名前：デフォルトの名無しさん mailto:sage [2007/07/02(月) 07:43:04 ] >>662 俺LISPで採用けってい 677 名前：デフォルトの名無しさん mailto:sage [2007/07/02(月) 11:00:15 ] 俺Lisp作ってる人ってどれくらいいるのかな 678 名前：デフォルトの名無しさん mailto:sage [2007/07/02(月) 13:27:38 ] 少なくとも今ある処理系の数だけあるよな 679 名前：デフォルトの名無しさん mailto:sage [2007/07/02(月) 14:14:52 ] 俺LISPといえるほどの独自仕様の処理系ってそんなにあったっけ 680 名前：デフォルトの名無しさん mailto:sage [2007/07/02(月) 16:35:54 ] だから俺Lispなんじゃね？ 681 名前：デフォルトの名無しさん mailto:sage [2007/07/02(月) 18:14:29 ] lispじゃないけど>>662っぽい記法使ってる言語には bugyo.tk/~zick/cosak/ こんな変なのがあったぞ。 682 名前：デフォルトの名無しさん mailto:sage [2007/07/02(月) 20:18:53 ] ホントだ、良く見つけたね。 個人的には ^ は return に見えてしまう... 683 名前：デフォルトの名無しさん mailto:sage [2007/07/02(月) 20:55:16 ] このSmalltalkerが 684 名前：デフォルトの名無しさん mailto:sage [2007/07/02(月) 21:32:48 ] Metaluaはluaでlispのマクロっぽい事ができるらしい。 いっちょ前にquasi-quoteっぽい仕組みまである(様に見える)。 685 名前：デフォルトの名無しさん mailto:sage [2007/07/02(月) 22:31:01 ] 本質的にはλは開き括弧、.は閉じ括弧だから []でも<>でも{}でも`'でも良いのに 接頭字＋空白セパレタが主流なのはなぜなんでしょうね？ 686 名前：デフォルトの名無しさん mailto:sage [2007/07/02(月) 22:34:22 ] 書き込んでから気づきましたが 歴史的には接頭字の方が先なんでしたね 687 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 14:32:31 ] 質問です。 アトムとリストと、 car,cdr,cons,atom,eq これでどうやって足し算が出来たりするのでしょうか? 688 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 14:41:01 ] >>687 チャーチ数 でググれ 689 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 14:42:49 ] リストの長さで0以上の自然数を表すのがよく使われる手だね。 そうすると足し算はappendになる。他も自分で考えてみな。 690 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 14:54:04 ] あ〜、足し算はappendなのか。 だいたいイメージつかめた。 有り難うございます。 691 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 16:35:22 ] ん、やっぱりなんか引っかかります。 リストの長さで0以上の自然数を表すなら、 ()=0 (())=1 ((()))=2 は納得できるのですが、 これでどうやってリストを表すのでしょうか? アトムしか表現できないんじゃないんですか? 692 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 18:49:44 ] () (()) (() ()) (() () ()) 693 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 19:35:56 ] >これでどうやってリストを表すのでしょうか? 言ってる意味が分かんないなぁ 694 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 20:56:23 ] 砂場の石ころでもできる だから何ってやつ 695 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 21:13:45 ] 何段階かの問答を経て、ようやく「自分が何を訊ねたいのか」を掴む質問者っているけど、 この人もそれと同様、これから自分の疑問の内容がわかるんだと思う。 696 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 21:36:29 ] ttp://rikunabi-next.yahoo.co.jp/tech/docs/ct_s03600.jsp?p=001094 リスパーなら演技くらいはできないとな。 697 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 21:42:57 ] マジな話、Lisperと話しするときは教養がいるよ。 プログラム言語の話とかだけじゃ相手にしてもらえない。 科学好き、数学好きとかが多すぎる。 698 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 22:03:06 ] 個人的には数学は敬して遠ざけておきたい そんな僕でも立派なLisperになれるでしょうか 699 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 22:09:47 ] ところで河合さんの頭は本物なの？ 700 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 22:13:10 ] >>698 GNU GPLを暗唱できたらあるいみ立派なLisperになれるかも！ 701 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 22:14:31 ] 687さんは純Lispが五つの基本関数「だけ」で 本当にチューリング完全かどうか 疑問に思ってるんじゃないですか？ ちょうど１ヶ月前の自分と同じで マッカーシーの論文斜め読みしたら 関数は五つで良いけど →表記も含まれるから condかifスペシャルフォームも必要みたいに感じました 本当に五つの基本関数（と真偽値）「だけ」でチューリング完全なら 自分にも教えてください 702 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 22:15:18 ] Lisp と GPL は全く関係無いな 703 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 22:25:57 ] おいおい、Gの付く話はやめてくれよ 704 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 22:35:59 ] >>701 再帰かループがないとどうにもならんよ 705 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 22:41:00 ] 大前提としてλ式が必要 706 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 22:41:26 ] >>704 と、いうことはcondまたはifと 関数抽象のためのlambdaが必要ということになりますか 要素としては５関数２特別式でチューリング完全 707 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 22:44:52 ] そうか、lambdaだけでチューリング完全ですね でもそうすると５関数の立場が… 708 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 22:48:57 ] Lispエバリュエータを書くのに最低限必要な関数だと思うが 709 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 22:51:55 ] λ算法とLispのlambdaは等価ではないので 710 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 23:01:19 ] そういやifはλで表現できたんだな…。 711 名前：デフォルトの名無しさん mailto:sage [2007/07/03(火) 23:07:44 ] >>709 どこらへんですか？ 正格評価だからですか？ 712 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 00:57:12 ] >>708 チューリング完全である≠"apply" or "eval"が記述できる lambdaがあればチューリング完全だけど "Lisp"の機能を満たすために５つの基本関数が必要である ってことですか？ 713 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 10:57:50 ] リストの n 番目「以外」の要素のリストを得るにはどうすれば良いでしょうか 例えば (0 1 2 3 4 5 6 7 8 9) から 3 を除いた (0 1 2 4 5 6 7 8 9) が欲しいです それとも、もしかすると Gauche の添付ライブラリの中にありますか…？ 一応自分でも書いてみたのですが かなり長〜くなってしまって。 714 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 11:10:12 ] (define (exclude-nth n l) (cond ((null? l) l) ((= n 0) (cdr l)) (t (cons (car l) (exclude-nth (1- n) (cdr l)))))) 715 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 11:25:50 ] 好みの分かれるところか？ (define (exclude-nth n l) (append (take l n) (drop l ( + n 1)))) (exclude-nth 3 '(0 1 2 3 4 5 6 7 8 9)) =>(0 1 2 4 5 6 7 8 9) 716 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 12:12:11 ] >>715 takeは必ずリストつくるからappend!でセルを節約したくなる貧乏性な俺 717 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 12:56:33 ] レス感謝です。 >714 勉強になります。 >715 takeとdrop、こんなのあったんですね。 こんなに短くなるとは… 718 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 12:58:18 ] まさかこのオペレータを使う日が来るとは……。 (use gauche.sequence) (define (exclude-nth n l) (reverse! (fold-with-index (lambda (i e pr) (if (= n i) pr (cons e pr))) '() l))) ;(exclude-nth 3 '(0 1 2 3 4 5 6 7 8 9)) ;; =>(0 1 2 4 5 6 7 8 9) 719 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 13:03:35 ] >718 このオペレータ…とはどれのことなのか Schemeに不慣れな私には判りませんが …えーと… ちょっと勉強がてら気合い入れて読んでみます… 720 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 13:05:28 ] fold-right-with-index(仮称)があればreverseしなくていいのにね。 721 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 13:29:05 ] fold-rightはある意味reverse以上のコスト 722 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 13:41:43 ] 【問題】 >>713を不完全リスト(最後のcdr部がアトム)に対しても 適用できる様にexclude-nthを拡張せよ ex.) (exclude-nth 2 '(0 1 2 . 3)) => (0 1 . 3) (exclude-nth 3 '(0 1 2 . 3)) =>(0 1 2) (exclude-nth 4 '(0 1 2 . 3)) =>(0 1 2 . 3) ;; 同値 723 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 13:59:22 ] やってみました。あってる? (define (exclude-nth n ls) (cond ((null? ls) '()) ((= n 0) (if (not (pair? ls)) '() (cdr ls))) ((not (pair? ls)) ls) (else (cons (car ls) (exclude-nth (- n 1) (cdr ls)))))) 724 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 14:21:52 ] つきあってくれてありがとう。 多分合ってる。 用意してた答えはｺﾚ (define (exclude-nth n l) (let loop ((n n)(r '()) (l l)) (if (pair? l) (loop (- n 1) (if (= n 0) r (cons (car l) r)) (cdr l)) (if (null? l) (reverse r) (if (= n 0) (reverse r) (apply list* (reverse (cons l r)))))))) 我ながらapply list* reverseは美しくないよな・・ 725 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 14:28:04 ] それって破壊もlist*も使わずに末尾再帰で書ける？ 726 名前：723 mailto:sage [2007/07/04(水) 14:30:40 ] named-letでもやってみたんだけど、いまいち自信がないというか…。 (define (exclude-nth n ls) (let loop ((ls ls) (n n) (acc '())) (cond ((null? ls) (reverse! acc)) ((= n 0) (if (not (pair? ls)) (reverse! acc) (loop (cdr ls) (- n 1) acc))) ((not (pair? ls)) (append (reverse! acc) ls)) (else (loop (cdr ls) (- n 1) (cons (car ls) acc)))))) 727 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 14:33:34 ] list*相当を作っちまえば・・ (define (apply-list* l) (define (loop l) (if (and (pair? l) (pair? (cdr l))) (cons (car l) (loop (cdr l))) (car l))) (loop l)) って、これは末尾再帰じゃないしな >>726 appendすりゃよかったのね 728 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 23:17:00 ] >>709 λとlambdaが等価じゃないところ１つ見つけた λxyz.E = λx.λy.λz.E (lambda (x y z) E) ≠ (lambda (x) (lambda (y) (lambda (z) E))) 他にどんな違いがあるかなぁ 729 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 23:50:27 ] チューリング完全を実現するのに必要な 最低限のデータ構造って何だろう。 リストが使えないとダメなのかな? 730 名前：デフォルトの名無しさん mailto:sage [2007/07/04(水) 23:59:27 ] 例えば配列があればリストは作れる。チューリング機械の定義により何かの記憶機構は必要。 731 名前：デフォルトの名無しさん mailto:sage [2007/07/05(木) 00:13:14 ] SKだけでチューリング完全なのに 純Lisp５関数でチューリング完全じゃない（？）のは不思議 eqやatomがTやNILを返すんじゃなくて carとcdrを返すなら何とかなりそうな気もする 関数を返す関数くらいは必要な気がする 732 名前：デフォルトの名無しさん mailto:sage [2007/07/05(木) 00:16:37 ] >>713 CL loop マクロは見易いと思う。 (defun exclude-nth (n l) (loop for x in l and idx from 0 if (/= idx n) collect x)) だけど >>722 の不完全リストだと書けないかな。 733 名前：デフォルトの名無しさん mailto:sage [2007/07/05(木) 00:57:12 ] >>729 整数が1つあれば十分だろ。コンピュータのメモリなんて見方によっては ものすごく桁数が多い1つの2進数なんだし。 734 名前：デフォルトの名無しさん mailto:sage [2007/07/05(木) 00:59:48 ] でもそれって結局、無限長の配列を仮定してることにならないかだぜ？ 735 名前：デフォルトの名無しさん mailto:sage [2007/07/05(木) 01:04:59 ] 無限長の配列でも一つの整数でも同じことだろ。 どちらか片方あればもう片方が表現できる。 736 名前：デフォルトの名無しさん mailto:sage [2007/07/05(木) 01:19:56 ] lispマシンってメモリアドレスって有ったんだろうか? 737 名前：デフォルトの名無しさん mailto:sage [2007/07/05(木) 01:41:20 ] >>736 Symbolics社のはタグ付きアーキだったってC-FAQに書いてあった だからポインターが数値でない 738 名前：デフォルトの名無しさん mailto:sage [2007/07/05(木) 02:14:33 ] >>736 なくてどうする 739 名前：デフォルトの名無しさん mailto:sage [2007/07/07(土) 20:47:56 ] read-eval-printループのevalの部分を別のコンピュータで実行させるフレームワークみたいなのってない？ 作ろうと思えば簡単に出来そうなんだが、誰かやってる人いないかなと思って。 740 名前：デフォルトの名無しさん mailto:sage [2007/07/07(土) 21:21:17 ] slime 741 名前：デフォルトの名無しさん mailto:sage [2007/07/07(土) 21:22:26 ] >>739 readしないでevalって言うのはできるん？ sexpを通信先のマシンでreplしてるところに食わせるのならslimeがそうじゃない 742 名前：739 mailto:sage [2007/07/07(土) 21:43:31 ] >>740-741 サンクス gauche使ってるんだが、gauche.listenerってのを見付けた。 ちょいいじってみる。 743 名前：デフォルトの名無しさん mailto:sage [2007/07/10(火) 01:23:48 ] Gaucheでselect使ってサーバー書こうと思ってたんだけど質問。 selectで書き込み可能でも、ソケットバッファを越えたサイズを書き込もうとするとブロックするよね。 unixのwrite(2)ならバッファを全部フラッシュしないからブロックしないように書けるんだけど。 生のwrite(2)をそのままGaucheから呼べないの？ 744 名前：デフォルトの名無しさん mailto:sage [2007/07/10(火) 05:40:22 ] 今はできないんじゃなかったっけな。0.9までになんとかするって話だったと思う。 745 名前：デフォルトの名無しさん mailto:sage [2007/07/10(火) 06:42:30 ] >743 サーバ書くモチベをちょっとだけGaucheのソース修正に割くんだ。 そしてうまく動いたらパッチ提供してあげたら喜ばれるんじゃないかな。 ライブラリ作成者側のオナニーテストよりは実アプリによる動作テスト の方が意味あるだろうし。 746 名前：743 mailto:sage [2007/07/10(火) 09:30:08 ] >>744-743 了解！ 綺麗なソースコードだからちょっといじってみる。 cvs headに比べると、debian etchのやつはだいぶ古いんだな。 今のところはスレッド使う方向に逃げるってのが正解みたいだね。 747 名前：743 mailto:sage [2007/07/10(火) 10:02:44 ] アンカミスった>>744-745だった 748 名前：デフォルトの名無しさん mailto:sage [2007/07/11(水) 04:17:03 ] 卒論を書かなきゃ行けないんだけれど、何も思いつかない。 思いついたとしても既に実現されている。 計算機の歴史なんてまだ100年もたっていないのに、 その先行研究の凄さにはひれ伏すしか無い、という 今日この頃の学部生なんですが、何か面白いお題ないですかね? スペックとしてはCommon Lispが出来るくらいなんですが。 「こんな事やったら面白いんじゃないの?」 とか 「コレが無いから困っている。でもつくるのメンドイ」 っていうの有りませんか? 749 名前：デフォルトの名無しさん mailto:sage [2007/07/11(水) 09:34:11 ] >>748 S式で書ける TeX とかどうよ 750 名前：デフォルトの名無しさん mailto:sage [2007/07/11(水) 15:56:13 ] >>749 え、無いの? HTMLをS式で表現するものがあるのに? 751 名前：749 mailto:sage [2007/07/11(水) 20:20:40 ] いや、あるかもしれんけど。 そんなに真剣に調べたことはないんで。 752 名前：デフォルトの名無しさん mailto:sage [2007/07/11(水) 22:16:07 ] ちょっと違うかもしれないけどmaxima があるからなー>tex >>748 オープンソース版のAllegroCache(OODB)作るってのはどうよ？ 753 名前：デフォルトの名無しさん mailto:sage [2007/07/11(水) 22:51:01 ] 皆さんお返事有り難うございます。 そりゃ、自分もいろいろ考えたんですよ。 例えば色でプログラミングできたら面白いかな〜とかね。 正方形を9分割した物が有って、 白→nil 黒→t が決定。 んで色がいくつ塗っているかでチャーチ数を表す。 緑→(()) 緑と黄色→(()(())) だから、緑と赤は等しい訳です。直感的ではないですけれど。1=1なんで。 んで、最低限の関数の色を決める。 car→オレンジ とかね。 でも、これじゃ関数定義できないし、逆にややこしいし、 大きい数の計算は出来ないし、データ構造の定義は出来ないし、 何の役に立つのか説明しにくい。 んで、考えれば考えるほどどうすれば良いのか分からなくなって、 皆さん卒論でどんなことしていたか質問してみたんです。 すいませんでした。 754 名前：デフォルトの名無しさん mailto:sage [2007/07/12(木) 00:16:04 ] 卒論とかだと学問ぽく見せる必要があるから、Lisp 族は人気ないだろ。 強い型付けのメリットとして、とても研究な感じになるという利点があるから 卒論は Haskell とか ML 系でなんかごにょごにょするほうがお手軽じゃないかな。 755 名前：デフォルトの名無しさん mailto:sage [2007/07/12(木) 00:47:38 ] > オープンソース版のAllegroCache(OODB)作るってのはどうよ？ それならむしろAllegroStore 756 名前：デフォルトの名無しさん mailto:sage [2007/07/12(木) 01:46:49 ] >>754 >強い型付けのメリットとして、とても研究な感じになるという利点があるから >卒論は Haskell とか ML 系でなんかごにょごにょするほうがお手軽じゃないかな。 カリー・ハワード対応の事ですか? それで、チューリングマシンの停止問題なんかを証明しても、 そりゃ学問的だけれども新規性がないんじゃ。 誰も証明してない命題が有るなら別なんでしょうけど。 >>755 AllegroStore?AllegroCache? なんぞコレ? clispしか使った事無いのでいまいち何に使うのかさっぱり? 総称関数を保存して共有できるようになる代物? そもそもデータベースを触った事が無いからデーターベースからして よくわかんないです。 757 名前：デフォルトの名無しさん mailto:sage [2007/07/12(木) 01:47:44 ] 一言で言うなら　卒論書く前にもっと勉強しろよ 758 名前：デフォルトの名無しさん mailto:sage [2007/07/12(木) 02:20:34 ] まあ4年の7月なんてこんなもんだ。 759 名前：デフォルトの名無しさん mailto:sage [2007/07/12(木) 02:23:19 ] >753 世の中にはGPGPUというものがあってだな 760 名前：デフォルトの名無しさん mailto:sage [2007/07/12(木) 03:05:22 ] >>759 自分、面白そうな事思いついたです。 CUDA使って、Lispのインタプリタ作るのってどうでしょうかね? そして、clispとどっちが計算が速いか検討するの。 これだと、今のところ誰もやってないだろうし、 リスト処理ってGPU向きの処理だと思いませんか? 761 名前：デフォルトの名無しさん [2007/07/12(木) 04:03:19 ] わざとっぽいのは相手にしない方が 762 名前：754 mailto:sage [2007/07/12(木) 07:51:20 ] >>756 どっからカリーハワードだの停止性判定だの証明だのがでてきたんだよ。 そーゆうんじゃなくて、なんか小物の研究でも Haskell や ML ならそれっぽく見えるだろって事。 つうかテーマは研究室の先輩や教官とよく相談したほうがいい…。 たとえば超並列分散 Lisp をつくるぜ!!と決めたとして、周囲の支援が得られず完全自力じゃ評価もまともにできんし、学費がもったいない。 763 名前：デフォルトの名無しさん mailto:sage [2007/07/12(木) 10:50:20 ] じゃあ Lisp の型推論がどこまでできるかとか 764 名前：デフォルトの名無しさん mailto:sage [2007/07/12(木) 15:26:16 ] >>762 >そーゆうんじゃなくて、なんか小物の研究でも > Haskell や ML ならそれっぽく見えるだろって事。 >つうかテーマは研究室の先輩や教官とよく相談したほうがいい…。 >たとえば超並列分散 Lisp をつくるぜ!!と決めたとして、周囲の支援が >得られず完全自力じゃ評価もまともにできんし、学費がもったいない。 いや、お恥ずかしい話なんですが自分の大学は大学院が無いんで 先輩なんていないんです。 それに指導教官は「何か作れば良いよ〜」という態度なんで 自由な反面、アイデアが必要なんです。 自分の友達は「大学のSNSをxoopsで作る」でOKと言われてました。 自分は「さすがにそれじゃアレかなぁ」と思って。 自分はCUDAでLisp処理系は面白い案だなと思います。 誰でも思いつきそうだけれど、今のところ誰もやってないし、 自分の処理系欲しかったんで。 それじゃ、パソコン買うところから始めなきゃならないんですが(Macなんで) 頑張ってみますね。 C言語は1年くらい触ってないし、マルチスレッドプログラミングは初めてなんで 不安ですが。 出来たらUpするんで、コードレビューしてください。 タライ回し関数が速く動くといいなぁ。 765 名前：デフォルトの名無しさん mailto:sage [2007/07/12(木) 16:20:23 ] 逐次処理しなきゃだめな部分は早くならないんじゃないのかな。

---

---

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

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