Re: [bep] learning lisp: symbol & binding

[Reiko TAKAHASHI <HFC03614@nifty.ne.jp> (高橋玲子)]

　高橋です。

Reply TAKAHASHI Naoto <ntakahas@...>'s message:

} > } もしxとyが同じ意味だとしたら、xを評価した結果も10にならなくてはいけま
} > } せん。
} 
} > 　これは、２行目で、(set x 10)とした瞬間に、そうならなければならない、と
} > いうことですよね？
} 
} ちょっとおっしゃる意味がわかりません。もっとも前提である「もしxとyが同
} じ意味だとしたら」という部分が偽なので、数学的にはどんな結論を出しても
} いいことになりますけど。あ、この発言の方がもっとわからないか。(笑)
} 数理論理学の嫌いな人は無視して下さい。

　ええと……、実は数学苦手なのですが（なのに、すみません……）、

(setq x 'y) → y
(set x 10) → 10
x → y
y → 10

なので、２行目で(set x 10)とするまでは、xの値は10とは言えない……と思った
んです。
でも、前提が間違っているのはわかったし、不毛なので、これはＯＫです。

} 使わないで済むうちは考える必要ないでしょう。ただし、t と nil の二つは
} 評価されると自分自身を返すということは知っておく必要があります。

　tはずっとtのまま、nilはずっとnilのまま、みたいな意味でしょうか？
t と 't と "t" と ?t は違う意味を持っていますか？
tとnilは、変数（関数？）ですか？


**-***-***-***-***-***-***-***-***-***-***-***-**
           Reiko TAKAHASHI  (高橋玲子)
         E-mail:  HFC03614@...
         ICQ UIN: 85924121  (Twinkle)
**-***-***-***-***-***-***-***-***-***-***-***-**