>>440
論理も最適化も随分と研究されてますよ。