代数数論におけるツールと手法