アルゴリズム設計の妥当性とスケーラビリティ検証