プログラミンの本質は論理演算手順の最適化じゃない?