Lisp Scheme Part27
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
2009/07/27(月) 10:15:31■過去スレ
Part26: ttp://pc12.2ch.net/test/read.cgi/tech/1240567959/
Part25: ttp://pc12.2ch.net/test/read.cgi/tech/1231856193/
Part24: ttp://pc11.2ch.net/test/read.cgi/tech/1224939205/
Part23: ttp://pc11.2ch.net/test/read.cgi/tech/1215875388/
Part22: ttp://pc11.2ch.net/test/read.cgi/tech/1211381920/
Part21: ttp://pc11.2ch.net/test/read.cgi/tech/1207300697/
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://pc11.2ch.net/test/read.cgi/tech/1151025773/
Part14: ttp://pc11.2ch.net/test/read.cgi/tech/1132275726/
Part13: ttp://pc11.2ch.net/test/read.cgi/tech/1115901841/
Part12: ttp://pc11.2ch.net/test/read.cgi/tech/1100229366/
Part11: ttp://pc11.2ch.net/test/read.cgi/tech/1091456033/
Part10: ttp://pc11.2ch.net/test/read.cgi/tech/1075630259/
Part09: ttp://pc11.2ch.net/test/read.cgi/tech/1069594582/
Part08: ttp://pc5.2ch.net/tech/kako/1058/10582/1058263391.html
Part07: ttp://pc5.2ch.net/tech/kako/1042/10421/1042167213.html
Part06: ttp://pc3.2ch.net/tech/kako/1031/10315/1031560687.html
Part05: ttp://pc3.2ch.net/tech/kako/1023/10230/1023091882.html
Part04: ttp://pc.2ch.net/tech/kako/1016/10162/1016211619.html
Part03: ttp://pc.2ch.net/tech/kako/1008/10082/1008220265.html
Part02: ttp://pc.2ch.net/tech/kako/1002/10025/1002584344.html
Part01: ttp://piza2.2ch.net/tech/kako/987/987169286.html
■テンプレート置き場
ttp://wiki.fdiary.net/lisp/ (id:guest pass:cl)
0655デフォルトの名無しさん
2009/08/31(月) 08:15:320656デフォルトの名無しさん
2009/08/31(月) 10:13:13勉強会とかのLispコミュニティでは普通に知られてるだろ。
ネットだけ（と、一瞬だけ深夜番組に出た）の千葉kittyとはさすがにw
0657デフォルトの名無しさん
2009/08/31(月) 18:25:42どうやって使うん？
ttp://www.daansystems.com/lispide/
0658デフォルトの名無しさん
2009/09/01(火) 01:51:53その後は評価したいS式をSend To Lisp
0659デフォルトの名無しさん
2009/09/01(火) 08:47:08そのようにやってみたけど処理系は起動しなかったよ。
0660デフォルトの名無しさん
2009/09/01(火) 13:32:270661デフォルトの名無しさん
2009/09/01(火) 14:08:480662デフォルトの名無しさん
2009/09/01(火) 15:48:44ttp://shibuya.lisp-users.org/
0663デフォルトの名無しさん
2009/09/01(火) 16:32:030664デフォルトの名無しさん
2009/09/01(火) 23:01:12動くのと動かないのがあるみたいだね
clispとSBCLとypsilonは動いたよ
0665デフォルトの名無しさん
2009/09/01(火) 23:50:23抜きにすれば使える。リフレクション使えるから簡潔に書けるし、
とりあえず実現可能性だけ示す場合に有効だと自分は思う。
でも、論文読みきれていないので、それ以外はわからない。
一応、こういうのもある。
http://www.jst.go.jp/kisoken/presto/complete/jyohou/seika/2ki/01.pdf
『開かれた』という表現が気になるわ。
http://ci.nii.ac.jp/Detail/detail.do?LOCALID=ART0004921995&lang=ja
”この方法は実質的に、従来、許されていなかった、構造データのliftを許すようにした
と見ることもできる”
自分自身をも、世界の中に存在する一つのオブジェクトとみるというところが
個人的にはおもしろい。
0666デフォルトの名無しさん
2009/09/01(火) 23:54:08自己反映言語のリフレクションもモナド化できる気がするんだけどね。
0667デフォルトの名無しさん
2009/09/02(水) 08:35:43モナド則をリフレクションのどの部分に適用するの?
0668デフォルトの名無しさん
2009/09/02(水) 18:20:58モテカワスリムでスクリプト体質の愛され実装♪
アタシがつるんでる友達は極端な最適化をやってるstalin、
SussmanにナイショでJVM上で動いてるclojure。
訳あってR6RSグループの一員になってるPLT。
友達がいてもやっぱり仕様決定はタイクツ。
今日もPLTとちょっとしたことで口喧嘩になった。
処理系同士だとこんなこともあるからストレスが溜まるよね☆
そんな時アタシは一人で繁華街を歩くことにしている。
がんばった自分へのご褒美ってやつ？自分らしさの演出とも言うかな！
｢あームカツク｣・・。そんなことをつぶやきながら
しつこい仕様要求を軽くあしらう。
｢カノジョー、デバッガ実装してくれない？｣
どいつもこいつも同じようなセリフしか言わない。
中村正三郎は＼(^O^)／だけどなんか薄っぺらくてキライだ。
もっと等身大のアタシを見て欲しい。
｢すいません・・。｣・・・またか、とセレブなアタシは思った。
シカトするつもりだったけど、チラっとキャッチの男の顔を見た。
「・・！！」
・・・チガウ・・・今までの男とはなにかが決定的に違う。
スピリチュアルな感覚がアタシのカラダを駆け巡った・・。
「・・（カッコイイ・・！！・・これって運命・・？）」
男は黒田だった。連れていかれてdisられた。
「キャーやめて！」gauche.nightをきめた。
「マクロッ！黒板ッ！」アタシは死んだ。スキーム（笑）
0669デフォルトの名無しさん
2009/09/02(水) 18:22:340670デフォルトの名無しさん
2009/09/02(水) 18:45:490671デフォルトの名無しさん
2009/09/02(水) 19:11:02近日レビュー開始予定らしいから 11〜12月くらいかね。
ttp://twitter.com/hisashim/status/3624762770
0672デフォルトの名無しさん
2009/09/02(水) 19:45:290673デフォルトの名無しさん
2009/09/02(水) 20:56:170674デフォルトの名無しさん
2009/09/02(水) 21:04:36> '()
0675デフォルトの名無しさん
2009/09/03(木) 03:19:00考えを外に出していかないとうまく考えられないのよ。
そういう風に思ってます、で。
0676デフォルトの名無しさん
2009/09/03(木) 13:22:10ばかー！
僕の珈琲返せ、あと鼻に抜けて痛いの！
0677デフォルトの名無しさん
2009/09/03(木) 20:33:030678デフォルトの名無しさん
2009/09/03(木) 20:35:490679デフォルトの名無しさん
2009/09/03(木) 20:46:310680デフォルトの名無しさん
2009/09/03(木) 20:52:220681デフォルトの名無しさん
2009/09/03(木) 21:20:06ttp://www.ccs.neu.edu/home/will/Larceny/benchmarks2009.html
ikarus 速いな
0682ひげぽん ◆Ngzcp/NZpA
2009/09/03(木) 21:47:44コンパイラ組は、やはり速いですね。
Mosh はとりあえず遅いので次回リリースはさらなる高速化を目指します。
JIT 実装できるかな。
0683デフォルトの名無しさん
2009/09/03(木) 22:05:27大きな流れがみえるでしょ。
0684デフォルトの名無しさん
2009/09/03(木) 23:48:51次のリリースをじっと待ちますっ！
0685デフォルトの名無しさん
2009/09/04(金) 01:25:00interpreter 部門では Mosh ってどうなの？
Ypsilon のベンチマーク結果を見ると Gauche と Ypsilon はかなり速いみたいだ
プロジェクトのページに比較が載ってると面白いかも
0686デフォルトの名無しさん
2009/09/04(金) 01:40:06娘ができたら「にる」って名付けるんだ。
0687デフォルトの名無しさん
2009/09/04(金) 02:11:350688デフォルトの名無しさん
2009/09/04(金) 02:56:040689デフォルトの名無しさん
2009/09/04(金) 04:03:51みんながCLに全力そそいでれば今ごろは・・
0690デフォルトの名無しさん
2009/09/04(金) 04:50:060691デフォルトの名無しさん
2009/09/04(金) 05:52:080692デフォルトの名無しさん
2009/09/04(金) 07:41:29スピードの前に非互換なのをどうにかしたり、
ライブラリを整備したりして欲しい>scheme
0693デフォルトの名無しさん
2009/09/04(金) 08:27:54ユーザー数はそう少なくないのに個々の労力が分散されて本当に勿体ないと思うわ
CPANを持つPerlみたいに集中できれば、それなりにライブラリも整備されてくるのにね
0694デフォルトの名無しさん
2009/09/04(金) 08:37:200695デフォルトの名無しさん
2009/09/04(金) 08:59:49MSとかGoogleあたりに作ってほしい
0696デフォルトの名無しさん
2009/09/04(金) 09:06:19まあ、なんのために競争してるのかという意味ではおかしいかもしれない
0697デフォルトの名無しさん
2009/09/04(金) 09:36:18中国人の知り合いに「てい」(T)さんってのがいる
0698デフォルトの名無しさん
2009/09/04(金) 11:23:310699デフォルトの名無しさん
2009/09/04(金) 11:51:52問題点は処理系が複数あることではなく、
それらに充分な互換性がないこと。
Perl だって Ruby だって処理系は複数ある。
Scheme でそれがうまくいってなかったのは、
規格内だけで出来ることが少なかったからだ。
そもそも R5RS ではモジュール化についての決まってなかった。
R6RS が出来たことでそれなりにポータブルなコードが書けるようになったし、
ライブラリを作ることもできるようになったわけだ。
とは言え、 R6RS 自体に批判的な見解も多いので、
これでリソースが集約されるってわけにもいかんだろうけどな。
0700デフォルトの名無しさん
2009/09/04(金) 12:01:08今はR6RS/ERR5RSと規格まで分離してしまったな。
相容れない部分、何とかうまく決着して欲しいものだ。
0701デフォルトの名無しさん
2009/09/04(金) 12:22:10(cond
((eq kodomo female) nil)
(else t)))
0702デフォルトの名無しさん
2009/09/04(金) 12:28:47協力しないで自分で好き勝手に作っちゃうんだろうな
0703デフォルトの名無しさん
2009/09/04(金) 12:48:01何も学んでないな、schemerたちは
0704デフォルトの名無しさん
2009/09/04(金) 13:11:44sequenceをCLOS的に書き直して欲しいが…
0705デフォルトの名無しさん
2009/09/04(金) 14:54:53それは「枯れた」と言うんだ
あまりコネくり回すとperlのように悲惨な状態に陥るぞ
0706デフォルトの名無しさん
2009/09/04(金) 16:46:34古い話で恐縮。べき集合が面白かったんで素朴集合論の勉強してる。
2^ℵ0 とか無限集合をSchemeで疑似的に扱えないものだろうか？
コンピューターの有限集合に慣れきっているんで選択公理のどこが
問題なのかピンとこない。コンピューターが実無限を扱えると面白い。
0707デフォルトの名無しさん
2009/09/04(金) 16:51:16色々と直観に反する定理が出て来たりする。例えば、バナッハ・タルスキーのパラドックス：
一つの球体を粉々に砕いて、同じ大きさの球体二つを作ることができる
とか
0708デフォルトの名無しさん
2009/09/04(金) 17:06:25証明系、数式処理系が扱ってる。> 無限
0709デフォルトの名無しさん
2009/09/04(金) 17:15:32素のSchemeじゃ無理かな？
ℵ0+ℵ0=ℵ0 とか数式処理のようにパターンマッチングで
与えることはできると思うんだ。
どうしてそれでいいんだ？ってのをSchemeで実験数学みたいにやってみたいんだ。
0710デフォルトの名無しさん
2009/09/04(金) 17:23:04論理式として閉じてる構造作れば良いんでない？
ただ実態を作る場合、それが本当に妥当かどうかは分からんが。
ハスケルで無かったっけ？そんなの。
数学ってあくまで実際のモデルを"参考"にして抽象的構造作ってるから、
その"参考"から創られる構造から演繹されたものを実際の世界(コンピュータだったらデータ)に還元しても、それが直感的に妥当だとは限らんよ？
>>707の例みたいになるし。混ぜるな危険。
まあ応用数学みたいにおいしいとこだけ啄むのも良いけど。
0711デフォルトの名無しさん
2009/09/04(金) 17:25:340712デフォルトの名無しさん
2009/09/04(金) 17:25:38ありがとう。考えてみるよ。
0713デフォルトの名無しさん
2009/09/04(金) 17:59:13「選択公理と数学」遊星社
0714デフォルトの名無しさん
2009/09/04(金) 18:01:29それ志賀先生の３０講シリーズでも紹介さてた。
有名な本なんですね。
0715デフォルトの名無しさん
2009/09/04(金) 19:14:27委員会の作る言語はクソという歴史的必然性があってだな、
ANSI C、Ada、Commo (ピー、ピー、ピー)
0716デフォルトの名無しさん
2009/09/04(金) 19:53:31それが人為的か否かに関わらず
0717デフォルトの名無しさん
2009/09/04(金) 21:25:550718デフォルトの名無しさん
2009/09/04(金) 21:44:040719デフォルトの名無しさん
2009/09/04(金) 21:51:110720デフォルトの名無しさん
2009/09/04(金) 21:53:57影響を受けてるんでしょ。
0721デフォルトの名無しさん
2009/09/04(金) 22:05:09個人が勝手に作った物だし。今はそうでない言語でも、そのうち ANSI ** なんてこと
になってしまうかもしれない。別に ANSI ではなく ISO でも。
委員会言語って、良い所もあるけど「専門家」に引っ掻き回されてグチャグチャにな
ったソフトウェアに近い印象がある（個人的には）。
0722デフォルトの名無しさん
2009/09/04(金) 22:09:01(def fact
(fn [n]
(cond
(= n 1) 1
:else (* n (fact (- n 1))))))
0723デフォルトの名無しさん
2009/09/04(金) 23:18:59arcに似てるね。
defとかfnとか。
0724デフォルトの名無しさん
2009/09/04(金) 23:30:58(def Y
(fn [f]
((fn [proc]
(f (fn [arg] ((proc proc) arg))))
(fn [proc]
(f (fn [arg] ((proc proc) arg)))))))
(def fact0
(fn [f]
(fn [n]
(if (zero? n)
1
(* n (f (- n 1)))))))
((Y fact0) 5)
0725デフォルトの名無しさん
2009/09/04(金) 23:39:11どことなく似てる。まだ詳しいことはわからないけど。
0726デフォルトの名無しさん
2009/09/04(金) 23:54:000727デフォルトの名無しさん
2009/09/05(土) 00:04:23OracleはJavaをどう扱うんだろう。
Scala共々気になる。
0728デフォルトの名無しさん
2009/09/05(土) 00:06:39そうかも。ただ、clj-processingとかでProce55ingを利用してグラフィックを扱えるんで重宝しそうな予感。
こういう実用的な話はテキストに載ってないけど。
0729デフォルトの名無しさん
2009/09/05(土) 01:44:35関係ないんだけれど、関数型言語に（有用な）測度入れたりできる？
なんというか、測れるもの入れたほうがわかりやすくなりそうだし、
似ているけど、同値関係がないから違うものと判別されているものを
まとめられたら話が簡単にできると思うんだわ。
0730デフォルトの名無しさん
2009/09/05(土) 02:26:22S式上に定義された関数を積分とかするのか
0731デフォルトの名無しさん
2009/09/05(土) 02:43:28離散な集合でも可測空間は作れるし、別にルベーグ積分に限っているわけじゃない。
たとえば、言語における語と関数を要素とする集合をΩとして、
文法規則な情報も入ったσ集合体が作れたら作って、相互にプログラム変換可能を
意味するような測度が入れられたらいいなぁと。
でも、現実的じゃないか。
0732デフォルトの名無しさん
2009/09/05(土) 03:26:02そんなもんが言語の何に対応するんだ。
仮にできたとしてゲーデル関数のへんてこな例が一つできるだけじゃないの。
0733デフォルトの名無しさん
2009/09/05(土) 04:14:44ttp://www.scheme-reports.org/
興味があるならどうぞ。c.l.sとか色々な場所に流れてたから、
知ってるかもしれないけど。
0734デフォルトの名無しさん
2009/09/05(土) 04:29:28「Common Lisp に Macro 書くだけで良くね？」
0735デフォルトの名無しさん
2009/09/05(土) 05:25:400736デフォルトの名無しさん
2009/09/05(土) 05:51:07何気にゲーデル関数が可測関数だと読めるようなことを。
それが狙い。へんてこな例じゃないものがあるかもしれないじゃないの。
0737デフォルトの名無しさん
2009/09/05(土) 05:53:170738デフォルトの名無しさん
2009/09/05(土) 06:12:44実は、何気にこのスレが最高レベルだよ。
0739デフォルトの名無しさん
2009/09/05(土) 06:19:20一括りにしてしまった為、濃い人間の密度は高くなった。
0740デフォルトの名無しさん
2009/09/05(土) 09:43:01言語仕様のコロコロ変わるオレオレ言語よりマシだと思うがのぅ。。
0741デフォルトの名無しさん
2009/09/05(土) 10:14:590742デフォルトの名無しさん
2009/09/05(土) 12:25:280743デフォルトの名無しさん
2009/09/05(土) 12:28:530744デフォルトの名無しさん
2009/09/05(土) 12:42:350745デフォルトの名無しさん
2009/09/05(土) 13:43:57Rubyの事ですか？
0746デフォルトの名無しさん
2009/09/05(土) 14:31:28どう考えてもD
0747デフォルトの名無しさん
2009/09/05(土) 14:59:280748デフォルトの名無しさん
2009/09/05(土) 15:26:410749デフォルトの名無しさん
2009/09/05(土) 16:39:430750デフォルトの名無しさん
2009/09/05(土) 18:49:40「Lispのマクロシステムを持たない言語」と明言してるから
Lisp以外の全ての言語だよ
0751デフォルトの名無しさん
2009/09/05(土) 18:53:23よく知らないけど
0752デフォルトの名無しさん
2009/09/05(土) 19:01:200753デフォルトの名無しさん
2009/09/05(土) 19:11:470754デフォルトの名無しさん
2009/09/05(土) 19:18:52つまりライブラリーを漁ってみるべきかと。
0755デフォルトの名無しさん
2009/09/05(土) 21:28:30あれは皮肉なんじゃない？ダグホイト性格悪い。
Haskellもケチョンケチョンだし、HOPの人たちもよく翻訳したよな。心広い。
■ このスレッドは過去ログ倉庫に格納されています