量子計算のための「テンソル積」入門

何の話かと言うと 量子計算の説明で必ず出てくるのが、 といったヘソマーク を用いた積(テンソル積)です。テンソル積の定義にはいくつかの方法(流派?)があり、個人的には、双対空間を用いた多重線型写像として定義するのがいちばんスッキリするのですが、数学的な厳密性にこだわらない方むけには、いまいち抽象的すぎ…