形式運算

小注包括： 1）以個人視角承桥，分析了作者提出的新框架的動機，做一些討論友扰； 2）給出了一些關鍵公式的簡單證明或說明； 記號約定： 1）向量用小寫粗體字母表示庶柿；2）矩陣用大寫字母表...