型とは、プログラミング言語において、変数を格納するときに、
その用途、大きさによる区分のこと。