計算量的仮定に基づくノンユニバーサル 量子計算の研究