量子アルゴリズムの具体的な実装における解析数論(ショアのアルゴリズムの数論的基礎など)