仕様書

定義

[1] あるデータ型の値の集合を、値空間 (value space) といいます。 データ型の値空間中の個々の値は、その字句空間中の一つ以上の表記で示されます。 >>3