データタイプ理論 (データタイプりろん) — data type theory | Kumi Dictionary