算術に最適化された代数の検討と再構築