- 1 名前：デフォルトの名無しさん mailto:sage [2009/04/24(金) 19:12:39 ]
- ※ ここはCommon Lisp、SchemeをはじめとするLisp族全般のスレです ※
■過去スレ
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)
- 802 名前：デフォルトの名無しさん [2009/07/13(月) 11:09:33 ]
- >>758
すまん、まじめに反応してみるが、
それは命題論理->一階述語論理の流れでは歴史的事実だが、
そこでの対象指向自体は、関数プログラミングとOOプログラミング
を篩にかけるものではない。FOLレベルのオブジェクトであれば、
関数プログラミングだろうがなんだろうがまあ存在する。
また、重ねて恐縮なのだが、対象間の関係を記述するのが数学の
すべてという意味なら、それは正しくない。
- 803 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 15:42:48 ]
- 何も理解してないバカと説明する気のないバカ
- 804 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 16:29:33 ]
- 数値計算に比べて数式処理は世の中の主流になれないみたいな感じなのかな？
map f (map g xs) == map (f . g) xsとか、数式処理みたいなものだと思うんだけど。
- 805 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 17:05:23 ]
- う〜ん、難しくてよくわからないな。
x = x + 1 みたいな変なのがプログラミングの世界ではまかり通ってる
のだけど、こんなの普通の高校や大学初年で習う数学じゃ扱えないはず。
高度な数学なら扱えるのかな？もっと詳しくお聞きしてみたいです。
- 806 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 17:19:31 ]
- 数式処理が主流になれない理由は、解析的に解けない問題がたくさんあるから、だね。
- 807 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 17:38:25 ]
- >>805
en.wikipedia.org/wiki/Fixpoint_theorem
- 808 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 18:44:18 ]
- set-car!とset-cdr!を使って
(define a (list 1 2))
このaを'()にすることは可能ですか？
- 809 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 18:54:26 ]
- gosh> (define a (list 1 2))
a
gosh> (set-car! a 'quote)
#<undef>
gosh> (set-cdr! a '(()))
#<undef>
gosh> a
'()
- 810 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 19:11:28 ]
- 手品みたいですね
()にも出来るのでしょうか？
- 811 名前：デフォルトの名無しさん [2009/07/13(月) 19:22:14 ]
- >>804
それは、より正しくは、Numeric ComputationとSymbolic Computationとの
比較のことだと思うが、そうであるとして、
それと、関数プログラミングとそれ以外(おそらく命令型?)の比較は同型ではない。
NCとSCは、806の言うとおり、そもそも活用できる問題領域に大きな差がある。
>>805
x = x + 1 は算数の意味論で言えば明らかに偽な文だが、数学の世界であってもこれが
有意義になる意味論を定義することはできる。
なので一般性をもってその観点でそれを否定することはできない。
命令型プログラミング言語において、この式または文が、x + 1 が環境への参照であり、
x = は環境への束縛の操作であるという意味論であることを想起させにくいという点で
いえば同意。
- 812 名前：デフォルトの名無しさん [2009/07/13(月) 20:43:07 ]
- >>810
set-car!,set-cdr!は対象がpairであることまでは破壊しないので、
pairとしての表現を持たない空リストにするのは無理じゃないかな。
- 813 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 20:53:23 ]
- gosh> (let ((src (list 'a 'a)))(set-car! src 'quote) (set-cdr! src '(()))(eval src (interaction-environment)))
()
;; unko-
- 814 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 21:42:37 ]
- >>805
> x = x + 1
C/C++ では lvalue と rvalue を区別してフォーマルな意味論を与えられている。
後付けの感は拭えないが、ちゃんと扱える理屈は存在する。
厳密な意味においては数学的とは言えない面はあるけど、
プログラミングに必要な要素ってのを考えると充分な妥協だと思う。
- 815 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 22:25:27 ]
- >>805
Hoare Logicだな
実行文の前でのxの値をX,実行文の後ではYとすると
このプログラムが正常に動作すると仮定すれば
{x=X} x:=x+1 {x=Y}というHoare Tripleが構成できて、代入の規則から
x=X ≡ (x+1=Y) <=> x=X ≡ (x=Y-1) ← X = Y - 1 ≡ Y = X + 1
ってな具合にxに1を加えるっていう動作をする事が証明できたりする
代入を感覚で理解できなくて、
a=10,b=20; a=b; a=?,b=?;っていう問題を解けない人でも、この技法を使えば
計算で解くことができる、素晴しい！！
勿論、こういう単純な例だけでなく分岐やループも扱えるんだけど
「ループで配列内要素の総和を求める」っていうような問題でも
A4レポート用紙2枚に収まるか怪しいような長い証明を
書く羽目になるから、そうバシバシ使っていけるものでもないな
これと比べるとdependently typeとcurry-howard対応の何と実用的なことか…
- 816 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 22:39:18 ]
- >>805
代入と等式を混乱していないか
- 817 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 23:02:30 ]
- tinyurl.com/mwees3
なんで１６年前のメールがgoogleグループにあるんだ？
- 818 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 23:09:09 ]
- ログが残っているから
- 819 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 23:34:06 ]
- tinyurl.com/m92nbe
5月には圏論をやっとる。
- 820 名前：デフォルトの名無しさん mailto:sage [2009/07/13(月) 23:42:43 ]
- 直リン張らないほうがいいな。すまん。
- 821 名前：805 mailto:sage [2009/07/14(火) 07:36:23 ]
- >>815
知りたかったのはそういうことです。
関数プログラミングは高校で習った帰納的定義、数学的帰納法など
普通の数学の延長にあるように思えました。
一方、命令型の破壊的代入を主体とするものには理屈はあるのだろうか？
と思っていました。実用的なものが関数型だけで書けるとは思ってないのですが。
- 822 名前：デフォルトの名無しさん mailto:sage [2009/07/14(火) 07:58:33 ]
- Static single assignment的に、
X_1 = X_0 + 1
と考えると面白い。
あるlambda式をlambda droppingすると、それは、
対応するSSA文をoptimal変換したことと同じ。
- 823 名前：デフォルトの名無しさん mailto:sage [2009/07/14(火) 09:11:10 ]
- >>821
それならホーア論理じゃなくてチューリング機械じゃないの？
- 824 名前：デフォルトの名無しさん mailto:sage [2009/07/14(火) 11:49:11 ]
- ・表示的意味論（ピラミッドの頂点＝神）
数学の延長。
・公理的意味論
ホーア論理。長い証明を書く羽目に。
・操作的意味論（食われるだけの存在＝ミジンコ）
抽象機械。
- 825 名前：デフォルトの名無しさん mailto:sage [2009/07/14(火) 16:03:26 ]
- >>824
言いたいことはわからなくもないが、3つとも数学だろ。
- 826 名前：デフォルトの名無しさん mailto:sage [2009/07/14(火) 16:25:00 ]
- >>821
意味論というより、命令型プログラミングの根拠となる計算モデルを
知りたいということではないのか？
だとすれば、RAMモデルでは破壊的代入が定義されている。
- 827 名前：デフォルトの名無しさん mailto:sage [2009/07/14(火) 22:34:41 ]
- >>824
Aczelの項書換えシステム。文脈原理。
- 828 名前：デフォルトの名無しさん mailto:sage [2009/07/14(火) 23:08:19 ]
- >>805が知りたいこととは違うかもしれないが
プログラミング言語論に関しては
構文論(syntax)と意味論(semantics)という大きな分類がある
>>824の分類は意味論(semantics)の中での分類
構文論はx=x+1の数学的な意味は考えずに
これら言語の構造自体について扱う
式の「意味」という意味では
代入に=ではなく:=や<-を代入に割り当てている言語もあるわけで
構文と意味は独立なわけ
そもそも数学は代入のような副作用ってあまり扱ってないように思う
俺が知っている中で副作用を扱っているのは
線形論理ぐらいかなぁ
A:「100円持っている」
B:「80円以上持っていればパンが買える」
C:「50円以上持っていればチョコレートが買える」
A→Bは真
A→Cは真
よって「100円持っているならばパンとチョコレートが買える」
- 829 名前：デフォルトの名無しさん mailto:sage [2009/07/14(火) 23:31:26 ]
- 線形論理ってアスペルガー症候群みたいな感じだね。
- 830 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 00:14:28 ]
- 逆では？
線形論理では、上の例でA→B∧Cが成り立たない。
- 831 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 04:13:43 ]
- >>828
805です。自分でも何を知りたいのか混乱していました。
表示的意味論です。
「プログラム意味論」横内寛文著（赤本）は持っているのですが
よく理解できていません。R^5RSに収録されているのは表示的意味論
とのことで理解したいとは思うのですが。
ところでR^6RSでは表示的意味論が放棄されて操作的意味論になった
そうですが何故なのかと思っています。
- 832 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 05:12:42 ]
- Operational Semanticsは意味論を勉強してなくても簡単に理解できるからな。
- 833 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 05:18:25 ]
- > 「プログラム意味論」横内寛文
その本読んでみたいんだけど売ってないんだよね。
- 834 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 12:17:28 ]
- >>831
＞ところでR^6RSでは表示的意味論が放棄されて操作的意味論になった
＞そうですが何故なのかと思っています。
表示的意味論が分かり難い上に実装にも証明にもあまり役に立たないから。
しかもR5RSのは矛盾だかあいまいさが証明されてたはず。
- 835 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 17:43:24 ]
- >>805
意味論を理解することが目的なら、もう少し具体的に今どこがわからないのかを
示せばここで解説される可能性はある。
意味論がさっぱりわからん、ということでしかないとすると、本読め、以外にない。
意味論を理解することが目的じゃなくて、何かをするために意味論を理解したい
なら、目的を示した方がいいと思う。それについて助言可能かもしれない。
- 836 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 18:08:29 ]
- >>828
いや、変数、変項、というのは形式的な数学では日常茶飯事だから、
代入というのは数学でもよくある概念じゃないか? それは人間の
頭の中で実施されることが多いが、何かを証明するときに紙に
書いたりもする。
よくある概念であるがゆえ、それ自体が明示的な対象となるのは数学基礎論
にはなるが。
あと、一見代入だからといって副作用を伴うとは限らない。
述語論理のユニフィケーションとかもあるし。
- 837 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 18:17:42 ]
- 代入？いいえ項書換えです
- 838 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 18:25:32 ]
- >>835
805です。数学がわからないと数学を必要とするコンピューターの理論も
理解できないのではないかと思いしばらくの間、数学の勉強に行っていました。
目的はプログラムと数学との関連の理解です。
本を読みつつ、ご助言を仰ぐこともあるかもしれません。よろしくお願いいたします。
- 839 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 18:49:37 ]
- 真面目に勉強するなら２ｃｈにレスしてないで本読めでぶ
- 840 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 19:03:00 ]
- >>839
ああ、ここは2chだってことを忘れてた。でも玉石混交だから。
- 841 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 19:18:18 ]
- >>838
それなら、まずは計算可能性理論を勉強してみると良いな。
- 842 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 20:27:45 ]
- >>838
上にでてきたfjとか。2chだとせっかくの話が消えてしまう。
ただ、迷惑にならないようにしたほうがいいだろうけど。
- 843 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 21:04:29 ]
- >>802
>また、重ねて恐縮なのだが、対象間の関係を記述するのが数学の
>すべてという意味なら、それは正しくない。
難しい話になるとは思うのですが、現時点では”数学”とは何を指している
言葉だといえるのですか。
マックレーンはアイディアを抽出化して形式化したものが数学だ、形式機能主義だ
と言ってるんですけど、それって、つまり数学的対象とはあくまで形式という事なんですか。
確かに、理解していないバカではある。書いてて確かに思う。
けど、表立っては出ないがこういう話が問題になる分野領域は存在する気がするんだよね。
- 844 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 21:16:33 ]
- もう十分以上の情報が出ているぞ
耳学問としょうもないプライドのせいで
無知だとかバカだとか思われたくないからいつまでも演説を続けるんだろうが
いいかげん黙れ
- 845 名前：デフォルトの名無しさん mailto:sage [2009/07/15(水) 21:19:29 ]
- 805=815で釣りでもやってるのかと思ったが
- 846 名前：802 mailto:sage [2009/07/15(水) 22:41:53 ]
- >>844
おお、すまなかった。誰を指しているかがイマイチわからんが、
この流れをつくった私がいけないのだろう。
>>843
というわけで、すまんが退散しようと思う。844の言うとおり、
結構いろいろな情報が出ているので、参考にして欲しい。
お邪魔しました。
- 847 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 01:17:17 ]
- >>844
混在してわけがわからないことになってるけど、いくつか独立した話しが
並行して進んでいるんだよ。
それに、そんなぶっきらぼうに言っちゃうとみんなびっくりしてしまうよ。
- 848 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 01:43:59 ]
- たまに情報学板のことも思い出してあげてください。
- 849 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 01:48:23 ]
- 確かに最近の話題は情報学板の方が向いてるな。
あそこ過疎りすぎだけど、見てる奴はそれなりにいるっぽい。
- 850 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 03:37:46 ]
- >>838
数学とか理論計算機科学の話題だったらプログラム板はやめておいたほうがいいよ。
でたらめな情報が多すぎてろくなことがないから。
- 851 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 04:02:29 ]
- >>850
情報学板に移動するよ。ありがとう。
- 852 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 08:45:47 ]
- ERR5RS（だっけ？）って幾らかでも流行ってるんですか？
- 853 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 13:51:52 ]
- 顧みるにR5RS自体流行ってるかな？
お察しください
- 854 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 16:05:08 ]
- LOL邦訳本ってamazonじゃ普通に買えないんだろうか。
ページはあるんだけど、なぜかプレミア価格の出品しかない。(´・ω・`)
- 855 名前：デフォルトの名無しさん mailto:sage [2009/07/16(木) 22:57:07 ]
- まさかすぐに絶版にしたりしないよね？
- 856 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 00:11:40 ]
- SICPの悪文と格闘している間にLOL翻訳が出てしまったんだな。
On Lispも積読になってるが、LOLも積読しとく事にしよう。
以上チラ裏でした（・∀・）
- 857 名前：デフォルトの名無しさん [2009/07/17(金) 01:43:00 ]
- >>854
Let Over Lambda 日本語版 サポートページ
hop.timedia.co.jp/show/book/Let%20Over%20Lambda
>なお、現状Amazon.co.jpではマーケットプレイス以外で購入できなくなっています。
>他の書店、オンライン書店では普通に購入いただけます。
COMMON LISP JP > Archives > 2009/07/15
practical-scheme.net/chaton/common-lisp-jp/a/2009/07/15
>出版元にも聞いてみたんだけど、
>アマゾン内部の問題らしくて理由はわからん、とのことだった
>版元品切れなわけじゃないんだけど
LET OVER LAMBDA Edition1.0 (Amazon)
www.amazon.co.jp/dp/4434133632/
>この本は現在お取り扱いできません。
LET OVER LAMBDA Edition1.0 (ジュンク堂書店)
www.junkudo.co.jp/detail2.jsp?ID=0110264349
>池袋本店 33冊 在庫有り
- 858 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 01:43:50 ]
- >>855
弱小出版会社だから、東販/日販の初回取り扱いが少なかったんだと思う。
注文すれば、出版社に発注されるでしょう。在庫はしているだろうから。
- 859 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 05:31:14 ]
- ふぁびょったってしゃーない。
- 860 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 05:33:54 ]
- と書いたけど、LOLが売れるとはおもえない。グレアムのような知名度もなけりゃ
LOLそのものがそれほど定評だったレビューもなかった。
なにより、極度にマニアックだから。
細く長く生き残ればよいという本だと思う。
- 861 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 05:55:53 ]
- On Lisp はついてけないけどLOLは単にLisp最強伝説本として楽しめた
- 862 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 07:36:45 ]
- COMIC LOL
- 863 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 13:09:17 ]
- LOLは前提知識それほど必要ないの？
- 864 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 13:28:47 ]
- いまから買いに行こうと思ってたのに・・・・・
- 865 名前：デフォルトの名無しさん mailto:sage [2009/07/17(金) 14:49:16 ]
- >>863
コードが短くて解説がうまいから分かった気分になれる
- 866 名前：863 mailto:sage [2009/07/17(金) 16:44:02 ]
- >>865
じゃあ丘リスパーの漏れにぴったりでつね（自嘲
- 867 名前：デフォルトの名無しさん mailto:sage [2009/07/18(土) 02:23:20 ]
- >>852
ERR5RSは、実際に対応してるのはLarcenyくらい。
提唱者のWilliam D Clingerが開発してるから当然だけど。
Ypsilonは対応予定。Gaucheもそのうち対応する予定。予定は未定。
他は知らない。
ちなみに、ERR5RSで書いてる人はいる。主にLarceny-usersとかに。
というわけで、will先生の活躍に御期待下さい。
- 868 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 07:43:54 ]
- 連休中、みなさんはLOLを読みふけるのでしょうか＾＾
- 869 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 09:23:21 ]
- とりあえず著者はVimmerってとこまで読んだ。
- 870 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 09:38:45 ]
- とりあえずForth最高！ってところまで読んだ。
- 871 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 11:43:17 ]
- postscript万歳！ってところまで書いた
- 872 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 12:36:02 ]
- LOL、オビの煽りに苦笑い、スルーｗ
- 873 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 13:46:39 ]
- lolって略はネトゲ的にどうなんだろう
- 874 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 13:55:47 ]
- LOLは元々ネトゲ用語じゃないよ
- 875 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 18:40:27 ]
- MUDからUsenetに輸入された可能性もあるので一概にそうとも言えない
- 876 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 21:09:04 ]
- emacs論だけ立ち読みすれば十分な本だな
- 877 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 22:35:35 ]
- >>854
今見ると「一時的に在庫切れですが、商品が入荷次第配送します。 」だそうですよ
- 878 名前：デフォルトの名無しさん mailto:sage [2009/07/19(日) 22:48:12 ]
- タイトルがかっこいい
class over defとは違うんですみたいな
- 879 名前：デフォルトの名無しさん mailto:sage [2009/07/20(月) 00:51:52 ]
- lol=laugh out loudly だからwwwwwwwww だよ。
- 880 名前：デフォルトの名無しさん mailto:sage [2009/07/20(月) 21:28:37 ]
- Lispは関数型言語じゃない。まで読んだ。
- 881 名前：デフォルトの名無しさん [2009/07/20(月) 21:59:02 ]
- すみません、私はschme大好き人間なんですが、
ｃｏｍｍｏｎ lispの defunが嫌いです。「でふん」っていう語感が。
やっぱしｓｃｈｅｍｅ最強でしょ。
- 882 名前：デフォルトの名無しさん mailto:sage [2009/07/20(月) 22:02:31 ]
- 致命的なまでに英語が苦手なようだなw
- 883 名前：デフォルトの名無しさん mailto:sage [2009/07/20(月) 22:05:35 ]
- でふん
デフィネ
- 884 名前：デフォルトの名無しさん mailto:sage [2009/07/20(月) 23:05:35 ]
- つか気に入らないなら自分で好きな名前にすればいいじゃない
これだから最近scheme始めたガキは困る
- 885 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 00:39:46 ]
- (defmacro define (fun_arg body)
`(defun ,(car fun_arg) ,(cdr fun_arg) ,body))
- 886 名前：デフォルトの名無しさん [2009/07/21(火) 00:58:24 ]
- すみません、私はschme大好き人間なんですが、
ｃｏｍｍｏｎ lispの funcallが嫌いです。「ふんこーる」っていう語感が。
やっぱしｓｃｈｅｍｅ最強でしょ。
- 887 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 01:08:10 ]
- labels使え
- 888 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 01:19:29 ]
- let over set!
- 889 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 03:07:15 ]
- letrec over μ
- 890 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 03:17:25 ]
- ｓｃｈｅｍｅ大好きな私ですがたった一つ好きになれないのがランバダです。
語感が嫌ですね。
- 891 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 03:40:41 ]
- コードギアスでさぁ、
ルルーシュが C.C. の名前を呼ぶ場面があるでしょ。
call/cc を見るたびに連想するんだ
- 892 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 04:01:29 ]
- でっかいアニメ好きです
- 893 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 04:39:34 ]
- 俺はCCガールズっていう人達見ると思い出すな。
- 894 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 04:49:01 ]
- それじゃあ、思い出さないんですね。見ることないもんね。
- 895 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 05:01:59 ]
- その代わりにCCレモンをよく見るからね。
- 896 名前：デフォルトの名無しさん [2009/07/21(火) 08:54:45 ]
- lispのコードを出してくれるyacc,lexって有りますか？
- 897 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 09:19:46 ]
- CCっていったらサクラだろJK
- 898 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 09:25:46 ]
- 俺もNHKでやってるという免罪符で見てた＞CCさくら
なんか色使いが綺麗だったし
話自体はよくわからなかった
- 899 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 09:57:57 ]
- それを言うならリリカルなんて
- 900 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 10:46:49 ]
- リリカル・トカレフ・キルゼムオール
- 901 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 11:03:05 ]
- りこさんのエロ画像キボンヌ
- 902 名前：デフォルトの名無しさん mailto:sage [2009/07/21(火) 13:09:07 ]
- おまいはこっちに行けｗ
pc12.2ch.net/test/read.cgi/tech/1183396621/
|
 |
