この資料をSMS送信: Diagonalizing matrices over AW*−algebras