第二十三章 2型复数化