generated at
2/13/2025, 12:06:01 AM
代数的データ型
ADT…Algebraic Data Types
直和型
、
直積型
の総称