- 1 名前：デフォルトの名無しさん mailto:sage [2011/10/09(日) 17:58:58.06 ]
- Common Lisp、SchemeをはじめとするLisp族全般のスレです
■前スレ
Lisp Scheme Part32
hibari.2ch.net/test/read.cgi/tech/1303299696/
■テンプレ
wiki.fdiary.net/lisp/
■関連スレ
【入門】Common Lisp その8【質問よろず】
hibari.2ch.net/test/read.cgi/tech/1309940115/
- 262 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/11/17(木) 12:58:19.16 ]
- >>261
))))))))))))))
- 263 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 13:10:13.37 ]
- とはいえ コンピュータ分野で日本人名ついたのは竹内関数くらいじゃないか
他になんかあったっけ？
- 264 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 13:34:55.87 ]
- カリー化じゃないけど、竹内化といえば、すべてをたらい・・・（略
- 265 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 13:39:06.52 ]
- 竹内関数が最大にして唯一の功績ってのがな
神様だって名乗るにはちょっと寂しい
- 266 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 13:48:57.29 ]
- まさか本人が神様と言ってるんじゃないだろ？言ってるとしたらかなり
傲慢だと思う。Lispの仏様という人もいたり、周りがヨイショしてるだけ
だろ？そんなに政治力があってLisp界のナベツネやスターリンなのか？
- 267 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 13:52:46.02 ]
- 少なくともゲルトミューラーとは名乗っている
- 268 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 13:57:33.47 ]
- いつから何がきっかけで神様って呼ばれるようになったの？
誰が最初に呼び出したの？
- 269 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 14:03:12.87 ]
- >>268
勝手に神様と持ち上げて、暫くしたら叩き落とそうとするのって、マスゴミがよく使う手だよね。
- 270 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 14:07:17.99 ]
- むしろ持ち上げる側でしょ、この人は
- 271 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 14:15:04.49 ]
- 他にもあるぞ。二村射影とか、黒田正規形（Kuroda normal form）とか。
- 272 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 15:03:07.30 ]
- lispのなかって、KCL作った人が有名なんちゃうん？
Practical Common Lispにもコメントを寄せてたけど。
- 273 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 15:18:01.74 ]
- 俺はCommon Lispは使わないんだけど
話題になっているの聞いたことない
- 274 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 15:30:28.26 ]
- ECLやGCLの祖先だからな。一番最初のANSI Common Lisp処理系だといっても
爺しかもう知らんのかも。
- 275 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 15:44:22.67 ]
- あの、たいていのものは俺達で実装しよう、としたがるGNUの連中が、
こんないいものがあるなら俺達で実装するのやめよう、といったぐらいなのにな、
KCLは（その結果KCLをベースにGCLが作られた）。
- 276 名前：デフォルトの名無しさん [2011/11/17(木) 15:51:11.61 ]
- KCLからGCLが造られてマルチバイト文字対応はおざなりになったのか。
- 277 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 17:11:00.42 ]
- UtiLispにしても、武蔵野通研にしても、ICOTにしても、
ソース出せないのが痛かったねえ。
出せたらもっと関連研究者増えてただろうに。
KL1のUNIX版が出てきたのも驚くほど遅かった。
UtiLispのC言語版公開も2000年代に入ってからじゃなかったっけ?
ソースコード公開されている処理系が他にあるんだから、そっちに流れちゃうよね。
- 278 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 17:31:24.96 ]
- >>275
> あの、たいていのものは俺達で実装しよう、としたがるGNUの連中が、
そうなのか? guileだって最初はSCMをベースにしたし、ライセンスに問題が
なければ使えるものは使うんじゃないかと思ってた。
俺実装するのはフリーなライセンスでベースに出来そうなものが無い場合じゃないかと。
- 279 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 17:47:29.10 ]
- GNU Emacsにしても、Gosmacsをベースにしていたしな。
その後、Gosmacsは商用になったから、コードを全部排除したけども。
- 280 名前：デフォルトの名無しさん mailto:sage [2011/11/17(木) 18:34:55.25 ]
- 来年のlispの京都での会議って京都の先生の退官記念かなんかじゃないの？
- 281 名前：デフォルトの名無しさん mailto:sage [2011/11/18(金) 06:56:28.65 ]
- 既出だったらスマン
Gambit REPL なんていう iPhone アプリあるんだね。
- 282 名前：デフォルトの名無しさん mailto:sage [2011/11/18(金) 17:36:21.01 ]
- Androidでも動いてるね。
Gambitベースなのは、Gambit for AndroidとScheme REPL Module。
他には、JSchemeベースのScheme-droid、Scheme REPL、
Clojure REPL、Kawaなどなど。
- 283 名前：デフォルトの名無しさん mailto:sage [2011/11/18(金) 17:57:59.62 ]
- palmの時代からそういうのはあったが
指でコードなんて書けるのかな
- 284 名前：デフォルトの名無しさん mailto:sage [2011/11/18(金) 18:03:20.72 ]
- 遊び以外では、きっとBluetoothキーボードとか使って打ってるんだろう。
- 285 名前：デフォルトの名無しさん [2011/11/18(金) 21:40:53.05 ]
- え？
- 286 名前：デフォルトの名無しさん mailto:sage [2011/11/18(金) 22:03:42.62 ]
- え？
- 287 名前：デフォルトの名無しさん mailto:sage [2011/11/18(金) 23:03:27.26 ]
- 質問です。
((lambda (a) (a b)) c)
上のラムダ計算式の構文上の導出と
それに関連する抽象構文木を生成せよ。
という問題が分からないのですが、どなたかご回答いただけませんか？
- 288 名前：デフォルトの名無しさん mailto:sage [2011/11/18(金) 23:37:25.06 ]
- おれさまメモ。
lispの瘴気 - Togetter
togetter.com/li/215803
- 289 名前：デフォルトの名無しさん mailto:sage [2011/11/18(金) 23:48:26.27 ]
- >>287
宿題か？んなもん自分で調べろ
- 290 名前：デフォルトの名無しさん mailto:sage [2011/11/18(金) 23:55:41.73 ]
- >>289
竹内がblogに書きこんできたとか
くだらないことは嬉々として書きこむくせに
肝心のことは回答しないのな
何のための掲示板だよ
- 291 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 00:09:06.91 ]
- 竹内がblogに書きこんできたとか
くだらないことは嬉々として書きこむくせにとか
くだらないことは嬉々として書きこむくせに
- 292 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 00:10:07.71 ]
- これがたらい回し
- 293 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 00:35:59.72 ]
- 竹内関数で音楽を生成するというやつ、
サンプルと同様のものを自分でも作って作業のBGMにしてみたいが
どうやればいいんだろう
- 294 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 00:36:54.86 ]
- なぜここで聞く
- 295 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 00:53:46.51 ]
- ひどいマッチポンプを見た
- 296 名前：287 mailto:sage [2011/11/19(土) 06:12:48.81 ]
- どなたか本当に答えてもらえないでしょうか？
調べてもわからなかったので・・・
- 297 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 07:03:15.96 ]
- >>296
講義でやってない内容は課題として出ないんだから、
素直にテキストとかで復習するとか、友達にノート見せてもらえば？
どうしても分からないなら、質問しに行った方が良い。ポイントも稼げる。
今後も分からないことがある度にここに聞きに来る気？
今ちゃんとやらないと、本当に講義に付いていけなくなっちゃうよ？
- 298 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 07:13:42.93 ]
- テキストが糞訳だったりする場合だってあるだろ
- 299 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 09:15:34.57 ]
- >>298 まずは自分の脳みそがクソだと認識しろよ
- 300 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 09:24:45.64 ]
- 誤訳で原書じゃないと
練習問題解けない本があるとか
- 301 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 11:07:12.51 ]
- ちゃんとテキスト読めばわかるだろ。
そのレベルの問題なら。
- 302 名前：SCHEME餃子 ◆8X2XSCHEME mailto:sage [2011/11/19(土) 11:31:22.35 ]
- >>293
MML で出力しといて適当なソフトで MID ファイルに変換すればいいんじゃないかな。
- 303 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 14:39:49.09 ]
- >>288
GJ
京大の講義資料やってみてーなー。
- 304 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 14:45:50.92 ]
- 読んでいてちゃんと訳しているのか
心配になる日本語だよな
- 305 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 15:10:14.68 ]
- 日本語で読んでる奴が解けないのをみて
にやにやしてるんだよな
相変わらず性根が腐っていることで
- 306 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 16:39:13.19 ]
- 上のラムダ計算式の構文上の導出と
それに関連する抽象構文木を生成せよ。
回答例：問題の意味がわからない。
- 307 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 16:43:09.68 ]
- さて、lisp とscheme とどっちをおすすめされますでしょうか。
私は、よく使うのがc,javascript,VB という、よくある、プログラムが本業ではないが、私個人や仕事のチームの業務改善にプログラム作成もするもんです。
自分にとってなじみのない分野の考え方のさわりでもしってみたいのです。
本がそこそこ充実しているcommon lisp が良いでしょうか。
- 308 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 16:46:00.25 ]
- 今からやるならclojure一択でしょ
- 309 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 18:24:30.56 ]
- SICPは京大教授も認める糞訳か
読む奴が糞だから理解できないって言ってたアホは
どう言い訳するんだ？
- 310 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 18:31:59.07 ]
- これはことあるごとに引用されるだろうな
- 311 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 19:11:50.00 ]
- 糞訳読んだせいで留年とかwww
ちょー可哀そうなんだけどw
- 312 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 19:41:59.93 ]
- まあ、演習問題をとこうと思っても語彙が曖昧なものは
いくつかあったのは事実だと思う。<SICP
- 313 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 19:43:04.79 ]
- 語彙が曖昧じゃなくって
間違っているって言っているんだが
- 314 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 19:53:38.76 ]
- そうそう間違っているというのはかなり重大なことかと
- 315 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 19:58:33.00 ]
- こういう努力不足とは無関係の本質でないことで留年させるってどうなんだろう
今の時代に学部低学年でSICPやらせるのは
趣味の押しつけ以外の何物でもないと思うし
- 316 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:00:08.66 ]
- 京大入れて原書読めないとかマジありえんってのが前提なんじゃねぇの？
- 317 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:00:57.72 ]
- 東大名誉教授で原書読めない
和田さんはどうすんだよw
- 318 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:02:09.27 ]
- 極論を言ってるような感じもするけどな。京大の連中は知らんから
なんとも言えんけど、彼らの話が出てこないと。
- 319 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:03:24.63 ]
- その間違ってる問題ってどれなん？
- 320 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:04:25.17 ]
- 和田さんってMITで強弁をとってたんだろ？
英語の使えない状態でMITで授業をするってありえる？
- 321 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:05:15.33 ]
- やさしい英語は出来るんだろ
むずかしい文章が読めないだけで
- 322 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:05:47.05 ]
- SICPの英語は難しくないよ。
- 323 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:06:30.29 ]
- 和田っちはSchemeで自動翻訳システム作ったんだよ。
ロボチックだろ、訳が。
- 324 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:08:58.14 ]
- 和田さんが京大入ったら留年するの？
- 325 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:16:27.02 ]
- ja.wikipedia.org/wiki/%E5%92%8C%E7%94%B0%E8%8B%B1%E4%B8%80
いまwikiで和田さんを見ると、wikipediaの創設者が和田さんに見えて仕方がない。
あんな若い外人だったっけ？と。。。
- 326 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:27:06.20 ]
- 研究室の輪講で翻訳したやつとかなんじゃないの
- 327 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:29:42.38 ]
- K&Rの石田訳のときにそんな話があったな。
- 328 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:31:54.09 ]
- 文体からしてそれはないでしょ
- 329 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:44:44.38 ]
- SICPは多様なパラダイム教える為であって、必要なschemeの構文は
逐次前もって教えるってIPSJ会誌の教育コーナーで書いてたよ。
- 330 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:47:01.02 ]
- パラダイム教える為に
東大名誉教授が読めなかった文章を
読めないってだけで
留年させる必要はないわけで
- 331 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:52:18.45 ]
- ネタ混じりの可能性もあるからそんなにムキにならなくても
- 332 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 20:58:07.67 ]
- SICP日本語訳disるために
ネタ混じりで馬鹿にしたと
- 333 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 21:00:09.77 ]
- 留年とか何の話？
- 334 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 21:01:04.37 ]
- >>288
- 335 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 21:20:26.25 ]
- 実験、演習を一つ落としたくらいで留年しないってw
複数落とすと次の年履修がかぶって留年するはめになることあるが。
演習問題一つで単位落とすこともないし。
- 336 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 21:25:10.00 ]
- 一つじゃなくて
複数間違っているように
書いてあるけど
- 337 名前：デフォルトの名無しさん mailto:sage [2011/11/20(日) 16:32:26.16 ]
- >>335
実験単位が欠席２回で不可が出たりする（自分はそれで２留した、３年に行く必須の単位なんで）所もあるから実験とかレポートは結構厳しいものだとおもってた
病気療養でも斟酌してもらえなくて結構泣いたよ
- 338 名前：デフォルトの名無しさん mailto:sage [2011/11/20(日) 17:37:41.65 ]
- 京大ってスパルタ系の大学だったっけ？なんかあそこって変人が多い
という印象が強いが。
- 339 名前：デフォルトの名無しさん mailto:sage [2011/11/20(日) 18:20:05.17 ]
- SICPの誤訳問題の例？
ttp://d.hatena.ne.jp/yad-EL/20091007/p1
- 340 名前：デフォルトの名無しさん mailto:sage [2011/11/22(火) 16:47:22.83 ]
- 最近使ってなかったけどR6RSって評判どうですか？
- 341 名前：デフォルトの名無しさん mailto:sage [2011/11/22(火) 17:22:54.30 ]
- 広まる前に次が出そう
- 342 名前：デフォルトの名無しさん mailto:sage [2011/11/22(火) 19:21:54.22 ]
- RnRSみたいな版名はナンバリングが前面に出てるから楽だな
面倒ならR4RSとかR5RSとか対応にしとけばいい
もうR6RS以降は暇な人向け実装だな
CommonLISP程に時間が掛かってはいかんでしょ
- 343 名前：デフォルトの名無しさん [2011/11/24(木) 01:46:33.31 ]
- Gaucheについての質問です。
循環参照してるオブジェクト同士でメソッドを呼び合いたいのですが、
相互のメソッドを使うためにメソッドをuseしなければならず、useは循環して使えないので
うまくできません。
今のところ考えたのは、別モジュールに空のメソッド群を置いておいてそのモジュールだけを
useするという方法です。でも、これは冗長ですし気持ちわるいので、きっと他に良い方法が
あると思っています。
どなたか教えていただけないでしょうか？よろしくお願いします。
- 344 名前：デフォルトの名無しさん mailto:sage [2011/11/24(木) 03:20:19.11 ]
- >>343
一方をuseせずにautoloadにしておくって手がある。機能的に非対称で、
一方が他方に従属する感じの時は、従属する方をautoloadにすることが
おいらは多いかな。
でも機能的に対称な場合はautoloadで非対称なのが気持ち悪いんで、
別モジュールにdefine-genericをまとめて書いとくかなあ。そのモジュールを
インタフェース定義だと思えばそんなに悪くない。
- 345 名前：デフォルトの名無しさん mailto:sage [2011/11/24(木) 04:26:36.51 ]
- Cのプロトタイプ宣言とディレクティブはスマートだよな
autoloadって評価されるまで何が起こるのか判らないのと
名前の二元管理という点であまり推奨できない
- 346 名前：343 [2011/11/24(木) 05:42:29.28 ]
- >>344
回答ありがとうございます。こんな時間に回答がもらえるとは流石Scheme板なのか...。
う、やっぱり別ファイルに分けるのが良さそうですね。
というかそもそもオブジェクトシステムを理解してなくて
define-genericを知りませんでした...。define-methodは
これを自動でやってくれてるのですね。
- 347 名前：デフォルトの名無しさん [2011/11/25(金) 21:45:12.85 ]
-
- 348 名前：デフォルトの名無しさん mailto:sage [2011/11/26(土) 13:10:38.02 ]
- Luaが形なし言語で最速と聞いて
LispやSchemeからの変換機あるかなと思ったら
以外と誰も作ってない。Stalinと速度比較したかった。
- 349 名前：デフォルトの名無しさん mailto:sage [2011/11/26(土) 13:41:07.50 ]
- >>348 LuaJIT がだろ？
ついでに言っとくと Lisp 系言語は変数側に型がないだけで
変数に代入されるオブジェクトには結構厳しい型付がある
- 350 名前：デフォルトの名無しさん mailto:sage [2011/11/26(土) 14:11:05.70 ]
- Cから別の動的言語に吐き出すのが
あるからlisp->C->luajitは出来るが、
cluecc.sourceforge.net/
直接変換では無いので、C止めの1/10になりそう。
最近だと、llvm経由で言語間コンバートあるけど、やっぱり最適化は難しいのかな。
llvm-to-javascript
https://github.com/kripken/emscripten/wiki
- 351 名前：デフォルトの名無しさん mailto:sage [2011/11/26(土) 18:43:29.05 ]
- >>348
SBCLの圧勝です。
- 352 名前：デフォルトの名無しさん mailto:sage [2011/11/27(日) 00:00:34.74 ]
- attractivechaos.github.com/plb/
shootout.alioth.debian.org/u32/which-programming-languages-are-fastest.php
shootout.alioth.debian.org/u64/which-programming-languages-are-fastest.php
fixnumとunsafe使えばsbclの方が速いかな？
- 353 名前：デフォルトの名無しさん mailto:sage [2011/11/27(日) 00:03:50.29 ]
- Luaの場合は小細工なしで速いから
- 354 名前：デフォルトの名無しさん mailto:sage [2011/11/27(日) 00:57:49.97 ]
- Scheme subset -> Luaならantlrあたり使って簡単にできそうなのになあ
Schemeでambとかマクロ展開してからLuaに変換できたら高速だし最高なのに
- 355 名前：デフォルトの名無しさん mailto:sage [2011/11/27(日) 03:20:49.77 ]
- lisperが妄言はいてる間にlua最速！
いいうさぎとかめですね
- 356 名前：デフォルトの名無しさん mailto:sage [2011/11/27(日) 05:10:08.81 ]
- 小細工とか妄言とかえらい攻撃的な人が来てるね。
というより主張だけが必死で話を聞いてない
この２つの考察から
スルーするのが適当じゃなかろうか。
- 357 名前：デフォルトの名無しさん mailto:sage [2011/11/27(日) 05:32:36.83 ]
- 小細工と妄言は別の人なのだが
妄想が激しい人なのな
- 358 名前：デフォルトの名無しさん mailto:sage [2011/11/27(日) 05:35:02.00 ]
- Luaは速度を速くするための
特別な書き方しなくても速いんだが
- 359 名前：デフォルトの名無しさん mailto:sage [2011/11/27(日) 05:55:52.20 ]
- luaはschemeと似てるけどcall/ccみたいな厄介なのはないし
言語実装が1つだから無駄なリソースをあまり使わずに進化できたんじゃないかな
あんま知らんけど
- 360 名前：デフォルトの名無しさん mailto:sage [2011/11/27(日) 08:31:33.05 ]
- 機械語最速最強、とか言ってるのとたいして変わらんしw
- 361 名前：デフォルトの名無しさん mailto:sage [2011/11/27(日) 12:41:29.83 ]
- まあ、LuaとかJavaScriptが近年速度面で頑張ってるのは事実だし、
Lispも他に置いてかれないように頑張りましょう、ってことで。
RacketあたりはJIT採用してたはずだから、頑張って欲しいね。
- 362 名前：デフォルトの名無しさん mailto:sage [2011/11/27(日) 12:54:12.80 ]
- そういや、数理システムの人が CL の最適化は全然足りない、
って論文書いてたよね。 2009年だけど。
あのあとCLの最適化って少しは進んだのかな。
|
 |
