点集合を基本としない量子論的代数構造による非可換幾何学から、シンプレクティック多様体、ポワソン代数の両変形量子化まで詳説。