直和型
代数的データ型
https://chat.openai.com/share/d8f9caa9-fbee-4669-9727-34d65f6b30f3