@techreport{oai:ipsj.ixsq.nii.ac.jp:00032031,
 author = {山下, 茂 and 岩間, 一雄 and Shigeru, Yamashita and Kazuo, Iwama},
 issue = {79(2001-AL-079)},
 month = {Jul},
 note = {本稿では，CNOT(制御NOT)ゲートにより構成されるブール関数を計算する量子回路における，回路の局所変換ルールの集合について述べる. 本稿で述べる局所変換ルールの集合は単純であるが自明ではない. また，その集合が完全であること，つまり，任意の二つの回路に対して一方から他方への変換が本稿で述べるルールのみを適用することによって可能であることも示す., This paper gives a simple but nontrivial set of local transformation rules for CNOT-based quantum circuits. It is shown that this rule set is complete, namely for any two equivalent circuits, S1 and S2, there is a sequence of transformations, each of them in the rule set, which changes S1 to S2.},
 title = {ブール関数を計算する量子回路の局所変換ルールの完全集合},
 year = {2001}
}