アルゴリズム設計における数論:コンピュータサイエンス