『量子プログラミングの基礎』 p.33 縮約密度作用素

hackmd.io

最後の問題，論法がガバガバで型すら合ってなさそうだし明日確認する．