🚀 go-pugleaf

In article <mrcsp4p2a8x.fsf@sunstone.nak.math.keio.ac.jp>,
	riso@math.keio.ac.jp (Riso SUZUKI) writes:

> はじめまして、鈴木＠慶応と申します。
> アトムについて、質問があります。

> 'a は、一文字からなるアトムで、
> 'a1 は、二文字からなるアトムと見分けることはできるのでしょうか？

> よろしくお願い致します。

申し訳ないけど, 質問のいみが分かりません.

シンボルはアトムです.
同じシンボルなら等しく, 見分ける事が出来ませんが,
違うシンボルなら文字数が同じでも見分けることができます.

以下 Emacs Lisp の場合: 

他の Lisp でもだいたい同じ
Scheme しか持ってない人は 
(define setq define)
(define eq eq?)
してね.

;;; *scrach* で S 式の後で C-j するか,
;;; C-x C-e してみてください.

(eq 'a 'a)   -> t   ; 同じ物は等しい
(eq 'a1 'a1) -> t   ; 同じ物は等しい
(eq 'a1 'a2) -> nil ; 文字数が同じでも違うシンボルは等しくない
(eq 'a 'a1)  -> nil 
(eq 'a a)    -> error  ;  a という変数は値を持っていない
また
(setq u 'a)         ; 変数 u にシンボル a を代入
(setq v 'a1)        ; 変数 v にシンボル a1 を代入
(setq w 'a2)        ; 変数 w にシンボル a2 を代入
(setq x 'a1)        ; 変数 x にシンボル a1 を代入
とすると,
(eq u u)     -> t   ; 同じ物は等しい
(eq u v)     -> nil ; 違うシンボルは等しくない
(eq v w)     -> nil ; 文字数が同じでも違うシンボルは等しくない
(eq v x)     -> t   ; 変数 v と 変数 x の値はともに a1 という
                    ;シンボルなので等しい
(eq v 'a1)   -> t   ; 変数 v の値は a1 というシンボルと等しい

蛇足ですが,

文字列の場合は文字列として同じ物でも値として違うことがあります.
どうなるかは試してみてね.

(setq h "hello,world")
(eq h "hello,world")    
(setq i "hello,world")
(setq j h)
(eq h i)
(eq h j)
--
きむら