プログラミング:データ型
データ型（data type）
Programming:data type
型理論
#Programming-term