仮りに計算機の速度が無限だったらナイーブな実装だけでよくなる。けど実際は違う