2017-08-19 『量子プログラミングの基礎』 p.30 対象系上の量子測定から構成された測定器系と対象系のテンソル積上のユニタリ作用素 hackmd.ioテンソル積の内積，部分空間でそれぞれ内積とってそれを全部掛けるんですね． ブラ・ケットで書くととなるのですごい自然． ブラ・ケットすごい．
