fundamental types。言語仕様として最初から組み込まれている最も基本的な型のカテゴリの一種。