A.中村さん ありがとうございました。
> > 入る初期値で、aの型は決まるということですね。

> いえ、「決まりません」が答えです。(のはず)

> #初期値で「決まる」のだとすれば、「a = 1」した瞬間に型エラーで落ちるは
> ずですよね?
> #でも落ちないのがRubyです。

ふむふむ。。。そうですね。

> Rubyは、

> 「変数には」型が無く、
> そのかわり(?)に、
> 変数に代入される「値(ぶっちゃけObject)には」型が有る、

> というスタイルになってるようです。

確かに、objectには、型ありますね。
ありがとうございました。