[Denim 001] 複素環