言語仕様で最初から用意されている型のこと。